Questions tagged [lie-algebra-cohomology]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3 votes
0 answers
101 views

Lie algebra cohomology of formal non-commutative vector fields

Let $k$ be a field of characteristic $0$ and $A=k\langle\langle x_1,\dotsc,x_n\rangle\rangle$ be a free completed associative algebra. The space of continuous derivations $\mathrm{Der}(A)$ is ...
9 votes
0 answers
345 views

How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?

$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
5 votes
0 answers
328 views

Have you seen this Lie algebra?

Computing something I have come across a Lie algebra $\def\L{\mathfrak L}\def\CC{\mathbb C}\L_N$ that I would like to identify. Fix an integer $N$ such that $N\geq2$, let $\L_N$ be the free complex ...
6 votes
0 answers
252 views

Lie algebra cohomology of the space of vector fields

For a (closed and oriented) manifold $M$, the first Lie algebra cohomology $H^1(\mathrm{Vect}(M),C^\infty(M))$ of the space of vector fields with coefficients in smooth functions is isomorphic to $H^1(...
5 votes
0 answers
141 views

Reference request: Whitehead's lemma for semisimple Lie algebras

Let $\mathfrak{g}$ be a semisimple Lie algebra and let $V$ be a representation. One formulation of Whitehead's lemma is that the Lie algebra cohomology of $V$ is given by $$H^{\bullet}(\mathfrak{g}, V)...
3 votes
0 answers
509 views

Particular Lie bialgebra structure

Let $\mathfrak{g}$ be a real finite-dimensional Lie algebra, and let $r\in\bigwedge^2\mathfrak{g}$ be a solution of the Yang-Baxter equation. The Yang–Baxter equation states that for all $x\in\...
1 vote
0 answers
131 views

Lie algebra cohomology: Künneth formula for semidirect product?

In trying to understand an example of Lie algebra for which every one-dimensional extension splits (see this question), but not every extension splits, I found it necessary to use the following ...
4 votes
1 answer
254 views

Complexification of a Lie subalgebra of a compact real form

I'm currently reading the paper Lie algebra Cohomology and the Generalized Borel–Weil theorem written by B. Kostant, and I have a question about Remark 3.9 he made. In this paper, $\mathfrak{g}$ is a ...
2 votes
0 answers
68 views

Subrepresentations and the induced map on Lie algebra cohomology

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SO{SO}$Setup: Let $G$ be the group $\GL(4, \mathbb{R})$, $B$ denotes the Borel subgroup consisting of upper triangular matrices and $P_{(2,2)}$ be the ...
3 votes
1 answer
71 views

Non-invariant forms on loop Lie algebra of semisimple Lie group

Let us consider a Lie group $G$ with Lie algebra $\mathfrak{g}$ and let $L\mathfrak{g} = C^\infty(S^1, \mathfrak{g})$ the Lie algebra of the loop group $LG$. My question is about continuous Lie ...
4 votes
0 answers
97 views

Modern reference for a theorem by Bott on the Dolbeault cohomology of compact homogeneous manifolds

I am looking for a modern, maybe shorter or even easier, reference for Theorem II of Homogeneous vector bundles (R. Bott, Annals of mathematics, 1957). This is a theorem where the Dolbeault cohomology ...
2 votes
1 answer
255 views

Complete $2$-step solvable Lie algebras

A Lie algebra is complete if its center is zero and all its derivations are inner. I would like to study a class of Lie algebras, in particular Let $C$ be the class of finite dimensional $2$-step ...
1 vote
0 answers
28 views

Group action in the vicinity of an orbit where the stabilizer jumps

Consider a manifold $M$ with the action of a Lie algebra $\mathfrak g$. Suppose that the action is free, except for one orbit $O\subset M$ where the stabilizer is a nonzero Lie subalgebra ${\mathfrak ...
5 votes
3 answers
745 views

Computation of restricted Lie algebra (co)homology

My question is the following: Is there a small complex, perhaps analogous to the Chevalley-Eilenberg complex, computing the (co)homology of a restricted Lie algebra over a field of characteristic $...
4 votes
1 answer
195 views

Spectral sequence from standard/Verma filtration/flag to compute Lie algebra cohomology of tensor product with respect to $\mathfrak{n}$

I'm not sure this question fully qualifies as a research-level math question, but from my (limited) past experience on stackexchanged I feared this question might not get an answer there. Setting: the ...
11 votes
3 answers
954 views

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

Is there an analogue of the Lyndon–Hochschild–Serre spectral sequence for a non-normal subgroup? What can you say about it? Can you describe $E^{p, q}_1$ ? What is about $E^{p, q}_2$? What is the best ...
4 votes
1 answer
169 views

Divisibility by 2 of invariants forms on reductive Lie algebras and anomaly cancellation for gauge theories

Let $G$ be a connected reductive group over $\mathbb C$ and let $\rho:G\to \operatorname{Sp}(2n,\mathbb C)$ be a homomorphism. You can think about $\rho$ as a linear symplectic representation of $G$ ...
4 votes
1 answer
940 views

parabolic subalgebras and Cartan decomposition

Let $\mathfrak{g}$ be a complex simple Lie algebra and $\mathfrak{k}$ its complex subalgebra such that $(\mathfrak{g},\mathfrak{k})$ is a Hermitian symmetric pair; $\mathfrak{g}= \mathfrak{k}\oplus\...
5 votes
1 answer
266 views

Infinite dimensional Lie algebras with trivial homology

The basic question is: Does vanishing of homology with trivial coefficients imply triviality of an infinite-dimensional Lie algebra? My question is motivated by acylic groups in group theory. In ...
6 votes
1 answer
360 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$...
7 votes
0 answers
197 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
1 answer
386 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
0 answers
186 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
1 answer
773 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
0 answers
172 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
1 answer
104 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
0 answers
189 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
0 answers
82 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
0 answers
75 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 ...
8 votes
1 answer
306 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?
8 votes
0 answers
176 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 ...
5 votes
0 answers
156 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 ...
10 votes
0 answers
96 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
1 answer
327 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
0 answers
67 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
0 answers
186 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
1 answer
116 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(...
9 votes
3 answers
1k views

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

Let $R$ be a commutative ring and $\mathfrak{g}$ a Lie $R$-algebra that has an $R$-module basis with $n$ elements. In Algebra, Geometry, and Software Systems by Joswig & Takayama on p.200, it ...
2 votes
0 answers
80 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
0 answers
38 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
0 answers
54 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
1 answer
472 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 ...
2 votes
1 answer
209 views

Lie algebra (co)homology of the Lie algebra of differential operators

Let $X$ be an algebraic variety (or a complex manifold) over $\mathbb C$. Let $D(X)$ be its algebra of differential operators. Mostly I am interested in algebraic differential operators, but the case ...
4 votes
2 answers
647 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 $\...
0 votes
1 answer
124 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
2 answers
398 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
0 answers
355 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 ...
2 votes
1 answer
181 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 ...
4 votes
0 answers
62 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
0 answers
120 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 ...