Chevalley–Eilenberg embedding conjecture for perfect Lie algebras

At least 3 years old · documented by

Let Lie⁡kperf⁡≔Alg⁡Lie⁡(Perf⁡k)\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 ε-⁡CAlg⁡kgr⁡\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⁡ε ⁣:Lie⁡kop⁡→ε-⁡CAlg⁡kgr⁡\operatorname{CE}^{\varepsilon}\colon\operatorname{Lie}^{\operatorname{op}}_{\Bbbk}\to\varepsilon\operatorname{-}\operatorname{CAlg}^{\operatorname{gr}}_{\Bbbk}

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