I came up with this interesting idea of blogging the proof of what is commonly called the Bogomolov-Tian-Todorov theorem. It will probably be only one post as I lightly sketch the proof. Originally I was going to go into the details, but I’ve spent several hours going through it now, and it is mostly just tedious calculations.
What does the theorem say? In its current generality it says that if is a Calabi-Yau variety (actually a little weaker than that even) over an algebraically closed field of characteristic , then the deformation functor is formally smooth. As a corollary we get that deformations of Calabi-Yau’s are unobstructed. This theorem and proof have quite a tangled history.
The three names attached to it correspond to a complex manifold proof. It only works over and uses all sorts of analytic stuff including complex structures. It is kind of horrifying to an algebraic geometer and has no hope of generalizing to Calabi-Yau varieties over other fields (including char alg closed ones). Then Ran in 1992 came up with a slightly more algebraic method for proving it over with jet bundles. Kawamata extrapolated a slick purely algebraic way of proving it from that. It over other fields of characteristic and then Fantechi and Manetti cleaned up a few things from Kawamata and removed a few hypotheses.
The Kawamata-Fantechi-Manetti proof is the one I’m going to sketch for you. Lastly, I’d like to point out a really interesting alternative approach by Iacono and Manetti which uses the idea of structure and dg Lie algebras to give a very algebraic proof. At some point I’d like to understand that way of doing it. Lurie gave an ICM address about how deformation problems are somehow equivalent to the data of algebras or something to that effect which might give some partial extensions to positive characteristic (I really don’t know as I haven’t looked into this at all).
As I’ve pointed out, this proof had very concrete geometric origins, but successive generalizations have altered it into basically abstract algebraic formalism. If you look at the mentioned papers in order it won’t seem that weird, but this approach is definitely the most streamlined and clean with the best results. Since I’m not motivating it much I’ve decided to omit the details.
The proof comes in basically two steps. The first purely formal theorem is sometimes called the Kawamata lifting theorem. We’ll fix an algebraically closed field, , of characteristic . Let be the category of Artinian local algebras over with residue field . We will call a functor a deformation functor if it admits a hull and an obstruction theory. The terminology deformation functor suggests that whenever our functor is for some reasonable variety it will satisfy these two conditions.
For those who have not seen this before a hull is a prorepresentable functor that maps smoothly . A hull should be thought of as some sort of weak form of a representing object. If is prorepresentable, then the prorepresenting object is a hull, but in general if it is not prorepresentable, then there could be lots of non-isomorphic hulls. The theorem says that if is a deformation functor that satisfies the -lifting condition, then is smooth.
So what is the -lifting property? It is the condition that the natural map is surjective for all natural numbers . A more illuminating way of saying this is the following. If and , and sends and , then for some object (an -th order deformation of maybe), form the set . These are the first-order infinitesimal deformations of (thinking of smooth varieties) i.e. if and is a lift to , then .
The -lifting property in terms of is just that for any we have is surjective. Or unwinding a little further, if we can lift to , then we can lift it to . You might object at this point that the -lifting property stated in these terms is exactly the statement that is unobstructed, but this isn’t true because remember that . This is a very restricted class of lifting that we have to check and Kawamata’s theorem says this suffices to get unobstructedness for deforming over all local Artin rings.
One idea of the proof is to use a well-known fact that a -algebra is smooth if and only if every map lifts to a map . Another aspect of the proof is to use the fact that we had to assume an obstruction theory exists for . These two ideas play off eachother, and the rest is basically tedious calculations. You could probably almost piece it together yourself from these hints.
Warning, this really, really only works in characteristic . It isn’t just that there is no known proof, but there are very simple counterexamples. Suppose has characteristic . You can check that is a deformation functor that satisfies the -lifting property (pretty easy exercise to familiarize yourself with the definitions!), but by construction it is representable by and this is NOT smooth. (There is a nice divided power/crystalline work around to this by Schroer, though…).
Alright. So now we know that in order to check that the deformations of a Calabi-Yau are unobstructed we need only check that is actually a deformation functor, and that it satisfies the -lifting property. Again, this isn’t so bad. For instance, is certainly a deformation functor (almost by creation of the term “deformation functor”). The two Calabi-Yau properties that get used are the fact that and that (again, that second fact isn’t necessarily true in positive characteristic since it requires use of Hodge symmetry). This finishes the proof of the Bogomolov-Tian-Todorov theorem, namely that Calabi-Yau’s are unobstructed in characteristic .