Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: 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.

Symmetric Rep(Z/2) has singular Hopf-link matrix

Statement

The complex symmetric fusion category Rep⁡(Z/2), 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 Z/2={0,1} and its category of finite-dimensional complex representations.

[F1]

A finite-dimensional representation of Z/2 is a complex vector space V with an involution T; morphisms commute with the involutions, and tensor product has involution T⊗U. The unit is the trivial one-dimensional representation. Use ordinary vector-space duality, evaluation and coevaluation, the canonical pivotal map V→V∗∗, and identity twist. The terminology “fusion category” is that of Fusion and multifusion categories; its hypotheses for this example are verified below.

[F2]

In complex representations the braiding is the flip v⊗w↦w⊗v; 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.

1.1F1F2givenalgebra

The projectors (1+T)/2 and (1−T)/2 split every representation as V=V+⊕V−, with T=+1 on V+ and T=−1 on V−. Choosing finite bases decomposes these spaces into copies of the one-dimensional trivial representation 1 and sign representation ε. They are nonisomorphic simples, their endomorphism rings are C, and ε⊗ε≅1 since (−1)2=1. 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 i,j, sij=tr⁡(1i⊗j)=didj=1. In the ordered basis (1,ε) this gives s=(1111).

2.1step 1.1algebra∎

The two rows coincide, and det⁡(s)=1⋅1−1⋅1=0. Therefore s 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