[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
575(6): 2022/04/24(日)19:27 ID:w4K+s4Bs(2/2) AAS
>>570
証明したいディオファントス不等式に定理3.11を解釈しなおすと、系3.12が導かれるとある。
Mochizuki, Shinichi Inter-universal Teichmüller theory IV: Log-volume computations and set-theoretic foundations. Publ. Res. Inst. Math. Sci. 57 (2021), no. [1-2], 627–723
Theorem 3.11 in Part III is somehow reinterpreted in Corollary 3.12 of the same paper in a way that relates to the kind of diophantine inequalities one wishes to prove. One constructs certain arithmetic line bundles of interest within each theatre, a theta version and a q-version (which at the places of bad reduction arises essentially from the q-parameter of the corresponding Tate curve), which give rise to certain theta and q-objects in certain (products of) Frobenioids: the theta and q-pilots. By construction the theta pilot maps to the q-pilot via the horizontal link in the log-theta lattice. One can then proceed and compare the log-volumes of the images of these two objects in the relevant objects constructed via the multiradial algorithm in Theorem 3.11.
＞やはり、IUT論文を”査読”したのはSaidi氏のようですね
省2
577: 2022/04/24(日)19:42 ID:/7dcPctj(13/16) AAS
>>575
情報ありがとう
>>576で要望した情報は、ゲットできました
ありがとうございます。
578(1): 2022/04/24(日)19:53 ID:/7dcPctj(14/16) AAS
>>575
>Theorem 3.11 in Part III is somehow reinterpreted in Corollary 3.12 of the same paper in a way that relates to the kind of diophantine inequalities one wishes to prove. One constructs certain arithmetic line bundles of interest within each theatre, a theta version and a q-version (which at the places of bad reduction arises essentially from the q-parameter of the corresponding Tate curve), which give rise to certain theta and q-objects in certain (products of) Frobenioids: the theta and q-pilots. By construction the theta pilot maps to the q-pilot via the horizontal link in the log-theta lattice. One can then proceed and compare the log-volumes of the images of these two objects in the relevant objects constructed via the multiradial algorithm in Theorem 3.11.
これは、IUTの一つのあら筋ですね
なるほどね
これに、IUT本論文や準備論文との対応（リンク付け）をすれば、良いと思いますね
579(1): 2022/04/24(日)20:27 ID:B58pvhrO(11/11) AAS
>>575
>自分が査読した論文の書評を書くことは、いくら何でも有り得ない
通常はそうだろうが、今回は異常事態だから
自己弁護としてやるだろうな
604(1): 2022/04/26(火)02:00 ID:2nBwRZKH(1) AAS
>>575 この部分を誰も細部詰めて説明できないから、もう詰んでるんだよな。
望月さんの過去の名声で一部奇跡を願う連中がいるだけ。
698(1): 2022/04/29(金)07:58 ID:b8gsErp4(1/15) AAS
>>567 & >>575
関連
外部ﾘﾝｸ:webcache.googleusercontent.com
math_jin
Apr 25
More
Last week a review of the Mochizuki IUT papers appeared at Math Reviews, written by Mohamed Saidi. His discussion of the critical part of the proof is limited to:
"Theorem 3.11 in Part III is somehow reinterpreted in Corollary 3.12 of the…#IUTABC
外部ﾘﾝｸ:www.math.columbia.edu …
外部ﾘﾝｸ:www.math.columbia.edu
省14
760: 2022/04/30(土)00:20 ID:S230Fn2V(1) AAS
英語が得意な人に聞きたいのですが、
>>575の「is somehow reinterpreted」のsomehowはどういう意味ですか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s