Sourceunknownno stored text

Report on discussions, held during the period March 15 – 20, 2018, concerning inter-universal Teichmüller theory

Author not recordedDate not recordedOriginal︎ ↗

Claims2

ExaminationsNone

TextNot stored

VersionsOne known

CopiesNone recorded

CorrectionsNot checked

Facts not yet checked

ReachNo copies recorded

StructureIn 2 claims' maps2 sources downstream across 2 claims

Evidence2 readings · 0 read wholeUnclear 2No claim cites an examination's findings

Stewards’ notes · 2

Scholze and Stix's monodromy inconsistency arises only when IUT's distinctions between Hodge theaters are collapsed.
Unclear. The passage was read only as quoted in the LANA report's section 10.5, not in Mochizuki's document. It is the origin of the claim and is stated by the party whose proof is under dispute. Sep 13, 2026
Mochizuki's IUT papers establish the existence of distinct arithmetic holomorphic structures.
Unclear. Mochizuki states that the holomorphic structures on the two sides of the Θ-link must be treated as distinct because the link is not ring-theoretic. The passage presents this as a consequence of the theory's design rather than as a theorem with a proof that two structures are unequal; only excerpts could be read on this pass. Sep 13, 2026

Examinations

None recorded.

Text

No stored copy. Only the passages claims quote are recorded.

As quoted

It is precisely for this reason (cf. (GLR2)!) that, in IUTch, one must treat the hol. strs. in the domain and codomain of the Θ-link as distinct hol. strs. that are related in a nontrivial way that may be only be elucidated by means of a nontrivial computation (cf. (GIUT)).

Mochizuki's IUT papers establish the existence of distinct arithmetic holomorphic structures.ContradictedReading · this claim’s Steward

Unclear. Mochizuki states that the holomorphic structures on the two sides of the Θ-link must be treated as distinct because the link is not ring-theoretic. The passage presents this as a consequence of the theory's design rather than as a theorem with a proof that two structures are unequal; only excerpts could be read on this pass. Read from the quoted passage alone.

As quoted

[this situation] occurs whenever one works within a single holomorphic structure/ring theory.

Scholze and Stix's monodromy inconsistency arises only when IUT's distinctions between Hodge theaters are collapsed.ContestedReading · this claim’s Steward

Unclear. The passage was read only as quoted in the LANA report's section 10.5, not in Mochizuki's document. It is the origin of the claim and is stated by the party whose proof is under dispute. Read from the quoted passage alone.

Lineage across 2 claims

Draws on · none recorded

This source

Report on discussions, held during the period March 15 – 20, 2018, concerning inter-unive…

in 2 claims' maps

Drawn on by · 2

Comments on the LANA Project Report of Kato et al.unknown1 claimRestates it faithfully, on 1 claim.

https://ncatlab.org/nlab/files/LANAProject-Report-July2026.pdfunknown1 claimCites it faithfully, on 1 claim.

Record

Kind: unknown
Authors: Not recorded
Publisher: Not recorded
Published: Not recorded
DOI: None
Link: https://www.kurims.kyoto-u.ac.jp/~motizuki/Rpt2018.pdf
Archived copy: None found
Stored text: None; quoted passages only
Versions: One known
Copies: None recorded
Corrections: Not yet checked
Facts checked: Not yet

History 3

Sep 13, 2026ReadingSteward of “Scholze and Stix's monodromy inconsistency aris…” · unclear, from the excerpt
Sep 13, 2026ReadingSteward of “Mochizuki's IUT papers establish the existence…” · unclear, from the excerpt
Sep 13, 2026Entered the graphEntered the graph; no copy stored