Interｰuniversal geometryとABC予想(応用スレ)51

[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

679: １３２人目の素数さん [] 2021/02/18(木) 15:25:43.14 ID:qnnVeZy1

>>677
うーん、あなたは誠実だね

＞確かにショルツが初めてCor 3.12の証明を指摘してからは若干追記されてるが、査読が終わりブログで取り上げられた2020年4月ごろにショルツがまだ証明されたと思っていないと明言してから追記されていない

細かくフォローできていないが、それ昨年4月の査読完了のプレス発表を受けて、woitブログにショルツ氏が登場したときだよね
で、彼はIUT論文の改訂など細かい話には、首を突っ込んでいないみたいだよ

>その前にまずCor 3.12が証明されてないという指摘があって、
>その上でCor 3.12は成り立たないだろうと指摘してる

その話は、woitブログでの最後、Dupuy氏に対するコメントで分かるけど
”Cor 3.12が証明されてない”と”Cor 3.12は成り立たないだろう”とは、表裏一体と見ました

（参考）
https://www.math.columbia.edu/~woit/wordpress/?p=11709
Not Even Wrong Latest on abc April 3, 2020 by woit
Peter Scholze April 30, 2020
Dear Taylor,
Reading the IUT papers, however, you are presented with some extremely difficult notion of a Hodge theater, together with a highly non-obvious notion of isomorphisms of such: Isomorphisms do not preserve nearly as much structure as you would expect them to, and this is by design as Mochizuki points out. So I find it very hard to “guess” what something like a surrounding “theory” might be. For all I can see, Hodge theaters fit neither into the framework of “structures” as used in the wikipedia entry https://en.wikipedia.org/wiki/Interpretation_(model_theory) you linked to, nor the topos-theoretic framework of Caramello. (Regarding the first one: A “structure” in the sense of model theory has first of all an underlying set. I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters, the problem being the very lax notion of isomorphisms of Hodge theaters.)

つづく

http://rio2016.5ch.net/test/read.cgi/math/1610452199/679

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

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

ぬこの手ぬこTOP 0.033s