Source author record

Peter Schauenburg

Peter Schauenburg appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
8topics
2close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2016arXiv

Higher frobenius-schur indicators for drinfeld doubles of finite groups through characters of centralizers

We present a new approach to calculating the higher Frobenius-Schur indicators for the simple modules over the Drinfeld double of a finite group. In contrast to the formula by Kashina-Sommerh{ä}user-Zhu that involves a sum over all group elements satisfying a certain condition, our formula operates on the level of conjugacy classes and character tables. It can be implemented in the computer algebra system GAP, efficiently enough to deal, on a laptop, with symmetric groups up to $S_{18}$ (providing further evidence that indicators are non-negative in this case) or simple groups of order up to $2 \cdot 10^8$. The approach also allows us to test whether all indicators over the double of a given group are rational , without computing them. Among simple groups of order up to about $5 \cdot 10^{11}$ an inspection yields exactly one example (of order about $5 \cdot 10^9$) where irrational indicators occur.

preprint2015arXiv

A Higher Frobenius-Schur Indicator Formula for Group-Theoretical Fusion Categories

Group-theoretical fusion categories are defined by data concerning finite groups and their cohomology: A finite group $G$ endowed with a three-cocycle $ω$, and a subgroup $H\subset G$ endowed with a two-cochain whose coboundary is the restriction of $ω$. The objects of the category are $G$-graded vector spaces with suitably twisted $H$-actions; the associativity of tensor products is controlled by $ω$. Simple objects are parametrized in terms of projective representations of finite groups, namely of the stabilizers in $H$ of right $H$-cosets in $G$, with respect to two-cocycles defined by the initial data. We derive and study general formulas that express the higher Frobenius-Schur indicators of simple objects in a group-theoretical fusion category in terms of the group-theoretical and cohomological data defining the category and describing its simples.

preprint2015arXiv

A note on the restricted universal enveloping algebra of a restricted Lie-Rinehart Algebra

Lie-Rinehart algebras, also known as Lie algebroids, give rise to Hopf algebroids by a universal enveloping algebra construction, much as the universal enveloping algebra of an ordinary Lie algebra gives a Hopf algebra, of infinite dimension. In finite characteristic, the universal enveloping algebra of a restricted Lie algebra admits a quotient Hopf algebra which is finite-dimensional if the Lie algebra is. Rumynin has shown that suitably defined restricted Lie algebroids allow to define restricted universal enveloping algebras that are finitely generated projective if the Lie algebroid is. This note presents an alternative proof and possibly fills a gap that might, however, only be a gap in the author's understanding.

preprint2015arXiv

Computing Higher Frobenius-Schur Indicators in Fusion Categories Constructed from Inclusions of Finite Groups

We consider a subclass of the class of group-theoretical fusion categories: To every finite group $G$ and subgroup $H$ one can associate the category of $G$-graded vector spaces with a two-sided $H$-action compatible with the grading. We derive a formula that computes higher Frobenius-Schur indicators for the objects in such a category using the combinatorics and representation theory of the groups involved in their construction. We calculate some explicit examples for inclusions of symmetric groups.

preprint2015arXiv

Frobenius-Schur indicators for some fusion categories associated to symmetric and alternating groups

We calculate Frobenius-Schur indicator values for some fusion categories obtained from inclusions of finite groups $H\subset G$, where more concretely $G$ is symmetric or alternating, and $H$ is a symmetric, alternating or cyclic group. Our work is strongly related to earlier results by Kashina-Mason-Montgomery, Jedwab-Montgomery, and Timmer for bismash product Hopf algebras obtained from exact factorizations of groups. We can generalize some of their results, settle some open questions and offer shorter proofs; this already pertains to the Hopf algebra case, while our results also cover fusion categories not associated to Hopf algebras.

preprint2015arXiv

Some quasitensor autoequivalences of Drinfeld doubles of finite groups

We report on two classes of autoequivalences of the category of Yetter-Drinfeld modules over a finite group, or, equivalently the Drinfeld center of the category of representations of a finite group. Both operations are related to the $r$-th power operation, with $r$ relatively prime to the exponent of the group. One is defined more generally for the group-theoretical fusion category defined by a finite group and an arbitrary subgroup, while the other seems particular to the case of Yetter-Drinfeld modules. Both autoequivalences preserve higher Frobenius-Schur indicators up to Galois conjugation, and they preserve tensor products, although neither of them can in general be endowed with the structure of a monoidal functor.

preprint2015arXiv

The dual and the double of a Hopf algebroid are Hopf algebroids

Let $H$ be a $\times$-bialgebra in the sense of Takeuchi. We show that if $H$ is $\times$-Hopf, and if $H$ fulfills the finiteness condition necessary to define its skew dual $H^\vee$, then the coopposite of the latter is $\times$-Hopf as well. If in addition the coopposite $\times$-bialgebra of $H$ is $\times$-Hopf, then the coopposite of the Drinfeld double of $H$ is $\times$-Hopf, as is the Drinfeld double itself, under an additional finiteness condition.

preprint2014arXiv

On tensor factorizations of Hopf algebras

We prove a variety results on tensor product factorizations of finite dimensional Hopf algebras (more generally Hopf algebras satisfying chain conditions in suitable braided categories). The results are analogs of well-known results on direct product factorizations of finite groups (or groups with chain conditions) such as Fitting's Lemma and the uniqueness of the Krull-Remak-Schmidt factorization. We analyze the notion of normal (and conormal) Hopf algebra endomorphisms, and the structure of endomorphisms and automorphisms of tensor products. The results are then applied to compute the automorphism group of the Drinfeld double of a finite group in the case where the group contains an abelian factor. (If it doesn't, the group can be calculated by results of the first author.)

preprint2010arXiv

Congruence Subgroups and Generalized Frobenius-Schur Indicators

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 Bantay's 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.

preprint2005arXiv

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 $k$-linear semisimple rigid monoidal category, which we call the Frobenius-Schur endomorphisms. For a $k$-linear semisimple pivotal monoidal category -- where both notions are defined --, the Frobenius-Schur indicators can be computed as traces of the Frobenius-Schur endomorphisms.