Chevalley–Eilenberg embedding conjecture for perfect Lie algebras

Let LiekperfAlgLie(Perfk)\operatorname{Lie}^{\operatorname{perf}}_{\Bbbk}\coloneqq\operatorname{Alg}_{\operatorname{Lie}}(\operatorname{Perf}_{\Bbbk}) be the \infty-category of Lie algebras whose underlying k\Bbbk-module is perfect. Let ε-CAlgkgr\varepsilon\operatorname{-}\operatorname{CAlg}^{\operatorname{gr}}_{\Bbbk} be the \infty-category of commutative mixed graded k\Bbbk-algebras. Perfect Chevalley–Eilenberg embedding conjecture. The functor

CEε ⁣:Liekopε-CAlgkgr\operatorname{CE}^{\varepsilon}\colon\operatorname{Lie}^{\operatorname{op}}_{\Bbbk}\to\varepsilon\operatorname{-}\operatorname{CAlg}^{\operatorname{gr}}_{\Bbbk}

restricts to a fully faithful embedding of Liekperf\operatorname{Lie}^{\operatorname{perf}}_{\Bbbk}. This is the cohomological analogue of the coalgebra embedding claim; 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.