Searcharxiv⌕ Search

arXiv subjects

Peter Schauenburg

Publications and source records attributed to Peter Schauenburg.

29 records · Page 2Linked to original sources
arXiv2005

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 $V$ of a semisimple quasi-Hopf algebra $H$ 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äuser, and Zhu when $H$ is a Hopf algebra. We also obtain a sequence of canonical central elements of $H$, which is invariant under gauge transformations, whose values, when evaluated by the character of an $H$-module $V$, are the higher Frobenius-Schur indicators of $V$. 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.

math.QA↗
arXiv2004

Hopf Powers and Orders for Some Bismash Products

The Hopf order of an element $h$ of a Hopf algebra $H$ is the least $n$ such that the $n$-th Hopf power of $h$ is trivial. For some bismash product Hopf algebras obtained from factorizable groups (including Drinfeld doubles of some groups) we compute the dimensions of the spaces of elements with trivial $n$-th Hopf powers, and determine which Hopf orders of elements are possible. We discuss the behavior under twists and duality.

math.QA↗
arXiv2003

On the Frobenius-Schur indicators for quasi-Hopf algebras

Mason and Ng have given a generalization to semisimple quasi-Hopf algebras of Linchenko and Montgomery's generalization to semisimple Hopf algebras of the classical Frobenius-Schur theorem for group representations. We give a simplified proof, in particular a somewhat conceptual derivation of the appropriate form of the Frobenius-Schur indicator that indicates if and in which of two possible fashions a given simple module is self-dual.

math.QA↗
arXiv2003

Quantum torsors with fewer axioms

We give a definition of a noncommutative torsor by a subset of the axioms previously given by Grunspan. We show that noncommutative torsors are an equivalent description of Hopf-Galois objects (without specifying the Hopf algebra). In particular, this shows that the endomorphism of a torsor featuring in Grunspan's definition is redundant.

math.QA↗
arXiv2002

Two characterizations of finite quasi-Hopf algebras

Let H be a finite-dimensional quasibialgebra. We show that H is a quasi-Hopf algebra if and only if the category of its finite-dimensional left modules is rigid if and only if a structure theorem for Hopf modules over H holds. We also show that a dual structure theorem for Hopf modules over a coquasibialgebra H holds if and only if the category of finite-dimensional right H-comodules is rigid; this is not equivalent to H being a coquasi-Hopf algebra.

math.QA↗
arXiv2002

Quotients of finite quasi-Hopf algebras

Let H be a finite-dimensional quasi-Hopf algebra. We show for each quotient quasibialgebra Q of H that Q is a quasi-Hopf algebra whose dimension divides the dimension of H.

math.QA↗
arXiv2002

Morita base change in quantum groupoids

Let $L$ be a quantum semigroupoid, more precisely a $\times_R$-bialgebra in the sense of Takeuchi. We describe a procedure replacing the algebra $R$ by any Morita equivalent, or in fact more generally any $\sqrt{\text{Morita}}$ equivalent (in the sense of Takeuchi) algebra $S$ to obtain a $\times_S$-bialgebra $\widetilde H$ with the same monoidal representation category.

math.QA↗
arXiv2002

Weak Hopf algebras and quantum groupoids

We give a detailed comparison between the notion of a weak Hopf algebra (also called a quantum groupoid by Nikshych and Vainerman), and that of a $\times_R$-bialgebra due to Takeuchi (and also called a bialgebroid or quantum (semi)groupoid by Lu and Xu). A weak bialgebra is the same thing as a $\times_R$-bialgebra in which $R$ is Frobenius-separable. We extend the comparison to cover module and comodule theory, duality, and the question when a bialgebroid should be called a Hopf algebroid.

math.QA↗
arXiv2002

A quasi-Hopf algebra freeness theorem

We prove the quasi-Hopf algebra version of the Nichols-Zoeller theorem: A finite-dimensional quasi-Hopf algebra is free over any quasi-Hopf subalgebra.

math.QA↗
arXiv1996

Differential calculi on noncommutative bundles

We introduce a category of noncommutative bundles. To establish geometry in this category we construct suitable noncommutative differential calculi on these bundles and study their basic properties. Furthermore we define the notion of a connection with respect to a differential calculus and consider questions of existence and uniqueness. At the end these constructions are applied to basic examples of noncommutative bundles over a coquasitriangular Hopf algebra.

q-alg↗