symmetric monoidal (∞,1)-category of spectra
an element of degree -1
such that the Maurer-Cartan equation holds
This is a special case of MC elements for L-∞ algebras, which we discuss next.
For an L-∞ algebra with brackets , a Maurer-Cartan element is an element such that
A reference for this is for instance around def. 3.1 in (Hain).
We unwind in steps how this comes about.
The space of graded algebra homomorphisms is a subspace of the space of linear maps of graded vector spaces, and since is freely generated as a graded algebra and is of finite type by assumption, this is isomorphic to the space of grading preserving homomorphisms
of linear grading-preserving maps from the graded vector space of dual generators to . By the usual relation in for of finite type, this is isomorphic to the space of elements of total degree degree 1 in elements of tensored with :
The dg-algebra homomorphism form the subspace of this space
on elements that respect the differential. Under the above equivalence this are elements in satisfying a certain condition. By inspection one finds that this condition is precisely the MC equation
Maurer–Cartan equation is a name for very many related equations in geometry, algebra, deformation theory, category theory and quantization theory?. Such equations express for example certain conditions in theory of isometric embedding of submanifolds into a euclidean space (‘structure equations’, with relations to the Lie groups ), invariance of invariant differential forms (Maurer-Cartan forms) on Lie groups, flatness of connections on principal or associated fibre bundles, the solutions in some contexts parametrize infinitesimal deformations, or define twisting cochains. In the context of BV-quantization, a Maurer–Cartan equation has the role of classical master equation.
A Maurer–Cartan equation for -algebras is usually referred to as a generalized Maurer–Cartan equation as it has more summands than the one for dg-algebras. In some contexts like -categories, some authors prefer the geometric terminology ‘homological vector field’ as a datum on a formal geometric space which satisfies a Maurer–Cartan equation. Solutions to Maurer-Cartan equation for a dg- or algebra are called Maurer-Cartan elements.
Sophus Lie considered groups of transformations first and discovered Lie algebras only later (letter to Mayer, 1874). He has shown that infinitesimally one can solve the Maurer–Cartan equations for a given set of structure constants of a finite-dimensional Lie algebra. This means that one can construct a neighborhood with either the invariant differential form, or dually the invariant vector fields whose commutator corresponds to the commutator of the Lie algebra. This amounts to integrating the Lie algebra to a local Lie group. Only much later, Elie Cartan succeeded in proving the global version of integration, that is the Cartan–Lie theorem. J-P. Serre in an influential textbook called the Cartan–Lie theorem the “third Lie theorem”, which became a rather popular term in recent years, though one should correctly call so just the theorem on local solvability of Maurer–Cartan equation.
For literature on the third Lie theorem from the point of view of Maurer–Cartan equations, compare the following references: * Sigurdur Helgason, Differential geometry, Lie groups, and symmetric spaces * N. Bourbaki, Lie algebras and lie groups, historical appendix * F. Engel, P. Heegaard, Sophus Lie Samlede Avhandliger (Collected works)
The historical article of L. Maurer is
A MathOverflow entry about Maurer-Cartan forms for Lie groups: maurer-cartan-form
Around def. 3.1 in