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 be a finite abelian group, written additively. A normalized abelian 3-cocycle is a pair of functions and , equal to whenever one of their arguments is , satisfying the pentagon equation
and the two braided hexagon equations
The associated pointed category has one simple object in each grade , tensor product , associator given by scalar , and braiding given by scalar . For the left dual , take evaluation to have scalar and coevaluation to have scalar . The first snake is the identity by this choice; the second is the identity because the normalized pentagon at gives . A ribbon twist is a function with , , and
Write for the double-braiding scalar. The pointed ribbon category data include a compatible pivotal structure whose twist is and whose simple dimensions are ; 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 is a symmetric bicharacter and that the Hopf-link matrix has entries . 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 , normalized functions satisfying the displayed equations, and the chosen pivotal convention of dimension on each grade.
A monoidal category requires a unit, associator natural isomorphism satisfying the pentagon, and unit constraints satisfying the triangle (Fusion and multifusion categories).
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).
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.
On homogeneous simple grades, the associator and braiding are multiplication by the scalars and . 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 acts as the tensor unit because normalization makes every unit associator and braiding scalar equal to .
The chosen evaluation and coevaluation have the stated sources and targets. The first snake has scalar . The second has scalar , because the pentagon at gives . Hence each grade has the specified left dual.
The scalar is the double-braiding value. The displayed formula for is exactly the balancing identity on two homogeneous simples, while 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
- Etingof, Gelaki, Nikshych, and Ostrik, Tensor Categories, §§8.4 and 8.13 (standard reference, not scraped)
- Bakalov and Kirillov, Lectures on Tensor Categories and Modular Functor, §§2.2 and 3.1 (standard reference, not scraped)