失礼、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.でと）
https://www.math.columbia.edu/~woit/wordpress/?p=11709&cpage=1#comments 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
