Showing 1–50 of 62 results for author: Witherspoon, S

Deformation Theory and Hopf Actions on Koszul Algebras

Authors: A. V. Shepler, S. Witherspoon

Abstract: We consider graded deformations and PBW deformations of algebras defined over noncommutative algebras. We explain how fibers of graded deformations correspond to filtered algebras admitting a PBW property, with focus on smash product algebras for Hopf algebras acting on quadratic algebras. In particular, we describe all PBW deformations arising from Hopf actions on Koszul algebras, giving Hopf-Kos… ▽ More We consider graded deformations and PBW deformations of algebras defined over noncommutative algebras. We explain how fibers of graded deformations correspond to filtered algebras admitting a PBW property, with focus on smash product algebras for Hopf algebras acting on quadratic algebras. In particular, we describe all PBW deformations arising from Hopf actions on Koszul algebras, giving Hopf-Koszul Hecke algebras. Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products transfer homological information between resolutions and convert conditions on Hochschild cocycles and Gerstenhaber brackets into explicit PBW conditions. △ Less

Submitted 19 April, 2025; originally announced April 2025.

Comments: 47 pages

MSC Class: 16S80; 16S40; 16E40; 16S37

Twisted tensor products: Alexander-Whitney and Eilenberg-Zilber maps

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: Alexander-Whitney and Eilenberg-Zilber maps traditionally convert between the tensor product of standard resolutions and the standard resolution of a tensor product of algebras. We examine Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products, which include skew group algebras, smash products of Hopf algebras, Ore extensions, and universal enveloping algebras. These maps convert… ▽ More Alexander-Whitney and Eilenberg-Zilber maps traditionally convert between the tensor product of standard resolutions and the standard resolution of a tensor product of algebras. We examine Alexander-Whitney and Eilenberg-Zilber maps for twisted tensor products, which include skew group algebras, smash products of Hopf algebras, Ore extensions, and universal enveloping algebras. These maps convert between the twist of standard resolutions and the standard resolution of a twist. We extend these to chain maps to and from twists of other resolutions. This allows one to transfer homological information between various resolutions of algebras and to expedite results on the deformation theory of twisted tensor product algebras. △ Less

Submitted 6 November, 2024; originally announced November 2024.

Comments: 35 pages

MSC Class: 16E40; 16E05; 16S40; 16T05; 16S37

Support varieties without the tensor product property

Authors: Petter Andreas Bergh, Julia Yael Plavnik, Sarah Witherspoon

Abstract: We show that over a perfect field, every non-semisimple finite tensor category with finitely generated cohomology embeds into a larger such category where the tensor product property does not hold for support varieties. We show that over a perfect field, every non-semisimple finite tensor category with finitely generated cohomology embeds into a larger such category where the tensor product property does not hold for support varieties. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Comments: 11 pages

Report number: Hamburger Beitr. zur Mathematik Nr 946; ZMP-HH/23-12 MSC Class: 16E40; 16T05; 18M05; 18M15

Support varieties for finite tensor categories: the tensor product property

Authors: Petter Andreas Bergh, Julia Yael Plavnik, Sarah Witherspoon

Abstract: We show that in a finite tensor category, the tensor product property holds for support varieties if and only if it holds between indecomposable periodic objects. We apply this to certain Hopf algebras in the form of skew group algebras. In particular, we show that the tensor product property holds for all objects in a symmetric finite tensor category over an algebraically closed field of characte… ▽ More We show that in a finite tensor category, the tensor product property holds for support varieties if and only if it holds between indecomposable periodic objects. We apply this to certain Hopf algebras in the form of skew group algebras. In particular, we show that the tensor product property holds for all objects in a symmetric finite tensor category over an algebraically closed field of characteristic zero. △ Less

Submitted 6 June, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: 29 pages

Report number: Hamburger Beitr. zur Mathematik Nr 944; ZMP-HH/23-10 MSC Class: 16E40; 16T05; 18M05; 18M15

Lie brackets on Hopf algebra cohomology

Authors: Tekin Karadağ, Sarah Witherspoon

Abstract: By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution u… ▽ More By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution using Volkov's homotopy liftings as generalized to some exact monoidal categories. This is a special case of our more general result that a bracket operation on cohomology is preserved under exact monoidal functors - one such functor is an embedding of Hopf algebra cohomology into Hochschild cohomology. As a consequence, we show that this Lie structure on Hopf algebra cohomology is abelian in positive degrees for all quantum elementary abelian groups, most of which are nonquasi-triangular. △ Less

Submitted 24 January, 2021; originally announced January 2021.

Comments: 10 pages

Journal ref: Pacific J. Math. 316 (2022) 395-407

Delta sets and polynomial identities in pointed Hopf algebras

Authors: Yuri Bahturin, Sarah Witherspoon

Abstract: We survey a vast array of known results and techniques in the area of polynomial identities in pointed Hopf algebras. Some new results are proven in the setting of Hopf algebras that appeared in papers of D. Radford and N. Andruskiewitsch - H.-J. Schneider. We survey a vast array of known results and techniques in the area of polynomial identities in pointed Hopf algebras. Some new results are proven in the setting of Hopf algebras that appeared in papers of D. Radford and N. Andruskiewitsch - H.-J. Schneider. △ Less

Submitted 24 January, 2021; originally announced January 2021.

Comments: 20 pages

Homotopy liftings and Hochschild cohomology of some twisted tensor products

Authors: Pablo S. Ocal, Tolulope Oke, Sarah Witherspoon

Abstract: The Hochschild cohomology of a tensor product of algebras is isomorphic to a graded tensor product of Hochschild cohomology algebras, as a Gerstenhaber algebra. A similar result holds when the tensor product is twisted by a bicharacter. We present new proofs of these isomorphisms, using Volkov's homotopy liftings that were introduced for handling Gerstenhaber brackets expressed on arbitrary bimodu… ▽ More The Hochschild cohomology of a tensor product of algebras is isomorphic to a graded tensor product of Hochschild cohomology algebras, as a Gerstenhaber algebra. A similar result holds when the tensor product is twisted by a bicharacter. We present new proofs of these isomorphisms, using Volkov's homotopy liftings that were introduced for handling Gerstenhaber brackets expressed on arbitrary bimodule resolutions. Our results illustrate the utility of homotopy liftings for theoretical purposes. △ Less

Submitted 27 January, 2021; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: 14 pages, minor reference corrections, added Section 4 with examples

Hochschild cohomology of twisted tensor products

Authors: Benjamin Briggs, Sarah Witherspoon

Abstract: For a tensor product of algebras twisted by a bicharacter, we completely describe its Hochschild cohomology, as a Gerstenhaber algebra, in terms of the Hochschild cohomology of its component parts. This description generalizes a result of Bergh and Oppermann. It allows us to significantly simplify various calculations in the literature, and to compute Hochschild cohomology for a number of new exam… ▽ More For a tensor product of algebras twisted by a bicharacter, we completely describe its Hochschild cohomology, as a Gerstenhaber algebra, in terms of the Hochschild cohomology of its component parts. This description generalizes a result of Bergh and Oppermann. It allows us to significantly simplify various calculations in the literature, and to compute Hochschild cohomology for a number of new examples. △ Less

Submitted 3 May, 2020; originally announced May 2020.

Comments: 20 pages

Cohomology rings of finite-dimensional pointed Hopf algebras over abelian groups

Authors: Nicolás Andruskiewitsch, Iván Angiono, Julia Pevtsova, Sarah Witherspoon

Abstract: We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite generation of cohomology of finite dimensional Nichols algebras of diagonal type. For the Nichols algebras we do a detailed analysis of cohomology via the Anick resolut… ▽ More We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite generation of cohomology of finite dimensional Nichols algebras of diagonal type. For the Nichols algebras we do a detailed analysis of cohomology via the Anick resolution reducing the problem further to specific combinatorial properties. Finally, to check these properties we turn to the classification of Nichols algebras of diagonal type due to Heckenberger. In this paper we complete the verification of these combinatorial properties for major parametric families, including Nichols algebras of Cartan and super types and develop all the theoretical foundations necessary for the case-by-case analysis. The remaining discrete families are addressed in a separate publication. As an application of the main theorem we deduce finite generation of cohomology for other classes of finite-dimensional Hopf algebras, including basic Hopf algebras with abelian groups of characters and finite quotients of quantum groups at roots of one. △ Less

Submitted 1 August, 2021; v1 submitted 15 April, 2020; originally announced April 2020.

Comments: 120 pages; the last version has only exposition changes

MSC Class: 16E40; 16T20

Graded Lie structure on cohomology of some exact monoidal categories

Authors: Yury Volkov, Sarah Witherspoon

Abstract: For some exact monoidal categories, we describe explicitly a connection between topological and algebraic definitions of the Lie bracket on the extension algebra of the unit object. The topological definition, due to Schwede and Hermann, involves loops in extension categories. The algebraic definition, due to the first author, involves homotopy liftings of maps. As a consequence of our description… ▽ More For some exact monoidal categories, we describe explicitly a connection between topological and algebraic definitions of the Lie bracket on the extension algebra of the unit object. The topological definition, due to Schwede and Hermann, involves loops in extension categories. The algebraic definition, due to the first author, involves homotopy liftings of maps. As a consequence of our description, we prove that the topological definition indeed yields a Gerstenhaber algebra structure in this monoidal category setting. This answers a question of Hermann for those exact monoidal categories in which the unit object has a particular type of resolution that is called power flat. For use in proofs, we generalize $A_{\infty}$-coderivation and homotopy lifting techniques from bimodule categories to these exact monoidal categories. △ Less

Submitted 31 July, 2023; v1 submitted 13 April, 2020; originally announced April 2020.

Comments: 19 pages

Journal ref: Homology, Homotopy and Applications, vol. 26(2), 2024, pp. 79-98

New approaches to finite generation of cohomology rings

Authors: Van C. Nguyen, Xingting Wang, Sarah Witherspoon

Abstract: In support variety theory, representations of a finite dimensional (Hopf) algebra $A$ can be studied geometrically by associating any representation of $A$ to an algebraic variety using the cohomology ring of $A$. An essential assumption in this theory is the finite generation condition for the cohomology ring of $A$ and that for the corresponding modules. In this paper, we introduce various appro… ▽ More In support variety theory, representations of a finite dimensional (Hopf) algebra $A$ can be studied geometrically by associating any representation of $A$ to an algebraic variety using the cohomology ring of $A$. An essential assumption in this theory is the finite generation condition for the cohomology ring of $A$ and that for the corresponding modules. In this paper, we introduce various approaches to study the finite generation condition. First, for any finite dimensional Hopf algebra $A$, we show that the finite generation condition on $A$-modules can be replaced by a condition on any affine commutative $A$-module algebra $R$ under the assumption that $R$ is integral over its invariant subring $R^A$. Next, we use a spectral sequence argument to show that a finite generation condition holds for certain filtered, smash and crossed product algebras in positive characteristic if the related spectral sequences collapse. Finally, if $A$ is defined over a number field over the rationals, we construct another finite dimensional Hopf algebra $A'$ over a finite field, where $A$ can be viewed as a deformation of $A'$, and prove that if the finite generation condition holds for $A'$, then the same condition holds for $A$. △ Less

Submitted 14 August, 2021; v1 submitted 11 November, 2019; originally announced November 2019.

Comments: 30 pages, to appear J. Algebra

MSC Class: 16E05; 16E40; 16T05; 16S35; 16S40

Gerstenhaber brackets on Hochschild cohomology of general twisted tensor products

Authors: Tekin Karadag, Dustin McPhate, Pablo S. Ocal, Tolulope Oke, Sarah Witherspoon

Abstract: We present techniques for computing Gerstenhaber brackets on Hochschild cohomology of general twisted tensor product algebras. These techniques involve twisted tensor product resolutions and are based on recent results on Gerstenhaber brackets expressed on arbitrary bimodule resolutions. We present techniques for computing Gerstenhaber brackets on Hochschild cohomology of general twisted tensor product algebras. These techniques involve twisted tensor product resolutions and are based on recent results on Gerstenhaber brackets expressed on arbitrary bimodule resolutions. △ Less

Submitted 26 July, 2024; v1 submitted 4 September, 2019; originally announced September 2019.

Comments: 14 pages, small changes in the presentation, minor corrections, additional referee corrections, to appear in J. Pure Appl. Algebra. Corrections to three maps in Section 4

Gerstenhaber brackets for skew group algebras in positive characteristic

Authors: A. V. Shepler, S. Witherspoon

Abstract: The deformation theory of an algebra is controlled by the Gerstenhaber bracket, a Lie bracket on Hochschild cohomology. We develop techniques for evaluating Gerstenhaber brackets of semidirect product algebras recording actions of finite groups over fields of positive characteristic. The Hochschild cohomology and Gerstenhaber bracket of these skew group algebras can be complicated when the charact… ▽ More The deformation theory of an algebra is controlled by the Gerstenhaber bracket, a Lie bracket on Hochschild cohomology. We develop techniques for evaluating Gerstenhaber brackets of semidirect product algebras recording actions of finite groups over fields of positive characteristic. The Hochschild cohomology and Gerstenhaber bracket of these skew group algebras can be complicated when the characteristic of the underlying field divides the group order. We show how to investigate Gerstenhaber brackets using twisted product resolutions, which are often smaller and more convenient than the cumbersome bar resolution typically used. These resolutions provide a concrete description of the Gerstenhaber bracket suitable for exploring questions in deformation theory. We demonstrate with the prototypical example of a graded Hecke algebra (rational Cherednik algebra) in positive characteristic. △ Less

Submitted 23 May, 2019; originally announced May 2019.

Comments: 11 pages

Support varieties for finite tensor categories: Complexity, realization, and connectedness

Authors: Petter Andreas Bergh, Julia Yael Plavnik, Sarah Witherspoon

Abstract: We advance support variety theory for finite tensor categories. First we show that the dimension of the support variety of an object equals the rate of growth of a minimal projective resolution as measured by the Frobenius-Perron dimension. Then we show that every conical subvariety of the support variety of the unit object may be realized as the support variety of an object. Finally, we show that… ▽ More We advance support variety theory for finite tensor categories. First we show that the dimension of the support variety of an object equals the rate of growth of a minimal projective resolution as measured by the Frobenius-Perron dimension. Then we show that every conical subvariety of the support variety of the unit object may be realized as the support variety of an object. Finally, we show that the support variety of an indecomposable object is connected. △ Less

Submitted 3 June, 2020; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: 22 pages, added algebraically closed hypothesis

Group-twisted Alexander-Whitney and Eilenberg-Zilber maps

Authors: A. V. Shepler, S. Witherspoon

Abstract: We define group-twisted Alexander-Whitney and Eilenberg-Zilber maps for converting between bimodule resolutions of skew group algebras. These algebras are the natural semidirect products recording actions of finite groups by automorphisms. The group-twisted chain maps allow us to transfer information between resolutions for use in homology theories, for example, in those governing deformation theo… ▽ More We define group-twisted Alexander-Whitney and Eilenberg-Zilber maps for converting between bimodule resolutions of skew group algebras. These algebras are the natural semidirect products recording actions of finite groups by automorphisms. The group-twisted chain maps allow us to transfer information between resolutions for use in homology theories, for example, in those governing deformation theory. We show how to translate in particular from the default (but often cumbersome) reduced bar resolution to a more convenient twisted product resolution. This provides a more universal approach to some known results classifying PBW deformations. △ Less

Submitted 28 April, 2020; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: 10 pages

$A_{\infty}$-coderivations and the Gerstenhaber bracket on Hochschild cohomology

Authors: C. Negron, Y. Volkov, S. Witherspoon

Abstract: We show that Hochschild cohomology of an algebra over a field is a space of infinity coderivations on an arbitrary projective bimodule resolution of the algebra. The Gerstenhaber bracket is the graded commutator of infinity coderivations. We thus generalize, to an arbitrary resolution, Stasheff's realization of the Gerstenhaber bracket on Hochschild cohomology as the graded commutator of coderivat… ▽ More We show that Hochschild cohomology of an algebra over a field is a space of infinity coderivations on an arbitrary projective bimodule resolution of the algebra. The Gerstenhaber bracket is the graded commutator of infinity coderivations. We thus generalize, to an arbitrary resolution, Stasheff's realization of the Gerstenhaber bracket on Hochschild cohomology as the graded commutator of coderivations on the tensor coalgebra of the algebra. △ Less

Submitted 7 September, 2019; v1 submitted 8 May, 2018; originally announced May 2018.

Comments: 26 pages; updated references

Color Lie rings and PBW deformations of skew group algebras

Authors: S. Fryer, T. Kanstrup, E. Kirkman, A. V. Shepler, S. Witherspoon

Abstract: We investigate color Lie rings over finite group algebras and their universal enveloping algebras. We exhibit these universal enveloping algebras as PBW deformations of skew group algebras: Every color Lie ring over a finite group algebra with a particular Yetter-Drinfeld structure has universal enveloping algebra that is a quantum Drinfeld orbifold algebra. Conversely, every quantum Drinfeld orbi… ▽ More We investigate color Lie rings over finite group algebras and their universal enveloping algebras. We exhibit these universal enveloping algebras as PBW deformations of skew group algebras: Every color Lie ring over a finite group algebra with a particular Yetter-Drinfeld structure has universal enveloping algebra that is a quantum Drinfeld orbifold algebra. Conversely, every quantum Drinfeld orbifold algebra of a particular type arising from the action of an abelian group is the universal enveloping algebra of some color Lie ring over the group algebra. One consequence is that these quantum Drinfeld orbifold algebras are braided Hopf algebras. △ Less

Submitted 26 January, 2018; originally announced January 2018.

Comments: 22 pages

Finite generation of some cohomology rings via twisted tensor product and Anick resolutions

Authors: Van C. Nguyen, Xingting Wang, Sarah Witherspoon

Abstract: Over a field of prime characteristic $p>2$, we prove that the cohomology rings of some pointed Hopf algebras of dimension $p^3$ are finitely generated. These are Hopf algebras arising in the ongoing classification of finite dimensional Hopf algebras in positive characteristic, and include bosonizations of Nichols algebras of Jordan type in a general setting as well as their liftings when $p=3$. Ou… ▽ More Over a field of prime characteristic $p>2$, we prove that the cohomology rings of some pointed Hopf algebras of dimension $p^3$ are finitely generated. These are Hopf algebras arising in the ongoing classification of finite dimensional Hopf algebras in positive characteristic, and include bosonizations of Nichols algebras of Jordan type in a general setting as well as their liftings when $p=3$. Our techniques are applications of twisted tensor product resolutions and Anick resolutions in combination with May spectral sequences. △ Less

Submitted 19 October, 2017; originally announced October 2017.

Comments: 29 pages

MSC Class: 16

Varieties for modules of finite dimensional Hopf algebras

Authors: Sarah Witherspoon

Abstract: We survey variety theory for modules of finite dimensional Hopf algebras, recalling some definitions and basic properties of support and rank varieties where they are known. We focus specifically on properties known for classes of examples such as finite group algebras and finite group schemes. We list open questions about tensor products of modules and projectivity, where varieties may play a rol… ▽ More We survey variety theory for modules of finite dimensional Hopf algebras, recalling some definitions and basic properties of support and rank varieties where they are known. We focus specifically on properties known for classes of examples such as finite group algebras and finite group schemes. We list open questions about tensor products of modules and projectivity, where varieties may play a role in finding answers. △ Less

Submitted 2 December, 2016; originally announced December 2016.

Comments: Dedicated to Professor David J. Benson on the occasion of his 60th birthday

Tensor products and support varieties for some noncocommutative Hopf algebras

Authors: Julia Yael Plavnik, Sarah Witherspoon

Abstract: We explore questions of projectivity and tensor products of modules for finite dimensional Hopf algebras. We construct many classes of examples in which tensor powers of nonprojective modules are projective and tensor products of modules in one order are projective but in the other order are not. Our examples are smash coproducts with duals of group algebras, some having algebra and coalgebra stru… ▽ More We explore questions of projectivity and tensor products of modules for finite dimensional Hopf algebras. We construct many classes of examples in which tensor powers of nonprojective modules are projective and tensor products of modules in one order are projective but in the other order are not. Our examples are smash coproducts with duals of group algebras, some having algebra and coalgebra structures twisted by a cocycle. We develop a theory of support varieties for these Hopf algebras to use as a tool in our investigations. △ Less

Submitted 31 May, 2017; v1 submitted 30 November, 2016; originally announced November 2016.

Comments: We have condensed the preliminaries and we have corrected some typos. 20 pages

Resolutions for Twisted Tensor Products

Authors: A. V. Shepler, S. Witherspoon

Abstract: We build resolutions for general twisted tensor products of algebras. These bimodule and module resolutions unify many constructions in the literature and are suitable for computing Hochschild (co)homology and more generally Ext and Tor for (bi)modules. We analyze in detail the case of Ore extensions, consequently obtaining Chevalley-Eilenberg resolutions for universal enveloping algebras of Lie a… ▽ More We build resolutions for general twisted tensor products of algebras. These bimodule and module resolutions unify many constructions in the literature and are suitable for computing Hochschild (co)homology and more generally Ext and Tor for (bi)modules. We analyze in detail the case of Ore extensions, consequently obtaining Chevalley-Eilenberg resolutions for universal enveloping algebras of Lie algebras (defining the cohomology of Lie groups and Lie algebras). Other examples include semidirect products, crossed products, Weyl algebras, Sridharan enveloping algebras, and Koszul pairs. △ Less

Submitted 25 July, 2018; v1 submitted 3 October, 2016; originally announced October 2016.

Comments: 21 pages, some improvements made to previous version

MSC Class: 16E40

Journal ref: Pacific J. Math. 298 (2019) 445-469

Deforming group actions on Koszul algebras

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: We give Braverman-Gaitsgory style conditions for general PBW deformations of skew group algebras formed from finite groups acting on Koszul algebras. When the characteristic divides the order of the group, this includes deformations of the group action as well as of the Koszul relations. We give Braverman-Gaitsgory style conditions for general PBW deformations of skew group algebras formed from finite groups acting on Koszul algebras. When the characteristic divides the order of the group, this includes deformations of the group action as well as of the Koszul relations. △ Less

Submitted 22 June, 2016; originally announced June 2016.

Comments: 24 pages

PBW deformations of braided products

Authors: Chelsea Walton, Sarah Witherspoon

Abstract: We present new examples of deformations of smash product algebras that arise from Hopf algebra actions on pairs of module algebras. These examples involve module algebras that are Koszul, in which case a PBW theorem we established previously applies. Our construction generalizes several `double' constructions appearing in the literature, including Weyl algebras and some types of Cherednik algebras… ▽ More We present new examples of deformations of smash product algebras that arise from Hopf algebra actions on pairs of module algebras. These examples involve module algebras that are Koszul, in which case a PBW theorem we established previously applies. Our construction generalizes several `double' constructions appearing in the literature, including Weyl algebras and some types of Cherednik algebras, and it complements the braided double construction of Bazlov and Berenstein. Many suggestions of further directions are provided at the end of the work. △ Less

Submitted 27 January, 2018; v1 submitted 10 January, 2016; originally announced January 2016.

Comments: v3: minor changes, to appear in the Journal of Algebra

Hopf automorphisms and twisted extensions

Authors: Susan Montgomery, Maria D. Vega, Sarah Witherspoon

Abstract: We give some applications of a Hopf algebra constructed from a group acting on another Hopf algebra A as Hopf automorphisms, namely Molnar's smash coproduct Hopf algebra. We find connections between the exponent and Frobenius-Schur indicators of a smash coproduct and the twisted exponents and twisted Frobenius-Schur indicators of the original Hopf algebra A. We study the category of modules of the… ▽ More We give some applications of a Hopf algebra constructed from a group acting on another Hopf algebra A as Hopf automorphisms, namely Molnar's smash coproduct Hopf algebra. We find connections between the exponent and Frobenius-Schur indicators of a smash coproduct and the twisted exponents and twisted Frobenius-Schur indicators of the original Hopf algebra A. We study the category of modules of the smash coproduct. △ Less

Submitted 2 January, 2016; originally announced January 2016.

Comments: 12 pages

The Gerstenhaber bracket as a Schouten bracket for polynomial rings extended by finite groups

Authors: Cris Negron, Sarah Witherspoon

Abstract: We apply new techniques to Gerstenhaber brackets on the Hochschild cohomology of a skew group algebra formed from a polynomial ring and a finite group (in characteristic 0). We show that the Gerstenhaber brackets can always be expressed in terms of Schouten brackets. We obtain as consequences some conditions under which brackets are always 0, strengthening known results. We apply new techniques to Gerstenhaber brackets on the Hochschild cohomology of a skew group algebra formed from a polynomial ring and a finite group (in characteristic 0). We show that the Gerstenhaber brackets can always be expressed in terms of Schouten brackets. We obtain as consequences some conditions under which brackets are always 0, strengthening known results. △ Less

Submitted 19 July, 2017; v1 submitted 8 November, 2015; originally announced November 2015.

Comments: 26 pages, includes an appendix which was omitted from the published version

Gerstenhaber brackets on Hochschild cohomology of twisted tensor products

Authors: Lauren Grimley, Van C. Nguyen, Sarah Witherspoon

Abstract: We construct the Gerstenhaber bracket on Hochschild cohomology of a twisted tensor product of algebras, and, as examples, compute Gerstenhaber brackets for some quantum complete intersections arising in work of Buchweitz, Green, Madsen, and Solberg. We prove that a subalgebra of the Hochschild cohomology ring of a twisted tensor product, on which the twisting is trivial, is isomorphic, as Gerstenh… ▽ More We construct the Gerstenhaber bracket on Hochschild cohomology of a twisted tensor product of algebras, and, as examples, compute Gerstenhaber brackets for some quantum complete intersections arising in work of Buchweitz, Green, Madsen, and Solberg. We prove that a subalgebra of the Hochschild cohomology ring of a twisted tensor product, on which the twisting is trivial, is isomorphic, as Gerstenhaber algebras, to the tensor product of the respective subalgebras of the Hochschild cohomology rings of the factors. △ Less

Submitted 11 March, 2015; originally announced March 2015.

Comments: 28 pages

PBW deformations of skew polynomial rings and their group extensions

Authors: Piyush Shroff, Sarah Witherspoon

Abstract: We examine PBW deformations of finite group extensions of skew polynomial rings, in particular the quantum Drinfeld orbifold algebras defined by the first author. We give a homological interpretation, in terms of Gerstenhaber brackets, of the necessary and sufficient conditions on parameter functions to define a quantum Drinfeld orbifold algebra, thus clarifying the conditions. In case the acting… ▽ More We examine PBW deformations of finite group extensions of skew polynomial rings, in particular the quantum Drinfeld orbifold algebras defined by the first author. We give a homological interpretation, in terms of Gerstenhaber brackets, of the necessary and sufficient conditions on parameter functions to define a quantum Drinfeld orbifold algebra, thus clarifying the conditions. In case the acting group is trivial, we determine conditions under which such a PBW deformation is a generalized enveloping algebra of a color Lie algebra; our PBW deformations include these algebras as a special case. △ Less

Submitted 5 March, 2015; v1 submitted 29 October, 2014; originally announced October 2014.

Comments: We added an example to section 3, fixed typos and changed "skew polynomial ring" to "quantum symmetric algebra"

An Alternate Approach to the Lie Bracket on Hochschild Cohomology

Authors: Cris Negron, Sarah Witherspoon

Abstract: We define Gerstenhaber's graded Lie bracket directly on complexes other than the bar complex, under some conditions. The Koszul complex of a Koszul algebra in particular satisfies our conditions. As examples we recover the Schouten-Nijenhuis bracket for a polynomial ring and the Gerstenhaber bracket for a group algebra of a cyclic group of prime order. We define Gerstenhaber's graded Lie bracket directly on complexes other than the bar complex, under some conditions. The Koszul complex of a Koszul algebra in particular satisfies our conditions. As examples we recover the Schouten-Nijenhuis bracket for a polynomial ring and the Gerstenhaber bracket for a group algebra of a cyclic group of prime order. △ Less

Submitted 16 March, 2015; v1 submitted 30 May, 2014; originally announced June 2014.

Comments: 20 pages, updated introduction

Gerstenhaber brackets on Hochschild cohomology of quantum symmetric algebras and their group extensions

Authors: Sarah Witherspoon, Guodong Zhou

Abstract: We construct chain maps between the bar and Koszul resolutions for a quantum symmetric algebra (skew polynomial ring). This construction uses a recursive technique involving explicit formulae for contracting homotopies. We use these chain maps to compute the Gerstenhaber bracket, obtaining a quantum version of the Schouten-Nijenhuis bracket on a symmetric algebra (polynomial ring). We compute brac… ▽ More We construct chain maps between the bar and Koszul resolutions for a quantum symmetric algebra (skew polynomial ring). This construction uses a recursive technique involving explicit formulae for contracting homotopies. We use these chain maps to compute the Gerstenhaber bracket, obtaining a quantum version of the Schouten-Nijenhuis bracket on a symmetric algebra (polynomial ring). We compute brackets also in some cases for skew group algebras arising as group extensions of quantum symmetric algebras. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: 22 pages

Journal ref: Pacific J. Math. 283 (2016) 223-255

Poincare-Birkhoff-Witt Theorems

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: We sample some Poincare-Birkhoff-Witt theorems appearing in mathematics. Along the way, we compare modern techniques used to establish such results, for example, the Composition-Diamond Lemma, Groebner basis theory, and the homological approaches of Braverman and Gaitsgory and of Polishchuk and Positselski. We discuss several contexts for PBW theorems and their applications, such as Drinfeld-Jimbo… ▽ More We sample some Poincare-Birkhoff-Witt theorems appearing in mathematics. Along the way, we compare modern techniques used to establish such results, for example, the Composition-Diamond Lemma, Groebner basis theory, and the homological approaches of Braverman and Gaitsgory and of Polishchuk and Positselski. We discuss several contexts for PBW theorems and their applications, such as Drinfeld-Jimbo quantum groups, graded Hecke algebras, and symplectic reflection and related algebras. △ Less

Submitted 25 April, 2014; originally announced April 2014.

Comments: 30 pages; survey article to appear in Mathematical Sciences Research Institute Proceedings

Tensor ideals and varieties for modules of quantum elementary abelian groups

Authors: Julia Pevtsova, Sarah Witherspoon

Abstract: In a previous paper we constructed rank and support variety theories for "quantum elementary abelian groups," that is, tensor products of copies of Taft algebras. In this paper we use both variety theories to classify the thick tensor ideals in the stable module category, and to prove a tensor product property for the support varieties. In a previous paper we constructed rank and support variety theories for "quantum elementary abelian groups," that is, tensor products of copies of Taft algebras. In this paper we use both variety theories to classify the thick tensor ideals in the stable module category, and to prove a tensor product property for the support varieties. △ Less

Submitted 28 January, 2015; v1 submitted 18 December, 2013; originally announced December 2013.

Comments: 15 pages, minor corrections to Section 4, to appear in Proceedings of the American Mathematical Society

PBW deformations of skew group algebras in positive characteristic

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: We investigate deformations of a skew group algebra that arise from a finite group acting on a polynomial ring. When the characteristic of the underlying field divides the order of the group, a new type of deformation emerges that does not occur in characteristic zero. This analogue of Lusztig's graded affine Hecke algebra for positive characteristic can not be forged from the template of symplect… ▽ More We investigate deformations of a skew group algebra that arise from a finite group acting on a polynomial ring. When the characteristic of the underlying field divides the order of the group, a new type of deformation emerges that does not occur in characteristic zero. This analogue of Lusztig's graded affine Hecke algebra for positive characteristic can not be forged from the template of symplectic reflection and related algebras as originally crafted by Drinfeld. By contrast, we show that in characteristic zero, for arbitrary finite groups, a Lusztig-type deformation is always isomorphic to a Drinfeld-type deformation. We fit all these deformations into a general theory, connecting Poincaré-Birkhoff-Witt deformations and Hochschild cohomology when working over fields of arbitrary characteristic. We make this connection by way of a double complex adapted from Guccione, Guccione, and Valqui, formed from the Koszul resolution of a polynomial ring and the bar resolution of a group algebra. △ Less

Submitted 12 December, 2013; originally announced December 2013.

Comments: 26 pages

Finite generation of the cohomology of some skew group algebras

Authors: Van C. Nguyen, Sarah Witherspoon

Abstract: We prove that some skew group algebras have Noetherian cohomology rings, a property inherited from their component parts. The proof is an adaptation of Evens' proof of finite generation of group cohomology. We apply the result to a series of examples of finite dimensional Hopf algebras in positive characteristic. We prove that some skew group algebras have Noetherian cohomology rings, a property inherited from their component parts. The proof is an adaptation of Evens' proof of finite generation of group cohomology. We apply the result to a series of examples of finite dimensional Hopf algebras in positive characteristic. △ Less

Submitted 21 October, 2017; v1 submitted 2 October, 2013; originally announced October 2013.

Comments: 11 pages. Corrections are added to the proof of finite generation in Section 5

MSC Class: 16

Journal ref: Alg. Number Th. 12 (2018) 491-492

Poincare-Birkhoff-Witt deformations of smash product algebras from Hopf actions on Koszul algebras

Authors: Chelsea Walton, Sarah Witherspoon

Abstract: Let H be a Hopf algebra and let B be a Koszul H-module algebra. We provide necessary and sufficient conditions for a filtered algebra to be a Poincare-Birkhoff-Witt (PBW) deformation of the smash product algebra B#H. Many examples of these deformations are given. Let H be a Hopf algebra and let B be a Koszul H-module algebra. We provide necessary and sufficient conditions for a filtered algebra to be a Poincare-Birkhoff-Witt (PBW) deformation of the smash product algebra B#H. Many examples of these deformations are given. △ Less

Submitted 27 April, 2017; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: v4: The hypothesis that dim(V) \geq 3 in main result has been removed as it was not needed

Journal ref: Algebra Number Theory 8 (2014) 1701-1731

Examples of support varieties for Hopf algebras with noncommutative tensor products

Authors: Dave Benson, Sarah Witherspoon

Abstract: The representations of some Hopf algebras have curious behavior: Nonprojective modules may have projective tensor powers, and the variety of a tensor product of modules may not be contained in the intersection of their varieties. We explain a family of examples of such Hopf algebras and their modules, and classify left, right, and two-sided ideals in their stable module categories. The representations of some Hopf algebras have curious behavior: Nonprojective modules may have projective tensor powers, and the variety of a tensor product of modules may not be contained in the intersection of their varieties. We explain a family of examples of such Hopf algebras and their modules, and classify left, right, and two-sided ideals in their stable module categories. △ Less

Submitted 23 August, 2013; originally announced August 2013.

Comments: 7 pages

Erratum to "Support varieties and representation type of small quantum groups"

Authors: Joerg Feldvoss, Sarah Witherspoon

Abstract: Some of the general results in the paper require an additional hypothesis, such as quasitriangularity. Applications to specific types of Hopf algebras are correct, as some of these are quasitriangular, and for those that are not, the Hochschild support variety theory may be applied instead. Some of the general results in the paper require an additional hypothesis, such as quasitriangularity. Applications to specific types of Hopf algebras are correct, as some of these are quasitriangular, and for those that are not, the Hochschild support variety theory may be applied instead. △ Less

Submitted 22 August, 2013; originally announced August 2013.

A Poincare-Birkhoff-Witt theorem for quadratic algebras with group actions

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: Braverman and Gaitsgory gave necessary and sufficient conditions for a nonhomogeneous quadratic algebra to satisfy the Poincare-Birkhoff-Witt property when its homogeneous version is Koszul. We widen their viewpoint and consider a quotient of an algebra that is free over some (not necessarily semisimple) subalgebra. We show that their theorem holds under a weaker hypothesis: We require the homogen… ▽ More Braverman and Gaitsgory gave necessary and sufficient conditions for a nonhomogeneous quadratic algebra to satisfy the Poincare-Birkhoff-Witt property when its homogeneous version is Koszul. We widen their viewpoint and consider a quotient of an algebra that is free over some (not necessarily semisimple) subalgebra. We show that their theorem holds under a weaker hypothesis: We require the homogeneous version of the nonhomogeneous quadratic algebra to be the skew group algebra (semidirect product algebra) of a finite group acting on a Koszul algebra, obtaining conditions for the Poincare-Birkhoff-Witt property over (nonsemisimple) group algebras. We prove our main results by exploiting a double complex adapted from Guccione, Guccione, and Valqui (formed from a Koszul complex and a resolution of the group), giving a practical way to analyze Hochschild cohomology and deformations of skew group algebras in positive characteristic. We apply these conditions to graded Hecke algebras and Drinfeld orbifold algebras (including rational Cherednik algebras and symplectic reflection algebras) in arbitrary characteristic, with special interest in the case when the characteristic of the underlying field divides the order of the acting group. △ Less

Submitted 25 September, 2012; originally announced September 2012.

Comments: 26 pages

MSC Class: 16S37; 16E40; 16S80; 16S35

Drinfeld Orbifold Algebras

Authors: Anne V. Shepler, Sarah J. Witherspoon

Abstract: We define Drinfeld orbifold algebras as filtered algebras deforming the skew group algebra (semi-direct product) arising from the action of a finite group on a polynomial ring. They simultaneously generalize Weyl algebras, graded (or Drinfeld) Hecke algebras, rational Cherednik algebras, symplectic reflection algebras, and universal enveloping algebras of Lie algebras with group actions. We give n… ▽ More We define Drinfeld orbifold algebras as filtered algebras deforming the skew group algebra (semi-direct product) arising from the action of a finite group on a polynomial ring. They simultaneously generalize Weyl algebras, graded (or Drinfeld) Hecke algebras, rational Cherednik algebras, symplectic reflection algebras, and universal enveloping algebras of Lie algebras with group actions. We give necessary and sufficient conditions on defining parameters to obtain Drinfeld orbifold algebras in two general formats, both algebraic and homological. We explain the connection between Hochschild cohomology and a Poincare-Birkhoff-Witt property explicitly (using Gerstenhaber brackets). We also classify those deformations of skew group algebras which arise as Drinfeld orbifold algebras and give applications for abelian groups. △ Less

Submitted 30 November, 2011; originally announced November 2011.

Comments: 31 pages

Hochschild cohomology and quantum Drinfeld Hecke algebras

Authors: Deepak Naidu, Sarah Witherspoon

Abstract: Quantum Drinfeld Hecke algebras are generalizations of Drinfeld Hecke algebras in which polynomial rings are replaced by quantum polynomial rings. We identify these algebras as deformations of skew group algebras, giving an explicit connection to Hochschild cohomology. We compute the relevant part of Hochschild cohomology for actions of many reflection groups and we exploit computations from our p… ▽ More Quantum Drinfeld Hecke algebras are generalizations of Drinfeld Hecke algebras in which polynomial rings are replaced by quantum polynomial rings. We identify these algebras as deformations of skew group algebras, giving an explicit connection to Hochschild cohomology. We compute the relevant part of Hochschild cohomology for actions of many reflection groups and we exploit computations from our paper with Shroff for diagonal actions. By combining our work with recent results of Levandovskyy and Shepler, we produce examples of quantum Drinfeld Hecke algebras. These algebras generalize the braided Cherednik algebras of Bazlov and Berenstein. △ Less

Submitted 6 January, 2014; v1 submitted 22 November, 2011; originally announced November 2011.

Comments: 22 pages; v2: minor revisions as suggested by the referee

MSC Class: 16E40; 16S35

Support Varieties and Representation Type of Self-Injective Algebras

Authors: Joerg Feldvoss, Sarah Witherspoon

Abstract: We use the theory of varieties for modules arising from Hochschild cohomology to give an alternative version of the wildness criterion of Bergh and Solberg: If a finite dimensional self-injective algebra has a module of complexity at least 3 and satisfies some finiteness assumptions on Hochschild cohomology, then the algebra is wild. We show directly how this is related to the analogous theory for… ▽ More We use the theory of varieties for modules arising from Hochschild cohomology to give an alternative version of the wildness criterion of Bergh and Solberg: If a finite dimensional self-injective algebra has a module of complexity at least 3 and satisfies some finiteness assumptions on Hochschild cohomology, then the algebra is wild. We show directly how this is related to the analogous theory for Hopf algebras that we developed. We give applications to many different types of algebras: Hecke algebras, reduced universal enveloping algebras, small half-quantum groups, and Nichols (quantum symmetric) algebras. △ Less

Submitted 12 May, 2011; originally announced May 2011.

Comments: 21 pages

Hochschild cohomology of group extensions of quantum symmetric algebras

Authors: Deepak Naidu, Piyush Shroff, Sarah Witherspoon

Abstract: Quantum symmetric algebras (or noncommutative polynomial rings) arise in many places in mathematics. In this article we find the multiplicative structure of their Hochschild cohomology when the coefficients are in an arbitrary bimodule algebra. When this bimodule algebra is a finite group extension (under a diagonal action) of a quantum symmetric algebra, we give explicitly the graded vector space… ▽ More Quantum symmetric algebras (or noncommutative polynomial rings) arise in many places in mathematics. In this article we find the multiplicative structure of their Hochschild cohomology when the coefficients are in an arbitrary bimodule algebra. When this bimodule algebra is a finite group extension (under a diagonal action) of a quantum symmetric algebra, we give explicitly the graded vector space structure. This yields a complete description of the Hochschild cohomology ring of the corresponding skew group algebra. △ Less

Submitted 24 May, 2010; v1 submitted 18 November, 2009; originally announced November 2009.

Comments: 14 pages; v2: Sections 4 and 5 of v1 merged, minor revisions; to appear in Proc. Amer. Math. Soc

MSC Class: 16E40; 16S35

Journal ref: Proc. Amer. Math. Soc. 139 (2011), 1553-1567

Group actions on algebras and the graded Lie structure of Hochschild cohomology

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: Hochschild cohomology governs deformations of algebras, and its graded Lie structure plays a vital role. We study this structure for the Hochschild cohomology of the skew group algebra formed by a finite group acting on an algebra by automorphisms. We examine the Gerstenhaber bracket with a view toward deformations and developing bracket formulas. We then focus on the linear group actions and poly… ▽ More Hochschild cohomology governs deformations of algebras, and its graded Lie structure plays a vital role. We study this structure for the Hochschild cohomology of the skew group algebra formed by a finite group acting on an algebra by automorphisms. We examine the Gerstenhaber bracket with a view toward deformations and developing bracket formulas. We then focus on the linear group actions and polynomial algebras that arise in orbifold theory and representation theory; deformations in this context include graded Hecke algebras and symplectic reflection algebras. We give some general results describing when brackets are zero for polynomial skew group algebras, which allow us in particular to find noncommutative Poisson structures. For abelian groups, we express the bracket using inner products of group characters. Lastly, we interpret results for graded Hecke algebras. △ Less

Submitted 4 September, 2011; v1 submitted 4 November, 2009; originally announced November 2009.

Comments: Title changed; 39 pages

MSC Class: 16E40

Finite groups acting linearly: Hochschild cohomology and the cup product

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting orbifold and serves as a substitute for the ring of invariant polynomials from the viewpoint of geometry and physics. Its Hochschild cohomology predicts vari… ▽ More When a finite group acts linearly on a complex vector space, the natural semi-direct product of the group and the polynomial ring over the space forms a skew group algebra. This algebra plays the role of the coordinate ring of the resulting orbifold and serves as a substitute for the ring of invariant polynomials from the viewpoint of geometry and physics. Its Hochschild cohomology predicts various Hecke algebras and deformations of the orbifold. In this article, we investigate the ring structure of the Hochschild cohomology of the skew group algebra. We show that the cup product coincides with a natural smash product, transferring the cohomology of a group action into a group action on cohomology. We express the algebraic structure of Hochschild cohomology in terms of a partial order on the group (modulo the kernel of the action). This partial order arises after assigning to each group element the codimension of its fixed point space. We describe the algebraic structure for Coxeter groups, where this partial order is given by the reflection length function; a similar combinatorial description holds for an infinite family of complex reflection groups. △ Less

Submitted 4 November, 2009; originally announced November 2009.

Comments: 30 pages

MSC Class: 16E40

Quantum differentiation and chain maps of bimodule complexes

Authors: Anne V. Shepler, Sarah Witherspoon

Abstract: We consider a finite group acting on a vector space and the corresponding skew group algebra generated by the group and the symmetric algebra of the space. This skew group algebra illuminates the resulting orbifold and serves as a replacement for the ring of invariant polynomials, especially in the eyes of cohomology. One analyzes the Hochschild cohomology of the skew group algebra using isomorp… ▽ More We consider a finite group acting on a vector space and the corresponding skew group algebra generated by the group and the symmetric algebra of the space. This skew group algebra illuminates the resulting orbifold and serves as a replacement for the ring of invariant polynomials, especially in the eyes of cohomology. One analyzes the Hochschild cohomology of the skew group algebra using isomorphisms which convert between resolutions. We present an explicit chain map from the bar resolution to the Koszul resolution of the symmetric algebra which induces various isomorphisms on Hochschild homology and cohomology, some of which have appeared in the literature before. This approach unifies previous results on homology and cohomology of both the symmetric algebra and skew group algebra. We determine induced combinatorial cochain maps which invoke quantum differentiation (expressed by Demazure-BBG operators). △ Less

Submitted 4 November, 2009; originally announced November 2009.

Comments: 22 pages

MSC Class: 16E40

Support varieties and representation type of small quantum groups

Authors: Joerg Feldvoss, Sarah Witherspoon

Abstract: In this paper we provide a wildness criterion for any finite dimensional Hopf algebra with finitely generated cohomology. This generalizes a result of Farnsteiner to not necessarily cocommutative Hopf algebras over ground fields of arbitrary characteristic. Our proof uses the theory of support varieties for modules, one of the crucial ingredients being a tensor product property for some special… ▽ More In this paper we provide a wildness criterion for any finite dimensional Hopf algebra with finitely generated cohomology. This generalizes a result of Farnsteiner to not necessarily cocommutative Hopf algebras over ground fields of arbitrary characteristic. Our proof uses the theory of support varieties for modules, one of the crucial ingredients being a tensor product property for some special modules. As an application we prove a conjecture of Cibils stating that small quantum groups of rank at least two are wild. △ Less

Submitted 10 November, 2009; v1 submitted 7 October, 2009; originally announced October 2009.

Comments: 14 pages; minor revisions; to appear in Int. Math. Res. Not

Journal ref: Internat. Math. Res. Notices 2010, no. 7, 1346-1362

Yetter-Drinfeld modules under cocycle twists

Authors: Georgia Benkart, Mariana Pereira, Sarah Witherspoon

Abstract: We give an explicit formula for the correspondence between simple Yetter-Drinfeld modules for certain finite-dimensional pointed Hopf algebras $H$ and those for cocycle twists $H^σ$ of $H$. This implies an equivalence between modules for their Drinfeld doubles. To illustrate our results, we consider the restricted two-parameter quantum groups ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$ under condi… ▽ More We give an explicit formula for the correspondence between simple Yetter-Drinfeld modules for certain finite-dimensional pointed Hopf algebras $H$ and those for cocycle twists $H^σ$ of $H$. This implies an equivalence between modules for their Drinfeld doubles. To illustrate our results, we consider the restricted two-parameter quantum groups ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$ under conditions on the parameters guaranteeing that ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$ is a Drinfeld double of its Borel subalgebra. We determine explicit correspondences between ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$-modules for different values of $r$ and $s$ and provide examples where no such correspondence can exist. Our examples were obtained via the computer algebra system {\sc Singular::Plural}. △ Less

Submitted 27 October, 2009; v1 submitted 11 August, 2009; originally announced August 2009.

Comments: 19 pages, minor revisions, to appear in Journal of Algebra

MSC Class: 16T05

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

Hopf quivers and Nichols algebras in positive characteristic

Authors: Claude Cibils, Aaron Lauve, Sarah Witherspoon

Abstract: We apply a combinatorial formula of the first author and Rosso, for products in Hopf quiver algebras, to determine the structure of Nichols algebras. We illustrate this technique by explicitly constructing new examples of Nichols algebras in positive characteristic. We further describe the corresponding Radford biproducts and some liftings of these biproducts, which are new finite dimensional po… ▽ More We apply a combinatorial formula of the first author and Rosso, for products in Hopf quiver algebras, to determine the structure of Nichols algebras. We illustrate this technique by explicitly constructing new examples of Nichols algebras in positive characteristic. We further describe the corresponding Radford biproducts and some liftings of these biproducts, which are new finite dimensional pointed Hopf algebras. △ Less

Submitted 1 April, 2009; v1 submitted 28 January, 2009; originally announced January 2009.

MSC Class: 16W30; 57T05

Fusion subcategories of representation categories of twisted quantum doubles of finite groups

Authors: Deepak Naidu, Dmitri Nikshych, Sarah Witherspoon

Abstract: We describe all fusion subcategories of the representation category of a twisted quantum double of a finite group. In view of the fact that every group-theoretical braided fusion category can be embedded into a representation category of a twisted quantum double of a finite group, this gives a complete description of all group-theoretical braided fusion categories. We describe the lattice and gi… ▽ More We describe all fusion subcategories of the representation category of a twisted quantum double of a finite group. In view of the fact that every group-theoretical braided fusion category can be embedded into a representation category of a twisted quantum double of a finite group, this gives a complete description of all group-theoretical braided fusion categories. We describe the lattice and give formulas for some invariants of the fusion subcategories of representation category of a twisted quantum double of a finite group. We also give a characterization of group-theoretical braided fusion categories as equivariantizations of pointed categories. △ Less

Submitted 12 May, 2009; v1 submitted 30 September, 2008; originally announced October 2008.

Comments: 28 pages, Remarks 4.6 and 4.7 added at the suggestion of the referee

Journal ref: Int. Math. Res. Not. (2009), no. 22, 4183-4219

Bialgebra cohomology, pointed Hopf algebras, and deformations

Authors: Mitja Mastnak, Sarah Witherspoon

Abstract: We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf al… ▽ More We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf algebras in the recent classification of Andruskiewitsch and Schneider, in an interpretation of these Hopf algebras as graded bialgebra deformations of Radford biproducts. △ Less

Submitted 11 May, 2008; v1 submitted 20 April, 2007; originally announced April 2007.

Comments: Cohomological results in the paper were significantly improved and generalized. See new abstract for details

MSC Class: 16W30; 16E40; 16S80