Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userCongruence Subgroups and Generalized Frobenius-Schur Indicators
272
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We introduce generalized Frobenius-Schur indicators for pivotal categories. In a spherical fusion category C, an equivariant indicator of an object in C is defined as a functional on the Grothendieck algebra of the quantum double Z(C) via generalized Frobenius-Schur indicators. The set of all equivariant indicators admits a natural action of the modular group. Using the properties of equivariant indicators, we prove a congruence subgroup theorem for modular categories. As a consequence, all modular representations of a modular category have finite images, and they satisfy a conjecture of Eholzer. In addition, we obtain two formulae for the generalized indicators, one of them a generalization of Bantays second indicator formula for a rational conformal field theory. This formula implies a conjecture of Pradisi-Sagnotti-Stanev, as well as a conjecture of Borisov-Halpern-Schweigert.
rate research
Read More
We define total Frobenius-Schur indicator for each object in a spherical fusion category $C$ as a certain canonical sum of its higher indicators. The total indicators are invariants of spherical fusion categories. If $C$ is the representation category of a semisimple quasi-Hopf algebra $H$, we prove that the total indicators are non-negative integers which satisfy a certain divisibility condition. In addition, if $H$ is a Hopf algebra, then all the total indicators are positive. Consequently, the positivity of total indicators is a necessary condition for a quasi-Hopf algebra being gauge equivalent to a Hopf algebra. Certain twisted quantum doubles of finite groups and some examples of Tambara-Yamagami categories are discussed for the sufficiency of this positivity condition.
The classical Frobenius-Schur indicators for finite groups are character sums defined for any representation and any integer m greater or equal to 2. In the familiar case m=2, the Frobenius-Schur indicator partitions the irreducible representations over the complex numbers into real, complex, and quaternionic representations. In recent years, several generalizations of these invariants have been introduced. Bump and Ginzburg, building on earlier work of Mackey, have defin
Let g be a finite dimensional complex semisimple Lie algebra, and let V be a finite dimensional represenation of g. We give a closed formula for the mth Frobenius-Schur indicator, m>1, of V in representation-theoretic terms. We deduce that the indicators take integer values, and that for a large enough m, the mth indicator of V equals the dimension of the zero weight space of V. For the classical Lie algebras sl(n), so(2n), so(2n+1) and sp(2n), this is the case for m greater or equal to 2n-1, 4n-5, 4n-3 and 2n+1, respectively.
Classically, the exponent of a group is the least common multiple of the orders of its elements. This notion was generalized by Etingof and Gelaki to the context of Hopf algebras. Kashina, Sommerhauser and Zhu later observed that there is a strong connection between exponents and Frobenius-Schur indicators. In this paper, we introduce the notion of twisted exponents and show that there is a similar relationship between the twisted exponent and the twisted Frobenius-Schur indicators defined in previous work of the authors. In particular, we exhibit a new formula for the twisted Frobenius-Schur indicators and use it to prove periodicity and rationality statements for the twisted indicators.
The congruence subgroup property is established for the modular representations associated to any modular tensor category. This result is used to prove that the kernel of the representation of the modular group on the conformal blocks of any rational, C_2-cofinite vertex operator algebra is a congruence subgroup. In particular, the q-character of each irreducible module is a modular function on the same congruence subgroup. The Galois symmetry of the modular representations is obtained and the order of the anomaly for those modular categories satisfying some integrality conditions is determined.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
