The derived Maurer-Cartan locus (Q515315)

The author defines the derived Maurer-Cartan locus of a differential graded Lie algebra \(L\) and compares its differential graded algebra of functions with the Chevalley-Eilenberg complex of the positive degree truncation \(L^{\geq 1}\). The author begins by reviewing some ideas and examples from derived geometry and recalls the differential graded MC locus of a dg Lie algebra \(L\) as the derived affine scheme associated to the Chevalley-Eilenberg cochains of \(L\). He then defines the derived Maurer-Cartan locus as a cosimplicial scheme. It is in degree \(n\) given by Maurer-Cartan elements of the dg-Lie algebra \(L\otimes \Lambda^n\) for a certain coconnective cosimplicial commutative dg algebra \(\Lambda^\bullet\). It is worth noting that the construction only depends on the truncation \(L^{\geq 1}\). One motivation for this construction is that it adapts more easily than the Chevalley-Eilenberg complex to the setting of differential graded Banach Lie algebras. The main theorem of this paper identifies functions on the derived MC locus of \(L\) with the Chevalley-Eilenberg algebra of \(L^{\geq 1}\). This is proven by using the filtration by powers of the augmentation ideal to reduce the problem to the abelian case, where it can be deduced from the Dold-Kan correspondence and the Eilenberg-Zilber theorem, both of which the author reviews. The results extend to nilpotent \(L_\infty\)-algebras.