tensorgami

The protracted silence emanating from the Research Institute for Mathematical Sciences (RIMS) in Kyoto regarding the proof of the -conjecture has solidified into a monument of intellectual isolationism. As of early 2026, the standoff between Shinichi Mochizuki’s inner circle and the global arithmetic geometry community has ceased to be a priority dispute; it has metastasized into a crisis of epistemic sovereignty. To characterize the conflict between Mochizuki and his recent challenger, Kirti Joshi, as a debate over technical lacunae—missing Frobenius lifts or geometric base-points—is to fundamentally misread the text. This is not a collaborative debugging process. It is a collision between a hermetic tradition demanding total submission to its internal logic and a universalist “Western” machinery seeking to assimilate that tradition into its own vernacular.

At the technical nucleus of this schism lies a radical incommensurability regarding the nature of mathematical objects. The rejection of Joshi’s work by the RIMS consensus, brokered by Mochizuki and his lieutenant Yuichiro Hoshi, is not based on a calculation error but on a failure of category. In his March 2024 report, Mochizuki classifies Joshi as a member of the “Redundant Copies School” (RCS), a pejorative label applied to those who insist on treating mathematically distinct objects as isomorphic simply because standard scheme theory dictates they are so. In the Inter-universal Teichmüller (IUT) framework, the rigidity of these standard isomorphisms collapses the volume indeterminacy required to establish the central inequality. Thus, when Joshi attempts to “fix” the proof in his 2025 reports by employing the machinery of -adic analytic geometry—specifically algebraically closed perfectoid fields and Fargues-Fontaine curves—he is engaging in a tragic absurdity. He is attempting to repair an engine using the very components the architect has explicitly identified as sabotage.

This disconnect creates a “dialogue of the deaf” where the objectives of the protagonists are mutually exclusive. Joshi views his work as a “Rosetta Stone,” a benevolent translation project designed to render Mochizuki’s alien formalism intelligible to a community trained in the school of Peter Scholze. He approaches the problem as a software engineer submitting a patch update, acknowledging technical omissions in his earlier drafts regarding the global Frobenius and offering corrections. However, to RIMS, the application of perfectoid geometry to IUT is an act of epistemic violence. It seeks to domesticate the “alien” indeterminacy of the theory by embedding it in the rigid geometry of the West. Consequently, Mochizuki’s refusal to engage with the “fix” is not negligence; it is the rejection of a Trojan horse. To check the math of the invader is to legitimize the invasion.

The ferocity of this rejection, particularly Mochizuki’s comparison of Joshi’s work to “hallucinations produced by artificial intelligence,” suggests a motive deeper than technical fastidiousness. The insult is precise: it accuses Joshi of “contextual concatenation,” mimicking the syntax of IUT (Hodge theaters, log-shells) without possessing the semantic understanding of its distinct logical universe. This rhetorical maneuver denies Joshi the status of co-discoverer, relegating him to the role of a confused mimic. It is a defense mechanism designed to prevent the “whitewashing” of the theory. If Joshi’s “Rosetta Stone” succeeds, the necessity of navigating Mochizuki’s idiosyncratic labyrinth evaporates. The “Mochizuki Era” would effectively become the “Scholze-Joshi Era,” with the credit for the final mechanism shifting to the Western tools that successfully colonized the theory.

This anxiety regarding assimilation is grounded in the sociology of mathematical history, a concept inadvertently elucidated by Minhyong Kim in his September 2025 analysis of ownership in mathematics. Kim posits that a tradition belongs not to its creator, but to “whomever studies it carefully and thereby lays claim to it.” This principle provides the legal theory for a hostile takeover. By carefully studying and translating IUT, the Western establishment lays claim to the result, stripping the “inventor” of his monopoly on its interpretation. Mochizuki’s scorched-earth defense—his branding of the work as plagiarism and his retreat into a closed circle of “unanimous” supporters—is a strategic assertion of sovereignty. He refuses to allow IUT to become a colonized province of Western arithmetic geometry.

Ultimately, the standoff is a contest for the soul of the discovery. Mochizuki faces a binary choice: accept the “Western” translation and become a historical footnote as the visionary who lacked the proper tools, or maintain the sovereignty of IUT at the cost of total isolation. The evidence suggests he has chosen the latter. By treating the “Western narrative machine” as an invading force, RIMS has locked the gates. The proof of the -conjecture thus remains in a state of superposition: established fact within the walls of Kyoto, and a meaningless “hallucination” to the world outside. The tragedy is that in defending the purity of his creation, the sovereign ensures that his kingdom remains an island, inaccessible and unconquered, but ultimately alone.

References

Joshi, Kirti. 2024. “Construction of Arithmetic Teichmüller Spaces III: A ‘Rosetta Stone’ and a proof of Mochizuki’s Corollary 3.12.” arXiv preprint arXiv:2401.13508.

Joshi, Kirti. 2025. “Final Report on the Mochizuki-Scholze-Stix Controversy.” arXiv preprint arXiv:2505.10568.

Joshi, Kirti. 2025. “FAQ about the proof of the abc-conjecture.” HAL Open Science hal-05363791.

Kim, Minhyong. 2025. “History, Identity, and Ownership in Mathematics.” Notices of the American Mathematical Society 72 (8): 846–55.

Mochizuki, Shinichi. 2024. “Report on the Recent Series of Preprints by K. Joshi.” RIMS Preprints. Kyoto University.

Scholze, Peter, and Jakob Stix. 2018. “Why abc is still a conjecture.” Documenta Mathematica 23: 1–18.