Let be a subvariety (or scheme). A natural question one might ask is whether contains lines, or more generally, planes and, if so, what the family of such look like. For example, if is a nonsingular quadric surface, then has two families of lines (or “rulings”) that sweep out ; this corresponds to the expression
imbedded in via the Segre embedding. For a nonsingular cubic surface in , it is a famous and classical result of Cayley and Salmon that there are twenty-seven lines. In this post and the next, I’d like to discuss this result and more generally the question of planes in hypersurfaces.
Most of this material is classical; I recently learned it from Eisenbud-Harris’s (very enjoyable) draft textbook 3264 and All That.
1. Varieties of planes
Let be a variety. There is a natural subset of the Grassmannian of -planes in (i.e., -dimensional subspaces of ) that parametrizes those -planes which happen to be contained in . This is called the Fano variety.
However, the Fano variety has a natural (and possibly nonreduced) subscheme structure that arises from its interpretation as the solution to a moduli problem, so perhaps it should be called a Fano scheme. The first observation is that the itself has a moduli interpretation: it is the Hilbert scheme of -dimensional subschemes of consisting of subschemes whose Hilbert polynomial is given by ; such a subscheme is necessarily a linear subspace.
This suggests that we should think of the Fano scheme as a Hilbert scheme.
Definition 1 The Fano scheme of is the subscheme of parametrizing subschemes whose Hilbert polynomial is .
In particular, is a union of components of the Hilbert scheme . The advantage of this picture is that one can apply deformation theory to understand the local structure of . In general, the tangent space to at a point parametrizing a subscheme is given by
corresponding to the intuition that a small deformation of a subscheme should be given by a family of normal vector fields on .
This means that we can understand the tangent space to the Fano scheme at a given subspace ; it’s
where is the ideal cutting out .
We can also present the Fano scheme explicitly as a subscheme of the Grassmannian. Suppose is cut out by sections
that is, the are homogeneous polynomials whose vanishing cuts out . Then consists of -planes on which these polynomials restrict to zero. More precisely, on the line bundle , there is a tautological-dimensional vector bundle , which assigns to a -plane the global sections ; equivalently, if
is the universal -plane (the “incidence correspondence”), then the tautological bundle can be described as
which defines the vector bundle on described informally above. Now each defines a section of on , and the Fano scheme is the subscheme of cut out by the vanishing of the . In favorable situations, this means that we can use the theory of Chern classes to understand the cycle in represented by .
2. Some dimension counting
In the case is a hypersurface of degree , the Fano scheme is the zero locus of a single section of the vector bundle on (of dimension ), which means that we should expect the following:
- is a subscheme of of codimension .
- The class of in the Chow ring (or cohomology ring) of is given by the top Chern class of the vector bundle .
While this need not be true (the section of the vector bundle need not be in “general position”), we can conclude the second point, with appropriate multiplicities, if the first statement holds. Using the (known) structure of the cohomology of the Grassmannian, this gives a very efficient way of solving enumerative questions related to .
For instance, if , so has dimension , we find that the expected dimension of the Fano scheme of lines on is given by
If is smooth and , a conjecture of Debarre and de Jong states that the real dimension is always the above “expected dimension.”
If is general, however, the question simplifies and we can directly say something by considering the universal example again. Instead of fixing one , the strategy is to consider all of them at once. Consider the Hilbert flag scheme of pairs
where is a -plane and is a hypersurface of degree . By definition, the scheme fibers both over the Grassmannian and the Hilbert scheme of degree hypersurfaces in (which is simply a ).
By definition, the fibers of over the point corresponding to a hypersurface is the scheme that we are interested in. The clever trick here is to consider the fibers in the other direction, which are much simpler. The fiber of over the point in parametrizing a -plane is the subscheme of the Hilbert scheme consisting of hypersurfaces containing . In other words, it is the projectivization of the kernel of the surjective map of vector bundles
where the first vector bundle is the trivial one corresponding to the vector space of degree polynomials.
This means that is actually a projective bundle over the Grassmannian ; in particular, it is actually a smooth variety of dimension given by
For instance, when , this works out to be
and this is mapping to a . It follows that:
Proposition 2 If the expected dimension , then the general degree hypersurface in contains no lines.
My impression is that the presence of lines (and more generally, of rational curves of higher degree) on a smooth variety is considered a type of “positivity” constraint on : for instance, a spectacular theorem of Mori states that the failure of nefness of the canonical bundle (a weak form of positivity) implies that contains rational curves. Conversely, a theorem of Clemens states that general hypersurfaces of high degree (which are “negative” in that the canonical bundle is ample) contain no rational curves at all. In higher degree, the variety gets more and more negative, more and more complicated, and should contain fewer comparatively simple objects such as lines.
Nonetheless, it is not true that negativity in this sense corresponds precisely to the differential-geometric notion of negative curvature. For instance, a smooth hypersurface in has trivial fundamental group by the Lefschetz hyperplane theorem, implying (by the Cartan-Hadamard theorem) that it does not have a metric of negative curvature.