In this post we’ll compute the (topological) cohomology of smooth projective (complex) hypersurfaces in . When the resulting complex surfaces give nice examples of 4-manifolds, and we’ll make use of various facts about 4-manifold topology to try to say more in this case; in particular we’ll be able to compute, in a fairly indirect way, the ring structure on cohomology. This answers a question raised by Akhil Mathew in this blog post.
Our route towards this result will turn out to pass through all of the most common types of characteristic classes: we’ll invoke, in order, Euler classes, Chern classes, Pontryagin classes, Wu classes, and Stiefel-Whitney classes.
Examples in the plane
Recall that a smooth projective hypersurface of degree is a projective variety cut out by a single homogeneous polynomial of degree which is smooth. This is the case if and only if the partial derivatives have no zeroes in common with in . Such a variety has complex dimension , hence real dimension .
Example. When we are considering smooth projective curves in the projective plane . Examples are given by the Fermat curves
Topologically, these are compact oriented surfaces, and hence their homeomorphism and even diffeomorphism type is completely determined by the rank of their first homology, or equivalently by their genus . The genus-degree formula asserts that the genus of a plane curve of degree is .
Subexample. When or the genus is , so we just get projective lines , or topologically we get -spheres . When the genus is , so we get elliptic curves (after choosing identities), or topologically we get tori .
There is a nice heuristic proof of the genus-degree formula (which can be made rigorous; see this MO discussion) which goes as follows. First consider the singular curve of degree given by lines in general position, so that every pair of lines intersects exactly once but otherwise there are no intersections. Topologically this gives a collection of spheres each pairwise intersecting in a point. If we perturb the coefficients of the singular curve, it will become smooth; topologically the spheres become pairwise connected by tubes. After using of these tubes to connect the spheres in a line, to obtain a sphere, the remaining tubes each increase the genus of the resulting surface by .
The following is not necessary for the computation to come but is nevertheless a nice explanation of a particular aspect of how it turns out. Eventually we’ll show that the cohomology of a smooth projective hypersurface depends only on the degree and the dimension of the ambient projective space, and this is explained by the fact that an even stronger statement than this holds.
Theorem: The diffeomorphism type of a smooth projective hypersurface of degree in depends only on and .
Remark. This statement cannot be strengthened to a statement about isomorphism in the holomorphic / algebraic category, as the example of cubic curves in already shows.
Rough sketch. The idea is that slightly perturbing the coefficients of a homogeneous polynomial does not affect the diffeomorphism type of the hypersurface it cuts out, and moreover that the space of homogeneous polynomials defining a smooth hypersurface is the complement of a subvariety (the subvariety of polynomials sharing at least one zero with its partial derivatives), hence has real codimension and in particular is path-connected, so we can perturb the coefficients of any such polynomial to get any other such polynomial.
Proof. Let be a complex vector space of dimension , so that we can identify with . A homogeneous polynomial of degree on is an element of , but since we’re only looking at the hypersurface cut out by such a polynomial we can ignore the zero polynomial and scaling, so we are really looking at an element of . Now let
be the complement in of the singular locus of polynomials having a zero in common with their partial derivatives, and let
The space admits a projection map onto the second coordinate , and the hypersurface cut out by is precisely the fiber .
Our goal is to show that the fibers of this map are diffeomorphic by applying Ehresmann’s theorem to it, which tells us that is a locally trivial smooth fibration provided that it is a proper surjective submersion. This implies in particular that the fibers are all diffeomorphic if is path-connected.
We’ll divide up the rest of the proof into the following steps.
Step 1: is a path-connected smooth manifold. More generally the following is true.
Proposition: Let be a Zariski-closed subset. Then is a path-connected smooth manifold.
Proof. A Zariski-closed subset is in particular closed, so is an open subset of a smooth manifold and hence a smooth manifold. The key point for path-connectedness is that has codimension at least , but we can avoid explicitly using this fact as follows. Any two distinct points determine a complex line passing through them. The intersection of this complex line with is finite, since it is a Zariski-closed subset of but not the whole thing. Now minus a finite set of points is path-connected, so can be connected by a path lying inside as desired.
It remains to show that the singular locus of polynomials having a zero in common with their partial derivatives is Zariski-closed, but this is a corollary of the existence of the multivariate resultant of the polynomials , which is a polynomial in the coefficients vanishing iff the polynomials have a common zero, together with the identity
showing that if all of the vanish at a point then so does .
Step 2: is a smooth manifold. To start with, we’ll work locally. On the open subset where and the coefficient of in is also nonzero, is locally the zero locus of the function
where and is the dehomogenization of , scaled so that the constant coefficient (the coefficient of in ) is . Fixing , the differential of this map in the has coefficients the partial derivatives , and since by assumption we’ve removed the singular hypersurfaces, at least one of these partial derivatives must be nonzero, so by the regular value theorem the zero locus is locally a smooth manifold. Running this argument with replaced by any and replaced by any monomial of degree , we get that is a smooth manifold as desired.
Step 3: is a submersion. is clearly surjective and proper (since hypersurfaces are compact), so this is the only interesting step remaining. Again working locally and on the open subset where and the coefficient of in is nonzero, locally takes the form
where again is the dehomogenization scaled to have constant coefficient , and . To show that is surjective on tangent spaces it suffices to show that any infinitesimal deformation in the coefficients of can be canceled out by a corresponding deformation in the so that the relation continues to hold (this is what it means to lift a tangent vector from our target to our source). But this is precisely guaranteed by the condition that at least one of the partial derivatives is nonzero. Again, running this argument with all of the other coordinates and monomials we get the result.
Remark. A simpler version of this argument can be used to give a proof of the fundamental theorem of algebra. The rough sketch here is to argue 1) that the space of polynomials with nonzero discriminant is connected, 2) that the number of roots of a polynomial with nonzero discriminant does not change when you perturb its coefficients, and 3) that establishing the fundamental theorem for polynomials with nonzero discriminant establishes it for all polynomials, since if is any polynomial then has nonzero discriminant, or equivalently is squarefree.
Most of the cohomology
Below all cohomologies are with integer coefficients unless otherwise stated.
Let be a smooth projective hypersurface of degree in . Most of the cohomology of is determined by the Lefschetz hyperplane theorem, as follows. Thinking again of as where , we have a Veronese embedding
and, essentially by definition, is the intersection of the image of the Veronese embedding with a hyperplane in . The Lefschetz hyperplane theorem then guarantees that the natural map is an isomorphism for and an injection for . Recalling that
we conclude that is if is even and otherwise for all . Moreover, since , by virtue of being a compact complex manifold, is in particular a compact oriented manifold, we can apply Poincaré duality to conclude that the same is true of . That is,
and so the only remaining question is what the middle cohomology looks like. So far all we know is that injects into it; this is if is odd but if is even.
Reduction to the Euler characteristic
We claim that to compute the middle cohomology of it suffices to compute its Euler characteristic . First, recall that a compact manifold has finitely generated cohomology. It follows that has a well-defined Euler characteristic. Since we know all of the Betti numbers except one, computing the Euler characteristic will tell us the remaining Betti number. Explicitly, our computations above give
However, we still need to rule out the possibility of torsion in the middle cohomology in order to be confident that knowing the Betti number is enough. We can do this using the universal coefficient theorem, which gives a short exact sequence
The group on the right is torsion-free because it is given by homomorphisms into a torsion-free group, and the group on the left is torsion-free because it vanishes: is free by another part of the Lefschetz hyperplane theorem, hence has no nontrivial extensions. It follows that is free abelian, so is determined by its rank .
The Euler characteristic via Chern classes
Recall that the Euler characteristic of a compact oriented smooth manifold can be computed as the evaluation of the Euler class of its tangent bundle on the fundamental class . (Since the Euler class of a vector bundle can be thought of as Poincaré dual to the zero locus of a generic section, this can be thought of as a restatement of the Poincaré-Hopf theorem.)
On a compact complex manifold, the tangent bundle has a complex structure and hence Chern classes . It is common to refer and to notate these as the Chern classes of itself. Moreover, the top Chern class is the Euler class. Hence one way to compute the Euler characteristic of a compact complex manifold is to compute its top Chern class, which is the approach we will take: in fact we will compute all Chern classes.
We will first need to compute the Chern classes of . The key tool is the Euler sequence
where is the trivial line bundle and is the dual of the tautological line bundle whose fiber at a point in is the line in it represents; equivalently, is the line bundle whose holomorphic sections are homogeneous polynomials of degree . Since the total Chern class is multiplicative in exact sequences, we get
where is a generator of the cohomology ring . It follows that the Chern classes of are given by
(In particular, the top Chern class is , which when evaluated on the fundamental class gives the Euler characteristic as expected.)
To get from here to the Chern classes of a hypersurface we need to relate the two tangent bundles, which we do via the short exact sequence
of vector bundles on , where is the normal bundle.
Now, it turns out that the normal bundle is the restriction to of the line bundle whose holomorphic sections are homogeneous polynomials of degree ; this is essentially the content of the adjunction formula. Roughly speaking this is because is defined as the zero locus of a nonvanishing section of , and the actual map can be thought of as the derivative of this section, although I’m not sure how to make this precise.
In particular, since , the total Chern class of is given by , and hence the total Chern class of is
where by abuse of notation denotes the pullback of our previously chosen generator of to . We can now compute that the top Chern class of is
It remains to evaluate on the fundamental class of . Now, is Poincaré dual to the intersection of generic hyperplanes in , which give a copy of , and since is cut out by a hypersurface of degree intersecting it with a generic line gives points, so we conclude that and hence that
which gives our desired computation of the rank of the middle cohomology:
Example. Let . As mentioned above, in this case is topologically a compact oriented surface The Betti numbers of are , and
and we recover the genus-degree formula.
Example. Rewriting the formula above as
makes it more convenient to do some kinds of computations with. In particular, for we get
as expected since in this case is just and we know its middle cohomology already. For we get
which is a little more interesting; the resulting hypersurfaces, namely the quadric hypersurfaces, are birational to but not necessarily homotopy equivalent. We’ll identify the quadric hypersurface when below; when it turns out to be the Grassmannian of complex planes in , with the embedding into being given up to projective change of coordinates by the Plücker embedding.
For by inspection the Betti number grows exponentially in .
Complex surfaces as 4-manifolds
Now let . In this case is topologically a compact oriented 4-manifold. The Betti numbers of are , and
Example. When , so that is , we get as expected.
Example. When , so that is a cubic surface, we get .
(When , is a surface of general type.)
For , the homotopy group version of the Lefschetz hyperplane theorem implies that the natural map is an isomorphism; since the latter is trivial, so is the former. Hence as 4-manifolds, our complex surfaces are compact, oriented, and simply connected.
For such a 4-manifold, once we know its cohomology groups the only additional data of the sort that one usually calculates in a first course in algebraic topology is the cup product, which is completely determined by the intersection form
where is the fundamental class in . Since is even, the intersection form is symmetric, so gives the structure of an integral lattice (that is, a free abelian group equipped with a symmetric bilinear -valued form), and by Poincaré duality this lattice is unimodular.
Thus identifying invariants of lattices immediately gives us (oriented homotopy) invariants of compact oriented 4-manifolds, and more generally of compact oriented manifolds in dimension . We’ll focus our attention on three such invariants.
- The rank of a lattice is its rank as an abelian group; in the case of 4-manifolds this is just the second Betti number .
- The signature of a lattice is the signature of its bilinear form on . More explicitly, by Sylvester’s law of inertia any nondegenerate bilinear form on a real vector space can be diagonalized so that the corresponding quadratic form is
for two integers , which can equivalently be described as the number of positive resp. negative eigenvalues of a matrix describing the bilinear form. The signature is then ; note that the rank is , so the signature and the rank together determine the ordered pair , which is also sometimes called the signature. This gives an invariant of compact oriented manifolds in dimension also called the signature and denoted .
- The parity of a lattice is defined as follows: if is always divisible by , then the lattice is even, and otherwise the lattice is odd. In other words, where the signature comes from looking at , the parity comes from looking at .
Remark. In general this is very far from being a complete set of invariants of lattices. In the case that the signature is equal to the rank (so that the lattice is positive definite), the Smith-Minkowski-Siegel mass formula implies that the number of isomorphism classes of lattices grows very rapidly with the rank.
Remark. The signature is a particularly interesting invariant: its definition can be extended to manifolds in dimension not divisible by by declaring the corresponding signatures to be , and then the signature is a genus, although we won’t use this fact.
The intersection form turns out to be a surprisingly strong invariant. Milnor and Whitehead showed that compact, oriented, simply connected 4-manifolds are determined up to oriented homotopy by their intersection forms as lattices. Freedman showed that every unimodular lattice arises in this way and that the only additional data required to determine such a 4-manifold up to homeomorphism is a class in called the Kirby-Siebenmann invariant; moreover,
- if the lattice is even, then there is a unique corresponding 4-manifold up to homeomorphism with Kirby-Siebenmann invariant , and
- if the lattice is odd, then there are exactly two corresponding 4-manifolds, one with each possible value of the Kirby-Siebenmann invariant.
The Kirby-Siebenmann invariant vanishes whenever a manifold has a smooth structure, and so in the odd case at least one of the two 4-manifolds does not have a smooth structure.
There are also other obstructions to having a smooth structure involving the intersection form. For example, by the above the lattice occurs as the intersection form of a unique homeomorphism class of compact, orientable, simply connected 4-manifold, the manifold. The lattice is positive definite but not diagonalizable, so by Donaldson’s theorem the manifold does not have a smooth structure.
The computations we’ve done so far don’t tell us what the intersection form is. Fortunately, we’ll be able to compute the intersection form, and hence the cup product structure on cohomology, as follows. First, we can compute the signature using the Hirzebruch signature theorem in terms of Pontryagin classes. Second, if the signature is not equal to the rank (so the lattice is indefinite) then the possible lattices have been completely classified. There are only two possibilities if the rank and signature are fixed, depending only on the parity:
- if the lattice is odd, it must be the lattice of vectors with integer entries in , the real vector space equipped with the symmetric bilinear form of signature ;
- if the lattice is even, the signature must be divisible by , and the lattice must be the lattice of vectors in whose entries are either all integers or all integers plus and which sum to an even number.
In other words, for indefinite unimodular lattices the rank, signature, and parity form a complete set of invariants. Hence if we compute that the signature is not equal to the rank , the only additional information we need to determine the lattice is its parity. It will turn out that this is determined by whether the second Stiefel-Whitney class vanishes, or equivalently by whether admits a spin structure.
The signature via Pontryagin classes
Recall that if is a real vector bundle over a space then it admits a complexification which is a complex vector bundle, and that the Pontryagin classes of are characteristic classes defined in terms of the Chern classes of the complexification via
For a compact smooth oriented 4-manifold , the Hirzebruch signature theorem asserts that the signature is given by
where is the first Pontryagin class
of (the tangent bundle of) and is the fundamental class as usual. In particular, it implies that the first Pontryagin number is divisible by .
Hence to compute the signature of a hypersurface we need to compute the second Chern class of the complexification of its tangent bundle, regarded as a real vector bundle (whereas above we computed the Chern classes of the tangent bundle, which already had a complex structure). In general we can compute the Chern classes of the complexification of a complex vector bundle in terms of the Chern classes of the original bundle as follows.
Theorem: Let be a complex vector bundle. Then the complexification of the underlying real vector bundle of is isomorphic, as a complex vector bundle, to , where is the conjugate vector bundle.
Corollary: The Pontryagin classes of the underlying real vector bundle of a complex vector bundle can be computed in terms of its Chern classes via the Whitney sum formula as
This tells us that to understand the endofunctor on complex vector bundles it suffices to understand as a -bimodule; the left -module structure tells us how to take the tensor product and the right -module structure tells us what the complex structure on the tensor product is. The theorem is then equivalent to the claim that, as a bimodule,
- denotes the identity bimodule, with acting on the left and right by left and right multiplication, so that tensoring with this bimodule is the identity endofunctor , and
- denotes the bimodule where left and right multiplication by disagree by a sign of (more explicitly, we can take the left module structure to be the usual one and the right module structure to be multiplication by the conjugate), so that tensoring with this bimodule is the endofunctor .
To see this, we will first think of as a right -module with basis , and then we will diagonalize left multiplication by . When we do this we find that on
left and right multiplication by agree, whereas on
left and right multiplication differ by a sign. The left, or equivalently right, -submodules generated by these vectors gives the desired decomposition.
Now let be a hypersurface of degree in . Above we computed the total Chern class to be
so we compute that
and hence that
and, using again the fact that , we compute the signature of a smooth projective hypersurface of degree in to be
Above the numerator has been written in a form that makes it clear that it is divisible by .
We conclude that for the signature is nonpositive, and so the intersection form is indefinite in this case, which tells us that to uniquely identify the intersection form we only need to know the parity as we hoped.
Example. When the signature is . This reflects the fact that the intersection form on is positive definite, since it is just given by .
Example. When the signature is . This reflects the fact that the intersection form on is indefinite, since by the Kunneth formula is generated by two elements (where denotes a generator of ) which square to zero but whose cup product is a generator of . An explicit diagonalization of the intersection form over is given by the basis .
Example. When the signature is . In particular it is not divisible by , so the intersection form is odd and hence must be the lattice .
Example. When the signature is . We’ll see later that in this case the intersection form is even, and hence must be the lattice .
In general, when is odd the signature is odd, so the intersection form is odd and hence is uniquely determined. When is even the signature is divisible by , and in particular is divisible by , so the intersection form could be even or odd.
The parity via Stiefel-Whitney classes
To summarize, the story so far is the following:
- If is a smooth projective hypersurface in of degree , then in particular it is a smooth, compact, oriented, and simply connected 4-manifold.
- For such a manifold, is a free abelian group of finite rank, and is determined up to homeomorphism by the intersection form on , which gives the structure of a unimodular lattice.
- The rank and the signature of are given by
and in particular, for , is indefinite.
- By the classification of indefinite unimodular lattices, the only remaining bit of information we need about to completely determine it is its parity. More specifically, if the parity is odd then must be and if the parity is even then must be , where
In this section we’ll compute the parity. It will turn out to depend only on , which via Freedman’s work gives an independent confirmation that when the homeomorphism type of a smooth projective hypersurface of degree only depends on (since the Kirby-Siebenmann invariant vanishes when a 4-manifold has a smooth structure).
Let be a smooth, compact, oriented, simply connected 4-manifold. Since vanishes, we have , and so the parity of is determined by whether or not the map
is identically zero. Over this map is linear; in fact it can be identified with the Steenrod square . By Poincaré duality (this step only requires that is compact, since every compact manifold is orientable over ) there must therefore be a unique cohomology class such that
This class is called the second Wu class, and by definition vanishes identically iff vanishes, so is even iff vanishes.
So it remains to compute . The Wu classes turn out to be closely related to the Stiefel-Whitney classes (of the tangent bundle). More precisely, the total Stiefel-Whitney class is the total Steenrod square of the total Wu class:
Remark. In particular, the Stiefel-Whitney classes of a compact smooth manifold depend only on its cohomology over as a module over the Steenrod algebra, which is surprising: a priori the Stiefel-Whitney classes also depend on the additional data of the tangent bundle.
Since we assumed that is oriented, vanishes (although this also follows from the fact that vanishes as well), from which it follows that vanishes iff the second Stiefel-Whitney class vanishes. Hence we have proven the following.
Theorem: Let be a compact oriented simply connected 4-manifold. Then is even iff vanishes.
Remark. Even if is not equipped with a smooth structure, hence is not equipped with a tangent bundle, as long as is compact we can still define its Stiefel-Whitney classes in terms of its Wu classes, and these will agree with the Stiefel-Whitney classes computed from any smooth structure on . If is equipped with a smooth structure and is oriented, then the vanishing of is equivalent to also admitting a spin structure.
Remark. The lattice is even; in fact it is the unique even positive definite unimodular lattice of rank . It follows that if the manifold had a smooth structure, it would also admit a spin structure, and then Rokhlin’s theorem would imply that its signature is divisible by . But its signature is ; contradiction. This gives a second proof that the manifold has no smooth structure.
Remark. If is not simply connected, or more precisely if has -torsion, then it is still true that if vanishes then is even, but the converse need not hold owing to the presence of an additional direct summand in coming from universal coefficients.
It remains to compute the second Stiefel-Whitney class. We can in fact compute all Stiefel-Whitney classes of a hypersurface of degree in as follows.
Theorem: Let be a complex vector bundle. Then the Stiefel-Whitney classes of the underlying real vector bundle are determined by the Chern classes as follows: the odd Stiefel-Whitney classes vanish, and the even Stiefel-Whitney classes satisfy
Proof. We’ll first prove this in the case when is a line bundle . (This is the only case we need but it’s not much harder to prove the general statement.) In this case we only need to show that vanishes and that .
First, vanishes if and only if has an orientation. But any complex structure induces an orientation, so this is clear.
To compute we can use the fact that the top Stiefel-Whitney class of an oriented vector bundle is the reduction of its Euler class while the top Chern class of a complex vector bundle is its Euler class, which gives since they are both the Euler class . If we want to avoid the Euler class, we can also argue as follows:
The functor from complex line bundles to real plane bundles is induced, at the level of classifying spaces, by the map
induced by the standard embedding . Since as subgroups of , the map above factors as a composite
where the first map is a homotopy equivalence, showing that the classification of complex line bundles is in fact equivalent to the classification of oriented real plane bundles.
From standard results about characteristic classes we know that on the one hand
is a polynomial algebra on the universal second Stiefel-Whitney class , while on the other hand
is a polynomial algebra on the universal first Chern class . In particular, generates while is the unique generator of , so the homotopy equivalence necessarily identifies the latter with the reduction of the former.
We have the desired result for line bundles. To obtain the result for all bundles we appeal to the splitting principle, which tells us in particular that to prove an equality of characteristic classes it suffices to prove it on a direct sum of line bundles.
So let be complex line bundles. We now know that the total Stiefel-Whitney class of the underlying real vector bundle of can be computed, using the Whitney sum formula, as
since we know that vanishes. This implies that all of the odd Stiefel-Whitney classes vanish. Since we also know that , this tells us that the total Stiefel-Whitney class is
and this is the reduction of the total Chern class as desired.
Now again let be a hypersurface of degree in . Above we computed the first Chern class to be
where , as before, denotes the pullback of the generator of to . By the Lefschetz hyperplane theorem, or from the fact that we know , the cohomology class is nonzero, hence the reduction
vanishes if and only if is even. We conclude that the parity of is precisely the parity of , so when is even the intersection form is even and uniquely determined. This completes our computation of the cohomology ring of .
Remark. When is even we also conclude that the hypersurfaces have a spin structure, and in particular we get an independent confirmation of Rokhlin’s theorem that the signature is divisible by in this case.