Inter-universal geometry と ABC予想 (応援スレ) 46at MATH
Inter-universal geometry と ABC予想 (応援スレ) 46 - 暇つぶし2ch785:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/24 09:27:05 WD4sBPKv.net
>>712
>「そんな読まなくても、IUT不成立はSS文書で”自明”ww」
>自明と言っている部分を示してくれませんか?

失礼、SS文書ではないかも知れない。なので woitブログの”Peter Scholze says”に訂正します
また、自明 ではなく”The reason it cannot work is a theorem of Mochizuki himself. ”に

なお、Scholze氏は、単にCor3.12ではなく、IUTが根本的にダメだと
また、最後に my manuscript with Stix に言及して終わっています(後は e-mail.でと)

URLリンク(www.math.columbia.edu)
Not Even Wrong Latest on abc April 3, 2020 by woit
(抜粋)
Peter Scholze says:
April 6, 2020

The reason it cannot work is a theorem of Mochizuki himself.
This states that a hyperbolic curve X over a p-adic field K (maybe with some assumptions, all of which are always satisfied in all cases relevant to IUT) is determined up to isomorphism by its fundamental group π1(X), and in fact automorphisms of X are bijective with outer automorphisms of π1(X).
Thus, the data of X is completely equivalent to the data of π1(X) as a profinite group up to conjugation.
In IUT, Mochizuki always considers the latter type of data, but of course up to equivalence of groupoids this makes no difference.
(The passage back and forth is even constructive, by another result of Mochizuki.)

Mochizuki claims that by replacing X by π1(X), things can happen that cannot otherwise happen.
Examples are given concerning the action of π1(X) on certain associated monoids. We discussed this at very great length in Kyoto, but no



次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch