arXiv subjects
Publications and source records attributed to Matthew Towers.
Let $k$ be an algebraically closed field of characteristic $p>2$. We determine the Hochschild cohomology of $U(\mathfrak{sl}_2(k))$ and the invariants of $\mathfrak{sl}_2(k)$ and $\mathsf{SL}_2(k)$ in the adjoint action on the divided power algebra $D(\mathfrak{sl}_2(k))$.
We compute generators and relations for the basic algebra of a non-semisimple singular block of the restricted enveloping algebra of $\mathfrak{sl}_3$ over an algebraically closed field of characteristic $p>3$. Working directly with the basic algebra we compute its centre and the internal degree zero part of its first Hochschild cohomology, and show its Verma modules are Koszul.
Let $B$ be a quantum algebra possessing a semiclassical limit $A$. We show that under certain hypotheses $B^e$ can be thought of as a deformation of the Poisson enveloping algebra of $A$, and we give a criterion for the Hochschild cohomology of $B$ to be a deformation of the Poisson cohomology of $A$ in the case that $B$ is Koszul. We verify that condition for the algebra of $2\times 2$ quantum matrices and calculate its Hochschild cohomology and the Poisson cohomology of its semiclassical limit.
We show that the ordinary cohomology functor from the category of augmented $k$-algebras to itself exchanges coproducts and products, and that Hochschild cohomology is close to sending coproducts to products if the factors are self-injective. We identify the multiplicative structure of the Hochschild cohomology of a product modulo a certain ideal in terms of the cohomology of the factors.
We construct rank varieties for the Drinfel'd double of the Taft algebra and for U_q(sl2). For the Drinfel'd double when n=2 this uses a result which identifies a family of subalgebras that control projectivity of A-modules whenever A is a Hopf algebra satisfying a certain homological condition. In this case we show that our rank variety is homeomorphic to the cohomological support variety. We also show that Ext^*(M,M) is finitely generated over the cohomology ring of the Drinfel'd double for any finitely-generated module M.