6

Please have a look at these two definitions:

Chevalley-Eilenberg complex

Koszul complex (German Wikipedia)

Both are from Wikipedia pages on Lie algebra cohomology, and they look rather similar. Since I'm not very solid on the notation, I'm unsure about what's the difference between them. Furthermore, since both Wiki pages are about Lie algebra cohomology, and no page defines the "other" chain complex, I'm not even sure whether they are different at all.

What's the essential difference between them?

1 Answers1

6

They are equivalent complexes. In the Koszul complex the notation $x\wedge y$ is used, which can be identified with an alternating $b(x,y)$ (or more generally the $k$-fold versions). The German Wikipedia version with the Koszul complex explicitly refers to Chevalley-Eilenberg, and furthermore discusses the scalar factor $1/(k+1)$:

"In der angegebenen Arbeit von C. Chevalley und S. Eilenberg wird noch durch $k+1$ dividiert, was im unten angegebenen Lehrbuch von Hilgert und Neeb nicht der Fall ist."

Indeed, the factor $1/(k+1)$ is originally in Chevalley-Eilenberg's paper, but is nowadays skipped, because it causes unnecessary problems over fields of characteristic $p>0$.

Dietrich Burde
  • 140,055