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.
Symmetric Rep(Z/2) has singular Hopf-link matrix
Statement
The complex symmetric fusion category , with its usual spherical structure and symmetric braiding, is not modular under the Hopf-link convention of Modular ribbon fusion category and Hopf-link data.
Facts & Assumptions
Given: The group and its category of finite-dimensional complex representations.
A finite-dimensional representation of is a complex vector space with an involution ; morphisms commute with the involutions, and tensor product has involution . The unit is the trivial one-dimensional representation. Use ordinary vector-space duality, evaluation and coevaluation, the canonical pivotal map , and identity twist. The terminology “fusion category” is that of Fusion and multifusion categories; its hypotheses for this example are verified below.
In complex representations the braiding is the flip ; applying the reverse flip gives the identity. The braiding and double-braiding convention are those of Braiding and Modular ribbon fusion category and Hopf-link data.
Proof
Given: The data in the Statement.
The projectors and split every representation as , with on and on . Choosing finite bases decomposes these spaces into copies of the one-dimensional trivial representation and sign representation . They are nonisomorphic simples, their endomorphism rings are , and since . Thus the category is finite semisimple with simple unit; ordinary duality and flip make it symmetric ribbon with the stated spherical structure. Contraction of the ordinary evaluation and coevaluation is the ordinary linear trace, so both simple dimensions are one. By [F2], for any simple labels , . In the ordered basis this gives
The two rows coincide, and . Therefore is not invertible and the category is not modular. This shows why nondegeneracy must be a hypothesis or separately proved.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
15 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.13 (standard reference, not scraped)
- Bakalov and Kirillov, Lectures on Tensor Categories and Modular Functor, §3.1 (standard reference, not scraped)