# Tag Info

Accepted

### Poincaré duality for (co)homology of Lie algebras?

First, let me expand on the reply of Dietrich Burde: I got hold of the paper of Hazewinkel, and can now be more precise about what is and what is not there (last time I saw it was some years ago). ...
• 15.1k

### What's the advantage of defining Lie algebra cohomology using derived functors?

What is your motivation for thinking about Lie algebra homology? If all you want to do is compute it for a single fairly explicit Lie algebra, then the Chevalley-Eilenberg complex will do the job. ...
• 40.6k

### Invariants of exterior powers

To offer a slightly more geometric viewpoint on the same, the space $\bigoplus_q \mathop{\mathrm{Hom}}_K(\Lambda^q(\mathfrak{p}),\mathbb{C})$, which is the direct sum of all spaces you are considering,...
• 15.1k

### Invariants of exterior powers

You are basically looking for trivial $O(\mathbb{C}^n)$ representations contained in $\Lambda^k \mathfrak{p}^*.$ Since your representation $\mathfrak{p}$ is the space of symmetric matrices, you can ...
• 7,834

### Invariants of exterior powers

Edit: I misread the question and understood $\mathfrak{p}$ as corresponding to antisymetric instead of symmetric matrices. So what immediately follows answers a different question. See the end of this ...

### mod p cohomology ring of alternating groups

Regarding your first question, you have a group extension $$1\rightarrow (\mathbb{Z}/2)^2\rightarrow A_4\rightarrow \mathbb{Z}/3\rightarrow 1.$$ Then we can use the Lyndon-Hochschild-Serre spectral ...
• 9,520

### Lyndon–Hochschild–Serre spectral sequence for a non-normal subgroup

Sorry for reviving an old question, but it seems that the Kropholler spectral sequence exactly answers the first 3 questions: Kropholler, P.H., A generalization of the Lyndon-Hochschild-Serre ...
• 33.5k
Accepted

### Chevalley complex and $\text{BG}$

It’s the ring of functions on the formal completion at the base point: CE is self ext of the trivial rep of the Lie algebra, equivalently of the formal group of G, ie global functions on B of the ...
• 22.2k
Accepted

### Infinite dimensional Lie algebras with trivial homology

There exist acyclic infinite-dimensional Lie algebras, i.e., for which the trivial homology vanishes in all nonzero degree (recall that $H_0$ of every Lie algebra is always 1-dimensional over the ...
• 54k

### Poincaré duality for (co)homology of Lie algebras?

As far as I know, a generalisation of Poincare duality for Lie algebra cohomology over rings is given in M. Hazewinkel, "A duality theorem for the cohomology of Lie algebras" Math. USSR-Sb. , 12 (...
• 11.8k
Accepted

### What is known about the morphism $H^*_{Lie}(L,L)\to H^*_{Lie}(L,UL)$ induced by $L\hookrightarrow UL$

The symmetrization mapping $\sigma$ from the symmetric algebra $S(L)$ to the universal enveloping algebra $U(L)$ is an isomorphism of $L$-modules. Since $L$ is a direct summand of $S(L)$, its ...
• 14.1k

### Homology of solvable (nilpotent) Lie algebras

Let $K$ be a field. Let $\mathfrak{g}$ be a Lie algebra over $K$. Let $\lambda:\mathfrak{g}\to K$ be a homomorphism. Let $V_\lambda$ be $K$ endowed with the structure of right $\mathfrak{g}$-module ...
• 54k

### Is the Chevalley-Eilenberg cohomology the only interesting cohomology for Lie algebra?

No, it's not the only one. For instance, Leibniz cohomology is interesting for Lie algebras themselves. See this answer of mine for references.
• 54k
Accepted

### Is this sequence of Lie algebra cohomology a part of spectral sequence?

It's part of the Pirashvili exact sequence, relating Lie algebra and Leibniz cohomologies of Lie algebras. This is discussed (in homology terms) in the end of p2 of this paper of mine on Koszul's ...
• 54k

### cohomological representations of GL(N)

Yes. (That's assuming your definition of “representation” gives at least a $(\mathfrak g, K_\infty)$-module.)
• 28.6k

### Poincaré duality for (co)homology of Lie algebras?

Let $g$ be the $3$-dimensional complex Lie algebra with basis $\{x,y,z\}$ and $[x,y]=y$, $[x,z]=y+z$ and $[y,z]=0$. Then $H_0(g,\mathbb C)=\mathbb C$ and $H^3(g,\mathbb C)=0$, if I computed correctly. ...

### Derivations of universal enveloping algebra of Lie algebras

Associated to any associative algebra $A$ is the Hochschild cochain complex \begin{align*} HH^n(A) &= \operatorname{Hom}(A^{\otimes n},A),\\ \mathrm d f(a_0,\dots,a_n) &= a_0f(a_1,\dots,a_n) +...
• 4,454

### Lyndon–Hochschild–Serre spectral sequence for a non-normal subgroup

I don't think so. The LHS spectral sequence can be thought of as the Serre spectral sequence associated to the fiber sequence $$BN \to BG \to B(G/N)$$ where $G$ is a group and $N$ is a normal ...
• 110k
Accepted

### Matsushima-Murakami Isomorphism for $L^2$-cohomology

Morally yes, by Franke, Jens Harmonic analysis in weighted $L_{2}$-spaces. Ann. Sci. École Norm. Sup. (4) 31 (1998), no. 2, 181--279 See especially theorem 4 (and note that if you want an ...
• 9,640

### Cohomology of Infinite Dimensional Lie Algebra

A very useful source to learn about cohomology of infinite-dimensional Lie algebras is the book by D.B.Fuks "Cohomology of Infinite-Dimensional Lie Algebras" (shocking, I know). This source discusses ...
• 15.1k
Accepted

### Lie algebras : Deformations and Rigidity

Let me consider the finite-dimensional case (as YCOR was commenting it is basically impossible to say something in the infinite-dimensional one unless you clarify in a more detailed manner your ...
• 3,307
Accepted

### Homology of solvable (nilpotent) Lie algebras

Let me provide an elementary proof that for $\mathfrak{g}$ nilpotent finite-dimensional and $\lambda\neq 0$ we have $H_*(\mathfrak{g},V_\lambda)=0$. (In general it seems to be particular case of ...
• 54k