Fully faithful Chevalley–Eilenberg functor for representations

Fix a Lie algebra g\mathfrak{g} whose underlying k\Bbbk-module is perfect. Let LModU(g)\operatorname{LMod}_{\operatorname{U}(\mathfrak{g})} be the \infty-category of left modules over its universal enveloping algebra, and let ModCEε(g)const(ε-Modkgr)\operatorname{Mod}^{\operatorname{const}}_{\operatorname{CE}^{\varepsilon}(\mathfrak{g})}(\varepsilon\operatorname{-}\operatorname{Mod}^{\operatorname{gr}}_{\Bbbk}) be the full subcategory of constant mixed graded Chevalley–Eilenberg modules. Representation Chevalley–Eilenberg conjecture. The functor

CEε(g;):LModU(g)ModCEε(g)const(ε-Modkgr)\operatorname{CE}^{\varepsilon}(\mathfrak{g};-):\operatorname{LMod}_{\operatorname{U}(\mathfrak{g})}\longrightarrow\operatorname{Mod}^{\operatorname{const}}_{\operatorname{CE}^{\varepsilon}(\mathfrak{g})}(\varepsilon\operatorname{-}\operatorname{Mod}^{\operatorname{gr}}_{\Bbbk})

is fully faithful. This conjectures that representations of a perfect Lie algebra can be recovered from their constant mixed graded Chevalley–Eilenberg modules; the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Emanuele Pavia, “Mixed graded structure on Chevalley-Eilenberg functors”, arXiv:2207.12012 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.