Questions tagged [lie-algebra-cohomology]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
6
votes
1answer
218 views

2-shifted Poisson bracket on Lie algebra cohomology

Let $\frak{g}$ be a semisimple Lie algebra, and let $({-},{-})$ be an invariant inner product on $\frak{g}$. The Chevalley–Eilenberg complex $C^*(\frak{g})$ has a natural Poisson bracket of degree $-2$...
6
votes
0answers
116 views

On the center of Koszul Lie algebras

The short question is the following: If a positively graded Lie algebra $\mathfrak g$ over a field $F$ is Koszul, is the center of $\mathfrak g$ concentrated in degree $1$? Let us be more precise. A ...
2
votes
1answer
244 views

Chevalley complex and $\text{BG}$

For a long time I've been under the impression that the Chevalley complex $\text{CE}(\mathfrak{g})$ of a semisimple (maybe can weaken this) Lie algebra $\mathfrak{g}$ can be extracted from the ...
8
votes
0answers
132 views

Cohomology algebra of the maximal nilpotent subalgebra of a semisimple Lie algebra

The answer to this question may be well-known, but I failed to locate it in any obvious source. From the results of Bott (Ann. Math. 66 (1957), 203-248) and Kostant (Ann. Math. 74 (1961), 329-387), it ...
10
votes
1answer
444 views

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

The way I learned Lie algebra cohomology in the context of Lie groups was a direct construction: one defines the Chevalley-Eilenberg complex with coefficients in a vector space $V$ (we assume the real ...
1
vote
0answers
110 views

$G$-equivariant modules and Lie algebra cohomology

$\DeclareMathOperator\Id{Id}\DeclareMathOperator\Ad{Ad}$Is there a link between $G$-equivariant modules and Lie algebra cohomology? Tell me if I'm mistaken: On one side, if $p:E\longrightarrow M$ is ...
3
votes
1answer
80 views

Rigidity of Borel Lie algebras

Let $\mathfrak b$ be a Borel subalgebra of dimension $n$ in a real semisimple Lie algebra $\mathfrak g$. I am trying to reconcile two facts about $\mathfrak b$: $\mathfrak b$ is rigid, that is, the ...
4
votes
0answers
98 views

Rational cohomology cohomology of $p$-adic analytic groups

It is a result of Lazard that given $G$ a compact $p$-adic analytic group then we have an isomorphism \begin{equation} H^*(G; \mathbb{Q}_p) \cong H^*(T_eG; \mathbb{Q}_p) \end{equation} where $T_eG$ is ...
3
votes
0answers
55 views

Degeneration of spectral sequence computing Hochschild cohomology of enveloping algebra of Lie algebroid

Let $L$ be a Lie algebroid on a smooth affine $k$-scheme $X=spec(R)$. Recall that by definition $L$ is a locally free sheaf with the structure of a sheaf of $k$ Lie algebras, so that there exists a ...
4
votes
0answers
60 views

Lie algebra "semi" coinvariants

In the process of my research, I've come across the need to understand the following construction: Let $\mathfrak{g}$ be a (finite-dimensional) complex Lie algebra, $\beta\in \mathfrak{g}^*$ a Lie ...
7
votes
1answer
215 views

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

When talking about the cohomology space of a Lie algebras, it comes naturally to refer to the Chevalley-Eilenberg cohomology, is there other interesting type of cohomology for Lie algebra?
4
votes
0answers
106 views

Rational cohomology of p-adic general linear groups

I wanted to compute the cohomology ring $H^*(GL_n(\mathbb{Z}_p); \mathbb{Q}_p)$ (with $p$ fixed prime as usual). I found some incomplete notes stating that the computation should go as follows. First ...
8
votes
0answers
147 views

Chevalley-Eilenberg cohomology of polynomial vector fields on $\mathbb{A}^2$

I have a question similar to one given here. What is the cohomology of the Lie algebra of polynomial vector fields on an affine space $\mathbb{A}^2$ over a field of characteristic $0?$ (I'm interested ...
10
votes
0answers
83 views

Non-linear version of the Chevalley–Eilenberg complex

Let $\mathfrak{g}$ be a finite-dimensional Lie algebra. In small degrees, the differentials of the Chevalley–Eilenberg complex $C^\bullet(\mathfrak{g}, \mathfrak{g})$ with values in the adjoint ...
5
votes
1answer
194 views

Equivariant cohomology of a semisimple Lie algebra

Suppose $\mathfrak{g}$ is a real Lie algebra integrating to the connected Lie group $G$. One may consider the $G$-equivariant cohomology of $\mathfrak{g}$ ($\mathfrak{g}^*$) where the $G$-action is ...
3
votes
0answers
62 views

Family of Lie algebras parametrized by a discrete valuation ring

I have a family of Lie algebras parametrized by a discrete valuation ring, whose generic fiber is reductive and whose special fiber is nilpotent. I'd like to learn about the relationship between the ...
4
votes
0answers
172 views

Cohomology and higher structures

Classically, cohomologies of Lie groups/algebras parametrize extensions. To be precise, given an linear $G$-action on $M$, there is an bijection between $H^2(G;M)$ and the set of extension $E$ of $G$ ...
1
vote
1answer
81 views

Lie algebra cohomology: $H^i(R,V)=H^i(R,V^R)$ with $R$ reductive and $V$ an $R$-module

Let $R$ be a reductive, finite-dimensional Lie algebra over a field of characteristic 0, and let $V$ be a semisimple $R$-module (also finite dimensional). I have seen a reference to the fact that $H^i(...
2
votes
0answers
74 views

Abelian lie algebra homology

Let $\mathfrak g$ be an abelian Lie algebra over $\mathbb Z.$ We can consider its Lie-algebra homology, say as $\mathrm{Tor}^{U(\mathfrak g)}_*(\mathbb Z,\mathbb Z)$ and its group homology as $\mathrm{...
1
vote
0answers
36 views

Regarding linear splitting of lie algebra morphism and their CE complexes

The main question here is to ask if anyone has ever seen/researched the map $\alpha$ below and get a reference regarding it. Also, if anyone tells me the equivalent conditions to $\alpha=0$, I would ...
1
vote
0answers
42 views

How is the product structure induced on Lie algebra homology of matrices?

I have been looking at the Chevalley Eilenberg complex $CE_*(\mathfrak g)$ of a Lie algebra $\mathfrak g$ over a field $k$. $$ \wedge^3\mathfrak g\longrightarrow \wedge^2\mathfrak g\longrightarrow \...
6
votes
1answer
286 views

Derivations of universal enveloping algebra of Lie algebras

We know a lot about derivations of Lie algebra. However, for the universal enveloping algebra of Lie algebra, we have few references about it. My question: describing the derivations of enveloping ...
0
votes
1answer
95 views

Lie algebra cohomology with values in injective module

I am looking for a proof of the following result: Let $\mathfrak{g}$ be a Lie algebra and $I$ an injective $\mathfrak{g}$-module. Then $\mathrm{H}^q(\mathfrak{g},I)=0$ $\forall q>0$. More precisely,...
3
votes
2answers
261 views

Universal central extension of Lie algebras

In the literature, there is the notion of the universal central extension of a Lie algebra. My question is: is there also a notion of universal extensions that are not central? If yes, can you provide ...
14
votes
0answers
276 views

Gel'fand and Fuks' "Globalizing" of cohomology of formal vector fields

I apologize for the length of this question. If anybody already spent some time with cohomology of (formal) vector fields and the results of Gel'fand and Fuks, I imagine a lot can be skipped. I do ...
4
votes
0answers
57 views

Constructing $\delta$ to show Chevalley-Eilenberg complex $\Lambda \mathfrak g \otimes \mathcal U\mathfrak g \rightarrow k$ is null homotopic

Let $\mathfrak g$ be a finite dimensional Lie algebra over a field $k$ and $(\Lambda^\bullet \mathfrak g \otimes \mathcal U\mathfrak g, d)$ be the Chevalley-Eilenberg chain complex. I would like to ...
6
votes
0answers
112 views

Cyclic version of Lie algebra cohomology

Lie algebra cochains have a differential $d$ where $d^2 =0$ because of the Jacobi identity, which can be written in the cyclic form or the Leibniz form. $L_\infty$ algebra cochains have a ...
4
votes
2answers
299 views

Reference request: Projective representations of a simply connected real semisimple Lie group lift to unitary representations

I recently got interested in representation theory in quantum mechanics and I read the following theorem: Let $G$ be a simply-connected Lie group with $H^2(\mathfrak{g},\mathbb{R})=0$ and let $\...
4
votes
1answer
118 views

First adjoint cohomology space of simple Lie algebras

Let $L$ be a central extension of a simple Lie algebra $\mathfrak{g}$ such that $L=[L,L]$. It is not difficult to see that if $H^1(\mathfrak{g}, \mathfrak{g})=0$ then $H^1(L,L)=0$. In other words, if ...
4
votes
4answers
454 views

Homology of solvable (nilpotent) Lie algebras

Let $\mathfrak{g}$ be a solvable Lie algebra over $\mathbb{C}$ and $\lambda\in(\mathfrak{g}/[\mathfrak{g},\mathfrak{g}])^*$ be a character of $\mathfrak{g}$. I'm interested in calculating homology for ...
2
votes
1answer
120 views

Calculation of Dynkin operator on free Lie rings

Let $A$ be a free associative ${\mathbb Z}$-algebra on generators $I = \{ x_i ~:~ I \in {\mathbb N} \}$. Setting the usual bracket $[a,b] = ab-ba$, it forms a free Lie ring $A^{(-)}$. The Dynkin ...
4
votes
0answers
164 views

Deformation of the Hochschild-Kostant-Rosenberg isomorphism for universal enveloping algebra

Let $\mathfrak{g}$ be a Lie algebra over a char. $0$ field and let $\iota: U\mathfrak{g}\rightarrow S\mathfrak{g}$ be the Poincaré-Birkhoff-Witt (PBW) isomorphism, inverse to that natural map from the ...
2
votes
1answer
119 views

Extensions of modules over universal enveloping algebra with fixed central action

Let $\mathfrak{g}$ be a Lie algebra over $\mathbb{C}$, $\mathfrak{z}$ be the center of $\text{U}(\mathfrak{g})$, and $M_1$, $M_2$ be $\text{U}(\mathfrak{g})$-modules on which $\mathfrak{z}$ acts by a ...
3
votes
0answers
70 views

Deformations of nilpotent parts of superalgebras

I have two questions concerning some results in the article "Deformations of nilpotent parts of superalgebras" of N. van den Hijligenberg, J.Math.Phys. 35, 1427 (1994); doi:10.1063/1.530598 After ...
3
votes
0answers
111 views

Third cohomology of Lie algebras and obstructions

In general, the third cohomology of a Lie algebra $\mathfrak{g}$ with values in the Lie algebra itself, $H^3(\mathfrak{g},\mathfrak{g})$, contains obstructions to deformations of the Lie algebra. ...
3
votes
0answers
137 views

Gel'fand's and Fuks' calculation of cohomology of formal vector fields - isomorphic spectral sequences yield isomorphic cohomology?

In this book (and, in what seems to be an equivalent fashion, in this article), Gel'fand and Fuks calculate the Lie algebra cohomology of the formal vector fields $W_n$ on $\mathbb{R}^n$ with trivial ...
2
votes
0answers
158 views

Why Lie algebra (Chevalley–Eilenberg) cohomology are graded Lie algebras but not G-algebras?

I was reading a paper related to Gerstenhaber algebra structure and came across to this- "Lie algebra (Chevalley–Eilenberg) cohomology are graded Lie algebras but not G-algebras(Gerstenhaber algebra)"....
3
votes
1answer
558 views

Lie algebras : Deformations and Rigidity

I am studying deformation (as it is introduced in https://arxiv.org/pdf/math/0611793.pdf or http://web.cs.elte.hu/~fialowsk/pubs-af/condefnew2.pdf) and rigidity of some infinite dimensional Lie ...
2
votes
0answers
117 views

Chevalley-Eilenberg cohomology of polynomial vector fields

Let be $A$ the Lie algebra of polynomial vector fields. A p-cochain $C$ of $A$ is a p-linear alternate map from $A^p$ to $A$. For $p=0$, $C$ is an element of $A$. The coboundary operator $\eth$ is ...
1
vote
0answers
218 views

Adjoint cohomology of Lie algebra commutes with direct sum?

The Witt algebra (denoted by $W$) is an infinite dimensional Lie algebra as: $[L_{m},L_{n}]=(m-n)L_{m+n}; \,\,\,\ m, n\in \mathbb{Z}$. I am looking for second adjoint cohomology $H^{2}(W_{1}\oplus ...
1
vote
1answer
305 views

Cohomology of Infinite Dimensional Lie Algebra

I am looking for a explicit relation for adjoint cohomology of infinite dimensional Lie algebras (specifically smooth vector fields on a manifold), is it possible to apply Hochschild-Serre spectral ...
9
votes
3answers
629 views

Invariants of exterior powers

Let $\mathfrak{g}$ be the Lie algebra of $GL(n,\mathbb{R})$. Let $\theta(X) = - X^T$ be the Cartan involution on $\mathfrak{g}$; it induces decomposition as $\mathfrak{g} = \mathfrak{k} \oplus \...
6
votes
0answers
105 views

Are two Lie algebra deformations with cohomologous tangents isomorphic?

Let $(\mathfrak{g},[-,-])$ be a finite-dimensional Lie algebra. I'm interested in real Lie algebras, but feel free to complexify if this helps. Say I'm interested in classifying isomorphism ...
4
votes
1answer
213 views

cohomological representations of GL(N)

I am trying to understand cohomology of $G := GL(N)$. For this I need to understand representations of $G(\mathbb{R})$ with nontrivial $(\mathfrak{g},K_\infty)$-cohomology, where $\mathfrak{g}$ is the ...
8
votes
0answers
227 views

Homology of an interesting Lie algebra

Let $U$ and $V$ be finite dimensional complex vector spaces (or perhaps graded vector spaces). Let $E(U)$ be the "square zero extension" $\mathbb C \oplus U$, made into a commutative ring in such a ...
3
votes
1answer
227 views

Show the Cartan 3-form transgresses to the Killing form in the Weil algebra

Let $G$ be a connected, reductive Lie group, and $W\mathfrak g = (S[\mathfrak g^\vee] \otimes \Lambda[\mathfrak g^\vee],\delta)$ the associated Weil algebra. This is a CDGA equipped with an action of $...
8
votes
1answer
194 views

Simple identity on Lie algebras in a note of Koszul

In a 1947 Comptes Rendus note (T224, p. 448), Koszul makes the following claim (paraphrased, hopefully correctly), which seems like it should have a simple proof I am missing. Given a compact, ...
1
vote
0answers
158 views

Lie algebras over $\mathbb{C}(t)$

Are there naturally-arising Lie algebras(or superalgebras) over $\mathbf{C}(t)$? I have such an algebra, and I want to compute its cohomology–but I'm out of ideas. Are there known methods or theory ...
9
votes
1answer
301 views

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

There is an exact sequence $$0 \to H^2(\mathfrak{g}, k) \to H^1(\mathfrak{g}, \mathfrak{g}^*) \to H^0(\mathfrak{g}, S^2\mathfrak{g}) \xrightarrow{d} H^3(\mathfrak{g}, k) \to H^2(\mathfrak{g}, \...
2
votes
0answers
77 views

If Lie algebra cohomology $H^2(g, M)=Ext^2_{U(g)}(k, M)$ classify $M$-extensions of $g$, are they $Ext^1_?(g, M)$ for some category?

If $\mathfrak{g}$ is a Lie algebra and $M$ is an abelian $\mathfrak{g}$-module, then Lie algebra cohomology $H^2(\mathfrak{g}, M)=Ext^2_{U(\mathfrak{g})}(k, M)$ classify (abelian) extensions of $\...