A registered result in its source context
Original ledger classification: Identity [I] chain + [L] non-abelian Hodge
Recorded statement: det Q = N_fam DERIVED from the cusp class (Alessandro Q-residual closed to the same geometry): the integer-lift datum det Q=|coker Q|=3 is the ORDER of the cusp monodromy class (eigenvalues {1,omega,omega^2}, omega^3=1) = the common…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
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
FLAV.QGEO.03
Original ledger classification: Identity [I] chain + [L] non-abelian Hodge
Original claim text
det Q = N_fam DERIVED from the cusp class (Alessandro Q-residual closed to the same geometry): the integer-lift datum det Q=|coker Q|=3 is the ORDER of the cusp monodromy class (eigenvalues {1,omega,omega^2}, omega^3=1) = the common DENOMINATOR of the cusp weights {0,1/3,2/3} that fix Spec(Q_+)=diag(1,2,3) (v69). So det Q=N_fam is NOT an independent lattice input - it is the cusp-class order = N_fam = rank A3 = dim H1, and coker Q = Z/N_fam is the deck group of the degree-N_fam triality cover. Q-geometry now derived at spectra + Sigma-split + integer lift; only standing input is N_fam=3 itself
Original classification detail
Identity [I] chain + [L] non-abelian Hodge
Dependencies as recorded
FLAV.QGEO.02; v69; v70
Open the original ledger source, row 138Location 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.
- Standard Model and flavor structure
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.
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- Front matter / supportStandard Model and flavor structure
- Front matter / supportStandard Model and flavor structure
- Front matter / supportStandard Model and flavor structure
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v72_q_det_from_cusp.pyRegistered verification module · frontier
Read the description recorded in the module registry
det Q = N_fam from the cusp class (triality deck group)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.