Fully faithful Chevalley–Eilenberg functor for representations
Fix a Lie algebra g\mathfrak{g}g whose underlying k\Bbbkk-module is perfect. Let LModU(g)\operatorname{LMod}_{\operatorname{U}(\mathfrak{g})}LModU(g) be the ∞\infty∞-category of left modules ove…