Showing 1–29 of 29 results for author: Schauenburg, P

Reflective centers as categories of modules

Authors: Peter Schauenburg

Abstract: In [LWY23] the authors construct the reflective center of a module category M over a braided monoidal category B. The reflective center is by construction a braided module category over B. In the case where B is the category of modules over a finite dimensional quasitriangular Hopf algebra H, acting on the category of modules over a comodule algebra, they construct a comodule algebra, the reflecti… ▽ More In [LWY23] the authors construct the reflective center of a module category M over a braided monoidal category B. The reflective center is by construction a braided module category over B. In the case where B is the category of modules over a finite dimensional quasitriangular Hopf algebra H, acting on the category of modules over a comodule algebra, they construct a comodule algebra, the reflective algebra, whose modules are precisely the reflective center. In the construction, Majid's transmutation of H plays a crucial r{ô}le. This note centers on the transmuted H, seeking to ''explain'' its appearance through a generalization in which the acting category is no longer a module category, but admits an internal reconstructed Hopf algebra; the transmutation is a special case of this notion. As a result, in certain cases, the reflective center is simply the category of modules in M over that Hopf algebra in B. △ Less

Submitted 10 June, 2025; v1 submitted 12 May, 2025; originally announced May 2025.

Hopf Galois extensions of Hopf algebroids

Authors: Xiao Han, Peter Schauenburg

Abstract: We study Hopf Galois extensions of Hopf algebroids as a generalization of the theory for Hopf algebras. More precisely, we introduce (skew-)regular comodules and generalize the structure theorem for relative Hopf modules. Also, we show that if $N\subseteq P$ is a left $\mathcal{L}$-Galois extension and $Γ$ is a 2-cocycle of $\mathcal{L}$, then for the twisted comodule algebra ${}_ΓP$,… ▽ More We study Hopf Galois extensions of Hopf algebroids as a generalization of the theory for Hopf algebras. More precisely, we introduce (skew-)regular comodules and generalize the structure theorem for relative Hopf modules. Also, we show that if $N\subseteq P$ is a left $\mathcal{L}$-Galois extension and $Γ$ is a 2-cocycle of $\mathcal{L}$, then for the twisted comodule algebra ${}_ΓP$, $N\subseteq{}_ΓP$ is a left Hopf Galois extension of the twisted Hopf algebroid $\mathcal{L}^Γ$. We study twisted Drinfeld doubles of Hopf algebroids as examples for the Drinfeld twist theory. Finally, we introduce cleft extension and $σ$-twisted crossed products of Hopf algebroids. Moreover, we show the equivalence of cleft extensions, $σ$-twisted crossed products, and Hopf Galois extensions with normal basis properties, which generalize the theory of cleft extensions of Hopf algebras. △ Less

Submitted 16 June, 2024; originally announced June 2024.

A Topological Invariant for Modular Fusion Categories

Authors: Ajinkya Kulkarni, Michaël Mignard, Peter Schauenburg

Abstract: The modular data of a modular category $\mathcal{C}$, consisting of the $S$-matrix and the $T$-matrix, is known to be an incomplete invariant of $\mathcal{C}$. More generally, the invariants of framed links and knots defined by a modular category as part of a topological quantum field theory can be viewed as numerical invariants of the category. Among these invariants, we study the invariant defin… ▽ More The modular data of a modular category $\mathcal{C}$, consisting of the $S$-matrix and the $T$-matrix, is known to be an incomplete invariant of $\mathcal{C}$. More generally, the invariants of framed links and knots defined by a modular category as part of a topological quantum field theory can be viewed as numerical invariants of the category. Among these invariants, we study the invariant defined by the Borromean link colored by three objects. Thus we obtain a tensor that we call $B$. We derive a formula for the Borromean tensor for the twisted Drinfeld doubles of finite groups. Along with $T$, it distinguishes the $p$ non-equivalent modular categories of the form $\mathcal{Z}({\rm Vec}_G^ω)$ for $G$ the non-abelian group $\mathbb{Z}/q\mathbb{Z} \rtimes \mathbb{Z}/p\mathbb{Z}$, which are not distinguished by the modular data. △ Less

Submitted 26 April, 2021; v1 submitted 8 June, 2018; originally announced June 2018.

Morita equivalence of pointed fusion categories of small rank

Authors: Michaël Mignard, Peter Schauenburg

Abstract: We classify pointed fusion categories C(G, $ω$) up to Morita equivalence for 1 < |G| < 32. Among them, the cases |G| = 2 3 , 2 4 and 3 3 are emphasized. Although the equivalence classes of such categories are not distinguished by their Frobenius-Schur indicators, their categorical Morita equivalence classes are distinguished by the set of the indicators and ribbon twists of their Drinfeld centers.… ▽ More We classify pointed fusion categories C(G, $ω$) up to Morita equivalence for 1 < |G| < 32. Among them, the cases |G| = 2 3 , 2 4 and 3 3 are emphasized. Although the equivalence classes of such categories are not distinguished by their Frobenius-Schur indicators, their categorical Morita equivalence classes are distinguished by the set of the indicators and ribbon twists of their Drinfeld centers. In particular, the modular data are a complete invariant for the modular categories Z(C(G, $ω$)) for |G[< 32. We use the computer algebra package GAP and present codes for treating complex-valued group cohomology and calculating Frobenius-Schur indicators. △ Less

Submitted 22 August, 2017; originally announced August 2017.

Modular categories are not determined by their modular data

Authors: Michaël Mignard, Peter Schauenburg

Abstract: Arbitrarily many pairwise inequivalent modular categories can share the same modular data. We exhibit a family of examples that are module categories over twisted Drinfeld doubles of finite groups, and thus in particular integral modular categories. Arbitrarily many pairwise inequivalent modular categories can share the same modular data. We exhibit a family of examples that are module categories over twisted Drinfeld doubles of finite groups, and thus in particular integral modular categories. △ Less

Submitted 8 June, 2021; v1 submitted 9 August, 2017; originally announced August 2017.

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

Authors: Peter Schauenburg

Abstract: 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 algebr… ▽ More 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. △ Less

Submitted 8 April, 2016; originally announced April 2016.

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

Authors: Peter Schauenburg

Abstract: 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… ▽ More 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. △ Less

Submitted 11 May, 2015; originally announced May 2015.

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

Authors: Peter Schauenburg

Abstract: 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 D… ▽ More 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. △ Less

Submitted 20 April, 2015; originally announced April 2015.

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

Authors: Peter Schauenburg

Abstract: 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 fa… ▽ More 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. △ Less

Submitted 3 March, 2015; originally announced March 2015.

Comments: 15 pages

MSC Class: 18D10; 16T05; 20C15

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

Authors: Peter Schauenburg

Abstract: 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… ▽ More 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. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Comments: 21 pages

MSC Class: 18D10; 16T05; 20C1

Some quasitensor autoequivalences of Drinfeld doubles of finite groups

Authors: Peter Schauenburg

Abstract: 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… ▽ More 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. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Comments: 18 pages

MSC Class: 18D10; 16T05; 20C15

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

Authors: Peter Schauenburg

Abstract: 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 group… ▽ More 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. △ Less

Submitted 8 February, 2015; originally announced February 2015.

Comments: 29 pages

MSC Class: 18D10; 16T05; 20C15

On tensor factorizations of Hopf algebras

Authors: Marc Keilberg, Peter Schauenburg

Abstract: 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… ▽ More 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.) △ Less

Submitted 23 October, 2014; originally announced October 2014.

Comments: 24 pages

MSC Class: 16T05; 08A35; 20D99; 18D10; 18E10

Journal ref: Algebra Number Theory 10 (2016) 61-87

Cohomology of finite dimensional pointed Hopf algebras

Authors: M. Mastnak, J. Pevtsova, P. Schauenburg, S. Witherspoon

Abstract: We prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by Andruskiewitsch and Schneider of such Hopf algebras. Examples include all of Lusztig's small quantum groups, whose cohomology was first computed explicitly by Ginz… ▽ More We prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by Andruskiewitsch and Schneider of such Hopf algebras. Examples include all of Lusztig's small quantum groups, whose cohomology was first computed explicitly by Ginzburg and Kumar, as well as many new pointed Hopf algebras. We also show that in general the cohomology ring of a Hopf algebra in a braided category is braided commutative. As a consequence we obtain some further information about the structure of the cohomology ring of a finite dimensional pointed Hopf algebra and its related Nichols algebra. △ Less

Submitted 18 September, 2009; v1 submitted 4 February, 2009; originally announced February 2009.

Comments: 36 pages, references added

MSC Class: 16E40; 16W30

Congruence Subgroups and Generalized Frobenius-Schur Indicators

Authors: Siu-Hung Ng, Peter Schauenburg

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 i… ▽ More 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. △ Less

Submitted 15 July, 2010; v1 submitted 16 June, 2008; originally announced June 2008.

Comments: 42 pages Latex, corrected typos, added some references, slightly rewritten abstract of the previous version

Journal ref: Communications in Mathematical Physics, 300 (2010), no. 1, 1--46

Frobenius-Schur Indicators and Exponents of Spherical Categories

Authors: Siu-Hung Ng, Peter Schauenburg

Abstract: We obtain two formulae for the higher Frobenius-Schur indicators: one for a spherical fusion category in terms of the twist of its center and the other one for a modular tensor category in terms of its twist. The first one is a categorical generalization of an analogous result by Kashina, Sommerhauser, and Zhu for Hopf algebras, and the second one extends Bantay's 2nd indicator formula for a con… ▽ More We obtain two formulae for the higher Frobenius-Schur indicators: one for a spherical fusion category in terms of the twist of its center and the other one for a modular tensor category in terms of its twist. The first one is a categorical generalization of an analogous result by Kashina, Sommerhauser, and Zhu for Hopf algebras, and the second one extends Bantay's 2nd indicator formula for a conformal field theory to higher degree. These formulae imply the sequence of higher indicators of an object in these categories is periodic. We define the notion of Frobenius-Schur (FS-)exponent of a pivotal category to be the global period of all these sequences of higher indicators, and we prove that the FS-exponent of a spherical fusion category is equal to the order of the twist of its center. Consequently, the FS-exponent of a spherical fusion category is a multiple of its exponent, in the sense of Etingof, by a factor not greater than 2. As applications of these results, we prove that the exponent and the dimension of a semisimple quasi-Hopf algebra H have the same prime divisors, which answers two questions of Etingof and Gelaki affirmatively for quasi-Hopf algebras. Moreover, we prove that the FS-exponent of H divides dim(H)^4. In addition, if H is a group-theoretic quasi-Hopf algebra, the FS-exponent of H divides dim(H)^2, and this upper bound is shown to be tight. △ Less

Submitted 4 August, 2006; v1 submitted 31 December, 2005; originally announced January 2006.

Comments: 32p. LaTex file with macros and figures. Some typos and Thm 8.4 in v2 have been corrected. The current Thm 8.4 is a combined result of Thms 8.4 and 8.5 in version 2

Journal ref: Adv. Math. 211 (2007) no. 1, 34--71

Central Invariants and Higher Indicators for Semisimple Quasi-Hopf Algebras

Authors: Siu-Hung Ng, Peter Schauenburg

Abstract: 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 canon… ▽ More 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. △ Less

Submitted 30 December, 2005; v1 submitted 8 August, 2005; originally announced August 2005.

Comments: The higher Frobenius-Schur indicators for certain quasi-Hopf algebras associated with finite groups and their 3-cocycles have been computed in section 7

Journal ref: Trans. Amer. Math. Soc. 360 (2008), 1839-1860 (Final Version)

Higher Frobenius-Schur Indicators for Pivotal Categories

Authors: Siu-Hung Ng, Peter Schauenburg

Abstract: 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 m… ▽ More 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. △ Less

Submitted 30 December, 2005; v1 submitted 8 March, 2005; originally announced March 2005.

Comments: 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.6

Journal ref: Contemporary Mathematics 441 (2007), 63-90

Hopf Powers and Orders for Some Bismash Products

Authors: Rachel Landers, Susan Montgomery, Peter Schauenburg

Abstract: 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… ▽ More 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. △ Less

Submitted 21 May, 2004; originally announced May 2004.

Comments: 28 pages

MSC Class: 16W30

On Generalized Hopf Galois Extensions

Authors: P. Schauenburg, H. -J. Schneider

Abstract: We investigate criteria for algebra extensions that are of Galois type with respect to the coaction of a Hopf algebra or, more generally, a one-sided quotient of a Hopf algebra, or with respect to an entwining. We study the module- and comodule-theoretical properties of such extensions. We investigate criteria for algebra extensions that are of Galois type with respect to the coaction of a Hopf algebra or, more generally, a one-sided quotient of a Hopf algebra, or with respect to an entwining. We study the module- and comodule-theoretical properties of such extensions. △ Less

Submitted 11 May, 2004; originally announced May 2004.

Comments: 23 pages

MSC Class: 16W30

On the Frobenius-Schur indicators for quasi-Hopf algebras

Authors: Peter Schauenburg

Abstract: 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 fas… ▽ More 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. △ Less

Submitted 7 September, 2003; originally announced September 2003.

Comments: 7 pages

MSC Class: 16W30

Quantum torsors with fewer axioms

Authors: Peter Schauenburg

Abstract: 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. 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. △ Less

Submitted 31 January, 2003; originally announced February 2003.

Comments: 7 pages

MSC Class: 16W30

Quantum torsors and Hopf-Galois objects

Authors: Peter Schauenburg

Abstract: We prove that every faithfully flat Hopf-Galois object is a quantum torsor in the sense of Grunspan. We prove that every faithfully flat Hopf-Galois object is a quantum torsor in the sense of Grunspan. △ Less

Submitted 6 August, 2002; originally announced August 2002.

Comments: 8 pages

MSC Class: 16W30

Two characterizations of finite quasi-Hopf algebras

Authors: Peter Schauenburg

Abstract: 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; t… ▽ More 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. △ Less

Submitted 8 July, 2002; originally announced July 2002.

Comments: 11 pages

MSC Class: 16W30

Morita base change in quantum groupoids

Authors: Peter Schauenburg

Abstract: 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. 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. △ Less

Submitted 29 April, 2002; originally announced April 2002.

Comments: 19 pages

MSC Class: 16W30

Quotients of finite quasi-Hopf algebras

Authors: Peter Schauenburg

Abstract: 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. 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. △ Less

Submitted 29 April, 2002; originally announced April 2002.

Comments: 10 pages

MSC Class: 16W30

Weak Hopf algebras and quantum groupoids

Authors: Peter Schauenburg

Abstract: 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… ▽ More 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. △ Less

Submitted 13 April, 2002; originally announced April 2002.

Comments: 18 pages

MSC Class: 16W30

A quasi-Hopf algebra freeness theorem

Authors: Peter Schauenburg

Abstract: 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. 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. △ Less

Submitted 10 April, 2002; originally announced April 2002.

Comments: 7 pages

MSC Class: 16W30

Differential calculi on noncommutative bundles

Authors: Markus J. Pflaum, Peter Schauenburg

Abstract: 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 exampl… ▽ More 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. △ Less

Submitted 22 December, 1996; originally announced December 1996.

Comments: LaTeX, 31 pages

MSC Class: 16S40; 16W30; 81R50