Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Frobenius–Schur sign in a normalized anyonic vacuum channel

Definition

Let C be a unitary spherical fusion category over C, with pivotal structure and spherical dimension as in Pivotal structure, Spherical structure, and The dimension of an object relative to a pivotal structure. Let a be a self-dual simple object with Naa1=1. Choose a unit vector v:1→a⊗a spanning the one-dimensional vacuum split space and let da>0 be its positive spherical dimension.

A normalized vacuum-channel self-duality datum is a supplied pair of maps coev⁡:1→a⊗a and ev⁡:a⊗a→1 of the form

coev⁡=da v,ev⁡=κada v†,

where κa∈{+1,−1} and the two duality zig-zag identities hold after the self-duality identification, using the left-dual convention of Left dual and right dual object. We call κa the Frobenius–Schur sign in this normalized cup/cap convention. It is not a braiding or R-symbol phase.

This item records supplied normalized duality data; it does not assert that every self-dual simple object admits the displayed gauge or prove a trace, ribbon, or category-equivalence theorem. An example must supply the datum or compute the sign from coherent normalized F-data; fusion rules alone do not specify it.

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