Alphabeta Math
PropositionStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)
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

Physical scope

Pure mathematics; no physical premises or physical claim.

Statement

Assume full AC and its inherited countable-choice consequences. Let C be a complex modular ribbon fusion category with simple-label set I, unit label 0, simple dimensions di, Hopf-link matrix s, and a chosen square root D of ∑i∈Idi2. Put S=s/D and H=⨁i∈Ii⊗i∗. In the weighted RT model, define the closed unmarked genus-g state space by V(Σg)=Hom⁡C(1,H⊗g). For every integer g≥0,

dim⁡CV(Σg)=∑i∈IS0i 2−2g,

with no complex conjugation in this formula. The sphere state space has dimension one, and the unmarked torus has dimension ∣I∣ with basis bi:1→i⊗i∗⊂H. 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 (m,l) by ω(m,l)=1 and choose reference and object Lagrangians α=λ=Rm. The positive Hopf mapping-cylinder class and positive core-twist class have respective matrices

s+=(01−10),t=(1101),

with columns the images of m,l. Their operators are Sji=sji/D and Tji=δjiθi, where s is the Hopf-link matrix of C. For this positive pair, S2=C and (ST)3=κI, with Cji=δj,i∗. The inverse Hopf class s−=s+−1 acts by S−1 and satisfies (S−1T)3=κC; when labels are not all self-dual, C need not be I.

Factorization diagram

For a compatible cut γ, Gγ is the actual normalized tube-sewing map and Fγ is its complete cutting inverse. The displayed triangle records FγGγ=id on the direct-sum channel space; the other inverse identity GγFγ=id 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.

Li2IV(§cut;~W;i;i¤)V(§glued;~W)Li2IV(§cut;~W;i;i¤)G°idF°

Facts & Assumptions

Given: A complex modular ribbon fusion category, its weighted RT model, an integer g≥0, and, when a cut is considered, a compatible marked separating or nonseparating circle cut.

[A1]

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 (ACω)).

[L1]

Weighted modular TQFT model and physical interpretation boundary defines the state spaces and the exact weighted RT functor used in this proposition, with S=s/D and weight parameter κ=p+/D.

[F1]

Modular ribbon fusion category and Hopf-link data defines the finite set I, di, s, D2=∑idi2, and modularity by invertibility of s; it assumes no positivity of di or D.

[F2]

RT torus operators and the state-space dimension formula proves the exact genus-g dimension formula, with no complex conjugation, and fixes S=s/D, the dual-label convention S2=C, and the torus basis.

[F3]

RT torus operators and the state-space dimension formula fixes the positive Hopf class s+ and positive core-twist class t relative to ω(m,l)=1 and α=λ=Rm, with operators Sji=sji/D and Tji=δjiθi.

[F4]

RT torus operators and the state-space dimension formula gives S2=C and, for the positive pair, (ST)3=κI; replacing the positive Hopf class by its inverse gives (S−1T)3=κC.

[F5]

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.

[F6]

Simple ribbon fusion dimensions are nonzero proves di≠0 for each simple label i.

[F7]

The modular Hopf-link matrix squares to D² times duality proves D2≠0 and S2=C, where Cij=δi,j∗.

Proof

1.1A1L1F1F2F3F4given

Apply [F2] with no marked labels to the state space defined in [L1] and [F1]. It gives dim⁡CV(Σg)=∑i∈IS0i2−2g for every g≥0, with the specified algebraic normalization and no conjugation. The torus part of [F3] has the matched hypotheses ω(m,l)=1 and α=λ=Rm; [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.

1.2L1F1F2F6F7algebra

For g=0, [L1] gives V(Σ0)=Hom⁡C(1,1), since H⊗0=1. The unit is simple over C by [F1], so this Hom space is C and the sphere state space has dimension one. For each i∈I, the braiding unit axioms make the double braiding with label 0, after the canonical unit identifications, the identity of i. The trace convention in [F1] therefore gives s0i=di, and hence S0i=di/D. By [F6] and [F7], both di and D are nonzero, so every S0i is nonzero. Thus the g=1 instance of [F2] has each term S0i0=1, and the torus dimension is ∣I∣. Its basis bi is the one specified by [F2].

2.1A1L1F5step 1.1construct∎

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

Dependency tree · 2 levels

Sources