An E₈ singularity model for seam realization
Original ledger classification: Lattice/Topology (exact) [E]/[C]
Recorded statement: THE SEAM AS THE E8 KLEINIAN SINGULARITY (2026-06-17): a canonical algebraic-geometric MODEL for the open seam-realisation premise QGEO.REALIZE.01, the du Val side of the McKay correspondence (MCKAY.E8.01/v219). (1) the McKay graph of 2I is…
Statement, assumptions and sources
Paper context: Origin Theory
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
TOPO.E8.01
Original ledger classification: Lattice/Topology (exact) [E]/[C]
Original claim text
THE SEAM AS THE E8 KLEINIAN SINGULARITY (2026-06-17): a canonical algebraic-geometric MODEL for the open seam-realisation premise QGEO.REALIZE.01, the du Val side of the McKay correspondence (MCKAY.E8.01/v219). (1) the McKay graph of 2I is affine E8 (9 nodes); dropping the unique trivial-rep node (the single Kac mark=1) leaves the FINITE E8 Dynkin on 8 nodes = the dual intersection graph of the 8 exceptional P^1's of the minimal resolution of C^2/2I (one trivalent node, arms of lengths 1,2,4). (2) the number of exceptional P^1's = 8 = rank E8 = g_car+N_fam = #nontrivial 2I irreps (9-1) -- a fourth reading of the '8' in c3=1/(8 pi). (3) the negated resolution intersection form is the E8 Cartan: even (each P^1 a (-2)-curve), unimodular det=1, positive definite -- the seam P^1's carry the E8 lattice as their intersection form. (4) 2I has exactly ONE degree-1 irrep (unique mark=1), so 2I is perfect (abelianisation trivial), hence H_1(S^3/2I)=0: the link is the Poincare homology 3-sphere, pi_1=2I order 120=|R^+(E8)|. (5) SEAM READING: the raw RP seam (a P^1 with marks) is canonically a component of this exceptional P^1-locus, so QGEO.REALIZE.01 gets an algebraic-geometric model (the seam P^1's ARE the E8 du Val curves) rather than a free postulate. Does NOT derive P2: it presupposes E8 (backward), so the carrier<->seam identification stays the open premise.
Original classification detail
[E] McKay(2I)=affine E8; finite E8 = 8 exceptional P^1's intersection graph (det 1 Cartan); 2I perfect => link is the Poincare homology sphere pi1=2I order 120; [C] the seam is a du Val exceptional curve (model for QGEO.REALIZE.01, presupposes E8, bedrock [O])
Dependencies as recorded
MCKAY.E8.01; QGEO.SYM.01; E8.GLU.01
Open the original ledger source, row 318Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Origin Theory
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- 2026-06-17 (CP phases as [formula in source] powers — a reduction of red-team Target D)Research changelog; TFPT — Introduction and reading guide
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- 2026-06-22 (the geometric bridge made explicit: the keystone is ONE arrow – raw-seam [formula in source] is a six-link chain, five theorems [formula in source] one open orbifold realisation, the group forced by the [formula in source] atoms: v346)Research changelog; TFPT — Introduction and reading guide
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- Front matter / supportResearch contracts
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- The whole integer skeleton from one pair [formula in source]Origin Theory
- Research Contract 1 — [formula in source]tfpt research contracts
All 18 linked sections
- Outcome
- The hard reduction: the live residual as typed interfaces
- Front matter / support
- The unique attractor: a gapped transport selects ONE fixed point
- Front matter / support
- 2026-06-17 (The Modular Spectral Closure: Dirac as covariance induction, the modular cutoff, the Kummer/K3 unification, and the assembly certificate, v258– v261)
- Research Contract 1 — [formula in source]
- The whole integer skeleton from one pair [formula in source]
- 2026-06-22 (the one keystone bit [formula in source] mapped: six equivalent faces, the genus-1 obstruction, three access routes, the hypergraph-homotopy route the most promising fresh angle: v344)
- The unique attractor: a gapped transport selects ONE fixed point
Registered verification modules
- v232_e8_kleinian_seam.pyRegistered verification module · horizon
Read the description recorded in the module registry
The seam as the E8 Kleinian singularity -- a canonical algebraic-geometric MODEL for the open seam-realisation premise QGEO.REALIZE.01 (the du Val side of the McKay correspondence, v219). The McKay graph of 2I is affine E8; dropping the unique trivial-rep node (single Kac mark=1) leaves the finite E8 Dynkin on 8 nodes = the dual intersection graph of the 8 exceptional P^1's of the minimal resolution of C^2/2I (trivalent node, arms 1,2,4). EIGHT exceptional P^1's = rank E8 = g_car+N_fam = #nontrivial 2I irreps -- a fourth reading of the '8'. The negated intersection form is the E8 Cartan (even, det 1, positive definite; each P^1 a (-2)-curve). One degree-1 irrep => 2I perfect => H1(S^3/2I)=0: the link is the Poincare homology 3-sphere, pi1=2I order 120=|R+(E8)|. Seam reading: the raw RP seam (P^1 with marks) is canonically a du Val exceptional curve -- a model for QGEO.REALIZE.01, not a P2 proof (presupposes E8).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.