21/08/26 07:48:32.88 V/6zn5VS.net
>>307
(引用)
P14
Anabelian geometry is intensively used in Mochizuki’s IUT = arithmetic deformation theory and its applications to some of the abc inequalities, and the Szpiro and Vojta conjectures,.
It is interesting to observe that similarly to the Neukirch explicit CFT and the Vostokov symbol in explicit formulas for the Hilbert pairing,
IUT involves several indeterminacies at its crucial stage of multi-radial representation. IUT uses generalised
Kummer theory and the computation of the local Brauer group, it does not use anything else from CFT.
It works with values of certain nonarchimedean functions (etale theta functions) at torsion points, in this respect
it is nearer to SCFT; on the other hand, it works over any number field and in this respect it is nearer to GCFT.21
Informally speaking, IUT deals with Galois groups as tangent bundles, see the beginning of sect. 2.6 and 4.3 (ii) of [50].
To a certain degree, global class field theory does kind of the same with abelian Galois groups:abelian Galois groups over a global field correspond to idele classes, while adeles are dual to generalised differential forms.
(終り)
>>299に私が書いた
(引用開始)
４．思うに それは、ガロア対応から説き起こして、「体 vs ガロア群」で、ガロア群→体の復元（ガロアの逆問題）が出来る場合があるよと
これ、体（和と積の2種類の演算）←→ガロア群（群の積1種類（＝対称性の操作））（つまりは、和と積→積1種類）
５．あと、類体論：アーベル群による拡大→楕円曲線→類体（復元 ガロア理論の応用）
遠アーベル：類体論の一般化としての遠アーベル（Generalizations of class field theory（下記））
６．その上で、”遠アーベルの更なる拡張理論としてのIUT”という視点で
遠アーベルからの差分：フロベニオイド(=～類体相当）←→アナベニオイド(=～非可換群相当）復元！
これは一つでは足りないから、沢山作って・・
(終り)
と、ほぼ同じ。前のはFesenko先生、後のは私の小学生レベルの感想文
着眼点だけは、一致しているようですね（＾＾