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.
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 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.
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.
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.
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^{\sigma}$ 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 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^{\sigma}$ 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.