Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generated
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.

A pointed metric-group category is modular exactly when its radical is trivial

Statement

Let (G,ω,r,q) be pointed ribbon data as in Pointed ribbon categories from abelian 3-cocycles, and let b(g,h)=r(g,h)r(h,g). The associated pointed ribbon fusion category is modular if and only if

rad⁡(b)={g∈G:b(g,h)=1 for every h∈G}={0}.

Facts & Assumptions

Given: Finite abelian pointed ribbon data (G,ω,r,q) and the modularity convention of Modular ribbon fusion category and Hopf-link data.

[F1]

The simple objects are the grades g∈G, all have dimension 1, and their double braiding is the scalar b(g,h) (Pointed ribbon categories from abelian 3-cocycles).

[F2]

The cocycle data and the two hexagon equations are those in Pointed ribbon categories from abelian 3-cocycles.

Proof

Given: The data in the Statement.

1.1F1F2givenalgebra

The two hexagon equations in [F2] give b(a+b,c)=b(a,c)b(b,c) after multiplying the formula for r(a+b,c) by that for r(c,a+b) and cancelling the three ω factors. Since b(a,c)=b(c,a) by definition, it is multiplicative in the second variable as well. For r∈rad⁡(b) nonzero, the rows indexed by 0 and r in [F1] coincide, since b(r,h)=1=b(0,h) for every h. Thus s is singular.

2.1F1step 1.1choosealgebra∎

Because G is finite and b is a bicharacter, every b(g,h) is a root of unity, so b(g,h)‾=b(g,h)−1. If rad⁡(b)={0}, the characters h↦b(g,h) are pairwise distinct. For g≠k, χ(h)=b(g−k,h) is nontrivial; choose t with χ(t)≠1, and translating the finite sum gives ∑hχ(h)=χ(t)∑hχ(h), hence ∑hχ(h)=0. Thus distinct rows of s are orthogonal and each row has squared norm ∣G∣, so ss†=∣G∣I. Therefore s is invertible and the category is modular.

Depends on

Used by

Dependency tree · two levels

10 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources