How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Modular dimensions follow from exact sewing
Pure mathematics; no physical premises or physical claim.
Statement
Assume full AC and its inherited countable-choice consequences. Let be a complex modular ribbon fusion category with simple-label set , unit label , simple dimensions , Hopf-link matrix , and a chosen square root of . Put and . In the weighted RT model, define the closed unmarked genus- state space by . For every integer ,
with no complex conjugation in this formula. The sphere state space has dimension one, and the unmarked torus has dimension with basis . For every compatible separating or nonseparating circle cut, the actual normalized RT tube map from the complete direct sum of dual-label channels to the glued state space is an isomorphism; its inverse is the complete cutting resolution, retaining all multiplicities, markings, tensor orders, and Lagrangian identifications.
For the torus convention, orient the meridian/longitude basis by and choose reference and object Lagrangians . The positive Hopf mapping-cylinder class and positive core-twist class have respective matrices
with columns the images of . Their operators are and , where is the Hopf-link matrix of . For this positive pair, and , with . The inverse Hopf class acts by and satisfies ; when labels are not all self-dual, need not be .
Statement references
Factorization diagram
For a compatible cut , is the actual normalized tube-sewing map and is its complete cutting inverse. The displayed triangle records on the direct-sum channel space; the other inverse identity holds on the glued state space. All labels and markings remain those of the supplied cut convention. The diagram records these maps and is not used as a proof.
Facts & Assumptions
Given: A complex modular ribbon fusion category, its weighted RT model, an integer , and, when a cut is considered, a compatible marked separating or nonseparating circle cut.
Full AC is adopted, with countable choice retained as an inherited consequence; the weighted RT supplier states both assumptions explicitly (The Axiom of Choice, The Axiom of Countable Choice ()).
Weighted modular TQFT model and physical interpretation boundary defines the state spaces and the exact weighted RT functor used in this proposition, with and weight parameter .
Modular ribbon fusion category and Hopf-link data defines the finite set , , , , and modularity by invertibility of ; it assumes no positivity of or .
RT torus operators and the state-space dimension formula proves the exact genus- dimension formula, with no complex conjugation, and fixes , the dual-label convention , and the torus basis.
RT torus operators and the state-space dimension formula fixes the positive Hopf class and positive core-twist class relative to and , with operators and .
RT torus operators and the state-space dimension formula gives and, for the positive pair, ; replacing the positive Hopf class by its inverse gives .
The weighted Reshetikhin–Turaev TQFT and modular-functor factorization proves the actual weighted functor and normalized tube maps; for every compatible circle cut it supplies the complete dual-label sewing isomorphism and its composition-dual cutting inverse.
Simple ribbon fusion dimensions are nonzero proves for each simple label .
The modular Hopf-link matrix squares to D² times duality proves and , where .
Proof
Apply [F2] with no marked labels to the state space defined in [L1] and [F1]. It gives for every , with the specified algebraic normalization and no conjugation. The torus part of [F3] has the matched hypotheses and ; [F4] gives the anomaly-bearing relation for these positive classes and the distinct inverse-generator relation after replacing the positive Hopf class by its inverse.
For , [L1] gives , since . The unit is simple over by [F1], so this Hom space is and the sphere state space has dimension one. For each , the braiding unit axioms make the double braiding with label , after the canonical unit identifications, the identity of . The trace convention in [F1] therefore gives , and hence . By [F6] and [F7], both and are nonzero, so every is nonzero. Thus the instance of [F2] has each term , and the torus dimension is . Its basis is the one specified by [F2].
For any compatible cut, [F5] supplies the actual normalized tube map from the direct sum of the simple dual-label channels and its complete composition-dual cutting inverse, including separating and nonseparating cuts, all multiplicities, commuting disjoint cuts, and iterated gluing. Thus the maps in the statement are mutually inverse on the specified state spaces; the diagram only records that already-proved interface.
Depends on
Weighted modular TQFT model and physical interpretation boundary
Modular ribbon fusion category and Hopf-link data
RT torus operators and the state-space dimension formula
The weighted Reshetikhin–Turaev TQFT and modular-functor factorization
Simple ribbon fusion dimensions are nonzero
The modular Hopf-link matrix squares to D² times duality
The Axiom of Choice
The Axiom of Countable Choice ()