The lie-algebra-cohomology tag has no wiki summary.

**1**

vote

**0**answers

35 views

### Cohomology of a graded differential algebra with L-infinity action by a Lie algebra relative to a sub algebra

Suppose $A$ is a graded differential algebra, $h\subset g$ is an ideal, and that there is an $L_\infty$ action by $g/h$ on $A$. Is there any theorem that gives a quasi-isomorphism between the ...

**3**

votes

**0**answers

62 views

### Lifting Lie algebra cohomology class to Hochschild cochain

Let $g$ be a Lie algebra, $h\subset g$ an ideal. The associative algebra $N=U(h)\subset U(g)$ can be viewed as a $g$-module.
The Lie algebra cohomology ${\rm H}^*(g,U(g))$ is isomorphic to the ...

**4**

votes

**2**answers

300 views

### Hochschild and cyclic cohomology of commutative algebra?

I'm wondering how to compute the Hochschild cohomology ${\rm HH}^n(A,A)$ and the cyclic cohomology ${\rm HC}^n(A)$ where $A = \mathbb{C}[t_i]$ is the algebra of polynomials in a finite set of ...

**5**

votes

**2**answers

202 views

### computing second cohomology $H^2(O_a,\mathbb{Z})\cong \mathbb{Z}^n$ of a generic coadjoint orbit

Let $G$ be a compact , connected and simply connected Lie group and $a\in\mathfrak{g}^*$ (dual of Lie algebra of Lie group $G$). Then let $O_a$ be a generic coadjoint orbit then can we say ...

**3**

votes

**0**answers

173 views

### What is a Homotopy between $L_\infty$-algebra morphisms II

I would like to continue on question I asking, what is a homotopy between
Lie infinity algebras, since I'm not satisfied in two directions:
1.) The naive approach to define a homotopy would be ...

**1**

vote

**1**answer

112 views

### Cohomology with coefficient in a Lie algebra

For a topological space X we can consider the coefficient of singular cohomology in a Lie algebra A. Then we obtain a graded Lie algebra, that is [x,y]=(-1)^i+j-1 [y,x], for homogeneous ...

**2**

votes

**0**answers

121 views

### Lie algebra cohomology

Let $\mathfrak{g}$ be a simple complex Lie algebra of $rank(\mathfrak{g})\geq2$ and dimension $d$. Fix a (non-zero) invariant bilinear form $(\cdot,\cdot)$ on $\mathfrak{g}$ and let $\{x_i\}_{1\leq ...

**4**

votes

**0**answers

165 views

### Lagrangian (classical) BRST cohomology groups

I'm trying to understand BRST complex in its Lagrangian incarnation i.e. in the form mostly closed to original Faddeev-Popov formulation. It looks like the most important part of that construction ...

**3**

votes

**3**answers

220 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 ...

**3**

votes

**0**answers

81 views

### Topological obstruction to icosahedral symmetry?

Let $G$ be a compact simple lie group of rank $n$. Then the Poincaré series of $G$ is given by $$P(G,q)=\prod_{i=1}^n (1+q^{2d_i-1}),$$
where the integers $d_1\leq d_2\leq \cdots \leq d_n$ are the ...

**13**

votes

**1**answer

372 views

### History of Koszul complex

This is a question about history of commutative algebra. I'm curios why Koszul complex from commutative algebra is called Koszul complex? All Koszul's early papers are about Lie algebras and Lie ...

**7**

votes

**1**answer

234 views

### Is Nijenhuis–Richardson bracket a BV bracket?

Let $g$ be a finite dimensional Lie algebra, and let me denote $A=(\bigwedge g^* \otimes g, d)$ the Chevalley-Eilenberg complex that calculates cohomology of the Lie algebra with coefficients in the ...

**1**

vote

**0**answers

90 views

### A Isomorphism between the extension group and cohomology group of Lie algebras [closed]

Within the book An introduction to homological algebra by Weibel, I am trying to prove the following isomorphism, but I am not sure this is true. But I really want to know how to prove or disprove ...

**1**

vote

**0**answers

58 views

### Sub Lie algebra noncohomologous to zero

Let $g$ be a Lie algebra and $h$ a subalgebra of $g$. The embedding $h\subset g$ induces a map on the cohomology groups $H^*(g)\to H^*(h)$. I want to determine whether this map is surjective. What are ...

**1**

vote

**1**answer

271 views

### Computing relative Lie algebra cohomology (as appears in Borel-Weil-Bott theorem)

Suppose $G$ is a complex Lie group, $P$ a Borel subgroup, $E$ a representation of $P$ that induces a vector bundle ${\cal E}$ over $G/P$. The general version of Borel-Weil-Bott theorem, as stated in ...

**3**

votes

**0**answers

139 views

### p-adic Lie group vs Lie algebra cohomology with mod p coefficients

My question concerns the cohomology of a compact $p$-adic Lie group $G$ (wich is pro-$p$).
Let $M$ be a finite dimensional $\mathbb{Q}_p$-vector space with continuous linear $G$-action.
Lazard ...

**0**

votes

**0**answers

173 views

### sh Lie algebra cohomology

For sh Lie algebra cohomology, is there written anywhere a description of H^1(L;L) as
sh derivations mod inner ones?

**0**

votes

**0**answers

188 views

### Cohomology of Lie groups and Lie algebras

If the second cohomology of a Lie algerba $g$ is
$H^2(g,Z)=Z$. Then what is the second cohomology of the direct product of $n$ copies of $g$? Is it $Z^n$? Can I think if this cohomology as an integral ...

**1**

vote

**1**answer

417 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}= ...

**7**

votes

**1**answer

394 views

### Hochschild (co)homology and representation theory

Dear members of Mathoverflow,
I just discovered the notion of Hochschild (co)homology. I understand well the formalism however I am wondering about the meaning of this (co)homology for representation ...

**6**

votes

**0**answers

153 views

### The meaning of a “subcomplex” of the Cartan-Eilenberg of a Lie algebra

Let $\mathfrak{g}$ be a finite dimensional real Lie algebra, and $\mathfrak{g}^* $ be the dual vector space. We have the standard Cartan-Eilenberg complex
$(\wedge^{\cdot} \mathfrak{g}^* ...

**4**

votes

**0**answers

283 views

### LIE ALGEBRA coboundary

There seems to be a problem in the literature about the definition of the 'standard'
coboundary on the 'Cartan-Chevalley-Eilenberg' algebra - the problem is the signs!
Where/when did things go wrong? ...

**3**

votes

**1**answer

244 views

### How can one find generators of basic differential forms on homogeneous spaces?

Dear all,
In short, my problem is that I would like to have a better control of the 1-forms on a homogeneous space. Contrary to the group case, the module of differential form is not trivialisable. ...

**4**

votes

**2**answers

507 views

### Whitehead lemmas in Lie algebra cohomology for non-algebraically closed fields

I read in Weibel's homological algebra that Whitehead's first and second lemmas are true for any characteristic 0 field. I mean the following:
Whitehead Lemma(s): Let g be a semisimple Lie algebra ...

**1**

vote

**3**answers

436 views

### Schur `multipliers' for Lie algebras

Schur multipliers for group extensions and for Lie groups also
Where are they written for Lie algebras?

**1**

vote

**0**answers

155 views

### Exotic Chains for Group Homology of a Complex Lie Group

Related Question: Exotic Chains for Group Cohomology of a Complex Lie Group
Let's take the group homology of a affine algebraic group over $\mathbb C$ (with its discrete topology). The natural ...

**4**

votes

**0**answers

146 views

### Exotic Chains for Group Cohomology of a Complex Lie Group

Related Question: Exotic Chains for Group Homology of a Complex Lie Group
Let's take the group cohomology of a affine algebraic group over $\mathbb C$ (with its discrete topology). The natural ...

**12**

votes

**2**answers

561 views

### Projective modules over quantum groups

My question is short:
How can one calculate $\operatorname{Tor}_{U_q(\mathfrak g)}(k,k)$?
($k$ is the ground field of characteristic zero).
If we had a regular universal enveloping algebra ...

**1**

vote

**0**answers

122 views

### A Weyl invariance constructed from Clebsch-Gordan Coefficients.

Let $V$ and $\tilde{V}$ be irreducible representations of SU(N) with tensor decomposition:
\begin{equation}
V \otimes \tilde{V} = \bigoplus_i U_i
\end{equation}
\noindent were $U_i$ are also irreps ...

**1**

vote

**2**answers

183 views

### How to prove H^2(g,J(g)) is nonzero for a semisimple Lie algebra g, where J(g) is the augmentation ideal of g?

Suppose g is a fiinte dimensional semisimple lie algebra over a field with characteristic 0. This question is related to Whitehead's second lemma, which says for finite dimensional g-module M, ...

**6**

votes

**1**answer

358 views

### invariant symmetric bilinear forms and Lie algebra cohomology

What are the most general conditions on a Lie algebra $\mathfrak{g}$ over a field $\mathbb{k}$ such that the space of invariant symmetric bilinear forms is isomorphic to ...

**2**

votes

**1**answer

461 views

### dg-lie structure on $HH^*$ and Koszul duality

This is shamelessly close to my other question: A Question on Koszul duality and $B(\infty)$ structures on $HH^*$. Maybe this one will get a better response. Rather than rewrite that one, I am going ...

**10**

votes

**1**answer

626 views

### Torsion for Lie algebras and Lie groups

This question is about the relationship (rather, whether there is or ought to be a relationship) between torsion for the cohomology of certain Lie algebras over the integers, and torsion for ...

**6**

votes

**2**answers

526 views

### Relative Lie Algebra cohomology and sheaf cohomology

(I apologize in advance for the vagueness of my question). Let $G$ be a reductive algebraic group over $\mathbb C$ with Lie algebra $\frak g$ and Borel $B$. I have seen casual references to the fact ...

**2**

votes

**3**answers

674 views

### Is there any relation between deformation and extension of Lie algebras?

In a paper of A. Weinstein on the geometry of Poisson manifolds, he relates the formal linearization around a zero, p, of the Poisson bivector to extensions of the Lie algebra induced by the bivector ...

**2**

votes

**0**answers

155 views

### A problem on 2 Lie (co)homology group and central extension

For a perfect Lie algebra L over C, The kernal of its universal central extension is isomorphic to H_2(L,C), and its central extensions is 1-1 to the H^2(L,C).
question(1) Can we know one of the H_2 ...

**2**

votes

**0**answers

283 views

### Cohomologies associated to residually torsion-free nilpotent groups

This question is related to my previous question: Relationship between the cohomology of a group and the cohomology of its associated Lie algebra.
A group $G$ is ${\it residually \ torsion \ free \ ...

**5**

votes

**2**answers

618 views

### Can Lie algebra cohomology prove Cartan's Semisimplicity Criterion?

Here is what I mean by "Cartan's semisimplicity criterion":
Let $\mathfrak g$ be a finite-dimensional Lie algebra over a field of characteristic $0$. Assume that the center of $\mathfrak g$ is ...

**16**

votes

**2**answers

442 views

### Generators of the cohomology of a Lie algebra

Fix a characteristic zero ground field. One can easily check that if $\mathfrak g$ is a simple Lie algebra, then the trilinear map map $\omega$ given by $$\omega(x,y,z)=B([x,y],z),$$ with $B$ the ...

**7**

votes

**2**answers

1k views

### Compute Lie algebra cohomology

Is there a computer algebra system that is able to compute the Lie algebra cohomology in a given representation?what if the Lie algebra is finite dimensional?
In my case I would like to be able to ...

**4**

votes

**2**answers

237 views

### Lie algebra cohomology over non-fields

This is probably a very elementary question. I'm trying to get an explicit description of the cochain complex and coboundary maps for Lie algebra cohomology over $\mathbb{Z}$, and more generally, over ...

**5**

votes

**1**answer

308 views

### What is the Schouten bracket for the Chevalley-Eilenberg complex with coefficients in a nontrivial module?

Let $\mathfrak g$ be a Lie algebra. The Chevalley-Eilenberg complex is defined to be $\wedge^* \mathfrak g$ with differential $d\colon \wedge^* \mathfrak g\to \wedge^{*-1}\mathfrak g$ defined by ...

**6**

votes

**2**answers

687 views

### What is the (Koszul? derived?) interpretation of a pair of Lie algebras with the same cohomology?

There are many words and sentences in mathematics that I basically completely don't understand, including the words "Koszul" and "derived". But rather than ask for a complete description of such ...

**3**

votes

**1**answer

327 views

### A question on the construction of finite W-algebras

In a well known construction of finite W-algebras, one first constructs a certain
nilpotent subalgebra $\mathfrak{m}$ along with a character $\chi:\mathfrak{m}\rightarrow \mathbb{C}$.
Then one defines
...

**6**

votes

**4**answers

471 views

### Is a quasi-iso in Lie algebra cohomology necessarily an iso?

Let $\mathfrak g$ be a Lie algebra (if it matters, right now I only care about finite-dimensional Lie algebras in characteristic $0$, although I'm never opposed to hearing about more general cases). ...

**3**

votes

**1**answer

205 views

### When does a VBLA induce an isomorphism on Lie algebroid cohomology?

This question is geared towards the experts, so I will only briefly gloss the definitions. Everything I say is in the category of finite-dimensional smooth manifolds, and whenever I say "$\mathbb ...

**3**

votes

**1**answer

522 views

### Restriction map for Lie algebra/Lie group cohomology associated to a complex semisimple Lie algebra and a semisimple Lie-subalgebra

Let $\mathfrak{g}$ be a finite-dimensional complex semisimple Lie algebra (or the corresponding Lie group). For definiteness, I'll take $\mathfrak{g}$ to be of type $A_n$, that is, $\mathfrak{g} = ...

**8**

votes

**4**answers

728 views

### lists of computed cohomologies?

Is there any comprehensive list of examples for computed
1) de-Rham cohomology-groups
2) Lie-algebra-cohomology groups $H^i(\mathfrak{g},\mathbb{R})$
3) equivariant de-Rham cohomology groups ?
...

**2**

votes

**3**answers

300 views

### What is an obviously coordinate-independent description of the Chevellay-Eilenberg complex for a Lie algebroid?

I've read in many places, including the n-Lab page, that a Lie algebroid (which I think of as in the first definition on the n-Lab page) is the same as a vector bundle $A \to X$ and a (properties?) ...

**3**

votes

**1**answer

267 views

### Why are relations of degree 3 or less enough in a presentation of the polynomial current Lie algebra g[t]?

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra over $\mathbb{C}$.
The polynomial current Lie algebra $\mathfrak{g}[t] = \mathfrak{g} \otimes \mathbb{C} [t]$
has the bracket
$$[xt^r, ...