Skip to main content
2 of 2
two paragrphs added
Leonid Positselski
  • 15.6k
  • 1
  • 57
  • 95

I know, basically, two answers to this question. The first one starts from the observation that what you call "a relatively easy theorem" generalizes to infinite-dimensional Lie algebras $L$ by replacing the exterior algebra generated by $L^\ast$ with the exterior coalgebra cogenerated by $L$. Then the construction becomes covariant, but produces a (conilpotent) DG-coalgebra rather than a DG-algebra.

Now it is just a fact that the natural equivalence relation on DG-coalgebras is more delicate than the quasi-isomorphism. There is a certain class of "filtered quasi-isomorphisms" that one is supposed to invert when dealing with (conilpotent) DG-coalgebras. The map of Chevalley-Eilenberg complexes that you describe, when considered as a map of the homological, rather than cohomological, Chevalley-Eilenberg complexes, is not a filtered quasi-isomorphism of DG-coalgebras and cannot be obtained from such using compositions and fractions. This saves the derived Koszul duality as an equivalence between appropriate localizations of the categories of (augmented) DG-algebras and (conilpotent) DG-coalgebras.

The second answer describes what happens if one insists on considering the cohomological Chevalley-Eilenberg complex of a finite-dimensional Lie algebra, viewed as a DG-algebra up to a quasi-isomorphism. One can also apply the derived Koszul duality to it, obtaining a certain DG-coalgebra. This DG-coalgebra is, basically, the k-linear dual to the complete topological DG-algebra of derived adic completion of the enveloping algebra U(L) with respect to its augmentation ideal. So if a morphism of finite-dimensional Lie algebras induces an isomorphism of cohomology, this should be understood to mean that it induces an isomorphism of the derived adic completions of the enveloping algebras at their augmentation ideals. Admittedly, this is not a geometric interpretation.

EDIT: I have been asked in a comment what a filtered quasi-isomorphism of DG-coalgebras is, so let me add an explanation of this to the answer. This notion does not presume a fixed filtration on a DG-coalgebra, but rather a class of admissible filtrations. We consider coaugmented DG-coalgebras, i.e., the basic field $k$ is embedded as a subcoalgebra into a DG-coalgebra $C$ and its image is annihilated by the differential. An increasing filtration $F$ on $C$ is admissible if $F_0C=0$, $F_1C=k$, the components $F_iC$ are preserved by the differential, and the filtration $F$ is compatible with the comultiplication.

Not every coalgebra admits an admissible filtration at all! A coalgebra is called conilpotent if it has an admissible filtration (just as a coalgebra, let us drop the condition of compatibility with the differential for a moment). In this case, it has a certain maximal admissible filtration (which is preserved by the differential automatically). However, filtered quasi-isomorphisms of conilpotent DG-coalgebras are defined in terms of arbitrary admissible filtrations. A morphism of DG-coalgebras is a filtered quasi-isomorphism if admissible filtrations can be chosen on its source and target so that the morphism is compatible with them and is a quasi-isomorphism on all filtration components.

Leonid Positselski
  • 15.6k
  • 1
  • 57
  • 95