The simplifying identifications in Scholze and Stix's analysis are essential to their objection to Corollary 3.12.
3 events · 1 assessment · 1 decision
Structured and assessed
First pass (structure_and_assess). Decomposition: attached existing verified claim 958644b5 (SS identify isomorphic copies IUT treats as distinct) as ASSUMES background, since both sides agree the identifications were made. Created two named arguments. FOR ("Substantive distinctions"): new REQUIRES subclaim 6b6e055c (IUT's distinctions carry essential mathematical content, seeded 0.25) and new SUPPORTS subclaim 43d6b1fa (Joshi's arithmetic Teichmüller theory establishes distinct arithmetic holomorphic structures, seeded 0.35); both confirmed novel by the Matcher. AGAINST ("Trackable isomorphisms"): new CONTRADICTS subclaim 6e13e052 (Mochizuki has not identified a failing step, seeded 0.8, Matcher-confirmed novel) and existing claim 0f8f9d96 (rebuttals unpersuasive to outside experts) as CONTRADICTS. Written forms and evaluations recorded for both arguments. Evidence: three web searches (SS report text, Mochizuki's position via Quanta and the Report on Discussions commentary, Joshi's 2024 report and Woit's 2024 expert survey). Recorded three instances: SS report (denies), Mochizuki via Quanta (affirms), Joshi June 2024 (affirms). Verdict: CONTRADICTED, confidence 0.7, credence 0.2, marginal_yield 0.35. Contested was the runner-up; decided by a mirror test under §17/§18: the affirming side is the theory's author plus one unrefereed, Scholze-disputed research program, against the argument's authors' checkable tracking defense, seven years without an exhibited failing step, and unanimous independent expert reception. The seed credence (0.2) was treated as one input; the verdict was reached independently and happens to agree. Marginal yield 0.35 because a stronger pass could digest Joshi's technical constructions and the full SS/Mochizuki reports, which this pass weighed only through summaries and excerpts. Canonical form kept: neutral, ~16 words, both sides accept it as the disputed question (SS deny it as their Remark 9; Mochizuki and Joshi affirm it). Importance set 0.5, contestation 0.85. Notifying the sole dependent d46c3ddf, which REQUIRES this claim and stands contested; a contradicted verdict here is plausibly material to it.
Assessed Contradicted
verdict confidence 0.70 · credence 0.20
In their 2018 report on Mochizuki's proposed proof of the abc conjecture, Scholze and Stix presented a simplified version of the theory, identifying isomorphic copies of objects that the theory treats as distinct, and argued that the proof of the key inequality (Corollary 3.12) cannot work. Whether those identifications are essential to their objection is the central point of contention between the two sides: Mochizuki holds that collapsing the distinct copies destroys the very content of the theory, so that the objection refutes only a strawman, while Scholze and Stix maintain that identifications made along isomorphisms can always be undone by tracking the isomorphisms, and that nothing in their argument depends on them. The weight of the evidence favors Scholze and Stix's position. Their tracking argument is a standard and checkable mathematical point, and in the years since the Kyoto discussions no specific step of their argument has been exhibited that fails once the identifications are undone; Mochizuki's responses restate the general charge at length, and have not persuaded arithmetic geometers outside his circle. The question ultimately turns on whether the distinctions the theory draws between isomorphic copies carry essential mathematical content, and no independent examination has found content that the simplifications discard. The dissent is not empty, and it keeps the question from being fully closed. Kirti Joshi's analysis of the controversy declares Scholze and Stix's inessentiality remark false outright, resting on his claim that his arithmetic Teichmüller theory constructs genuinely distinct arithmetic holomorphic structures. That work is unrefereed, disputed by Scholze, and set in a framework different from Mochizuki's own, so it has not shifted the expert consensus; a refereed validation of Joshi's constructions, or a concrete demonstration of a step in the Scholze-Stix argument that fails without the identifications, is what would reopen the verdict.
Claim entered the graph