[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
459(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/08/22(土) 14:08:24.01 ID:qg6YAvVW(1/6) AAS
”Θ-link”関連情報、ご参考まで
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q11122532291
yahoo
blacknoteさん2014/3/1521:27:05
京大の望月さんの論文をかみ砕いて教えてください。
(抜粋)
ベストアンサーに選ばれた回答
yok********さん 編集あり2014/3/1600:39:37
私もさっぱりわかりませんが、望月先生の『宇宙際タイヒミュラー幾何学へのいざない』によると、p進やCのような局所体上のテイト曲線では素数lに対し（完全列によって）乗法的部分群と生成元がとれますが、数体のような大域体上の楕円曲線ではlの性質によってはそれができません。しかし数体上の自己同型をあるやり方でうまく定義することができると、楕円曲線のモジュライの対数微分の高さというものがある定数で抑えられ、ABC予想を得るということです。
これをそれぞれ別のスキームにあるものとして分け（同じスキームのコピーみたいなものですが）、あたかもリーマン面の間の擬等角写像のようにみなして定義したい（Θ-link）とのことですが、このΘ-linkというものはもはや環としての準同型にはなれないので、環やスキームを解体してその歪みを計算しないといけないそうで、その内容が宇宙際タイヒミュラー理論と呼ばれるものだそうです。
log-linkやΘ-linkというものはもはや抽象的な位相群としてしか向こう側のスキームには影響を与えないので、それには絶対遠アーベル幾何やエタールテータ関数などを使った議論が必要になるとのことです。
NHKのみんなのうたで「そっくりハウス」というアニメがあるのですが、これは宇宙際タイヒミュラー理論をアニメ風に表現しているとみることができて、少女の目(Θ-link)の中に入ると、くるくると回転しながら別のそっくりな世界に行く（リンクしている）ことを表現しています。
いずれにしろスキームという古典的な代数幾何学を飛び超え、21世紀の新しい数論幾何学が今まさに始まろうとしているのでしょうか。
私もわからないので全然間違ってたらすいません…。
つづく
460(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/08/22(土) 14:08:51.39 ID:qg6YAvVW(2/6) AAS
>>459
つづき
http://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai.pdf
宇宙際タイヒミューラー理論への誘（いざな）い
望月新一（京大数理研）
(抜粋)
Ｐ7
§3. 対数・テータ格子
（このページの対数・テータ格子図で、 →が= Θ-link（因みに↑が = log-link））
Ｐ8
Θ-Link:
数体 F の bad nonarch. な v において Θ-link の両側（＝定義域と値域）の
それぞれの 環構造 は、環準同型とならない（！）形で関連付けられる：
ポイント: Θ-link は、両側の局所体の絶対ガロア群 Gv の間の同型
Gv ^→ Gv
と、それぞれの Oxk への作用に関して 両立的 である。また数体 F の good
nonarch./arch. な v においても 積公式 を満たすように、Θ-link を類似的な
手法で定義する。
注: 「抽象的なモノイド 等」を扱うようにしないと、log-, Θ-link のような
（通常の環・スキーム論の 環構造 に対する）「壁＝障壁」を定義することすら
できない！
P10
§4. 宇宙際性と遠アーベル幾何
log-link 及び Θ-link
logv: k×→ k, Θ|l-tors ={qj^2}j=1,... ,l* → q
は、定義域・値域の 環構造 と 両立しない ため、環構造 から生じる スキーム
論的な 「基点」や、
ガロア群 （ ⊆ Autfield(k) ！！ ）
と、本質的に両立しない！ つまり、log-, Θ-link の「向こう側」に移行する
とき、
“Πv” や “Gv”
は、抽象的な位相群 としてしか、「向こう側」のスキーム論に通用しない！
=→ 定義域・値域双方の環構造の間の関係を計算するためには、遠アーベル幾何
を活用するしかない！過去の論文のレベルでいうと、
絶対遠アーベル幾何 や エタール・テータ関数の様々な剛性性質
に関する
主定理： Θ-link の 左辺 に対して、軽微な不定性を除いて、右辺 の「異質」
な 環構造 しか用いない言葉により、明示的なアルゴリズムによる記述を与え
ることができる。
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s