No Arabic abstract
In this paper we study sufficient conditions for the solvability of the first Hochschild cohomology of a finite dimensional algebra as a Lie algebra in terms of its Ext-quiver in arbitrary characteristic. In particular, we show that if the quiver has no parallel arrows and no loops then the first Hochschild cohomology is solvable. For quivers containing loops, we determine easily verifiable sufficient conditions for the solvability of the first Hochschild cohomology. We apply these criteria to show the solvability of the first Hochschild cohomology space for large families of algebras, namely, several families of self-injective tame algebras including all tame blocks of finite groups and some wild algebras including most quantum complete intersections.
We show that the restricted Lie algebra structure on Hochschild cohomology is invariant under stable equivalences of Morita type between self-injective algebras. Thereby we obtain a number of positive characteristic stable invariants, such as the $p$-toral rank of $mathrm{HH}^1(A,A)$. We also prove a more general result concerning Iwanaga-Gorenstein algebras, using a more general notion of stable equivalences of Morita type. Several applications are given to commutative algebra and modular representation theory. These results are proven by first establishing the stable invariance of the $B_infty$-structure of the Hochschild cochain complex. In the appendix we explain how the $p$-power operation on Hochschild cohomology can be seen as an artifact of this $B_infty$-structure. In particular, we establish well-definedness of the $p$-power operation, following some -- originally topological -- methods due to May, Cohen and Turchin, using the language of operads.
Let $L$ be a Lie algebra of Block type over $C$ with basis ${L_{alpha,i},|,alpha,iinZ}$ and brackets $[L_{alpha,i},L_{beta,j}]=(beta(i+1)-alpha(j+1))L_{alpha+beta,i+j}$. In this paper, we shall construct a formal distribution Lie algebra of $L$. Then we decide its conformal algebra $B$ with $C[partial]$-basis ${L_alpha(w),|,alphainZ}$ and $lambda$-brackets $[L_alpha(w)_lambda L_beta(w)]=(alphapartial+(alpha+beta)lambda)L_{alpha+beta}(w)$. Finally, we give a classification of free intermediate series $B$-modules.
Given a finite dimensional Lie algebra $L$ let $I$ be the augmentation ideal in the universal enveloping algebra $U(L)$. We study the conditions on $L$ under which the $Ext$-groups $Ext (k,k)$ for the trivial $L$-module $k$ are the same when computed in the category of all $U(L)$-modules or in the category of $I$-torsion $U(L)$-modules. We also prove that the Rees algebra $oplus _{ngeq 0}I^n$ is Noetherian if and only if $L$ is nilpotent. An application to cohomology of equivariant sheaves is given.
The Hochschild cohomology ring of a group algebra is an object that has received recent attention, but is difficult to compute, in even the simplest of cases. In this paper, we use the product formula due to Witherspoon and Siegel to extend some of their computations. In particular, we compute the Hochschild cohomology algebra of group algebras kG where |G| is less than 16, and we provide an alternative computation of the ring $HH^*(k(E ltimes P))$ considered by Kessar and Linckelmann.
We give a complete study of the Clifford-Weyl algebra ${mathcal C}(n,2k)$ from Bose-Fermi statistics, including Hochschild cohomology (with coefficients in itself). We show that ${mathcal C}(n,2k)$ is rigid when $n$ is even or when $k eq 1$. We find all non-trivial deformations of ${mathcal C}(2n+1,2)$ and study their representations.