>>172 関連追加

https://en.wikipedia.org/wiki/Anabelian_geometry
Anabelian geometry
More recently, Mochizuki introduced and developed a so called mono-anabelian geometry which restores, for a certain class of hyperbolic curves over number fields or some other fields, the curve from its algebraic fundamental group. Key results of mono-anabelian geometry were published in Mochizuki's "Topics in Absolute Anabelian Geometry."
Anabelian geometry can be viewed as one of generalizations of class field theory. Unlike two other generalizations ? abelian higher class field theory and representation theoretic Langlands program ? anabelian geometry is highly non-linear and non-abelian.

https://en.wikipedia.org/wiki/Langlands_program
Langlands program
4 Current status
4.1 Local Langlands conjectures
4.2 Fundamental lemma
4.3 Implications

https://en.wikipedia.org/wiki/Higher_local_field
Higher local class field theory
Higher local class field theory is compatible with class field theory at the residue field level, using the border map of Milnor K-theory to create a commutative diagram involving the reciprocity map on the level of the field and the residue field.[7]
General higher local class field theory was developed by Kazuya Kato[8] and by Ivan Fesenko.[9][10]
(引用終り)

Higher local class field theory
”General higher local class field theory was developed by Kazuya Kato[8] and by Ivan Fesenko.[9][10]”ね
Ivan Fesenko.出てくるね

おれ? おれは、高木類体論もあんまし分かってない
表面をなぜているだけだが
二次元統一類体論って、ジャンプの4回転半みたいな話で、すごいと思うな