Distinctness through the ring-incompatible Θ-link
The argument
IUT's own gloss is that an alien arithmetic holomorphic structure is a ring structure related to a given one by a link that is not ring-theoretic, and the Θ-link is exactly such a link, so on that usage the domain and codomain of the Θ-link are distinct arithmetic holomorphic structures and the papers exhibit them by constructing the Θ-link.
Does it work?
Not yet evaluated.
Premises
- UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →The Θ-link of inter-universal Teichmüller theory is not compatible with the ring structures of the Hodge theaters it relates.
- UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →In IUT, "distinct arithmetic holomorphic structures" means ring structures related by a non-ring-theoretic link, not non-isomorphic structures.
Where it is made
Passages where sources make, criticize or mention this argument. They record where it appears, not how strong it is, and none has precedence over another.
No source is recorded as making it.
Earlier ratings
- Sep 13, 2026
Both premises are common ground: the Θ-link is not compatible with ring structures, and the papers use "distinct arithmetic holomorphic structure" relationally. The inference goes through, but only to the conclusion that the two sides of the Θ-link are distinct in the papers' own relational sense, which is a matter of definition rather than proof. It does not reach the sense in which the claim is debated, that two structures exist whose difference the proof of Corollary 3.12 can exploit, so the argument establishes the claim only on a reading its critics regard as empty.