On actions of Drinfel'd doubles on finite dimensional algebras

Let q be an nth root of unity for $n>2$ and let $T_n(q)$ be the Taft (Hopf) algebra of dimension $n^2$. In 2001, Susan Montgomery and Hans-Jürgen Schneider classified all non-trivial $T_n(q)$-module algebra structures on an n-dimensional associative algebra A. They further showed that each such module structure extends uniquely to make A a module algebra over the Drinfel'd double of $T_n(q)$. We explore what it is about the Taft algebras that leads to this uniqueness, by examining actions of (the Drinfel'd double of) Hopf algebras H “close” to the Taft algebras on finite-dimensional algebras analogous to A above. Such Hopf algebras H include the Sweedler (Hopf) algebra of dimension 4, bosonizations of quantum linear spaces, and the Frobenius–Lusztig kernel $u_q({\mathfrak{sl}}_2)$.     

On the automorphisms of quantum Weyl algebras

Motivated by Weyl algebra analogues of the Jacobian conjecture and the tame generators problem, we prove quantum versions of these problems for a family of analogues to the Weyl algebras. In particular, our results cover the Weyl–Hayashi algebras and tensor powers of a quantization of the first Weyl algebra which arises as a primitive factor algebra of $U_q^{+}({\mathfrak{so}}_5)$.     

The classification of 3-dimensional noetherian cubic Calabi–Yau algebras

It is known that every 3-dimensional noetherian Calabi–Yau algebra generated in degree 1 is isomorphic to a Jacobian algebra of a superpotential. Recently, S.P. Smith and the first author classified all superpotentials whose Jacobian algebras are 3-dimensional noetherian quadratic Calabi–Yau algebras. The main result of this paper is to classify all superpotentials whose Jacobian algebras are 3-dimensional noetherian cubic Calabi–Yau algebras. As an application, we show that if S is a 3-dimensional noetherian cubic Calabi–Yau algebra and σ is a graded algebra automorphism of S, then the homological determinant of σ can be calculated by the formula $\mathrm{hdet}\sigma ={(\det \sigma )}^2$ with one exception.     

Gerstenhaber bracket on Hopf algebra and Hochschild cohomologies

We calculate the Gerstenhaber bracket on Hopf algebra and Hochschild cohomologies of the Taft algebra $T_p$ for any integer $p>2$ which is a nonquasi-triangular Hopf algebra. We show that the bracket is indeed zero on Hopf algebra cohomology of $T_p$, as in all known quasi-triangular Hopf algebras. This example is the first known bracket computation for a nonquasi-triangular algebra. Also, we find a general formula for the bracket on Hopf algebra cohomology of any Hopf algebra with bijective antipode on the bar resolution that is reminiscent of Gerstenhaber's original formula for Hochschild cohomology.     

On finite-dimensional copointed Hopf algebras over dihedral groups

We classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero such that its coradical is isomorphic to the algebra of functions ${\mathbb{k}}^{{\mathbb{D}}_m}$ over a dihedral group ${\mathbb{D}}_m$, with $m=4a\ge 12$. We obtain this classification by means of the lifting method, where we use cohomology theory to determine all possible deformations. Our result provides an infinite family of new examples of finite-dimensional copointed Hopf algebras over dihedral groups.     

Isomorphism problems for Hopf–Galois structures on separable field extensions

Let $L/K$ be a finite separable extension of fields whose Galois closure $E/K$ has Galois group G. Greither and Pareigis use Galois descent to show that a Hopf algebra giving a Hopf–Galois structure on $L/K$ has the form $E{[N]}^G$ for some group N of order $[L:K]$. We formulate criteria for two such Hopf algebras to be isomorphic as Hopf algebras, and provide a variety of examples. In the case that the Hopf algebras in question are commutative, we also determine criteria for them to be isomorphic as K-algebras. By applying our results, we complete a detailed analysis of the distinct Hopf algebras and K-algebras that appear in the classification of Hopf–Galois structures on a cyclic extension of degree $p^n$, for p an odd prime number.     

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

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 pointed Hopf algebras in positive characteristic. They include bosonizations of Nichols algebras of Jordan type in a general setting. When $p=3$, we also consider their Hopf algebra liftings, that is Hopf algebras whose associated graded algebra with respect to the coradical filtration is given by such a bosonization. Our proofs are based on an algebra filtration and a lemma of Friedlander and Suslin, drawing on both twisted tensor product resolutions and Anick resolutions to locate the needed permanent cocycles in May spectral sequences.     

Twisted Steinberg algebras

We introduce twisted Steinberg algebras over a commutative unital ring R. These generalise Steinberg algebras and are a purely algebraic analogue of Renault's twisted groupoid C*-algebras. In particular, for each ample Hausdorff groupoid G and each locally constant 2-cocycle σ on G taking values in the units $R^{\times }$, we study the algebra $A_R(G,\sigma )$ consisting of locally constant compactly supported R-valued functions on G, with convolution and involution “twisted” by σ. We also introduce a “discretised” analogue of a twist Σ over a Hausdorff étale groupoid G, and we show that there is a one-to-one correspondence between locally constant 2-cocycles on G and discrete twists over G admitting a continuous global section. Given a discrete twist Σ arising from a locally constant 2-cocycle σ on an ample Hausdorff groupoid G, we construct an associated twisted Steinberg algebra $A_R(G;\mathrm{\Sigma })$, and we show that it coincides with $A_R(G,{\sigma }^{?1})$. Given any discrete field ${\mathbb{F}}_d$, we prove a graded uniqueness theorem for $A_{{\mathbb{F}}_d}(G,\sigma )$, and under the additional hypothesis that G is effective, we prove a Cuntz–Krieger uniqueness theorem and show that simplicity of $A_{{\mathbb{F}}_d}(G,\sigma )$ is equivalent to minimality of G.     

All classifiable Kirchberg algebras are C1-algebras of ample groupoids

In this note we show that every Kirchberg algebra in the UCT class is the $C^1$-algebra of a Hausdorff, ample, amenable and locally contracting groupoid. The non-unital case follows from Spielberg’s graph-based models for Kirchberg algebras. Our contribution is the unital case and our proof builds on Spielberg’s construction.     

Algebras having bases that consist solely of strongly regular elements

“Locally invertible” algebras, those algebras which have a basis consisting solely of strongly regular elements, are introduced as a generalization of “invertible algebras,” that is, algebras which have a basis consisting solely of units. While this new family properly contains the family of (necessarily unital) invertible algebras, its definition does not assume the existence of a multiplicative identity. Because of this, we consider both unital and non-unital examples of locally invertible algebras. In particular, we show that under a mild condition on the basis of a not necessarily unital R-algebra A, the R-algebras $M_n(A)$ of finite matrix rings over the R-algebra A. Furthermore, many infinite matrix algebras are also locally invertible, but not all. Also it is shown that all semiperfect D-algebras over a division ring D are locally invertible.     

Multiplicative preprojective algebras of Dynkin quivers

For a commutative ring R and an ADE Dynkin quiver Q, we prove that the multiplicative preprojective algebra of Crawley-Boevey and Shaw, with parameter $q=1$, is isomorphic to the (additive) preprojective algebra as R-algebras if and only if the bad primes for Q – 2 in type D, 2 and 3 for $Q=E_6$, $E_7$ and 2, 3 and 5 for $Q=E_8$ – are invertible in R. We construct an explicit isomorphism over $\mathbb{Z}[1/2]$ in type D, over $\mathbb{Z}[1/2,1/3]$ for $Q=E_6$, $E_7$ and over $\mathbb{Z}[1/2,1/3,1/5]$ for $Q=E_8$. Conversely, if some bad prime is not invertible in R, we show that the additive and multiplicative preprojective algebras differ in zeroth Hochschild homology, and hence are not isomorphic. In fact, one only needs the vanishing of certain classes in zeroth Hochschild homology of the multiplicative preprojective algebra, utilizing a rigidification argument for isomorphisms that may be of independent interest.In the setting of Ginzburg dg-algebras, our obstructions are new in type E and give a more elementary proof of the negative result of Etgü–Lekili [5, Theorem 13] in type D. Moreover, the zeroth Hochschild homology of the multiplicative preprojective algebra, computed in Section 4, can be interpreted as the space of unobstructed deformations of the multiplicative Ginzburg dg-algebra by Van den Bergh duality. Finally, we observe that the multiplicative preprojective algebra is not symmetric Frobenius if $Q\ne A_1$, a departure from the additive preprojective algebra in characteristic 2 for $Q=D_{2n}$, $n\ge 2$ and $Q=E_7$, $E_8$.     

Graded-division algebras and Galois extensions

Graded-division algebras are building blocks in the theory of finite-dimensional associative algebras graded by a group G. If G is abelian, they can be described, using a loop construction, in terms of central simple graded-division algebras.On the other hand, given a finite abelian group G, any central simple G-graded-division algebra over a field $\mathbb{F}$ is determined, thanks to a result of Picco and Platzeck, by its class in the (ordinary) Brauer group of $\mathbb{F}$ and the isomorphism class of a G-Galois extension of $\mathbb{F}$.This connection is used to classify the simple G-Galois extensions of $\mathbb{F}$ in terms of a Galois field extension $\mathbb{L}/\mathbb{F}$ with Galois group isomorphic to a quotient $G/K$ and an element in the quotient ${\mathrm{\text{Z}}}^2(K,{\mathbb{L}}^{\times })/{\mathrm{\text{B}}}^2(K,{\mathbb{F}}^{\times })$ subject to certain conditions. Non-simple G-Galois extensions are induced from simple T-Galois extensions for a subgroup T of G. We also classify finite-dimensional G-graded-division algebras and, as an application, finite G-graded-division rings.