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
.
An aside
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 quadric surface, we get
; here
is
, so diffeomorphic to
, with the embedding into
being given up to projective change of coordinates by the Segre embedding.
Example. When , so that
is a cubic surface, we get
.
Example. When , so that
is a quartic surface, we get
; in this case
is also a K3 surface.
(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 plus or minus 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
.
In particular,
.
Proof. Write
.
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,
where
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 not equal to plus or minus the rank, 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.
This gives
and hence
.
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
. 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.
Looking at your computation at the start of “most of the cohomology”, it is not quite clear to me how Poincaré duality tells you all of the cohomology groups above middle degree. As far as I can tell, you need the universal coefficients theorem (since the duality gets you to homology instead of cohomology). This works fine for every degree except the one right above middle degree (i.e. degree n in your notation). Here, there might a priori be torsion coming from the middle-degree (co)homology. I’m probably missing something stupid, but I’m wondering how this is resolved: Would you indulge me?
It appears that I forgot to use the statement for the homology in lower-than-middle degree. That’ll do it!
[…] classes also give obstructions to finding complex structures: as we saw earlier, if a real vector bundle has a complex structure then the odd Stiefel-Whitney classes vanish and […]
That’s an impressive computation! One complaint, I think: you say that for $d\geq 2$ the signature is nonpositive, and thus the form is indefinite. But this hasn’t ruled out a negative definite form, right? Seems better to just check that $b_2(d)-\sigma(d)$ only has the one integral zero.
Right, I also need to check that the signature is not equal to minus the rank. Let me fix that.
[…] « Hypersurfaces, 4-manifolds, and characteristic classes […]
Interesting. Sorry I never responded to your comment on my post. It was an extremely hectic end to the semester. I didn’t know the answer.