>>751
つづき

However, what I really want to do with this comment is to point out that there seems to be significant confusion over just the above point on ’s vs
’s. Recently, arXiv:2003.01890v1 appeared, in which the author (Kirti Joshi) gives some survey on results related to Mochizuki’s work. In the introduction, on page 7, he explicitly claims that one could find non-isomorphic ’s giving rise to the same
, and even more, in Remark 2.1 on page 14 he explains that my reading of the situation is a common misunderstanding. Even more, in Corollary 21.2 on page 47, he states something “well-known to everyone at RIMS” giving an explicit example of this phenomenon of non-isomorphic ’s giving rise to the same
.

With this appearing on arXiv, I was indeed quite confused ? did I in fact misunderstand this basic point all this time? If the above claims would have been true, I would see how Mochizuki’s strategy might have a nonzero chance of succeeding. But I was quite sure that in our discussions in Kyoto, Mochizuki agreed with me on that basic point; and the proof of Theorem 21.1 in that survey (of which Corollary 21.2 is indeed a corollary) was wrong. In any case, I emailed Joshi indicating my confusion, and he has since checked back with Mochizuki and retracted all of these claims (he told me a new version will be on arXiv soon). In particular, the fact “well-known to everyone at RIMS” is wrong, and in contradiction to this earlier correct anabelian theorem of Mochizuki.

I’m really frustrated with the current situation. What EricB reports from the Asahi Shinbun also sounds deeply troubling, effectively arguing along national lines; again, this strikes deep into my heart. I’m really quite surprised by the strong backing that Mochizuki gets from the many eminent people (who I highly respect) at RIMS.

If I can in any way help to mitigate the situation, I’d be most happy to.

つづく