We consider finite groups acting on quantum (or skew) polynomial rings. Deformations of the semidirect product of the quantum polynomial ring with the acting group extend symplectic reflection algebras and graded Hecke algebras to the quantum setting over a field of arbitrary characteristic. We give necessary and sufficient conditions for such algebras to satisfy a Poincare-Birkhoff-Witt property using the theory of noncommutative Groebner bases. We include applications to the case of abelian groups and the case of groups acting on coordinate rings of quantum planes. In addition, we classify graded automorphisms of the coordinate ring of quantum 3-space. In characteristic zero, Hochschild cohomology gives an elegant description of the Poincare-Birkhoff-Witt conditions.
We investigate deformations of skew group algebras arising from the action of the symmetric group on polynomial rings over fields of arbitrary characteristic. Over the real or complex numbers, Lusztig's graded affine Hecke algebra and analogs are all isomorphic to Drinfeld Hecke algebras, which include the symplectic reflection algebras and rational Cherednik algebras. Over fields of prime characteristic, new deformations arise that capture both a disruption of the group action and also a disruption of the commutativity relations defining the polynomial ring. We classify deformations for the s…
We consider deformations of quantum exterior algebras extended by finite groups. Among these deformations are a class of algebras which we call truncated quantum Drinfeld Hecke algebras in view of their relation to classical Drinfeld Hecke algebras. We give the necessary and sufficient conditions for which these algebras occur, using Bergman's Diamond Lemma. We compute the relevant Hochschild cohomology to make explicit the connection between Hochschild cohomology and truncated quantum Drinfeld Hecke algebras. To demonstrate the variance of the allowed algebras, we compute both classical type …
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 brai…
We generalize quantum Drinfeld Hecke algebras by incorporating a 2-cocycle on the associated finite group. We identify these algebras as specializations of deformations of twisted skew group algebras, giving an explicit connection to Hochschild cohomology. We classify these algebras for diagonal actions, as well as for the symmetric groups with their natural representations. Our results show that the parameter spaces for the symmetric groups in the twisted setting is smaller than in the untwisted setting.
We define a class of algebras which are distinguished by a PBW property and an orthogonality condition, and which we call Hopf-Hecke algebras, since they generalize the Drinfeld Hecke algebras defined by Drinfeld. In the course of studying the orthogonality condition and in analogy to the orthogonal group we show the existence of a pin cover for cocommutative Hopf algebras over $\mathbb{C}$ with an orthogonal module or, more generally, pointed cocommutative Hopf algebras over a field of characteristic $0$ with an orthogonal module. Following the suggestion of Dan Barbasch and Siddhartha Sahi, …
Drinfeld orbifold algebras are a type of deformation of skew group algebras generalizing graded Hecke algebras of interest in representation theory, algebraic combinatorics, and noncommutative geometry. In this article, we classify all Drinfeld orbifold algebras for symmetric groups acting by the natural permutation representation. This provides, for nonabelian groups, infinite families of examples of Drinfeld orbifold algebras that are not graded Hecke algebras. We include explicit descriptions of the maps recording commutator relations and show there is a one-parameter family of such maps su…
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 coho…
If A is a cocommutative algebra with coproduct, then so is the smash product algebra of a symmetric algebra Sym(V) with A, where V is an A-module. Such smash product algebras, with A a group ring or a Lie algebra, have families of deformations that have been studied widely in the literature; examples include symplectic reflection algebras and infinitesimal Hecke algebras. We introduce a family of deformations of these smash product algebras for general A, and characterize the PBW property. We then characterize the Jacobi identity for "grouplike" algebras (that include group rings and the nilCo…
Quantum Drinfeld orbifold algebras are the generalizations of Drinfeld orbifold algebras, which are obtained by replacing polynomial rings by quantum polynomial rings. Shepler and Witherspoon in their paper, give necessary and sufficient conditions on a defining parameters to obtain Drinfeld orbifold algebras. In this article we generalize their result. It also simultaneously generalizes the result of Levandovskyy and Shepler about quantum Drinfeld Hecke algebras.
Let $\A$ be a finitary hereditary abelian category. We give a Hall algebra presentation of Kashaev's theorem on the relation between Drinfeld double and Heisenberg double. As applications, we obtain realizations of the Drinfeld double Hall algebra of $\A$ via its derived Hall algebra and Bridgeland Hall algebra of $m$-cyclic complexes.
We generalize graded Hecke algebras to include a twisting two-cocycle for the associated finite group. We give examples where the parameter spaces of the resulting twisted graded Hecke algebras are larger than that of the graded Hecke algebras. We prove that twisted graded Hecke algebras are particular types of deformations of a crossed product.
We show that for dually paired bialgebras, every comodule algebra over one of the paired bialgebras gives a comodule algebra over their Drinfeld double via a crossed product construction. These constructions generalize to working with bialgebra objects in a braided monoidal category of modules over a quasitriangular Hopf algebra. Hence two ways to provide comodule algebras over the braided Drinfeld double (the double bosonization) are provided. Furthermore, a map of second Hopf algebra cohomology spaces is constructed. It takes a pair of 2-cocycles over dually paired Hopf algebras and produces…
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 D…
In the present work, we study Yetter-Drinfeld algebras over a pairing of multiplier Hopf algebras. Our main motivation is the construction of a self-dual theory of (C*-)algebraic quantum transformation groupoids. Instead of the standard characterization of Yetter-Drinfeld algebras given in the case of Hopf algebras, we develop an equivalent "only coaction" characterization in the framework of multiplier Hopf algebras. Finally, as a special case, we focus on Yetter-Drinfeld structures over Van Daele's algebraic quantum groups.
In this work, we study another characterization of Yetter-Drinfeld algebras over finite-dimensional Hopf algebras. We show the equivalence between this characterization, called the "only coaction" characterization, and the standard "action-coaction" characterization. This modern approach for Yetter-Drinfeld algebras is one of the key ingredient in a self-dual theory of quantum transformation groupoids arising from actions of quantum groups.
Let $\A$ be a finitary hereditary abelian category and $D(\A)$ be its reduced Drinfeld double Hall algebra. By giving explicit formulas in $D(\A)$ for left and right mutations, we show that the subalgebras of $D(\A)$ generated by exceptional sequences are invariant under mutation equivalences. As an application, we obtain that if $\A$ is the category of finite dimensional modules over a finite dimensional hereditary algebra, or the category of coherent sheaves on a weighted projective line, the double composition algebra of $\A$ is generated by any complete exceptional sequence. Moreover, for …
Let $H$ be a dual quasi-Hopf algebra. In this paper we will firstly introduce all possible categories of Yetter-Drinfeld modules over $H$, and give explicitly the monoidal and braided structure of them. Then we prove that the category $^H_H\mathcal{YD}^{fd}$ of finite-dimensional left-left Yetter-Drinfeld modules is rigid. Finally we will study the braided cocommunitivity of $H_0$ in $^H_H\mathcal{YD}$.
In this paper we introduce the notion of the stability of a sequence of modules over Hecke algebras. We prove that a finitely generated consistent sequence associated with Hecke algebras is representation stable.
We study the Yetter--Drinfeld D(B)-module algebra structure on the Heisenberg double H(B^*) endowed with a "heterotic" action of the Drinfeld double D(B). This action can be interpreted in the spirit of Lu's description of H(B^*) as a twist of D(B). In terms of the braiding of Yetter--Drinfeld modules, H(B^*) is braided commutative. By the Brzezinski--Militaru theorem, H(B^*)#D(B) is then a Hopf algebroid over H(B^*). For B a particular Taft Hopf algebra at a 2p-th root of unity, the construction is adapted to yield Yetter--Drinfeld module algebras over the 2p^3-dimensional quantum group U_q(s…
We study Doi-Hopf data and Doi-Hopf modules for Hopf group-coalgebras. We introduce modules graded by a discrete Doi-Hopf datum; to a Doi-Hopf datum over a Hopf group coalgebra, we associate an algebra graded by the underlying discrete Doi-Hopf datum, using a smash product type construction. The category of Doi-Hopf modules is then isomorphic to the category of graded modules over this algebra. This is applied to the category of Yetter-Drinfeld modules over a Hopf group coalgebra, leading to the construction of the Drinfeld double. It is shown that this Drinfeld double is a quasitriangular gra…
We provide a description of the Drinfeld-Sokolov Hamiltonian reduction for the construction of classical W-algebras within the framework of Poisson vertex algebras. In this context, the gauge group action on the phase space is translated in terms of (the exponential of) a Lie conformal algebra action on the space of functions. Following the ideas of Drinfeld and Sokolov, we then establish under certain sufficient conditions the applicability of the Lenard-Magri scheme of integrability and the existence of the corresponding integrable hierarchy of bi-Hamiltonian equations.
We introduce Yetter-Drinfeld modules over a weak Hopf algebra $H$, and show that the category of Yetter-Drinfeld modules is isomorphic to the center of the category of $H$-modules. The categories of left-left, left-right, right-left and right-right Yetter-Drinfeld modules are isomorphic as braided monoidal categories. Yetter-Drinfeld modules can be viewed as weak Doi-Hopf modules, and, a fortiori, as weak entwined modules. If $H$ is finitely generated and projective, then we introduce the Drinfeld double using duality results between entwining structures and smash product structures, and show …
In this article, we investigate the representation ring (or Green ring) of the Drinfeld double $D(H_n(q))$ of the Taft algebra $H_n(q)$, where $n$ is an integer with $n>2$ and $q$ is a root of unity of order $n$. It is shown that the Green ring $r(D(H_n(q)))$ is a commutative ring generated by infinitely many elements subject to certain relations.
The aim of this paper is to define and study Yetter-Drinfeld modules over weak Hom-Hopf algebras. We show that the category ${}_H{\cal WYD}^H$ of Yetter-Drinfeld modules with bijective structure maps over weak Hom-Hopf algebras is a rigid category and a braided monoidal category, and obtain a new solution of quantum Hom-Yang-Baxter equation. It turns out that, If $H$ is quasitriangular (respectively, coquasitriangular)weak Hom-Hopf algebras, the category of modules (respectively, comodules) with bijective structure maps over $H$ is a braided monoidal subcategory of the category ${}_H{\cal WYD}…
We introduce the Hom-analogue of the L-R-smash product and use it to define the Hom-analogue of the diagonal crossed product. When H is a finite dimensional Hom-Hopf algebra with bijective antipode and bijective structure map, we define the Drinfeld double of H; its algebra structure is a Hom-diagonal crossed product and it has all expected properties, namely it is quasitriangular and modules over it coincide with left-right Yetter-Drinfeld modules over H.
For a quasi-Hopf algebra $H$, a left $H$-comodule algebra $\mf{B}$ and a right $H$-module coalgebra $C$ we will characterize the category of Doi-Hopf modules ${}^C{\cal M}(H)_{\mf{B}}$ in terms of modules. We will also show that for an $H$-bicomodule algebra $\mb{A}$ and an $H$-bimodule coalgebra $C$ the category of generalized Yetter-Drinfeld modules ${}_{\mb{A}}{\cal YD}(H)^C$ is isomorphic to a certain category of Doi-Hopf modules. Using this isomorphism we will transport the properties from the category of Doi-Hopf modules to the category of generalized Yetter-Drinfeld modules.
In continuation of our recent work about smash product Hom-Hopf algebras in \cite{MLY}, we introduce Hom-Yetter-Drinfeld category $_H^H{\mathbb{YD}}$ via Radford biproduct Hom-Hopf algebra, and prove that the Hom-Yetter-Drinfeld modules can provide solutions of the Hom-Yang-Baxter equation and $_H^H{\mathbb{YD}}$ is a pre-braided tensor category, where $(H, \b, S)$ is a Hom-Hopf algebra. Furthermore, we obtain that $(A^{\natural}_{\diamond} H,\aø\b)$ is a Radford biproduct Hom-Hopf algebra if and only if $(A,\a)$ is a Hopf algebra in the category $_H^H{\mathbb{YD}}$. At last, some examples and…
For a Hopf algebra B with bijective antipode, we show that the Heisenberg double H(B^*) is a braided commutative Yetter--Drinfeld module algebra over the Drinfeld double D(B). The braiding structure allows generalizing H(B^*) = B^{*cop}\braid B to "Heisenberg n-tuples" and "chains" ...\braid B^{*cop}\braid B \braid B^{*cop}\braid B\braid..., all of which are Yetter--Drinfeld D(B)-module algebras. For B a particular Taft Hopf algebra at a 2p-th root of unity, the construction is adapted to yield Yetter--Drinfeld module algebras over the 2p^3-dimensional quantum group U_qsl(2).
Over fields of arbitrary characteristic we classify all braid-indecomposable tuples of at least two absolutely simple Yetter-Drinfeld modules over non-abelian groups such that the group is generated by the support of the tuple and the Nichols algebra of the tuple is finite-dimensional. Such tuples are classified in terms of analogs of Dynkin diagrams which encode much information about the Yetter-Drinfeld modules. We also compute the dimensions of these finite-dimensional Nichols algebras. Our proof uses the Weyl groupoid of a tuple of simple Yetter-Drinfeld modules.
