225 research outputs found
Hopf algebras of prime dimension in positive characteristic
We prove that a Hopf algebra of prime dimension over an algebraically
closed field, whose characteristic is equal to , is either a group algebra
or a restricted universal enveloping algebra. Moreover, we show that any Hopf
algebra of prime dimension over a field of characteristic is
commutative and cocommutative when or . This problem remains open
in positive characteristic when .Comment: 7 pages; to appear in Bulletin of the London Mathematical Societ
Central Invariants and Higher Indicators for Semisimple Quasi-Hopf Algebras
In this paper, we define the higher Frobenius-Schur (FS-)indicators for
finite-dimensional modules of a semisimple quasi-Hopf algebra via the
categorical counterpart developed in \cite{NS05}. We prove that this definition
of higher FS-indicators coincides with the higher indicators introduced by
Kashina, Sommerh\"auser, and Zhu when is a Hopf algebra. We also obtain a
sequence of canonical central elements of , which is invariant under gauge
transformations, whose values, when evaluated by the character of an -module
, are the higher Frobenius-Schur indicators of . As an application, we
show that FS-indicators are sufficient to distinguish the four gauge
equivalence classes of semisimple quasi-Hopf algebras of dimension eight
corresponding to the four fusion categories with certain fusion rules
classified by Tambara and Yamagami. Three of these categories correspond to
well-known Hopf algebras, and we explicitly construct a quasi-Hopf algebra
corresponding to the fourth. We also derive explicit formulae for FS-indicators
for some quasi-Hopf algebras associated to group cocycles.Comment: The higher Frobenius-Schur indicators for certain quasi-Hopf algebras
associated with finite groups and their 3-cocycles have been computed in
section
Higher Frobenius-Schur Indicators for Pivotal Categories
We define higher Frobenius-Schur indicators for objects in linear pivotal
monoidal categories. We prove that they are category invariants, and take
values in the cyclotomic integers. We also define a family of natural
endomorphisms of the identity endofunctor on a -linear semisimple rigid
monoidal category, which we call the Frobenius-Schur endomorphisms. For a
-linear semisimple pivotal monoidal category -- where both notions are
defined --, the Frobenius-Schur indicators can be computed as traces of the
Frobenius-Schur endomorphisms.Comment: A paragraph which describes the organization of the paper has been
added to the introduction. Some observations have been added to Theorems 5.1
and 7.
Hopf algebras of dimension pq
Let H be a non-semisimple Hopf algebra with antipode S of dimension pq over an algebraically closed field of characteristic 0 where p β€ q are odd primes. We prove that Tr(S2p) = p2d where d β‘ pq (mod 4). As a consequence, if p, q are twin primes, then any Hopf algebra of dimension pq is semisimple. Β© 2004 Elsevier Inc. All rights reserved
Congruence Property In Conformal Field Theory
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.Comment: References are updated. Some typos and grammatical errors are
correcte
Higher Gauss sums of modular categories
The definitions of the Gauss sum and the associated central
charge are introduced for premodular categories and
. We first derive an expression of the Gauss sum of a
modular category , for any integer coprime to the order of the
T-matrix of , in terms of the first Gauss sum, the global
dimension, the twist and their Galois conjugates. As a consequence, we show for
these , the higher Gauss sums are -numbers and the associated central
charges are roots of unity. In particular, if is the Drinfeld
center of a spherical fusion category, then these higher central charges are 1.
We obtain another expression of higher Gauss sums for de-equivariantization and
local module constructions of appropriate premodular and modular categories.
These expressions are then applied to prove the Witt invariance of higher
central charges for pseudounitary modular categories.Comment: 26 pages. Typos and minor mistakes are corrected. Question 7.3 in the
previous version is answere
On Hopf algebras of dimension in characteristic
Let be an algebraically closed field of characteristic . We
study the general structures of -dimensional Hopf algebras over
with group-like elements or a primitive element generating a
-dimensional Hopf subalgebra. As applications, we have proved that
Hopf algebras of dimension over are pointed or basic for , and provided a list of characterizations of the Radford algebra . In
particular, is the unique nontrivial extension of by
, where is the cyclic group of order . In addition, we
have proved a vanishing theorem for some 2nd Sweedler cohomology group and
investigated the extensions of -dimensional Hopf algebras. All these
extensions have been identified and shown to be pointed.Comment: 31 pages LaTe
- β¦