I hope to write more on this later, but for now let me make some general assertions: there are general theorems to this effect and give two references: arXiv:math/9812034, DG coalgebras as formal stacks, by Vladimir Hinich, and the survey article arXiv:math/0604504, Higher and derived stacks: a global overview, by Bertrand Toen (look at the very end to where Hinich's theorem and its generalizations are discussed).
The basic assertion if you'd like is the Koszul duality of the commutative and Lie operads in characteristic zero. In its simplest form it's a version of Lie's theorem: to any Lie algebra we can assign a formal group, and to every formal group we can assign a Lie algebra, and this gives an equivalence of categories. The general construction is the same: we replace Lie algebras by their homotopical analog, Loo algebras or dg Lie algebras (the two notions are equivalent --- both Lie algebras in a stable oo,1 category). We can associate to such an object the space of solutions of the Maurer-Cartan equations -- this is basically the classifying space of its formal group (ie formal group shifted by 1). Conversely from any formal derived stack we can calculate its shifted tangent complex (or perhaps better to say,
the Lie algebra of its loop space). These are equivalences of oo-categories if you
set everything up correctly. This is a form of Quillen's rational homotopy theory - we're passing from a simply connected space to the Lie algebra of its loop space (the Whitehead algebra of homotopy groups of X with a shift) and back.
So basically this "philosophy", with a modern understanding is just calculus or Lie theory: you can differentiate and exponentiate,
and they are equivalences between commutative and Lie theories (note we're saying this geometrically, which means replacing commutative algebras by their opposite, ie appropriate spaces -- in this case formal stacks). Since any deformation/formal moduli problem, properly formulated, gives rise to a formal derived stack, it is gotten
(again in characteristic zero) by exponentiating a Lie algebra.
Sorry to be so sketchy, might try to expand later, but look in Toen's article for more (though I think it's formulated there as an open question, and I think it's not so open anymore).
Once you see things this way you can generalize them also in various ways -- for example, replacing commutative geometry by noncommutative geometry, you replace Lie algebras by associative algebras (see arXiv:math/0605095 by Lunts and Orlov for this philosophy) or pass to geometry over any operad with an augmentation and its dual...
No comments:
Post a Comment