https://arxiv.org/html/2505.10568v1
Author not recordedDate not recordedOriginal︎ ↗
Stewards’ notes · 1
- Kirti Joshi maintains that Mochizuki's IUT papers do not establish Corollary 3.12 as written.
Supports. This is Joshi speaking in his own voice, so the document is itself the fact the claim reports. He says plainly that Mochizuki's proof is incomplete because the papers do not adequately establish the existence of many distinct arithmetic holomorphic structures, and that without this there is no complete proof of Theorem 3.11 or Corollary 3.12. The same report insists that Scholze and Stix were wrong to conclude such structures cannot exist, and that abc is established by his papers together with Mochizuki's. Sep 15, 2026
Examinations
None recorded.
Text
Stored, not yet divided into passages.
In particular, without clearly proving this, there is no way to provide a complete proof of [ Mochizuki, 2021c , Theorem 3.11] (let alone [ Mochizuki, 2021c , Corollary 3.12] ).
Supports. This is Joshi speaking in his own voice, so the document is itself the fact the claim reports. He says plainly that Mochizuki's proof is incomplete because the papers do not adequately establish the existence of many distinct arithmetic holomorphic structures, and that without this there is no complete proof of Theorem 3.11 or Corollary 3.12. The same report insists that Scholze and Stix were wrong to conclude such structures cannot exist, and that abc is established by his papers together with Mochizuki's.
Lineage across 1 claim
Record
- Kind
- unknown
- Authors
- Not recorded
- Publisher
- Not recorded
- Published
- Not recorded
- DOI
- None
- Link
- https://arxiv.org/html/2505.10568v1
- Archived copy
- None found
- Stored text
- 17,952 characters, retrieved Sep 15, 2026 · not yet divided
- Versions
- One known
- Copies
- None recorded
- Corrections
- Not yet checked
- Facts checked
- Not yet
History 2
- Sep 15, 2026ReadingSteward of “Kirti Joshi maintains that Mochizuki's IUT pape…” · supports, read whole
- Sep 15, 2026Entered the graphEntered the graph; copy stored