The purpose of this post is to provide two proofs of that, one unnecessarily difficult and the other elementary.

Given an open subset of the plane, somehow the most obvious approach is to apply the Riemann mapping theorem, which provides a conformal map to the disc. To generalize this to other surfaces, we need to invoke something for more general Riemann surfaces: the uniformization theorem. This is annoyingly difficult, since you need to start by having a complex structure on your open surface. To do this, start by finding an almost complex structure on it; this is a smoothly varying automorphism such that . It’s straightforward to see than an orientation and Riemannian metric determine such an automorphism: let be the unique tangent vector orthogonal to with a positively oriented basis. Now invoke the Newlander–Nirenberg theorem that a manifold carries an honest complex structure inducing the almost complex structure if and only if its Nijenhuis tensor vanishes, and one can check by hand that this is always true for surfaces (rather miraculously; this is wildly false in higher dimensions). This is known in dimension 2 as “the existence of isothermal coordinates”. This gives an honest complex structure on our open manifold, and the uniformization theorem then literally gives us what we want. If you want to take this approach, you probably want both a proof of Newlander-Nirenberg in two dimensions and the uniformization theorem; the first is reasonably classical (due originally to Gauss in the real analytic case), and can be solved by solving what’s known as the Beltrami equation, and my favorite proof of the second (since we’re already doing PDE) is in Mazzeo-Taylor, Curvature and Uniformization (thanks to Willie Wong on StackExchange for pointing this paper out to me here).

Here’s a less preposterous approach (in that it involves no more than basic algebraic topology); in flavor, it is very similar to the link in the first sentence. First, note that every open smooth manifold is the increasing union of a sequence of compact submanifolds. To prove this, you should first prove the existence of a proper smooth function ; then pick a sequence of regular values , and let . One unfortunate fact is that these might always be disconnected. (Imagine a disc with lowest point at height centered at , and a height-increasing “bridge” from one to the next, sitting inside , and extend these discs more-or-less vertical so that this is a closed submanifold of ; this is diffeomorphic to a plane, but if you set to be the above height function, and pick , we run into this problem. To resolve this, we just force the first stage to be connected: if is eg two components for convenience of discussion, pick a path from the boundary of one to the other, and take a tubular neighborhood of it; rounding out the corners, union this bridge is a connected compact manifold. Using the same idea, we may further demand that all of the are connected.

Henceforth for convenience all homology will be taken with coefficients.

Fact 1: If is a -dimensional noncompact manifold and a -dimensional compact boundary component, then is injective. This follows from the relative long exact sequence, because , because is a noncompact manifold. A similar proof shows that if (now possibly compact) has at least two compact boundary components, then has positive rank.

Fact 2: All of the have genus zero, and hence (this is just what it means for a compact surface with boundary to be genus zero!) are given as a sphere minus the interiors of finitely many closed discs in the sphere. To see this, apply Mayer-Vietoris to ; on the way, you should prove that the genus zero assumption is equivalent to being surjective.

Fact 3: The complement of has all but one component compact. If it didn’t, Apply Fact 1 and Mayer-Vietoris to derive a contradiction.

Fact 2 implies that these compact components must be discs by the classification of compact surfaces. So define to be the union of and these discs, so is a disc for all . Thus is an annulus. A union of successive annuli is diffeomorphic to , which is diffeomorphic to a punctured disc; we conclude that is diffeomorphic to gluing this collar to the boundary of the disc , which is indeed a plane.

When motivating the notion of homology, you’ll frequently see people saying “it counts holes!” They then present some unconvincing pictures (“check out this torus!”) and use a lot of exclamation points without giving any real argument why this algebraically defined thing does what they claim it does.

We’ll start out with some history to see the geometric origin of homology, travel through the necessary modifications to make it work, and then come back and see why homology actually does count holes.

History

In Poincare’s first paper on topology (Analysis Situs), he works with objects he calls manifolds – connected subsets of Euclidean space, cut out by the zero set of some set of equations; nowadays we would say that they’re cut out as regular values. Poincare is interested in submanifolds of these. Suppose we have oriented submanifolds, ; Poincare will say that these are a complete boundary if there is some submanifold such that the disjoint union of the form its oriented boundary. Poincare will say that this submanifold, , is a homology between the . We will write, then, if we can find a set of homologies between the that add up to give us the left hand side of the above relation.

He then defines the -dimensional Betti number to be the number such that is the maximum number of distinct, compact connected -dimensional submanifolds, between which there is no homology . If we are to eventually take our modern “homology groups” to be the class of submanifolds, modulo homologies, these  are evidently the same thing as the ranks of the homology groups . (The in the above formula is just there so that his numbers match up with the numbers Betti had previously defined in a similar manner.)

Later in his paper, Poincare writes down an argument for his now-famous duality theorem: that if the ambient manifold we are working in is compact, -dimensional, and oriented without boundary, then for all .

As noted in Dieudonne’s book, much of the paper is on extremely shaky mathematical ground, and many arguments are unconvincing. A few years after Analysis Situs, Heegaard wrote a paper pointing out some obscurities in Poincare’s paper. First and foremost: if the submanifolds above are not disjoint, how is the notion of a homology defined? In addition, Heegaard gave an argument which effectively showed that Poincare’s and Betti’s numbers were not the same, which led Poincare to redevelop the whole theory from scratch, as he noticed that his sketchy proof seemed to also prove the duality theorem for Betti’s orders of connectedness (which, as Heegaard showed, was simply not true). Whence came the idea we now call simplicial homology (though Poincare did not yet introduce homology groups, he nonetheless was very close to doing so; it was a student of Noether’s who later introduced the groups.)

Bordism

Instead of combinatorializing Poincare’s original idea, let’s embrace it (as Thom did in 1950). Suppose is some (reasonably nice) topological space. Instead of running into trouble with intersections, as we do with submanifolds, let’s consider the set of maps , where is an oriented closed -manifold (not necessarily connected). We now identify two pairs and if there is some compact oriented -manifold , such that the boundary of is and with the opposite orientation, and the restriction of to the boundary are the maps above. This forms a group under disjoint union of (equivalence classes of) manifolds (and maps); we call this group the th bordism group .

Why should we not define Poincare’s connectedness numbers to be the ranks of these abelian groups? Because for a point, needn’t be trivial! That is to say, not every oriented compact manifold is the boundary of an oriented compact manifold one dimension higher. The simplest example is the complex projective plane . Indeed, Thom proved that the rank of is zero when is not a multiple of 4, but if , then the rank is the number of partitions of . Can Poincare’s original attempt at defining connectedness numbers be recovered?

Singular homology and singular bordism

Onto a modern definition of homology. I’m going to work with coefficients for convenience, but rest assured this works if you throw in the word “oriented” a lot.

We first define the singular chain complex by setting  the free -vector space, generated by the set of continuous maps from the simplex to . The boundary operator is given by sending a “singular simplex” to the formal sum of the restrictions to each face. We define the singular homology groups to be .

What, actually, is an element of that kernel? Precisely, it’s a collection of (maps from) simplices such that each face of a simplex has the same map as the face of some other simplex (possibly the same one). Using this fact, we can construct a -complex  by gluing together matching faces, one by one. By construction, each codimension 1 face in the resulting -complex is contained in precisely two (possibly the same) simplices. That is, the resulting complex is a manifold away from a subset of codimension 2.

As in Kreck, we say that a -complex is “-orientable” if it has the above combinatorial condition (and thus that it is a manifold away from a codimension 2 subset). Playing the above game again, we see that an element of is the boundary of a -complex, one dimension higher, whose codimension 1 simplices either are the face of precisely 1 simplex (in which case we say that they are in the boundary of the complex) or precisely 2 simplices.

What have we discovered? That we can define homology as bordism groups of singular manifolds: -complexes which are manifolds away from a codimension 2 subcomplex. We immediately see from this description why homology groups of the point in this context are trivial: if is a -complex of dimension greater than zero, then its cone is a -complex of dimension one greater, whose only singularities are either the previous singularities cross the interval, or the cone point. (This is also “why” the point itself is not trivial in degree 0 homology – the cone on the point is the interval, which has two boundary points; if you prefer, you might think of it having one boundary point, and one codimension 1 singularity.)

Kreck has a similar perspective in his beautiful and highly recommended book. Instead of moderately-singular -complexes, he works with what he calls stratifolds: again a form of singular (smooth) manifold, modulo bordism thereof. The difference between this approach and ours here is not simply a matter of taste; Kreck’s construction allows him to make Poincare duality a triviality, make geometrically clear what Mayer-Vietoris, Thom classes, and the cup product are… and so on. (His groups tend to only be the same as the ones we know well when they’re CW complexes; his groups disagree with singular homology for, say, the one-point compactification of an infinite-genus surface.) The smooth structure on his stratifolds allow him to perform plenty of useful geometric constructions, at the (in my mind, usually minor) cost of having the algebra be somewhat more difficult because he never uses chain complexes.

This leads one to what I think is a natural question: How singular do homology classes have to be? It is straightforward to see that any -orientable 2-dimensional closed -complex is bordant to a closed surface, where you can add in the word ‘oriented’ throughout if you like. (Corollary: the abelianization of is . Can you see why?) Thom studied this question in great detail in the 50s, working rather hard and using the bordism groups to prove that every -oriented closed -complex is bordant to a manifold. (In modern language: Every class in can be represented by a smooth manifold.) When working with oriented -complexes (that is, classes in , this isn’t true, but we can still do rather well; up to degree 6, every class can be represented by a manifold, and so can every class of codimension 1 or 2. But there are 7-dimensional classes in a certain 10-manifold that cannot be represented as a map out of a manifold.

Homology and holes

As promised, we’ll explain why homology counts some sort of “holes” like we claimed it does.

The following argument essentially comes from Kreck’s book. Given a space , and a subspace , we say that the space has the hole ; we call this an “extrinsic hole” because we can’t possibly see this hole from looking at itself, but rather by looking at the larger space . Now let’s suppose that is the interior of a compact -oriented . As before, we can notice the hole from within , but from just looking at , how do we see that there was a hole there? Well, we could try to plug the hole. We don’t know what was originally deleted, so if we have the boundary of (without knowing about itself), we would have to check if we can extend this to a map to some -complex, but we don’t know which. And now we’ve more or less come to the definition of homology: we say that this boundary is actually zero if we can extend it to a map from some -complex. If not, then we can convince ourselves that yes, this subcomplex does correspond to the boundary of some hole – something we got by deleting a subcomplex. This is why nonzero homology classes can, in some way, represent holes, and why we test them by trying to make them bound any -complex, and not just, say, trying to make maps from spheres bound maps from balls.

While I like the combinatorics of the proof, it somehow doesn’t quite satisfy me, since the fact that every surface is a connected sum of tori and real projective planes is a result, rather than input – somehow what I find to be the key property of surfaces is just a bonus instead of something we see. I don’t really feel “why” the theorem is true.
(As a side note, before I move on, the triangulation manipulations become both cleaner and clearer when you change them into handlebody manipulations instead. The proof, once you believe the basic rules of handleslides and birth/death, is almost a complete triviality. It’s an exercise in Gompf and Stipsicz’s wonderful book, “Kirby Calculus and 4-Manifolds”.)

I’d like to present here an alternative proof inspired by ideas from 3-manifolds that makes the appearance of tori and projective planes obvious. It’s probably longer, but I find it more comprehensible and satisfying. We’ll still need to be able to triangulate surfaces, so let’s just assume off the bat that we can do so. We’ll use some basic algebraic topology; let’s start by writing out some homological lemmas. Henceforth we will use to mean the first singular homology group with coefficients, and  is a compact surface without boundary.

Lemma 1.  is a finitely generated vector space over the field .
Proof. This is an immediate corollary of the fact that singular homology is isomorphic to simplicial homology, and a compact surface has finitely many simplices.

Lemma 2. If is with a point removed from its interior, then .
Proof. Apply the Mayer-Vietoris sequence (with reduced homology for convenience) to a small open ball around the deleted point and its complement. Because is contractible, it has trivial homology; and is homotopy equivalent to a circle, so the exact sequence is precisely
.
The key point is that the map from is zero. But the image of the circle bounds a compact submanifold on both sides (possibly non-orientable); and because compact manifolds are triangulable, a chase through the definitions shows that this means that the generator of maps to a boundary, proving that is exact, as desired.

Lemma 3. If ( the connected sum operation), then .
Proof. Run the Mayer-Vietoris argument again, this time with , recalling from lemma 2 that .

Now let’s do a little bit of classification – let’s classify surfaces with (Actually, this is the hardest part of the whole proof – it had to happen somewhere, by the law of Conservation of Effort, since there’s some difficulty in the standard proof.)

Theorem 1. If , then .
Proof. Start by deleting the interior of a 2-simplex in to get a compact manifold with boundary , which we will denote . Now I claim that deformation retracts onto a 1-complex. How do you do this? Start at the boundary, and start pushing the 2-simplices in. The picture you have here is that you take a solid triangle and deformation retract it to two of its sides by pushing the third side inwards. You can make this move whenever you have a 2-simplex such that not all of its edges are connected to another 2-simplex; I leave it as an exercise to prove that this process doesn’t end in failure (that is, I can always push in 2-simplices until I’m down to the 1-complex) – a particularly careful proof will eventually invoke invariance of domain.
Paying more attention to the process we went through above, we actually see that is homeomorphic to an arbitrarily small compact neighborhood of the 1-skeleton. Thus far, everything we have done would have worked for every compact surface. Now, invoke that to see that the 1-complex is a tree. To determine what the neighborhood of this is, first do so for a single edge (the neighborhood here must be homeomorphic to a disc, by invoking some variant of the tubular neighborhood theorem) and induct on the number of edges (every time you glue in a disc corresponding to a neighborhood of an edge you’re only doing so at a single vertex) to see that the result is homeomorphic to a disc. Hence ; and gluing the disc we deleted back in, we see as desired.

It is worth noting that the previous theorem fails drastically for higher-dimensional manifolds: there are lots of 3-manifolds already with the same homology as the 3-sphere, but that are not homeomorphic. These are called homology spheres, and are a current object of interest in 3-dimensional topology. And once you pass to four dimensions or higher, you can have things with complicated (co)homology, even if they have trivial first homology or fundamental group.

Anyway, using the previous set of theorems, let’s make our second step towards classification.

Definition. A surface is prime if it admits no nontrivial connected sum decomposition (that is, no such connected sum decomposition where neither nor are spheres).
Note that this is equivalent to saying that every embedded loop in the surface is either non-separating, or bounds a disc on one side. This motivates the following definition, which we’ll use later.
Definition. A surface is irreducible if every embedded loop in the surface bounds a disc on one side.

Lemma 4. Any surface has a prime decomposition.
Proof. If is not prime, decompose it. And so on, and so on. We only need some guarantee that this process will eventually stop. Now invoke lemmas 1, 3, and theorem 1; we see that every nontrivial connected summand will increase the rank of first homology, which is finite. So indeed the number of connected summands is bounded by the dimension of , as desired.

This lemma is true in dimension 3, but the proof no longer works, by the failure of theorem 1. The proof is significantly more difficult. I believe the lemma is no longer true in dimension 4.

So now it clearly suffices to identify what the prime surfaces are. First, on irreducible surfaces:
Lemma 5. The only irreducible surface is .
Proof. First, note that every element in can be represented by an immersed loop (one with transverse self-intersection); this can be proved by either a smooth or simplicial approximation theorem. Use irreducibility to show that every loop is contractible, as follows: start by tracing out the (immersed) loop; the first time you self-intersect, trace the loop backwards until you reach the self-intersection point. This gives a closed embedded loop, which bounds a disc by assumption, and hence can be contracted to the self-intersection point. Repeat until the self-intersections are gone and the loop itself is contracted. This proves that ; now invoke that , and the universal coefficient theorem to see that as desired.

Theorem 3. The prime, but not irreducible, surfaces are and .
Proof. Take a non-separating loop in the surface. A small neighborhood of this, by the tubular neighborhood theorem, is homeomorphic to the total space of a line bundle over the loop; this is either a cylinder or a Mobius band.
Case 1: Mobius band. The boundary of the Mobius band is a separating loop in the surface, and hence bounds a disc on the other side, proving that we have obtained .
Case 2: Cylinder. Take a loop from one side to the other (using the fact that it’s a non-separating loop) and take a neighborhood of this; we’ve glued on yet another cylinder (or Mobius band, but in that case we’ve already decided we’re either not prime or we’re a ). It is straightforward to see that the boundary of the resulting object is a circle, hence must bound a disc on the other side; and then by checking what the possible shapes we have are, we see we’ve got either a torus or a Klein bottle (which is not prime). This proves the theorem.

Thus, every surface is a connected sum of tori and projective planes. Once one proves that , we see that every surface is either homeomorphic to , or .

Then one is led to consider manifolds with extra structure. In a topological direction: given an oriented manifold, does it bound another oriented manifold in a way compatible with the orientation? Or spin manifolds? More geometrically, what contact manifolds bound symplectic manifolds? Or what codimension 1 foliated manifolds bound codimension 1 foliated manifolds? (Which contact manifolds bound symplectic manifolds is still an active area of research.)

We will stay mostly in low dimensions here. So for this, it is important to note that every oriented 3-manifold bounds an oriented 4-manifold. Indeed, it will be important that there is an explicit construction of this. Because every oriented 3-manifold is surgery on a link in , that same link diagram provides an oriented cobordism from to the 3-manifold itself; filling in the with a ball gives you the desired oriented 4-manifold.

Here we’ll look at a specific class of manifolds: homology 3-spheres. These are closed 3-manifolds with the same homology groups as ; equivalently, these are closed 3-manifolds with perfect fundamental group. Homology spheres are orientable; henceforth when we say homology sphere we mean a homology sphere with a chosen orientation. We’re generally interested in the class of 4-manifolds these can possibly bound; but specifically, we’ll often consider the question of whether or not they can bound homology balls: manifolds with trivial homology. As above with unoriented manifolds and cobordism, we can consider the set of homology 3-spheres, modulo homology cobordism. we set two homology spheres to be the same if there is a manifold with boundary such that the inclusion maps induce isomorphisms on every homology group. It is not hard to see that this forms a group under connected sum; this is called the -dimensional homology cobordism group . Being trivial in this group is the same as bounding a homology ball, because the identity element is ; if you bound a homology ball, just delete a small ball from the interior to get a homology cobordism to .

Let’s think about a couple examples. There are no nontrivial homology 1- or 2-spheres. There are quite a lot in dimensions 3 and above; the simplest nontrivial example in dimension 3 is the Poincare sphere; it has finite fundamental group. Every other nontrivial example in dimension 3 has infinite fundamental group. The other simplest examples (and great test cases for anything you’re thinking about regarding homology 3-spheres) are the Brieskorn spheres . It is not obvious how to say much about whether or not these are homology cobordant.

In dimension 4 and higher, things can only get more complicated – luckily, we’re only studying things up to homology cobordism. In fact, Kervaire proved that every homology 4-sphere bounds a contractible 4-manifold. The same theorem (Theorem 3) includes the fact that is a quotient of the group of homotopy spheres (up to homeomorphism, group operation is connected sum). I believe this quotient should always be zero but didn’t verify it.

So what’s left is to study . Before moving on, it is worth noting that if I’m willing to think about topological manifolds that bound homology 3-spheres, instead of smooth manifolds, this group is trivial: Freedman proved that every homology 3-sphere bounds a contractible topological 4-manifold. As we will see, this is far from true if we’re studying smooth 4-manifolds!

Rokhlin’s invariant

Before we say anything about Rokhlin’s invariant, we need to know a little about 4-manifolds and their intersection forms.

Given an oriented 4-manifold (not necessarily without boundary) , consider . There is then a cup product pairing , given by representing every homology class by an embedded oriented surface and taking the intersection numbers of such classes. This is a bilinear, symmetric form on called the intersection form; if is closed or has boundary with , this form is unimodular (has determinant 1). As an example, has , intersection form just multiplication; has intersection form represented by ; has intersection form given by . Above, when we described how a surgery diagram of a 3-manifold gives a 4-manifold that bounds it, the link has associated to it a so-called linking form corresponding to how each of the knots link with each other; the associated 4-manifold’s intersection form is isomorphic to this linking form. (This will matter soon!)

Lastly, given any intersection form, we can find a subspace of of maximal dimension such that the intersection form, restricted to the subspace, is positive (that is, has for all in the subspace). Call the dimension of this subspace . You can find a complementary subspace on which the intersection form is negative; call the dimension of this . Lastly, we say that the signature of our manifold is .

For something not important to this post: signature is an oriented cobordism invariant; signature mod 2 is a cobordism invariant. Signature detects the fact that does not bound an orientable manifold, though it does bound a non-orientable manifold.

Given an intersection form, we call it even if is always even. It is a purely algebraic fact that the signature of an even intersection form is divisible by 8. What’s interesting is Rokhlin’s theorem that given a closed smooth manifold with intersection form , if is even, its signature is divisible by 16. A modern proof for the case where has no 2-torsion (in particular, if it’s zero) might go as follows: By the assumption that is even, some characteristic class wizardry shows that supports a spin structure, hence has a Dirac operator with even index, and the Atiyah-Singer index theorem shows that the index of this is . This fact is very special to smooth manifolds: there is a closed topological 4-manifold with intersection form of signature 8.

Now we are in a position to define the Rokhlin invariant. Given a homology 3-sphere , some fiddling with a surgery diagram for shows that it bounds a smooth 4-manifold  with even intersection form . Define . The algebraic fact we invoked above means that this is indeed an integer mod 2; it’s well-defined because if is another such 4-manifold, is a smooth closed 4-manifold, hence has signature divisible by 16; but because its intersection form is , its signatures thus have  divisible by 8.

Here are some basic facts about the Rokhlin invariant.

First, it’s a homology cobordism invariant. This is because, given a homology cobordism , if is a 4-manifold with boundary and even intersection form, then is a 4-manifold with the exact same even intersection form and boundary .

Second, it’s additive under connected sum. This is because if bound smooth 4-manifold with even intersection form with intersection forms , then we can form the “boundary sum” of and , a 4-manifold with intersection form whose boundary is . These two facts combined tell us the Rokhlin invariant descends to a well-defined homomorphism .

Third, . This is because can be described as surgery on a link whose linking form is the form, whose signature is 8. Thus, everything thus far gives us our first concrete result: does not bound a homology ball! But the Rokhlin homomorphism doesn’t tell us anything about, for instance, .

Now, is a very mysterious group – some of the few things I can easily say are that it’s abelian and countable. Does it have any torsion? Is it free? As far as I know, these are both open. We can specify the first question to try to make it easier: Does the Rokhlin homomorphism find any 2-torsion? That is to say, is there a homology sphere such that bounds a homology ball and ? (Said another way, does the Rokhlin homomorphism split?) This turns out to be quite hard, and we’ll say more about it.

Improving the Rokhlin homomorphism

From one perspective, an invariant that takes a (homology cobordism class of) homology sphere(s) and spits out one of two numbers is not that good, especially if there are lots of homology spheres. So one would like integer-valued invariants. From another, to disprove the question above, we might want to find a homomorphism that reduces mod 2 to the Rokhlin homomorphism – then if , we have , so cannot bount a homology ball. Both of these perspectives lead us to find better invariants of homology 3-spheres.

The first such invariant was Casson’s invariant. It is hard to define rigorously, but roughly, it’s an oriented count of homomorphisms mod conjugacy; if you’re lucky, there’s only finitely many of them. More precisely, define to be the space of representations mod conjugacy and denote the genus handlebody as . Given a Heegaard decomposition of , we get two maps . The intersection of the image of these is . Inspired by this, we define the Casson invariant of to be the intersection number of the two images of . There are a number of subtleties I’ve ignored here, not least of which is the fact that we need to prove that this number is independent of the choice of Heegaard splitting.

The first thing to note is that the Casson invariant, , reduces mod 2 to the Rokhlin invariant. I’m not going to prove this for you. The next thing to note is that it’s also still a homomorphism!

…from the monoid of homology 3-spheres up to homeomorphism. It is not, unfortunately, a homology cobordism invariant. So the Casson invariant is no good at showing that doesn’t split, and it’s no good at showing that doesn’t bound a homology sphere. We’ll move on momentarily, but it’s worth noting that the Casson invariant is still very powerful: for instance, it provided the first proof of the existence of non-triangulable 4-manifolds.

The Casson invariant soon received attention from gauge theorists. Here are two particular items of note. Given a homology 3-sphere , we can define its instanton Floer homology ; this is a -graded group, and it so turns out that its Euler characteristic (meaning ) is twice the Casson invariant. This is defined in an entirely differential geometric way, so we’ve now seen three different-looking ways of studying manifolds show up in studying similar invariants: for , the topology of 4-manifolds it bounds; for , the representation theory of its fundamental group; and for , the differential geometry of its space of connections and the Chern-Simons functional.

Careful study of a certain technical issue in the instanton homology (factorization through the reducible connection) led Froyshov to define an invariant . It is unrelated to the Rokhlin invariant, but is a homomorphism. Because one calculates that , we’ve now proved one of our goals above: that does not bound a homology ball.

Whether or not the Rokhlin homomorphism splits is of much greater importance than it might initially seem. It turns out that the Rokhlin homomorphism admits a section if – and only if – every manifold of dimension 5 and up is triangulable. (For the details, see the excellent paper by Galewski and Stern that proves this fact. It is also, independently, due to Matumoto.) As far as I recall, it is still open whether or not lifts to an integer-valued homomorphism. Luckily, we don’t need quite that much. Manolescu, in 2013, defined an invariant (motivated by much the same ideas as Froyshov’s invariant) such that , that reduces mod 2 to the Rokhlin invariant. So if bounds a homology ball, then is homology cobordant to , and hence ; hence . And, as a corollary, there are non-triangulable manifolds in dimension 5 (and then by other results in the Galewski-Stern paper, every dimension higher than that).

Bounding other kinds of manifolds

Some cleverness with intersection forms and gauge theory lets one construct minor, but additional, obstructions to bounding certain manifolds. Suppose bounds a 4-manifold with even, positive definite intersection form. (Positive definite means that .)  Then cannot possibly bound a negative definite 4-manifold (in particular, a homology ball). If it could, then gluing our two manifolds bounding would give us a smooth 4-manifold with positive-definite nonstandard intersection-form, contradicting Donaldson’s theorem. This proves, in particular, that neither nor bound homology balls. It says nothing about , because the intersection form of the “obvious” manifold it bounds is , which is not positive definite (it has signature zero). Indeed,  does bound a homology ball.

is weird

To close out the post, some minor comments about . First, we still really do know very very little. Here’s what I personally know about it, and I think it’s about the limit of what is known.

1. It’s countable, because there are only countably many compact manifolds up to homeomorphism.
2. It’s abelian, because the connected sum operation on the level of manifolds is abelian.
3. The Rokhlin homomorphism is a nonzero homomorphism that does not split. Indeed, it has a lift to a non-homomorphism with .
4. It’s infinitely generated! In fact, if you fix relatively prime, the Brieskorn spheres for are linearly independent in . So has as a subgroup. This was first proved by Furuta using what’s known as Atiyah’s invariant (and studying – what else? – gauge theory on 3-manifolds); it was recently reproved by my friend Matt Stoffregen using Pin(2)-equivariant Seiberg-Witten Floer homology here.
5. It has a nonzero homomorphism onto (the Froyshov invariant), and hence has a summand.

In particular, it’s still not known if the group has any torsion at all. Maybe there’s not! There’s lots to still figure out.

The -dimensional topological (resp. smooth) Poincaré conjecture says that if a closed -manifold is homotopy equivalent to , then it is homeomorphic (resp. diffeomorphic) to .

The most well-known of this web of conjectures is the 3-dimensional topological case, which is equivalent to: “A simply connected closed 3-manifold must be homeomorphic to .” This was famously resolved by Perelman in the early 2000s. The 4-dimensional topological Poincaré conjecture was proved by Freedman in 1982; and for , the n-dimensional topological Poincaré conjecture was proved in the mid-60s. We are, in some sense, going backwards in difficulty! (Rest assured, though, that the 2- and 1-dimensional cases are not so terrible that they won’t be solved in the millenium; they were known in the early 20th century. 3 is the first dimension which is complicated enough for these sorts of problems to be interesting.)

Because we know the topological Poincaré conjecture is true in all dimensions, we can reformulate the smooth Poincaré conjecture as follows: if a smooth manifold  is homeomorphic to , is necessarily diffeomorphic to ?

The question of determining the number of diffeomorphism classes of smooth manifolds that are homeomorphic to is known as the exotic spheres problem. (Such a smooth manifold – one homeomorphic, but not diffeomorphic, to – is called an exotic sphere.) The following table shows how many exotic spheres there are in each dimension .

While the 28 or 992 might seem mysterious, it’s less so than one might imagine – the exotic spheres problem, in dimensions above 5, has been essentially reduced to a fundamental (yet very difficult!) question in algebraic topology; more on this later. Worth noting is that dimension 3 was solved by Moise in 1952, and the 4-dimensional case is completely open; experts are not even entirely certain whether or not to believe it’s true.

So there is, fundamentally, some sort of difference between low-dimensional topology and high-dimensional topology. Why?
Everything is because of the h-cobordism theorem.

A cobordism between two closed –manifolds  and  is a compact -manifold  whose boundary is the disjoint union of  and . Note that we need  to be compact for this to be an interesting notion; otherwise a cobordism between any pair of closed manifolds  is given by .
Some canonical examples are given by a pair of pants, a cobordism between and ; the solid torus, a cobordism between the torus and the empty set; and for any manifold , is a cobordism between and itself.

An h-cobordism between two closed -manifolds  and  is a cobordism such that the inclusions , are homotopy equivalences. An example is, as above, given by , an h-cobordism between and itself. Giving you more examples will be problematic, because:

h-cobordism theorem (Smale): Let be a topological (resp. smooth) h-cobordism, and suppose and be simply connected. If, in addition, , then is homeomorphic (resp. diffeomorphic) to . In particular, is homeomorphic (resp. diffeomorphic) to .

I still find this theorem absolutely astonishing. It is such an immensely powerful result from what don’t appear to be very strong conditions. (In fact, it’s still true topologically in low dimensions; Freedman’s proof of the 4-dimensional topological Poincaré conjecture starts by proving the topological 4-dimensional h-cobordism theorem; and the 3-dimensional h-cobordism theorem is now known to be true thanks to the 3-dimensional Poincaré conjecture. Perhaps part of what makes 4 dimensional topology so weird is that the smooth 4-dimensional h-cobordism theorem is absolutely, irrevocably, false. Not unknown, but false.)
Why does this fascinating, but seemingly unrelated statement help us? Well…

Corollary: If is a closed manifold, homotopy equivalent to , , then is homeomorphic to .
Proof: Embed two small closed balls into , whose images are disjoint, and delete their interiors. Call the resulting manifold . Some algebra shows that is an h-cobordism between the two boundary copies of ; so that is homeomorphic to . We want to extend this to a homeomorphism ; it suffices to show that given a homeomorphism , we can extend this to a homeomorphism . The process of doing so is known as Alexander’s trick; if is written in polar coordinates, simply write ; the idea being that we’re repeating “levelwise” until we get to 0, which we fix. One can check that this is continuous. Even if was smooth, this is rarely smooth at the origin, which is why we haven’t simultaneously proved the smooth high-dimensional Poincaré conjecture (which, as above, is false). Indeed, there are many diffeomorphisms which cannot be extended to a diffeomorphism of the disc.

(As a side note, the proof of the 5-dimensional Poincaré conjecture is slightly different; this was achieved, instead of deleting small balls, by showing that any closed 5-manifold, homotopy equivalent to , must be h-cobordant to it.)

As for the exotic spheres problem, this helps us too. h-cobordisms are somehow more ‘algebraically assailable’ than diffeomorphisms; Milnor was able to write down a few exact sequences that help us with our problem.

In the following, is the group of h-cobordism classes of -manifolds homeomorphic to ; the group operation is connected sum, though we won’t prove this actually gives you a group. is the group of h-cobordism classes of -manifolds homeomorphic to that bound parallelizable manifolds. While this sounds complicated, it’s not that hard (for Milnor) to understand this group; it’s cyclic, and we know its order in all dimensions. is the th stable homotopy group of spheres, and is a certain (again, understood) subgroup; we know its order.

Milnor finds exact sequences, for , ; and for , we get the slightly more ugly sequence The map is known as the Kervaire invariant; it was known in the 60s that it could only be nonzero for of the form ; recent work by Hill, Hopkins, and Ravenel shows that it is zero for all . It is known to be nonzero for , and it’s unknown for . Dimensions close to these numbers are special; the order of  is known in every dimension , and in these dimensions iff . As a result of the above, except in dimensions 125 and 126, the order of is known as a function of the order of . The calculation of this group, , is one of the main motivating problems of homotopy theory, and is a major open problem. Nonetheless, it is expected that in dimension large enough, the smooth Poincaré conjecture is false.

How the h-cobordism theorem helps us here is obvious: the group is, as a result, isomorphic to the group of diffeomorphism classes of exotic spheres! So the above is entirely about exotic spheres, except in dimension , where all exotic spheres are h-cobordant; but we have absolutely no idea whether or not they’re diffeomorphic.

Hopefully this convinces you that the h-cobordism theorem (or things related to it) is what causes this ‘high-dimensional simplicity’; but why is it true, and where does that catchphrase, “there’s more room to move around”, come from? Certainly the h-cobordism theorem doesn’t sound like this. So, next time: why the h-cobordism theorem is true, and how it relates to having extra wiggle room.