3

I want to be able to calculate the Lie algebra cohomology of $\mathfrak{so}_n(\mathbb{R})$ without appealing to the cohomology of Lie groups. Before I ask this, I do want to make sure this is a reasonable thing to do. My understanding is just as working with Lie algebras often simplifies the calculations of Lie groups, this would be the case for cohomologies as well. But despite that, I struggle to find much online material. Is my idea accurate? Also, as a convention, I will drop the $(-; \mathbb{R})$ as that is implied, and similarly for $\mathfrak{so}_n(\mathbb{R}) = \mathfrak{so}_n$

Given that it is, I've tried to calculate the cohomologies, but I've been struggling with anything beyond the first one. So by definition, we have the cochains are defined as

$$C^k(\mathfrak{so}_n) = \mathrm{Hom}(\wedge^k \mathfrak{so}_n) = \left(\wedge^k \mathfrak{so}_n\right)^*.$$

So by definition, we have $C^0(\mathfrak{so}_n) = \mathbb{R}$, $C^1(\mathfrak{so}_n) = (\mathfrak{so}_n)^*$, and so on. Now, in the case of the trivial module, our map $d: C^k(\mathfrak{so}_n) \to C^{k + 1}(\mathfrak{so}_n)$ is given by

$$d\varphi(x_0, \dots, x_k) =\sum_{0 \leq i < j \leq k} (-1)^{i + j} c([x_i, x_j], x_0, \dots, \hat{x_i}, \dots, \hat{x_j}, \dots, x_k).$$

So for $k = 0$, we have the empty sum and so

$$Z^0(\mathfrak{so}_n) = \mathrm{\ker}(d: C^0(\mathfrak{so}_n) \to C^1(\mathfrak{so}_n)) = \mathbb{R}$$

and

$$B^0(\mathfrak{so}_n) = \mathrm{im}(d: C^{-1}(\mathfrak{so}_n) \to C^0(\mathfrak{so}_n)) = 0,$$

giving $H^0(\mathfrak{so}_n) = \mathbb{R}$. Now, for $H^1(\mathfrak{so}_n)$, it is immediate that $B^1(\mathfrak{so}_n) = 0$. Now, if $\varphi \in C^1(\mathfrak{so}_n)$, we have

$$d \varphi(x_0, x_1) = -\varphi([x_0, x_1]) = \varphi(x_1 x_0) - \varphi(x_0 x_1).$$

I don't really know when I can conclude $\varphi(x_0 x_1) = \varphi(x_1 x_0)$, so I'm not sure what the kernel is. Similarly, I run into problems calculating any higher cohomology groups. I assume it can't be that hard, but I can't find any resources on it. If I could be either given an answer on this, or pointed in the direction of a resource that explicitly calculates $\mathfrak{so}_n$, that would be great. Even some general theorems (based in Lie algebras and not Lie groups) would be helpful. Thanks!

EDIT: I can see that using Whitehead's lemma that $H^1(\mathfrak{so}_n) = H^2(\mathfrak{so}_n) = 0$, but computing anything higher I'm still confused on.

Fnark Man
  • 543
  • 1
    As far as I know the calculation is just easier with Lie groups. Note that it does not involve computing any kind of group cohomology of the Lie group; we compute the de Rham cohomology of $G$ as a manifold. This is not an isomorphism that's true for formal reasons, it is really nontrivial! This is nice because we have many theorems available about this, and can use e.g. Mayer-Vietoris, fiber bundles, etc. to relate this cohomology to other cohomologies (of topological spaces!); none of that is available in the Lie algebra setting! – Qiaochu Yuan Mar 08 '25 at 06:08
  • @QiaochuYuan Hmm, interesting, I see. I think the reason this came to mind was because I was reading the following paper: https://people.math.rochester.edu/faculty/doug/otherpapers/chev-eilen.pdf

    And the philosophy seemed to be to reduce questions on homology groups to purely algebraic questions (and most other resources I can find on this make this assumption too). So I guess I'm left wondering what is the point of this reduction if it just makes the calculations even harder?

    – Fnark Man Mar 12 '25 at 02:34

0 Answers0