[過去ﾛｸﾞ] 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

484: １３２人目の素数さん [] 2018/09/11(火) 00:37:10.09 ID:4egWydvv >>478 それだけ調べたら大したもんだよ テンプレにしてもいいくらいだ あんなもんかったるくて仕方ないw http://rio2016.5ch.net/test/read.cgi/math/1535260426/484

487: １３２人目の素数さん [sage] 2018/09/11(火) 01:33:07.16 ID:4egWydvv 上の第四論文の一箇所というのが本当だったら、結局>>478の部分ということになるのかな？ 要するに後ろで証明してますよ、と言っているがなってませんよ、と まだここで揉めてるとしたら、もはやコントの域だな http://rio2016.5ch.net/test/read.cgi/math/1535260426/487

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 1.619s*