[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
527(6): 2022/04/23(土)20:45 ID:MU2asfqc(11/24) AAS
>>495 追加
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
＜”宇宙”について＞
これ、望月氏の 宇宙 ”relationships between universes”の説明が、下記にあるけど
結構独特で、世間的には、ちょっとズレている気がする。「複数の宇宙の使用は、1960年代の数学」（下記）とかね
一方、（後述の）ちょうど1960年代に、数学基礎論で強制法が考えられて、「強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大する」（下記）みたいな話がある
だから、数学基礎論の強制法を知っている人（あるいは、いまどき ”universe”の数学的意味を検索した人）は、IUTの”Inter-universal”という語法に違和感を感じる気がする
代数系なり代数幾何にしろ、集合論や圏論としても、せいぜい集合と類までで収まるはず。（圏論でも、”局所的に小さい (locally small) ”で収まるはず）”宇宙”は、普通は出てこない
省1
528(1): 2022/04/23(土)20:46 ID:MU2asfqc(12/24) AAS
>>527
つづき
＜下記に対訳を作ってみた＞
＜原文＞
P27
§ 2.10. Inter-universality: changes of universe as changes of coordinates
One fundamental aspect of the links [cf. the discussion of §2.7, (i)] ? namely, the Θ-link and log-link ? that occur in inter-universal Teichm¨uller theory is their incompatibility with the ring structures of the rings and schemes that appear in their domains and codomains.
In particular, when one considers the result of transporting an ´etale-like structure such as a Galois group [or ´etale fundamental group] across such a link [cf. the discussion of §2.7, (iii)], one must abandon the interpretation of such a Galois group as a group of automorphisms of some ring [or field] structure [cf. [AbsTopIII], Remark 3.7.7, (i); [IUTchIV], Remarks 3.6.2, 3.6.3], i.e., one must regard such a Galois group as an abstract topological group that is not equipped with any of the “labelling structures” that arise from the relationship between the Galois group and various scheme-theoretic objects.
It is precisely this state of affairs that results in the quite central role played in inter-universal Teichm¨uller theory by results in [mono-]anabelian geometry, i.e., by results concerned with reconstructing various scheme-theoretic structures from an abstract topological group that “just happens” to arise from scheme theory as a Galois group/´etale fundamental group.
つづく
538(2): 2022/04/23(土)20:59 ID:MU2asfqc(21/24) AAS
>>527 補足
いまどきの普通の圏論の教科書を読んだ人が
”宇宙”とか言われると
違和感あると思うな
まあ”16歳でプリンストン大学へ進学、19歳で学士課程を卒業（次席）[7]。23歳で博士課程を修了しPh.D.を取得[2]。
日本へ帰国後は京都大学に採用され、助手（23歳）、同助教授（27歳）を経て、同教授（32歳）に昇任[2]。” 外部ﾘﾝｸ:ja.wikipedia.org
だと、凡人とは勉強の仕方が違う気がする
もっとも、”宇宙”は個人趣味として読めば
こんな用語の問題は
IUTの数学的本質には、影響なしでしょう
540(1): 2022/04/23(土)21:11 ID:MU2asfqc(23/24) AAS
5ｃｈで、ウンザリするのは
ちょっと長いと、長文だとがうるさいやつがいる
”コピペ地獄”だぁ？
（>>527）
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
このPDFは、A4 で全部で170ページあって
関連のwikipediaも、コピーしたのはほんの1/10程度
コピー見るのがいやなら、原文で10倍の文読めば良いんだよ
省6
558(3): 2022/04/24(日)10:13 ID:/7dcPctj(7/16) AAS
>>527 追加
>宇宙際Teichmuller理論
>[7] The Mathematics of Mutually Alien Copies: from Gaussian Integrals to Inter-universal Teichmuller Theory. PDF NEW !! (2020-12-23)
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Mutually Alien Copies に関連しそうなところを、下記に引用すると
1）N ・ h “=〜” h N be a fixed natural number > 1
2）qN “=〜” q
3）“alien” is that of its original Latin root, i.e., a sense of abstract, tautological “otherness”.
とか、そのまま読むと、望月ワールド全開で、NHKスペシャル見ているから「同じものを別と見て、かつ同一視する」でしたか、ああこのことかと思いました
普通に読むと、読めないでしょうね
省16
576(1): 2022/04/24(日)19:40 ID:/7dcPctj(12/16) AAS
>>567
>Math Reviews誌が、
>英エクスター大教授モハメド・サイディのレビューで、
>宇宙際タイヒミュラー理論の系3.11を肯定する書評を掲載したって。
>American Mathematical Societyだね。
情報ありがとう
・検索ではヒットなしだった
・Math Reviews誌のサイトに行って、検索をしたら、サブスクの人限定と出た
・サブスクのIDは無いので断念した
多分、大学の関係者（含む学生）なら、大学でIDを持っているならそれを使わせ貰えば、アクセス可能だろう
省15
599: 2022/04/25(月)18:42 AAS
下げマスの書き込み
4/23(土) MU2asfqc
>>490
「”q-parameter”が分からないので調べていた。下記でも出てくるね」
>>491
「梅崎直也氏をヒントに調べると 多分下記の
q = exp(2πiz) (Takeshi Saito)
モジュラー形式 ノーム(nome)の平方、q-展開からみ モジュラリティ定理（q=e^2πiτ）
が該当しそう。
（梅崎直也先生の講義と答えは、合っているかな？）
省27
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s