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

Pointed ribbon categories from abelian 3-cocycles

Definition

Let G be a finite abelian group, written additively. A normalized abelian 3-cocycle is a pair of functions ω:G3→C× and r:G2→C×, equal to 1 whenever one of their arguments is 0, satisfying the pentagon equation

ω(a,b,c)ω(a,b+c,d)ω(b,c,d)=ω(a+b,c,d)ω(a,b,c+d)

and the two braided hexagon equations

ω(b,c,a)ω(a,b,c)r(a,b+c)=r(a,b)r(a,c)ω(b,a,c),

r(a+b,c)=ω(a,b,c)ω(c,a,b)ω(a,c,b)−1r(a,c)r(b,c).

The associated pointed category has one simple object g in each grade g∈G, tensor product g⊗h=g+h, associator αg,h,k:(g⊗h)⊗k→g⊗(h⊗k) given by scalar ω(g,h,k), and braiding cg,h:g⊗h→h⊗g given by scalar r(g,h). For the left dual g∨=−g, take evaluation g∨⊗g→0 to have scalar 1 and coevaluation 0→g⊗g∨ to have scalar ω(g,−g,g)−1. The first snake is the identity by this choice; the second is the identity because the normalized pentagon at (g,−g,g,−g) gives ω(g,−g,g)ω(−g,g,−g)=1. A ribbon twist is a function q:G→C× with q(0)=1, q(−g)=q(g), and

q(g+h)=r(g,h)r(h,g)q(g)q(h).

Write b(g,h)=r(g,h)r(h,g) for the double-braiding scalar. The pointed ribbon category data include a compatible pivotal structure whose twist is q and whose simple dimensions are 1; this convention is an explicit input, not a consequence of the quadratic function alone. A pointed metric-group category is modular exactly when its radical is trivial proves from the two hexagons that b is a symmetric bicharacter and that the Hopf-link matrix has entries sgh=b(g,h). A quadratic function alone is not the category data: the associator, both hexagons, duality maps, and the stated pivotal convention are part of the definition.

Facts & Assumptions

Given: A finite abelian group G, normalized functions ω,r,q satisfying the displayed equations, and the chosen pivotal convention of dimension 1 on each grade.

[F1]

A monoidal category requires a unit, associator natural isomorphism satisfying the pentagon, and unit constraints satisfying the triangle (Fusion and multifusion categories).

[F2]

A braiding is a natural isomorphism satisfying the two hexagon equations; a ribbon twist satisfies balancing and dual compatibility (Braided monoidal category, Twist and ribbon structure).

[F3]

A left dual consists of evaluation and coevaluation satisfying the two snake identities (Rigid object and rigid monoidal category).

Proof

Given: The data in the Statement.

1.1F1F2givenalgebra

On homogeneous simple grades, the associator and braiding are multiplication by the scalars ω and r. Therefore the two paths around the monoidal pentagon agree exactly by the displayed pentagon equation, and each braided hexagon diagram agrees exactly by its corresponding displayed equation. These equalities extend to finite direct sums by linearity and to all homogeneous morphisms by naturality of scalar maps. The grade 0 acts as the tensor unit because normalization makes every unit associator and braiding scalar equal to 1.

2.1F3givenstep 1.1algebra

The chosen evaluation and coevaluation have the stated sources and targets. The first snake has scalar ω(g,−g,g)−1ω(g,−g,g)=1. The second has scalar ω(g,−g,g)−1ω(−g,g,−g)−1=1, because the pentagon at (g,−g,g,−g) gives ω(g,−g,g)ω(−g,g,−g)=1. Hence each grade has the specified left dual.

3.1F2givenalgebra∎

The scalar b(g,h)=r(g,h)r(h,g) is the double-braiding value. The displayed formula for q(g+h) is exactly the balancing identity on two homogeneous simples, while q(−g)=q(g) is the dual-compatibility condition. Thus the stated scalar twist is ribbon-compatible; the pivotal dimension-one convention is an explicit part of the input data.

Depends on

Used by

Dependency tree · two levels

14 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