[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
121(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/11/23(土) 13:52:55.17 ID:iKDSmfWl(21/31) AAS
>>120
つづき
下記論文を、 27 Aug 2019に投稿しているね
(this is also inspired by Mochizuki's results)などと記されている
https://arxiv.org/abs/1906.06840
Mochizuki's anabelian variation of ring structures and formal groups
Kirti Joshi
(last revised 27 Aug 2019 (this version, v2))
(抜粋)
I show that there is a universal formal group (over a suitable (non-zero) ring) which is equipped with an action of the multiplicative monoid O? of non-zero elements of the ring of integers of a p-adic field.
Lubin-Tate formal groups also arise from this universal formal group.
If two p-adic fields have isomorphic multiplicative monoids O? then the additive structure of one arises from that of the other by means of this universal formal group law (in a suitable manner).
In particular if two p-adic fields have isomorphic absolute Galois groups then it is well-known that the two respective monoids O? are isomorphic and so this construction can be applied to such p-adic fields.
In this sense this universal formal group law provides a single additive structure which binds together p-adic fields whose absolute Galois groups are isomorphic
(this anabelian variation of ring structure is studied and used extensively by Shinichi Mochizuki).
In particular one obtains a universal (additive) expression for any non-zero p-adic integer (in a given p-adic field) which is independent of the ring structure of the p-adic field (this is also inspired by Mochizuki's results).
These ideas extend to geometric situations: for a smooth curve X/K there is a universal K(X)?-formal group (here K(X)? is the monoid of non-zero meromorphic functions on a smooth curve X/K over a p-adic field K, which binds together all the additive structures on K(X)?∪{0} compatibly with the universal additive structure on K?∪{0}
and hence a non-zero meromorphic function on X is given by a universal additive expression which is independent of the ring structure of K(X)?∪{0}
125(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/11/23(土) 20:26:11.24 ID:iKDSmfWl(23/31) AAS
>>121
>Mochizuki's anabelian variation
追加
https://mathsoc.jp/section/algebra/
日本数学会 代数学分科会 ホームページ
https://mathsoc.jp/section/algebra/algsymp_past/algsymp04.html
第 49 回代数学シンポジウムのご案内 2004
8月3日(火)9 : 30 -- 10 : 30 玉川 安騎男 （京都大学・数理解析研究所）
代数曲線の数論的基本群に関する Grothendieck 予想，その後 報告集原稿（ｐｄｆ）
https://mathsoc.jp/section/algebra/algsymp_past/algsymp04_files/tamagawa.pdf
代数曲線の数論的基本群に関する Grothendieck 予想，その後 2004
玉川 安騎男 京都大学数理解析研究所
(抜粋)
§1. 第１部の復習
今回の講演は, 第４１回代数学シンポジウム (１９９６年７月, 於山形市遊学館) でさ
せていただいたサーベイ講演「代数曲線の数論的基本群に関する Grothendieck 予想」
の続きで, ほんとうは, タイトルを「代数曲線の数論的基本群に関する Grothendieck
予想，II」とした方がよいところでした. この節では, 前回の講演内容を簡単に復習
したいと思います. 詳しくは [T1] をご参照下さい.
1.1. 数論的基本群
Grothendieck が [SGA1] で理論を展開したエタール基本群とは, 次のような関手
を与えるものです:
π1 : ((基点付き) 連結スキーム) → (副有限群)
連結性を仮定すると, 基点の取り方によらず (内部自己同型のずれを除いて標準的に)
基本群が定まるので, 以下基点のことは忘れることにします.
4. [k : Qp] < ∞ に対する絶対版.
1.3 で復習した通り, この場合の相対版は望月氏によって非常に強い形で解決され
ていますが, 絶対版は, p 進局所体の絶対 Galois 群の非幾何的自己同型の存在により,
成否が不明になっています. これに関しては, 望月氏の最近の研究 [M4][M5][M6][M7]
があります. 筆者は, 比較的安直に絶対版の成立を信じているのですが, 望月さんは,
近年の彼の Diophantus 幾何 (abc 予想など) への全く新しい圏論的アプローチなど
をへて, どちらかというと不成立なのではないかと感じているようです.
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.051s