03.02.22 · differential-geometry / manifolds

The Whitney trick and handle cancellation

shipped3 tiersLean: none

Anchor (Master): Milnor Lectures on the h-Cobordism Theorem §§5-8; Whitney The self-intersections of a smooth n-manifold in 2n-space (1944); Smale On the structure of manifolds (1962)

Intuition Beginner

Suppose you have built a shape by gluing on handles and you notice two handles that seem to undo each other — one opens a tunnel, the next plugs it back up. If you could peel both off at once, the shape would be simpler and yet unchanged in its essentials. Recognising and removing such redundant pairs is the single most important simplification move in the study of smooth shapes.

When can a pair be peeled off? The clean case is when the two handles are linked in the simplest possible way: the rim where the second handle attaches crosses the free edge of the first handle at exactly one spot, cleanly, like a thread passing once through the eye of a needle. One crossing, and the two handles slide off together, leaving a smooth seam behind.

The harder case is when the rim and the edge cross at several spots, some of which look as though they ought to cancel — a crossing one way and a crossing the other way, side by side. Algebra says these two count as zero together. Geometry, though, still sees two separate crossings. Closing the gap between what the algebra predicts and what the geometry shows is the heart of the matter.

The tool that closes the gap is a clever sliding move. You find a flat patch — a little membrane — stretched between the two opposite crossings, and you use it as a guide to slide one strand across the other, sweeping the two crossings together until they annihilate. This sweeping move works only when there is enough room to slide without bumping into anything, and that room appears once the shapes live in five or more dimensions.

Visual Beginner

Two curves are drawn crossing inside a roomy space. They meet at two points marked with opposite little signs, a plus and a minus, sitting close together. A shaded membrane — a small disc — is stretched so that its edge runs along one curve from the plus to the minus, then back along the other curve. Arrows show one curve being pushed across this membrane, sweeping toward the other, until both crossing points slide together and vanish.

The takeaway from the picture: a plus crossing and a minus crossing that bound a clean membrane can be pushed together and removed, leaving the two curves apart. And once two handles meet at a single crossing, they lift off as a pair, simplifying the shape without changing it.

Worked example Beginner

Cancelling a tunnel and its plug. Start with a solid ball of clay. Drill a straight tunnel through it: this is like gluing on one handle, the one that opens the passage. The shape now has a hole bored through it.

Next, take a fat disc of clay and press it into the mouth of the tunnel so it seals the passage completely. This is the second handle, the plug. Its rim seats against the tunnel exactly once, all the way around, cleanly. The two pieces — the tunnel-opener and the plug — meet in the simplest way.

Now notice: the drilled-and-plugged ball is, as a shape, the same as the plain ball you started with. The tunnel was opened and then immediately closed. So the two handles cancel. You may peel both off together and recover the original solid ball, with nothing lost.

What this tells us. Two handles of neighbouring kinds — one that opens a passage and one of the next size up that closes it — cancel exactly when the closing handle seats against the opening handle at a single clean crossing. The count of crossings is what decides cancellation. One crossing means the pair comes off. The rest of this unit is about what to do when there are several crossings that ought to reduce to one.

Check your understanding Beginner

Formal definition Intermediate+

Fix an oriented smooth manifold $M$ of dimension $m$ and two oriented closed submanifolds $P^{p}, Q^{q} \subset M$ of complementary dimension, $p + q = m$ , meeting transversally. Their intersection $P \cap Q$ is then a finite set of points, each carrying a sign $\pm 1$ from whether the orientations of $T_{x} P \oplus T_{x} Q$ and $T_{x} M$ agree.

Definition (algebraic and geometric intersection numbers). The algebraic intersection number is the signed count $$ P \cdot Q = \sum_{x \in P \cap Q} \varepsilon(x), \qquad \varepsilon(x) = \pm 1, $$ an invariant of the homology classes $[P], [Q]$ . The geometric intersection number is the unsigned count $∣ P \cap Q ∣$ , which depends on the representatives and satisfies $∣ P \cap Q ∣ \geq ∣ P \cdot Q ∣$ with equality precisely when all signs agree.

Definition (Whitney disc). Let $x_{+}, x_{-} \in P \cap Q$ be two intersection points of opposite sign. A Whitney disc pairing them is an embedded $2$ -disc $D ↪ M$ whose boundary is a circle split into two arcs, $\partial D = α \cup β$ with $α \subset P$ , $β \subset Q$ , $α \cap β = {x_{+}, x_{-}}$ , such that the interior of $D$ meets $P \cup Q$ in nothing, and the disc carries a correct framing: the normal bundle of $D$ in $M$ splits as a product of a line field tangent to $P$ along $α$ extended over $D$ and a complementary $(m - 2)$ -plane field tangent to $Q$ along $β$ , compatibly at the two corners. The framing condition is what records the opposite signs.

Definition (handle cancellation data). Let $W$ carry a self-indexing Morse function with gradient-like field $ξ$ as in 03.02.21, with a $λ$ -handle $h$ and a $(λ + 1)$ -handle $h^{'}$ on adjacent levels. Let $S_{L} \subset f^{- 1} (λ + \frac{1}{2})$ be the belt sphere of $h$ (dimension $m - λ - 1$ ) and $S_{R} \subset f^{- 1} (λ + \frac{1}{2})$ the attaching sphere of $h^{'}$ (dimension $λ$ ). These have complementary dimension in the level $f^{- 1} (λ + \frac{1}{2})$ , of dimension $m - 1$ : indeed $(m - λ - 1) + λ = m - 1$ . The pair $(h, h^{'})$ is a cancelling pair when $S_{L}$ and $S_{R}$ meet transversally in a single point.

Counterexamples to common slips

Opposite signs are necessary for a Whitney disc but not sufficient: the disc must also be embedded and correctly framed. In dimension $m = 4$ one can always find an immersed disc pairing opposite points, but it may be forced to intersect itself or the submanifolds, and the trick stalls — this is the genuine source of the failure of the smooth $h$ -cobordism theorem in dimension $4$ .
The algebraic number $P \cdot Q$ is a homological invariant; the geometric number $∣ P \cap Q ∣$ is not. The whole point of the Whitney trick is to lower the geometric number, by isotopy, down to its homological floor $∣ P \cdot Q ∣$ .
Cancellation is between handles of adjacent index $λ$ and $λ + 1$ , not equal index. Two handles of the same index never cancel each other; their attaching spheres live at the same level and the relevant complementary-dimension pairing does not arise.

Key theorem with proof Intermediate+

The two results below are the technical core of the $h$ -cobordism theorem: the First Cancellation Theorem (geometric, one point) and the Whitney Lemma (the upgrade from algebraic $\pm 1$ to one point).

Theorem (First Cancellation Theorem, LHC §5). Let $(W; V_{0}, V_{1})$ carry a Morse function $f$ with gradient-like field $ξ$ having exactly two critical points $p, p^{'}$ of indices $λ$ and $λ + 1$ , on adjacent levels. Suppose the belt sphere $S_{L}$ of the $λ$ -handle and the attaching sphere $S_{R}$ of the $(λ + 1)$ -handle intersect transversally in a single point of the middle level $f^{- 1} (λ + \frac{1}{2})$ . Then $ξ$ can be altered, supported away from $V_{0}$ and $V_{1}$ , to a gradient-like field $ξ^{'}$ for a Morse function $f^{'}$ with no critical points at all; hence $W ≅ V_{0} \times I$ . ^{[Milnor §5]}

Proof. A single transverse intersection point of $S_{L}$ and $S_{R}$ means there is exactly one $ξ$ -trajectory $γ$ running from $p$ up to $p^{'}$ : trajectories from $p$ sweep out the descending manifold $W^{u} (p)$ whose level slice is $S_{L}$ , trajectories into $p^{'}$ sweep out $W^{s} (p^{'})$ whose level slice is $S_{R}$ , and a connecting trajectory is a point of $S_{L} \cap S_{R}$ . With one such point, $W^{u} (p) ⋔ W^{s} (p^{'})$ along the single trajectory $γ$ . Milnor's First Cancellation Lemma (the elementary case, proved by an explicit local model on a neighbourhood of $γ$ diffeomorphic to $R^{λ} \times R^{m - λ}$ ) modifies $ξ$ in a tube about $γ$ so that the two rest points merge and annihilate: one writes down a one-parameter family of vector fields interpolating between the model gradient with two rest points and a model with none, the interpolation being possible because the single transverse trajectory provides a product structure $γ \times R^{m - 1}$ on the tube. Outside the tube $ξ$ is unchanged, so the field stays gradient-like for a function $f^{'}$ agreeing with $f$ near the ends. The new field has no rest points, so by the no-critical-points criterion of 03.02.20 its flow carries $V_{0}$ diffeomorphically onto $V_{1}$ and $W ≅ V_{0} \times I$ . $□$

Theorem (Whitney Lemma, LHC §6). Let $M^{m}$ be a simply connected oriented manifold, $m \geq 5$ , and $P^{p}, Q^{q} \subset M$ oriented transverse submanifolds with $p + q = m$ , $p, q \geq 3$ . Suppose $x_{+}, x_{-}$ are intersection points of opposite sign paired by an embedded, correctly framed Whitney disc $D$ whose interior misses $P \cup Q$ . Then there is an ambient isotopy of $M$ , supported in a neighbourhood of $D$ , after which $P$ and $Q$ no longer meet at $x_{+}$ or $x_{-}$ , the other intersection points being undisturbed. ^{[Whitney 1944]}

Proof. Take a tubular neighbourhood $N$ of $D$ in $M$ . The correct framing identifies $N$ with $D \times R^{m - 2}$ so that $P \cap N = α \times R^{p - 1} \times {0}$ and $Q \cap N = β \times {0} \times R^{q - 1}$ , with $α, β$ the two boundary arcs of $D$ . The model reduces to the planar Whitney move: in the $D$ -factor, a finger of $P$ is pushed across the disc $D$ guided by the arc $β \subset Q$ , sliding the arc $α$ over $D$ until it clears $β$ . Because $m - 2 \geq 3$ , the normal room $R^{m - 2}$ has at least the dimensions $p - 1$ and $q - 1$ disjointly available (their sum is $(p - 1) + (q - 1) = m - 2$ ), so the push can be carried out by an embedding rather than merely an immersion — this is the precise place the hypothesis $m \geq 5$ is consumed. Simple connectivity of $M$ is what allows the disc $D$ to exist in the first place: the loop $α \cup β$ from $x_{+}$ to $x_{-}$ and back is null-homotopic, and a generic null-homotopy is an immersed disc, made embedded by general position once $m \geq 5$ (two $2$ -discs in dimension $\geq 5$ are pushed apart, and a $2$ -disc has no self-intersections in dimension $\geq 5$ generically). The isotopy supported in $N$ removes the pair $x_{+}, x_{-}$ and changes nothing outside $N$ . $□$

Bridge. Putting these together, the Strong Cancellation Theorem follows: a $λ$ -handle and $(λ + 1)$ -handle whose belt and attaching spheres have algebraic intersection number $\pm 1$ can be cancelled, because the Whitney Lemma first isotopes the spheres to meet in a single geometric point and the First Cancellation Theorem then removes them. This is exactly the bridge from algebra to geometry on which the $h$ -cobordism proof turns: an algebraic $\pm 1$ in the boundary matrix of the Morse-Smale complex of 03.02.21 is converted into a single geometric intersection, and a single geometric intersection is a cancelling pair. The foundational reason the whole programme works is that simple connectivity buys the embedded Whitney disc, and dimension $\geq 5$ buys room to slide it; this is the central insight that builds toward the reduction of an acyclic complex to nothing, and it appears again in the surgery theory of high-dimensional manifolds, where the same disc-and-slide move clears intersections to make embedded representatives.

Exercises Intermediate+

Exercise (hard, short-answer). State the Strong Cancellation Theorem and explain precisely how it combines the First Cancellation Theorem with the Whitney Lemma.

Hint

One result handles the algebraic $\pm 1$ , the other the geometric single point.

Answer

Argument. Strong Cancellation: if a $λ$ -handle and a $(λ + 1)$ -handle have belt and attaching spheres with algebraic intersection number $\pm 1$ in a simply connected middle level of dimension $\geq 5$ , the handles cancel. Proof: the spheres have geometric intersection number $\geq 1$ ; pairs of opposite sign are removed by the Whitney Lemma (embedded framed disc exists by simple connectivity, slide possible by $m \geq 5$ ), lowering the geometric number to $1$ . Now the First Cancellation Theorem applies to the single remaining transverse point, modifying the gradient-like field to delete both critical points. So algebraic $\pm 1$ becomes geometric one point becomes cancelled pair.

Exercise (hard, short-answer). Why does the Whitney trick fail in dimension $m = 4$? Identify the exact step that breaks and what survives.

Hint

A generic $2$ -disc in a $4$ -manifold has self-intersections of dimension $0$ .

Answer

Argument. The Whitney disc is a $2$ -disc; in an $m$ -manifold a generic map of a $2$ -disc has self-intersections of dimension $2 \cdot 2 - m = 4 - m$ . For $m \geq 5$ this is negative, so a generic disc is embedded. For $m = 4$ it is $0$ : the disc generically self-intersects in isolated points, and general position cannot remove them (removing them would itself require a Whitney trick one dimension down). So the embedded-disc hypothesis of the Whitney Lemma fails. The algebraic count and the homotopy-theoretic statements survive — this is why topological surgery (Freedman) and the failure of smooth surgery in dimension $4$ diverge.

Advanced results Master

From the acyclic complex to no handles. Take a self-indexing Morse function on an $h$ -cobordism $(W; V_{0}, V_{1})$ , $dim W = m \geq 6$ , with $W, V_{0}, V_{1}$ simply connected. By 03.02.21 the handles form a free Morse-Smale chain complex $C_{*}$ with $H_{*} (C) = H_{*} (W, V_{0})$ . The $h$ -cobordism hypothesis — both inclusions are homotopy equivalences — forces $H_{*} (W, V_{0}) = 0$ , so $C_{*}$ is an acyclic complex of free $Z$ -modules (simple connectivity removes the $Z [π_{1}]$ decoration). The boundary matrices over the middle indices can, after handle trading (the Whitney-disc-free Smale moves that add a cancelling pair, or slide a handle over another, replacing one basis by another), be brought to a form where some basis element of $C_{λ + 1}$ maps to a basis element of $C_{λ}$ with coefficient $\pm 1$ . That algebraic $\pm 1$ is the hypothesis of the Strong Cancellation Theorem: the belt and attaching spheres have algebraic intersection $\pm 1$ , the Whitney Lemma (valid since $m - 1 \geq 5$ and the level is simply connected) makes the geometric intersection a single point, and the pair cancels. Iterating empties the complex; with no handles, $W ≅ V_{0} \times I$ . This is the proof of the $h$ -cobordism theorem ^{[Smale 1962]}.

Low and high handles, and the dimension floor. The cancellation above runs only over the middle indices $2 \leq λ \leq m - 2$ , where both the belt and attaching spheres have dimension $\geq 2$ and the Whitney disc has room. The index- $0$ and index- $1$ handles (dually the top two indices) are eliminated separately, by a connectivity argument that trades $0$ -handles against $1$ -handles using simple connectivity of $V_{0}$ and $W$ ; this is the handle-trading of LHC §7, and it is the place the hypothesis $m \geq 6$ rather than $m \geq 5$ is consumed, since one needs the middle range $[2, m - 2]$ to be non-empty and to absorb the traded handles. The Whitney disc itself, a $2$ -disc, must embed in a level of dimension $m - 1$ , requiring $m - 1 \geq 5$ .

The role of $π_{1}$ and Whitehead torsion. When $π_{1} (V_{0}) \neq = 1$ the boundary maps live over the group ring $Z [π_{1}]$ , intersection numbers become elements of $Z [π_{1}]$ , and a Whitney disc exists only if the relevant loop is null-homotopic — which now requires the group-ring intersection to be a unit $\pm g$ , not merely $\pm 1$ . The obstruction to reducing the acyclic $Z [π_{1}]$ -complex to nothing by elementary moves is its Whitehead torsion $τ (W, V_{0}) \in Wh (π_{1} V_{0})$ ; the cobordism is a product iff $τ = 0$ . This is the $s$ -cobordism theorem of Barden, Mazur, and Stallings, refining LHC's simply connected case where $Wh (1) = 0$ makes the torsion automatically vanish.

Synthesis. The Whitney trick is the central insight that converts the algebra of the Morse-Smale boundary matrix back into geometry. It is the foundational reason the $h$ -cobordism theorem holds in high dimensions and fails in dimension $4$ : an algebraic intersection $\pm 1$ in the chain complex of 03.02.21 is dual to a single geometric intersection point exactly when an embedded Whitney disc exists, and putting these together with the First Cancellation Theorem identifies an algebraic cancellation with a geometric handle cancellation. This is exactly the bridge from the combinatorial spine — the sorted handle decomposition of 03.02.21 — back to the smooth structure of 03.02.20, and it generalises the surface picture, where opposite crossings of curves are visibly slid together, to all complementary-dimension submanifolds in dimension $\geq 5$ . The same disc-and-slide move appears again in surgery theory and in the proof that high-dimensional homotopy spheres are standard, so the trick is the load-bearing geometric lemma of mid-century differential topology.

Full proof set Master

Proposition (geometric realisation of algebraic $\pm 1$ in dimension $\geq 5$ ). Let $M^{m}$ be simply connected and oriented, $m \geq 5$ , and let $P^{p}, Q^{q} \subset M$ be transverse oriented submanifolds of complementary dimension with $p, q \geq 3$ and algebraic intersection number $P \cdot Q = \pm 1$ . Then $P$ is ambient-isotopic to a submanifold $P^{'}$ with $∣ P^{'} \cap Q ∣ = 1$ .

Proof. Suppose $∣ P \cap Q ∣ = N > 1$ . Since $P \cdot Q = \pm 1$ , the signs $ε (x)$ over the $N$ intersection points sum to $\pm 1$ , so at least one pair $x_{+}, x_{-}$ has opposite signs. Join $x_{+}$ to $x_{-}$ by an arc $α$ in $P$ and back by an arc $β$ in $Q$ , avoiding the other intersection points (possible because $P, Q$ are connected of dimension $\geq 3$ minus a finite set, hence still connected). The loop $α \cup β$ is null-homotopic in $M$ as $π_{1} M = 1$ , so it bounds a map of a $2$ -disc $D \to M$ . By general position, since $2 + 2 = 4 < m$ and $2 + p, 2 + q \leq m + 1$ ... more precisely $2 \cdot 2 - m < 0$ and $2 + p - m = 2 - q < 0$ , $2 + q - m = 2 - p < 0$ , the disc is isotoped to an embedding meeting $P \cup Q$ only along $\partial D$ . The framing obstruction to a correct framing lies in $π_{1} (S O) = Z /2$ and is killed by the opposite signs of $x_{\pm}$ together with a possible boundary twist absorbed by tubing; one obtains a correctly framed embedded Whitney disc. The Whitney Lemma now removes $x_{+}, x_{-}$ by an ambient isotopy fixing the other points, so $∣ P \cap Q ∣$ drops to $N - 2$ . Induct: after finitely many steps $∣ P^{'} \cap Q ∣ = ∣ P \cdot Q ∣ = 1$ . $□$

Proposition (a cancelling pair across a single trajectory gives a product). Let $(W; V_{0}, V_{1})$ have a Morse function $f$ and gradient-like field $ξ$ with exactly two critical points $p$ (index $λ$ ) and $p^{'}$ (index $λ + 1$ ), and suppose there is exactly one $ξ$ -trajectory from $p$ to $p^{'}$ , transversally. Then $W ≅ V_{0} \times I$ .

Proof. Let $γ$ be the unique connecting trajectory; transversality means $W^{u} (p) ⋔ W^{s} (p^{'})$ , and they meet along $γ$ alone. Choose a regular value $c = λ + \frac{1}{2}$ between the two critical levels; the descending sphere $S_{L} = W^{u} (p) \cap f^{- 1} (c) ≅ S^{m - λ - 1}$ and the attaching sphere $S_{R} = W^{s} (p^{'}) \cap f^{- 1} (c) ≅ S^{λ}$ meet in the single point $γ \cap f^{- 1} (c)$ , transversally inside the $(m - 1)$ -manifold $f^{- 1} (c)$ (dimensions $(m - λ - 1) + λ = m - 1$ minus the ambient $m - 1$ gives a $0$ -dimensional, hence isolated, intersection). Milnor's elementary cancellation (LHC Theorem 5.4) constructs, on a tubular neighbourhood of $γ \cup {p, p^{'}}$ modelled on $R^{m}$ with the standard two-rest-point gradient, a one-parameter family $ξ_{t}$ of vector fields, equal to $ξ$ near the boundary of the neighbourhood for all $t$ , with $ξ_{0} = ξ$ and $ξ_{1}$ free of rest points; the single transverse trajectory is precisely what makes the neighbourhood a product $γ \times D^{m - 1}$ on which such an interpolation is written down explicitly. Extend $ξ_{1}$ by $ξ$ outside. The resulting $ξ^{'}$ is gradient-like for a Morse function $f^{'}$ with no critical points, equal to $f$ near $V_{0}, V_{1}$ . By the no-critical-points criterion of 03.02.20, the flow of $ξ^{'}$ trivialises $W$ , giving $W ≅ V_{0} \times I$ . $□$

Proposition (dimension $4$ obstruction is genuine). There exist simply connected oriented $4$ -manifolds $M$ and complementary surfaces $P^{2}, Q^{2} \subset M$ with $P \cdot Q = 0$ yet $∣ P \cap Q ∣ > 0$ for which no ambient isotopy makes them disjoint smoothly, although they can be separated topologically.

Proof (indication). The Whitney disc pairing two opposite intersection points of two surfaces in a $4$ -manifold is itself a $2$ -disc in a $4$ -manifold; its generic self-intersection number is $2 \cdot 2 - 4 = 0$ -dimensional, so the disc has isolated self-intersections that general position does not remove. Casson handles and Freedman's work show the disc exists topologically (an infinite tower of immersed discs converges to a topologically embedded one), giving the topological Whitney trick and the topological $h$ -cobordism theorem in dimension $4$ ; but Donaldson's gauge-theoretic invariants exhibit smooth $4$ -manifolds where no smooth Whitney disc exists, so the smooth geometric intersection number cannot be lowered to the algebraic one. The divergence of the smooth and topological categories in dimension $4$ is exactly the failure of the smooth Whitney trick. $□$

Connections Master

The handle cancellation of this unit is the simplification move that consumes the sorted handle decomposition and the Morse-Smale chain complex built in 03.02.21: an algebraic intersection number $\pm 1$ in the boundary matrix there is the hypothesis under which the Whitney trick produces a single geometric intersection, and the First Cancellation Theorem then deletes the corresponding pair of critical points; without the rearrangement of 03.02.21 putting belt and attaching spheres of complementary dimension on a common level, the cancellation pairing would not even be formulated.

The belt sphere, attaching sphere, gradient-like field, and the no-critical-points criterion all come from 03.02.20, whose elementary-cobordism dictionary supplies the local model on a tube around the connecting trajectory in which the two rest points are interpolated away; the descending-and-ascending-sphere description there is exactly the data whose single transverse intersection point this unit exploits, and the surgery description there is what changes when a handle is cancelled.

The complementary-dimension intersection theory used here — algebraic versus geometric intersection number, transversality, signed counts — is the differential-topological face of the intersection pairing on homology studied through Poincaré duality in 03.12.16; the algebraic intersection number $P \cdot Q$ is the homological pairing of $[P]$ with $[Q]$ , and the Whitney trick is the geometric statement that, in dimension $\geq 5$ , this homological invariant is realised by the minimal geometric intersection, a statement with no analogue in the dimension- $4$ theory.

The gradient-flow and stable-unstable-manifold machinery underlying the connecting trajectory and the Morse-Smale transversality is developed in 03.15.01; the single transverse trajectory that this unit cancels is a $0$ -dimensional component of a trajectory moduli space there, and the broken-trajectory compactness that gives $\partial^{2} = 0$ is what guarantees the algebraic intersection numbers are well-defined before the Whitney trick converts them to geometry.

Historical & philosophical context Master

Hassler Whitney introduced the disc-and-slide move in The self-intersections of a smooth $n$ -manifold in $2 n$ -space (Annals of Mathematics 45, 1944, 220–246) ^{[Whitney 1944]}, where he used it to remove pairs of oppositely-signed double points of an immersed $n$ -manifold in $R^{2 n}$ , proving that every $n$ -manifold embeds in $R^{2 n}$ — the companion to his embedding theorem in $R^{2 n + 1}$ . The move, born as a lemma about self-intersections, became the decisive geometric tool of high-dimensional topology a generation later. Its essential constraint — that a $2$ -disc embeds generically only when the ambient dimension is at least $5$ — is the reason the entire high-dimensional theory begins at dimension $5$ and the four-dimensional case stands apart.

Stephen Smale recognised that Whitney's trick was exactly what was needed to cancel handles whose attaching and belt spheres intersect algebraically once, and built it into the handle calculus of On the structure of manifolds (American Journal of Mathematics 84, 1962, 387–399) ^{[Smale 1962]} and Generalized Poincaré's conjecture in dimensions greater than four (Annals of Mathematics 74, 1961, 391–406) ^{[Smale 1961]}, proving the $h$ -cobordism theorem and the high-dimensional Poincaré conjecture. John Milnor's Lectures on the h-Cobordism Theorem (Princeton Mathematical Notes, 1965), with notes by Larry Siebenmann and John Sondow, organised the argument around the First and Strong Cancellation Theorems and gave the Whitney Lemma its now-standard form. The dimension- $4$ boundary that the trick draws was crossed only in the topological category by Michael Freedman in 1982, via infinite towers of Casson handles, while Simon Donaldson's gauge theory showed the same year that the smooth trick genuinely fails there — so the single geometric fact, that a $2$ -disc needs five dimensions to embed, marks the dividing line between the two great theories of manifolds.

Bibliography Master

@book{milnor1965hcobordism,
  author    = {Milnor, John W.},
  title     = {Lectures on the h-Cobordism Theorem},
  series    = {Princeton Mathematical Notes},
  publisher = {Princeton University Press},
  year      = {1965},
  note      = {Notes by L. Siebenmann and J. Sondow}
}

@article{whitney1944self,
  author  = {Whitney, Hassler},
  title   = {The self-intersections of a smooth $n$-manifold in $2n$-space},
  journal = {Annals of Mathematics},
  volume  = {45},
  number  = {2},
  pages   = {220--246},
  year    = {1944}
}

@article{smale1962structure,
  author  = {Smale, Stephen},
  title   = {On the structure of manifolds},
  journal = {American Journal of Mathematics},
  volume  = {84},
  number  = {3},
  pages   = {387--399},
  year    = {1962}
}

@article{smale1961poincare,
  author  = {Smale, Stephen},
  title   = {Generalized {P}oincar{\'e}'s conjecture in dimensions greater than four},
  journal = {Annals of Mathematics},
  volume  = {74},
  number  = {2},
  pages   = {391--406},
  year    = {1961}
}

@article{freedman1982four,
  author  = {Freedman, Michael H.},
  title   = {The topology of four-dimensional manifolds},
  journal = {Journal of Differential Geometry},
  volume  = {17},
  number  = {3},
  pages   = {357--453},
  year    = {1982}
}

@book{kosinski1993,
  author    = {Kosinski, Antoni A.},
  title     = {Differential Manifolds},
  series    = {Pure and Applied Mathematics},
  volume    = {138},
  publisher = {Academic Press},
  year      = {1993}
}

Prerequisites

03.02.20
03.02.21
03.02.30

Tier anchors

beginner: Milnor Lectures on the h-Cobordism Theorem §5 informal; Matsumoto An Introduction to Morse Theory Ch. 3 (cancelling a pair of handles)
intermediate: Milnor Lectures on the h-Cobordism Theorem §§5-6 (First Cancellation Theorem 5.4; Whitney Lemma 6.6); Kosinski Differential Manifolds Ch. VII
master: Milnor Lectures on the h-Cobordism Theorem §§5-8; Whitney The self-intersections of a smooth n-manifold in 2n-space (1944); Smale On the structure of manifolds (1962)

References

03-modern-geometry/Bott-LecturesOnMorseTheory.pdf · Gradient-like vector fields; ascending and descending spheres; cancelling critical points of adjacent index
Milnor — Lectures on the h-Cobordism Theorem (Princeton Mathematical Notes, 1965) · §§5-6: First Cancellation Theorem (Thm 5.4), the Whitney Lemma (Thm 6.6) and Strong Cancellation (Thm 6.4), §8 assembly (notes by L. Siebenmann and J. Sondow)
Whitney — The self-intersections of a smooth n-manifold in 2n-space (1944) · Annals of Mathematics 45, pp. 220--246; the Whitney disc and the removal of a cancelling pair of double points in dimension >= 5
Smale — On the structure of manifolds (1962) · American Journal of Mathematics 84, pp. 387--399; handle cancellation, the handlebody calculus, and the h-cobordism theorem
Smale — Generalized Poincaré's conjecture in dimensions greater than four (1961) · Annals of Mathematics 74, pp. 391--406; cancellation of handles in the proof of the high-dimensional Poincaré conjecture

Estimated time

beginner: 17m
intermediate: 44m
master: 82m