so far these are notes taken in talks by Ezra Getzler
and is equipped with a bracket operation
satisfies the graded Jacobi identity .
is graded Leibnitz: . (aka a graded derivation)
Note If is odd, then need not vanish. (see also super Lie algebra).
We can form its Chevalley-Eilenberg algebra (see there for details) of cochains
(N.B. In full generality, read this as
as a graded commutative COalgebra.)
The underlying graded algebra we may dually think of as functions on some space, a (so-called) formal graded manifold.
The total differential
where the first is and the second is the dual of the bracket: extended as a graded derivation.
what kind of link is needed here??
in the early 1990s:
An L-infinity algebra is equivalent to ( in the degreewise finite dimensional case) a free graded-commutative algebra equipped with a differential of degree +1.
Now the differential corresponds to a sequence of -ary brackets. For this is the differential on the complex, for this is the binary bracket from above, and then there are higher brackets.
One can consider two notions of morphisms: strict ones and general ones.
A strict one would be a linear map of the underlying vector spaces that strictly preserves all the brackets.
A general definitin of morphisms is: in terms of the dual dg-algebras just a morphism of these, going the opposite way. In the dual formulation this is due to Lada and Stasheff.
We may also think of this as a morphism of NQ-supermanifolds.
So in components such a morphism of -algebras consists of -ary maps
(where the shift in the indices is due to the numbering convention here only).
The issue is that the category of -alghebras as defined above has not all products and coproducts.
But we can turn it into a category of fibrant objects.
This is analogous to (in fact an example of the same general fact) how Kan complexes inside all simplicial sets are the fibrant objects of the model structure on simplicial sets but do not form among themselves a model category but a category of fibrant objects.
See Kan complex for more…
Let be a category. The axioms used here are the following.
There is another subcategory , whose morphisms are called fibrations (and those that are also in are called acyclic fibrations) , such that
Write for the category of filtered L-infinity algebras
Let be a graded vector space
a decreasing filtrration on it is
such that is the limit over this
i.e. if then exists
something missing here
has filtration degree 0 if or filtration degree 1 if .
The differential has the property
Then is a true differential
where we take to have filtration degree 0 for and filtration degree 1 for .
So is a morphism of complexes from to .
Definition A morphism is a weak equivalence if is a quasi-isomorphism of complexess.
It is a fibration if is surjective.
Theorem This defines the structure of a (Getzler-version of a) category of fibrant objects as defined above.
Given be a Getzler-category of fibrant objects.
Define a new Getzler-category of fibrant objects as follows:
Here the right vertical morphism is assumed to be a fibration, hence so is the left vertical morphism.
So comes with a map . We assume that this is a fibration. This allows us to define and to continue the induction.
So this defines a Reedy fibrant object .
So the objects of are Reedy fibrant objects and morphisms are morphisms of simplicial objects.
The weak equivalences in are taken to be the levelwise weak equivalences.
The fibrations are taken to be the Reedy fibrations, as in the Reedy model structure, i.e. those morphisms such that is a fibration for all .
There is still a fourth axiom for Getzler-cats of fibrant objects to be stated, which is the existence of path space objects. We take this to be gven by a path space functor
which is such that
for all the face maps of are weak equivalences;
preserves fibrations and acyclic fibrations;
is naturally isomorphic to .
If is the category of Kan complexes, then .
For our category of filtered -algebras we may set
where denotes the completed tensor product, more commonly denoted .
We may also speak of cofibrant objects in a (Getzler-) category of fibrant objects:
those objects such that for all acyclic fibrations the induced map is surjective (i.e. those with left lifting property again acyclic fibrations).
All the above is designed to make the following come out right.
Generally, is the set of points (global elements) of .
A morphism from the terminal object into an -algebra is a Maurer-Cartan element in the -algebra.
Such a point is just an element of degree 1 and filtration degree 1 that satisfies the equation
In the case of dg-Lie algebras, this is just the familiar Maurer-Cartan equation
We have that is a functor from to the category of Kan complexes.
For the category of Kan complexes, it is the identity functor.
For filtered -algebras it gives
This functor takes fibrations to fibrations and acyclic fibrations to acyclic fibrations and weak equivalences to weak equivalences.
Other applications to sheaves of -algebras
Evaluate on a Cech-nerve to get a cosimplicial -algebra
If is a dg-Lie algebra, then
Now define the Deligne groupoid as in Getzler’ integration article.
We find inside the large Kan complex of MC-elements a smaller one that is still equivalent.
To get this impose a gauge condition known from homological perturbation theory.
A context is
See Kuranishi’s article in Annals to see where the motivation for all this comes from.
Jim Stasheff: citation please and how much does all refer to??
Example Consider the space of Schouten Lie algebras
Then is the set of Poisson brackets .
For let . Then is the locally Hamiltonian diffeomorphisms / Hamiltonian diffeos.
is the set of Casimir operators of .
On -fold intersections we form
and check if that is equivalent to the one assigned to .
We now want to compare the -stack of -algebras and that of the “integration” to the Kan complexes of Maurer-Cartan elements, so compare
Notice that we have an evident map
Hinich shows in a special case that this is a homotopy equivalence.
It is easy to prove it for abelian -algebras.
This is indeed a homotopy equivalence.
Proof By E.G.’s own account he has “a terrible proof” but thinks a nicer one using induction should be possible.
Recall the notion of “context” from above, which is a collection of maps
between filtered complex-like things,
meaning?? more general or complex with additional structure??
satisfying some conditions.
We can arrange this such that imposes a certain gauge condition on , or something
I missed some details here…
Proof Along the lines of Kuranishi’s construction:
So the big -groupoid that drops out of the integration procedure is equivalent to the smaller one which is obtained from it by applying that gauge fixing condition.
It would be nice if in the definition of the MC complex we could replace differential forms on the -simplex with just simplicial cochains on .
This would make the construction even smaller.
What’s the problem?
This is true if one takes care of some things. This is part of the above “terrible proof”.
The discussion of the Deligne groupoid (the -groupoid “integrating” an -algebra) and the gauge condition on the Maurer-Cartan elements is
A reference for the theorem above seems not to be available yet, but I’ll check.