Inter-universal geometry とABC 予想54

**獣姦最高さ～** · 2023/01/31(火) 14:13:57.68

未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。

荒らしはご遠慮願います
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です

前スレ
Inter-universal geometry とABC 予想53
http://rio2016.5ch.net/test/read.cgi/math/1671174361/

**１３２人目の素数さん** · 2024/04/12(金) 03:14:49.47

https://mathoverflow.net/questions/468079/is-there-a-mistake-in-mochizukis-proof-of-theorem-1-10-in-iutt-iv

Global character of ABC/Szpiro inequalities, Peter Scholze says that he thinks Joshi's proof of the abc conjecture in his paper has a mistake in Proposition 6.10.7. However, for the proof of Proposition 6.10.7, Kirti Joshi merely says that

Proof. This is the last equation on [Mochizuki, 2021d, Step (v) on Page 658, Proof of Theorem 1.10] and its proof is all of step (v).

Does the mistake in Proposition 6.10.7 also invalidate Mochizuki's original proof of Theorem 1.10 in IUTT IV, thus invalidating Mochizuki's original proof of the abc conjecture?

**１３２人目の素数さん** · 2024/04/12(金) 03:15:16.93

Peter Scholze

I'm more afraid that this is an instance where the cited reference does not match the statement that is claimed. The critical difference between Joshi and Mochizuki is that "Joshi's version of Mochizuki's Corollary 3.12" (=Joshi's Theorem 9.11.1) has a purely local proof and hence cannot have the same content as Mochizuki's Corollary 3.12. However, it may be correct on its own; then the mistake is a mismatch between what Joshi has to compute in Proposition 6.10.7, and what Mochizuki actually computed in IUT IV. But I agree with Sam Hopkins that this discussion is not fruitful. –

**１３２人目の素数さん** · 2024/04/12(金) 03:16:31.74

Peter Scholze

To summarize: There is a clear problem with Joshi's proof, as there is a contradiction between Proposition 6.10.7 and the local inequality proved in the proof of Theorem 9.11.1. The mistake could be in Proposition 6.10.7 (and, given that the proof isn't written down, is the first suspicious place) but it might as well be a mistake in the proof of Theorem 9.11.1. In any case, this whole discussion is only about Joshi's proof, not Mochizuki's; I do not think that there is a real error internally in IUT IV.

**１３２人目の素数さん** · 2024/04/12(金) 03:55:26.02

"Joshi版の望月Cor.3.12"（＝Joshiの定理9.11.1）は、純粋に局所的な証明であるため、望月の定理3.12と同じ内容を持つことはできない。
"Joshi's version of Mochizuki's Corollary 3.12" (=Joshi's Theorem 9.11.1) has a purely local proof and hence cannot have the same content as Mochizuki's Corollary 3.12. i

**１３２人目の素数さん** · 2024/04/12(金) 04:04:08.53

zbMATH
https://zbmath.org/pdf/07317908.pdf
の頃と変わった。

Unfortunately, the argument given for Corollary 3.12 is not a proof, and the theory built in these papers
is clearly insufficient to prove the ABC conjecture.

**１３２人目の素数さん** · 2024/04/12(金) 04:09:40.36

IUTⅣの内部にエラーはないと思う
I do not think that there is a real error internally in IUT IV.