1. Tangent-obstruction theories
Standard problems in classical deformation theory usually have a “tangent-obstruction theory” parametrized by certain successive cohomology groups. For example, let’s consider the problem of deformations of a smooth variety over an algebraically closed field , over finite-dimensional local -algebras. Then:
- The “infinitesimal automorphisms” of —that is, automorphisms of the trivial deformation over —are given by where is the tangent bundle (i.e., vector fields).
- The isomorphism classes of deformations of over the dual numbers are given by .
- There is an obstruction theory with . Specifically, given a square-zero extension of finite-dimensional local -algebras
and given a deformation of over , there is a functorial obstruction in to extending the deformation over the inclusion .
- In the previous item, if the obstruction vanishes, then the isomorphism classes of extensions of over are a torsor for .
One has a similar picture for other deformation problems, for example deformations of vector bundles or closed subschemes. The “derived” approach to deformation theory provides (at least in characteristic zero) a general explanation for this phenomenon.
Suppose now , and let be a DGLA over . Then defines a formal moduli problem. In the previous post, we sketched a construction of this. Given a dg-artinian -algebra , we defined:
for the maximal ideal, where refers to the “space of solutions of the Maurer-Cartan equation.”
The moduli problem lives in the derived world—it takes values in spaces. But we can get a classical formal moduli problem by sending an ordinary artinian ring to . Call this functor —it’s the type of functor that would be studied in classical deformation theory. Let’s see how the analysis at the beginning of this post would play out for .
Example 1 The “tangent space” is given precisely by . The Maurer-Cartan elements of correspond in this case precisely to the cycles in , and the equivalence relation on them turns out exactly to be cohomology.
In general, given a formal moduli problem, one can associate a “tangent complex” (in -chain complexes) to it—for , the associated tangent spectrum is . The truncation doesn’t remember all of , just .
Example 2 If we remembered the automorphisms (but not higher automorphisms) and considered instead the truncation , then the automorphisms (or ) would be given by . In general, we’ll see that
this’ll be a part of the definition of the tangent spectrum.
Example 3 Let’s now consider the most interesting part—obstruction theories. The claim is that there is an obstruction theory for with coefficients .
More specifically, consider a square-zero extension
In this case, there is a cartesian square
That’s the derived point-of-view on square-zero extensions—the extension map is (or rather, acquires the structure of) a derivation, and that leads to a map . (This can be written down explicitly with cdgas.)
By the cohesiveness axiom, this leads to a homotopy cartesian square of spaces,
In particular, given a point in , it can be lifted to if and only if it maps to the basepoint in in . (Moreover, the set of lifts is a torsor over .)
In this way, it follows that there is always a canonical tangent-obstruction theory derived directly from the DGLA, and the obstruction theory can be interpreted simply in terms of the long exact sequence of a fibration. The naturality of the obstruction theory (which can be observed classically, without DGLAs) has many useful applications.
Example 4: In the problem of lifting a deformation from to , we note that the first object is represented by a cycle in —or rather . The Maurer-Cartan equation states simply that it is a cycle. But to lift it to a Maurer-Cartan element modulo , the obstruction becomes precisely .
2. Hilb and Pic
(I learned this from Mumford’s Lectures on curves on an algebraic surface.)
Let be a smooth, projective surface over the algebraically closed field of characteristic zero. A natural object of study is the collection of curves on . This set is not simply a set; it acquires the structure of a scheme. In other words, there is a scheme which parametrizes curves (or rather, flat families of curves) on . The scheme is a disjoint union of components of the Hilbert scheme .
Let’s say we are trying to construct families of curves on . Given a curve , the tangent space to at is given by
as one would expect: a field of normal vectors should give an infinitesimal way to wiggle . One can prove this (i.e., compute the tangent space to ) by using the moduli interpretation, and by studying flat families of curves over .
More generally, the DGLA for the deformation problem “imbedded deformations of in ” is given by (derived) global sections of the sheaf of DGLAs which is the homotopy fiber of the map
that is, the normal sheaf shifted by : .
In other words, we expect to construct a -dimensional family of deformations of . However, we can’t necessarily do this, because is not necessarily smooth at . What we’ve just done is compute the embedding dimension (dimension of the Zariski tangent space), while we want the Krull dimension. To do this, we’ll need to study higher order deformations and obstructions, and for this we’ll need a bit more about the global geometry of .
3. The map to the Picard scheme
Let’s keep the notation of the previous section. There are many curves on , but there is also an equivalence relation one can impose on them: linear equivalence. Curves may move in -families, and we can break the problem of studying curves on into two pieces: studying the various families and studying the equivalence classes. Let’s see this in the following example of a criterion for smoothness of .
In more sophisticated terms, one has a morphism
sending a curve to the line bundle . In order to understand , one wants to understand the base and the fibers.
- The fiber of over a line bundle consists of all curves in the linear equivalence class : that is, the projective space . So, understanding the fibers of is a question of computing some dimensions, which we can try to get at via Riemann-Roch type formulas.
- The target is a proper group scheme, and since the characteristic is zero, it is smooth (hence an abelian variety).
If is a smooth curve, then the normal bundle on is given by , so that we have an exact sequence
Theorem (Severi-Kodaira-Spencer) Let be a curve such that the map is zero. Then is smooth at .
Proof sketch: There is a canonical obstruction theory for deformations of in , given by . Similarly, there is a canonical obstruction theory for deformations of line bundles on , given by . The DGLA associated to this problem is given by .
The map of deformation problems induces (say via DGLA theory) a map of obstruction theories that one can identify as coming from the coboundary map
By hypothesis, this map is injective.
Therefore, to show that the obstructions to deforming in vanish, it suffices to show that the obstructions vanish in . But the obstructions there vanish because is smooth and there are no obstructions to deforming a line bundle.