Fully faithful Chevalley–Eilenberg functor for representations

About 4 years old · traced to

Fix a Lie algebra g\mathfrak{g} whose underlying k\Bbbk-module is perfect. Let LMod⁡U⁡(g)\operatorname{LMod}_{\operatorname{U}(\mathfrak{g})} be the ∞\infty-category of left modules over its universal enveloping algebra, and let Mod⁡CE⁡ε(g)const⁡(ε-⁡Mod⁡kgr⁡)\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;−):LMod⁡U⁡(g)⟶Mod⁡CE⁡ε(g)const⁡(ε-⁡Mod⁡kgr⁡)\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.

References

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.