Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-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.

Weighted modular TQFT model and physical interpretation boundary

Physical scope

Pure mathematics; no physical premises or physical claim.

Definition

Assume full AC and its inherited countable-choice consequences. Let C be a complex modular ribbon fusion category with finite simple-label set I, unit label 0, simple pivotal dimensions di, twists θi, and Hopf-link matrix s. Choose a square root D∈C∖{0} of ∑i∈Idi2 and set S=s/D, p+=∑i∈Iθidi2, and κ=p+/D. Modularity means that s is invertible; no positivity of di or D is assumed.

Use the weighted Lagrangian ribbon-bordism category. An object is a closed oriented surface Σ with a finite collection of marked points carrying simple-object labels and disjoint oriented interval germs, together with a Lagrangian λ⊂H1(Σ;R) for the signed intersection form. A morphism is a compact oriented smooth three-bordism with fixed product collars and boundary parametrizations, a properly embedded colored ribbon graph with actual coupon morphisms and collar-product boundary ribbons, and an integer weight n. For a bordism M:Σ0→Σ1, its homology relation is RM={(x0,x1):j0x0=j1x1} under the boundary inclusion maps. For composable bordisms M1:Σ0→Σ1 and M2:Σ1→Σ2, let R1,R2 be their individual relations and let Rt denote relation transpose. In the specified middle surface, set K1=R1(λ0), K0=λ1, and K2=R2t(λ2); composition assigns weight n2+n1+μ(K1,K0,K2), with the Walker signature/Maslov sign and order. Here μ is the signature of the Wall form on the triple of middle Lagrangians. For a parametrized genus-g surface with ordered labels W1,…,Wn, write H=⨁i∈Ii⊗i∗ and

V(Σ;W1,…,Wn)=Hom⁡C(1,W1⊗⋯⊗Wn⊗H⊗g).

The weighted RT model is this category, these finite-dimensional complex state spaces, and the exact surgery-defined symmetric monoidal functor Z of the supplied theorem. It includes actual coupon morphisms, disconnected bordisms and empty ends; increasing an integer weight by one multiplies the map by κ. The model retains the full anomaly and asserts no ordinary anomaly-free functor unless cancellation data are supplied separately.

Interpretation boundary

This is a mathematical definition of an algebraic model. Modularity alone does not supply a positive Hermitian form or a unitary physical theory, and no Chern–Simons path integral is asserted or used.

Depends on

Dependency tree · 2 levels

Sources