题主，1984年Grothendieck提交一份手稿(Esquisse d'un Programme)远阿贝尔几何(Anabelian geometry)但我喜欢叫它Anabelian几何，远阿贝尔几何(遠アーベル幾何学)是日本数学家叫法。
Anabelian几何，abel为什么前缀有An，Grothendieck在(Esquisse d'un Programme)手稿引入进去的，Anabelian几何是Grothendieck没有出版的理论，Anabelian几何一开始都是日本数学家在研究，Mochizuki他是发展Anabelian几何，领军人物，1996年他证明了The Grothendieck conjecture of the fundamental groups of algebraic curves。Mochizuki他是这方面专家，数学界没几个数学家能跟他比，Florian Pop研究Anabelian几何，1994年证明 On Grothendieck's conjecture of birational anabelian geometry。Jakob Stix导师就是Florian Pop。Mochizuki主要用哲学观点解决ABC猜想发展Inter-universal Teichmüller theory也可以把它称为算术Teichmüller theory版本。Mochizuki研究过Hodge–Arakelov理论， -adic Teichmüller理论，现在发展Inter-universal Teichmüller theory，解决ABC猜想。经过我验证他的观点是对的。
简单描述：
Jakob Stix研究的Anabelian几何是根据Grothendieck发表的"Long march through Galois theory"，发展和推广的。
Mochizuki发展的Anabelian几何是属于超前理论跟Jakob Stix研究的观点和符号表示不相同。
根据日本数学家描述：Inter-universal Teichmüller theory往后发展是应用到密码学领域上面。
这里有详细描述：
全球有那么多已tenure的数学家，为什么没人去验证望月的ABC？
我们从望月新一发展宇宙间泰希米勒理论(I…
Princeps M4sato：純粋数学 宇宙際 Teichmüller 理論 入門
"Inter-universal Teichmüller Theory I: Construction of Hodge Theaters"
"Inter-universal Teichmüller Theory II: Hodge–Arakelov-Theoretic Evaluation"
"Inter-universal Teichmüller Theory III: Canonical Splittings of the Log-Theta-Lattice"
"Inter-universal Teichmüller Theory IV: Log-Volume Computations and Set-Theoretic Foundations"
