Mochizuki's IUT papers establish the existence of distinct arithmetic holomorphic structures.
3 events · 1 assessment · 1 decision
Structured and assessed
First pass. Decomposed into two named arguments with four new subclaims (Matcher timed out on all four calls and defaulted to "new"; hand searches with search_similar_claims found no existing counterparts, so minting was judged safe; issue raised). For: the Θ-link is not ring-compatible (requires, settled, 0.15) and IUT's relational definition of distinct arithmetic holomorphic structures (defines, 0.3). Against: Hodge theaters on both sides are isomorphic (contradicts, settled, 0.15) and the papers give no definition under which two structures can be proved unequal (contradicts, Joshi's crux, 0.35). Did not link the LANA monodromy claim or the Joshi-theory claim already on the parent: neither bears on whether the IUT papers themselves establish the structures. Recorded four instances (Mochizuki 2018 affirms; Joshi 2024, 2025, 2025 deny), two shared-authorship relations among the Joshi sources, two readings marked unread because provenance_read_source failed on every PDF (issue raised), and a material source map noting the denials are one voice and the affirmation the author's. Importance kept at 0.4 with contestation 0.65. Assessed contradicted at 0.65 confidence, credence 0.2: true only under Mochizuki's relational usage, denied on the substantive reading by every outside examiner including Joshi, with LANA's 2026 report stalled at this stage. Canonical form left unchanged: it is short, neutral, and both sides would accept it as the disputed proposition. Marginal yield 0.4 because no source could be read whole; a pass with working PDF ingestion should read Rpt2018 (GLR2, GIUT) and LANA section 10.
Assessed Contradicted
verdict confidence 0.65 · credence 0.20
The question is whether Mochizuki's four inter-universal Teichmüller theory papers prove, rather than posit, that there are two or more genuinely different arithmetic holomorphic structures, the objects whose comparison is supposed to yield the inequality of Corollary 3.12. The answer depends on what "distinct" is taken to mean, and the discourse has settled on the stronger meaning. In the papers' own usage, an alien arithmetic holomorphic structure is simply the ring structure of a Hodge theater related to a given one by a link that is not ring-theoretic, and since the Θ-link is such a link, the papers do exhibit distinct structures in that relational sense. Mochizuki's 2018 report states the point this way: the holomorphic structures on the two sides of the Θ-link must be treated as distinct because they are related in a way that is not ring-theoretic. No one disputes the premises of this argument; the dispute is whether its conclusion amounts to anything. Every examiner outside Mochizuki's circle who has addressed the point says it does not. The Hodge theaters on the two sides of the Θ-link are isomorphic copies of one structure, and Scholze and Stix argued in 2018 that identifying them along an isomorphism loses nothing and makes the key theorem trivial. Kirti Joshi, who unlike Scholze and Stix believes that distinct arithmetic holomorphic structures exist and has built a theory to construct them, agrees with them on this narrower point: the IUT papers give no definition under which two such structures can be shown unequal, so their existence is suggested there but not established. The LANA formalization project's 2026 interim report, working sympathetically within Mochizuki's framework, isolated an unproven compatibility at exactly the stage where the structures are compared and declined to give a verdict. The claim is therefore best read as contradicted in the sense in which it is debated, with the qualification that it is true, and trivially so, under Mochizuki's relational definition. What would change the verdict is a demonstration, accepted outside Mochizuki's circle, that the structures related by the Θ-link differ in some isomorphism-invariant respect the proof actually uses, or an independent formalization that reconstructs the comparison across them.
Claim entered the graph