Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA note on Lie algebra cohomology
64
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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 describe some examples of non abelian nilpotent Lie algebras which are not algebraic.
Let $n$ be a fixed positive integer and $h: {1,2,ldots,n} rightarrow {1,2,ldots,n}$ a Hessenberg function. The main results of this paper are twofold. First, we give a systematic method, depending in a simple manner on the Hessenberg function $h$, for producing an explicit presentation by generators and relations of the cohomology ring $H^ast(Hess(mathsf{N},h))$ with $mathbb{Q}$ coefficients of the corresponding regular nilpotent Hessenberg variety $Hess(mathsf{N},h)$. Our result generalizes known results in special cases such as the Peterson variety and also allows us to answer a question posed by Mbirika and Tymoczko. Moreover, our list of generators in fact forms a regular sequence, allowing us to use techniques from commutative algebra in our arguments. Our second main result gives an isomorphism between the cohomology ring $H^*(Hess(mathsf{N},h))$ of the regular nilpotent Hessenberg variety and the $S_n$-invariant subring $H^*(Hess(mathsf{S},h))^{S_n}$ of the cohomology ring of the regular semisimple Hessenberg variety (with respect to the $S_n$-action on $H^*(Hess(mathsf{S},h))$ defined by Tymoczko). Our second main result implies that $mathrm{dim}_{mathbb{Q}} H^k(Hess(mathsf{N},h)) = mathrm{dim}_{mathbb{Q}} H^k(Hess(mathsf{S},h))^{S_n}$ for all $k$ and hence partially proves the Shareshian-Wachs conjecture in combinatorics, which is in turn related to the well-known Stanley-Stembridge conjecture. A proof of the full Shareshian-Wachs conjecture was recently given by Brosnan and Chow, but in our special case, our methods yield a stronger result (i.e. an isomorphism of rings) by more elementary considerations. This paper provides detailed proofs of results we recorded previously in a research announcement.
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.
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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
