The derived Maurer-Cartan locus

DOI10.4171/LEM/62-1/2-14MaRDI QIDQ515315zbMATH OpenFDO

Authors E. Getzler

Publication date 13 March 2017

Published in L'Enseignement Mathématique. 2e Série (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1508.03007

zbMATH Keywords

cosimplicial schemesderived geometrydg Lie algebrasMaurer-Cartan locusmoduli

Mathematics Subject Classification ID

Formal neighborhoods in algebraic geometry (14B20)

Abstract: The derived Maurer-Cartan locus $$ is a functor from differential graded Lie algebras to cosimplicial schemes. If L is differential graded Lie algebra, let $L_{+}$ be the truncation of $L$ in positive degrees $i>0$. We prove that the differential graded algebra of functions on the cosimplicial scheme $$ is quasi-isomorphic to the Chevalley-Eilenberg complex of $L_{+}$.

Review text

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.

Recommendations

• Differential graded Lie algebras and formal deformation theory
• Maurer-Cartan moduli and models for function spaces
• Maurer-Cartan spaces of filtered \(L_{\infty}\)-algebras
• Leibniz-infinity morphisms for derived brackets
• Combinatorics and formal geometry of the Maurer-Cartan equation

Cited in

(12)

• Extended Riemannian geometry. II: Local heterotic double field theory
• \(T\)-duality and exceptional generalized geometry through symmetries of dg-manifolds
• Homotopy Poisson algebras, Maurer-Cartan elements and Dirac structures of CLWX 2-algebroids
• The Hodge Chern character of holomorphic connections as a map of simplicial presheaves
• The embedding tensor, Leibniz-Loday algebras, and their higher gauge theories
• A note on Faddeev-Popov action for doubled-yet-gauged particle and graded Poisson geometry
• Infinity-enhancing of Leibniz algebras
• Extended Riemannian geometry. III: Global double field theory with nilmanifolds
• \(L_{\infty}\) algebras for extended geometry from Borcherds superalgebras
• Duality hierarchies and differential graded Lie algebras
• On exponential groups and Maurer-Cartan spaces
• Purity and 2-Calabi-Yau categories

This page was built for publication: The derived Maurer-Cartan locus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q515315)