Skip to main content
4 events
when toggle format what by license comment
Oct 25, 2019 at 18:06 vote accept Sleipnir
Oct 25, 2019 at 16:45 comment added ThiKu It should be possible to write down the 0-homotopy directly. But this will be the same chain homotopy equivalence that one constructs in the proof of the fundamental lemma.
Oct 25, 2019 at 16:36 comment added Sleipnir I use the definition via the Chevalley-Eilenberg complex, $\mathrm{C}^q(\mathfrak{g},I)=\text{Hom}_k(\wedge^q\mathfrak{g},I)$. Is there a way to get the result directly also with this definition?
Oct 25, 2019 at 14:14 history answered ThiKu CC BY-SA 4.0