[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 30 (1002ﾚｽ)

Inter-universal geometry と ABC予想 30 http://rio2016.5ch.net/test/read.cgi/math/1535260426/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

478: １３２人目の素数さん [sage] 2018/09/10(月) 22:36:03.49 ID:w4DABxpE >>472 ＞「その一箇所」＝「the logic after Figure 3.8 in the proof of Corollary 3.12 of Inter-universal Teichmüller theory part II」 より詳しく言うと、Scholzeの指摘は I am entirely unable to follow the logic after Figure 3.8 in the proof of Corollary 3.12 of Inter-universal Teichmüller theory part III: “If one interprets the above discussion in terms of the notation introduced in the statement of Corollary 3.12, one concludes that the quantity −|logΘ| is finite, and moreover, that −|log q|≦−|logΘ| ∈ R. ” Note that this proof is in fact the *only* proof in parts II and III that is longer than a few lines which essentially say “This follows from the definitions". というものだった。 つまり「the logic after Figure 3.8 in the proof of Corollary 3.12 of IUT-III」＝「−|logΘ| の有限性と不等式−|log q|≦−|logΘ|を導出する箇所」が問題となっている。 その箇所について原論文やサーベイで何の説明も与えられていないわけではなくて −|logΘ| の有限性については、原論文の[IUTchIV,Thm.1.10]もしくはGoサーベイのProp.1.12より従う −|log q|≦−|logΘ| が成立する理由に関しては、Goサーベイの356〜361ページ、星サーベイの36ページ、星サーベイ(続編)の92ページで証明が与えられている。 その証明のどこにギャップがあるのかはド素人の俺には分からない。 http://rio2016.5ch.net/test/read.cgi/math/1535260426/478

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 524 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.012s