03.02.27 · differential-geometry / manifolds

Levi-Civita connection, exponential map, and gradient-like vector fields on a cobordism

shipped3 tiersLean: none

Anchor (Master): Milnor Lectures on the h-Cobordism Theorem §§3-4; Palais Morse Theory on Hilbert Manifolds (1963); do Carmo Riemannian Geometry Ch. 3, 7

Intuition Beginner

Imagine a smooth landscape squeezed between a floor and a ceiling: a slab of space whose bottom face is one shape and whose top face is another. A height function assigns to every point how far up it sits, with the floor at height zero and the ceiling at height one. Most of the time the ground slopes, but here and there it flattens into a pass, a pit, or a peak. Those flat spots are the critical points, and the whole theory of building shapes from handles hangs on them.

To turn the static height into motion, we choose at every point an uphill arrow. A raindrop placed anywhere and pushed up these arrows climbs steadily, gaining height at a guaranteed rate, except at the flat spots where it can stall. A field of arrows with this property — always raising the height, stalling only at the passes — is the central object of this unit.

The reason we get to choose the arrows, rather than being handed them, is the secret to making the bookkeeping clean. Any reasonable uphill choice will do, so we pick one that looks perfectly standard near every pass.

Visual Beginner

A slab is drawn as a curved band between a lower curve (the floor) and an upper curve (the ceiling). Short arrows fill the interior, all pointing generally upward, their lengths shrinking to nothing at two marked dots in the middle: a saddle and a peak. From the saddle, two highlighted paths run down to the floor and two run up to the ceiling, tracing the routes a particle would follow along the arrows.

The picture shows the two roles the arrows play at once. Away from the dots they give a clean uphill flow that sweeps the floor up toward the ceiling. At each dot the arrows organise into a standard cross pattern: some directions feed in, some feed out, and the in-and-out sets are exactly the spheres that record how a handle is glued.

Worked example Beginner

Take the unit disc in the plane and the height function given by the distance squared from the centre. The centre is the one flat spot — a pit — and everywhere else the ground slopes outward. The most natural uphill arrow at a point is the one pointing straight away from the centre, which is the gradient of the height for the ordinary flat metric.

Follow these arrows. A particle starting at any non-centre point races radially outward, its distance from the centre growing, so its height grows: the height increases along the motion at a positive rate. The particle reaches the boundary circle in finite time. The only place a particle can sit forever is the centre, where every arrow has zero length.

Near the centre the arrows already look standard: in coordinates $(x_{1}, x_{2})$ the height is $x_{1}^{2} + x_{2}^{2}$ and the outward arrow is $(x_{1}, x_{2})$ . There are no incoming directions and two outgoing ones, matching a pit of index zero. The set of points that flow into the centre backward in time is just the centre itself, a single point; the set that flows out fills the whole disc minus the centre. These are the descending and ascending sets of this flat spot, and reading them off needed nothing more than following the arrows.

Check your understanding Beginner

Formal definition Intermediate+

Throughout, $(W; V_{0}, V_{1})$ is a compact cobordism of dimension $n$ , $f : W \to [0, 1]$ a Morse function adapted to the boundary with $f^{- 1} (0) = V_{0}$ , $f^{- 1} (1) = V_{1}$ , and all interior critical points nondegenerate, exactly as set up in 03.02.20 and 03.02.30. Equip $W$ with a Riemannian metric $g$ ; its Levi-Civita connection $\nabla$ is the unique torsion-free, metric-compatible affine connection of 03.02.19, and the gradient $grad f$ is the vector field dual to $df$ under $g$ , characterised by $g (grad f, X) = df (X)$ for all $X$ .

Definition (gradient-like vector field). A smooth vector field $ξ$ on $W$ is gradient-like for $f$ if:

$ξ (f) = df (ξ) > 0$ at every non-critical point of $f$ ; and
near each critical point $p$ of index $λ$ there exist Morse coordinates $(u, v) \in R^{λ} \times R^{n - λ}$ (centred at $p$ , with $f = f (p) - ∣ u ∣^{2} + ∣ v ∣^{2}$ by the Morse lemma) in which $ξ = (- 2 u, 2 v) = grad_{eucl} f .$

Condition 1 forces $ξ$ to vanish exactly at the critical set, since $df$ vanishes there and is nonzero elsewhere. Condition 2 fixes the local model: $ξ$ is the Euclidean gradient of the standard quadratic in some adapted chart. The metric gradient $grad f$ satisfies condition 1 automatically, because $g (grad f, grad f) = ∣ df ∣^{2} > 0$ off the critical set; condition 2 is what a generic metric will not give, and arranging it is the content of the existence theorem below.

Given a gradient-like $ξ$ , let $ϕ_{t}$ be its flow. The descending (left-hand) manifold of a critical point $p$ is $$ W^u(p) = { x \in W : \lim_{t \to -\infty} \phi_t(x) = p }, $$ an embedded open disc of dimension $λ$ ; the ascending (right-hand) manifold $W^{s} (p)$ (the points flowing to $p$ as $t \to + \infty$ ) is an embedded open disc of dimension $n - λ$ . Their slices by a regular level $f^{- 1} (c)$ just below, resp. just above, $f (p)$ are the descending sphere $S^{λ - 1}$ and ascending sphere $S^{n - λ - 1}$ that carry the attaching and belt data of the handle of 03.02.20.

Counterexamples to common slips

The metric gradient $grad_{g} f$ is gradient-like in sense 1 but generally fails the standard form of sense 2: in a Morse chart the metric need not be Euclidean, so $grad_{g} f$ need not equal $(- 2 u, 2 v)$ . One patches it to standard form with a partition of unity.
A field with $ξ (f) \geq 0$ (allowing equality on a curve away from critical points) is not gradient-like: trajectories could stall on a non-critical level, and the ascending/descending discs would fail to be discs. The strict inequality off the critical set is essential.
The descending manifold $W^{u} (p)$ is an injectively immersed open disc; on a closed manifold it need not be embedded as a closed subset, and its closure can pick up lower-index cells. On a single elementary cobordism (one critical point) it is a properly embedded disc, which is the case this unit isolates.

Key theorem with proof Intermediate+

Theorem (existence of gradient-like vector fields; Milnor LHC §3, Lemma 3.1). Let $f : W \to [0, 1]$ be a Morse function on a compact cobordism, adapted to the boundary. Then $f$ admits a gradient-like vector field $ξ$ . Moreover $ξ$ may be chosen to point inward along $V_{0}$ and outward along $V_{1}$ .

Proof. Cover $W$ by two kinds of charts. Around each critical point $p$ of index $λ$ , the Morse lemma of 03.02.30 supplies a chart $U_{p}$ with coordinates $(u, v)$ in which $f = f (p) - ∣ u ∣^{2} + ∣ v ∣^{2}$ ; on $U_{p}$ set $ξ_{p} = (- 2 u, 2 v)$ , the Euclidean gradient of the model. A direct computation gives $$ \xi_p(f) = df(\xi_p) = (-2u)\cdot(-2u) + (2v)\cdot(2v) = 4|u|^2 + 4|v|^2 \ge 0, $$ with equality only at $p$ . Away from the critical set, every point $x$ has a chart $U_{x}$ on which $df \neq = 0$ ; choose a vector field $η_{x}$ there with $df (η_{x}) > 0$ — for instance the metric gradient $grad_{g} f$ for any local metric $g$ , which has $df (grad_{g} f) = ∣ df ∣_{g}^{2} > 0$ .

The open sets ${U_{p}} \cup {U_{x}}$ cover the compact $W$ ; extract a finite subcover and a subordinate smooth partition of unity ${ρ_{i}}$ with $\sum_{i} ρ_{i} \equiv 1$ . Arrange the partition so that on each Morse chart $U_{p}$ only the single function $ρ_{p}$ supported there is nonzero in a neighbourhood of $p$ (shrink the other supports off $p$ ; possible since $p$ lies in only one Morse chart). Define $$ \xi = \sum_i \rho_i , \xi_i , $$ where $ξ_{i}$ is the local field ( $ξ_{p}$ on a Morse chart, $η_{x}$ otherwise). Then $$ \xi(f) = df(\xi) = \sum_i \rho_i , df(\xi_i) . $$ Each summand $ρ_{i} df (ξ_{i}) \geq 0$ , since every local field has $df (ξ_{i}) \geq 0$ and $ρ_{i} \geq 0$ ; and away from the critical set at least one $ρ_{i} > 0$ with $df (ξ_{i}) > 0$ , so $ξ (f) > 0$ there. Near each critical point $p$ , the arrangement forces $ξ = ρ_{p} ξ_{p} = ξ_{p}$ in a neighbourhood of $p$ where $ρ_{p} \equiv 1$ , so the standard form of condition 2 holds verbatim. Thus $ξ$ is gradient-like. Finally, adding a small inward-normal multiple of $grad_{g} f$ near $V_{0}$ and an outward one near $V_{1}$ — which only increases $ξ (f)$ there — secures the boundary behaviour. $□$

Bridge. This existence result builds toward the entire handle calculus of 03.02.20 and 03.02.21: once a gradient-like field is in hand, the flow $ϕ_{t}$ converts the static Morse data into the moving picture whose ascending and descending spheres are the attaching and belt spheres of a handle. The foundational reason the construction works is that gradient-likeness is a convex, partition-of-unity-stable condition — averaging valid local choices keeps $df (ξ) \geq 0$ — so the only delicate point is the standard form near critical points, which the Morse lemma hands us for free. This is exactly the same patching philosophy by which the Levi-Civita connection of 03.02.19 is glued from local Christoffel data, and it generalises the single-chart gradient of the worked example to an arbitrary cobordism. Putting these together, the flow of $ξ$ identifies the descending disc $W^{u} (p)$ with the core of a handle: the bridge is that integrating a gradient-like field turns "index $λ$ " into "an embedded $λ$ -disc", and that disc reappears again in 03.02.21 as the cell the rearrangement theorem slides past its neighbours.

Exercises Intermediate+

Exercise 3 (medium, short-answer).

Explain why a generic Riemannian gradient $grad_{g} f$ need not satisfy condition 2, and how the proof of the existence theorem repairs this.

Hint

Condition 2 demands the Euclidean gradient form $(- 2 u, 2 v)$ in a Morse chart; $grad_{g} f$ in those coordinates is $g^{- 1}$ applied to $df$ .

Answer

In a Morse chart $df = (- 2 u, 2 v)$ as a covector, but $grad_{g} f = g^{- 1} df$ involves the inverse metric tensor $g^{ij}$ , which equals the identity only if $g$ is Euclidean in those coordinates. A general metric distorts $grad_{g} f$ away from $(- 2 u, 2 v)$ , breaking the standard form. The existence proof repairs this by not using the metric gradient near critical points: it places the exact model field $ξ_{p} = (- 2 u, 2 v)$ on each Morse chart, uses metric gradients only away from the critical set, and patches the two with a partition of unity arranged so that $ξ \equiv ξ_{p}$ near each $p$ . Rubric: full credit for identifying the $g^{- 1}$ distortion and the partition-of-unity patch.

Exercise 4 (medium, short-answer).

Let $f$ have no critical points on the cobordism $W$ . Show that $W$ is diffeomorphic to the product $V_{0} \times [0, 1]$ .

Hint

Take a gradient-like $ξ$ and rescale it to $\overset{ˉ}{ξ} = ξ / ξ (f)$ , so that $f$ increases at unit rate along $\overset{ˉ}{ξ}$ . Flow $V_{0}$ upward.

Answer

With no critical points, $ξ (f) > 0$ everywhere, so $\overset{ˉ}{ξ} = ξ / ξ (f)$ is a smooth field with $\overset{ˉ}{ξ} (f) = 1$ . Its flow $ψ_{s}$ raises $f$ by exactly $s$ : $f (ψ_{s} (x)) = f (x) + s$ . The map $V_{0} \times [0, 1] \to W$ , $(x, s) \mapsto ψ_{s} (x)$ , is well-defined (every trajectory from $V_{0}$ reaches $V_{1}$ at parameter $1$ since $f$ ranges over $[0, 1]$ ), smooth, with smooth inverse $y \mapsto (ψ_{- f (y)} (y), f (y))$ . Hence $W ≅ V_{0} \times [0, 1]$ . Rubric: full credit for the unit-speed rescaling and the explicit product diffeomorphism. This is the base case of the entire $h$ -cobordism programme.

Exercise 5 (hard, short-answer).

Prove that for a gradient-like $ξ$ on an elementary cobordism (single critical point $p$ of index $λ$ ), the descending manifold $W^{u} (p)$ is a properly embedded open $λ$ -disc, and identify $\overline{W^{u} (p)} \cap V_{0}$ .

Hint

Use the local model of Exercise 2 to describe $W^{u} (p)$ near $p$ , then flow outward and use that there are no other critical points to obstruct the embedding.

Answer

Near $p$ the standard form gives $W^{u} (p) = {v = 0}$ , an open $λ$ -disc through $p$ . Flowing backward by $ϕ_{t}$ ( $t < 0$ ) carries this disc downward; since $p$ is the only critical point, every backward trajectory from a point of $W^{u} (p) ∖ {p}$ strictly decreases $f$ and reaches $V_{0}$ in finite time without stalling. The map sending the local disc, via the flow, to its intersections with descending levels is an open embedding because trajectories are disjoint and depend smoothly on initial data (the flow is a diffeomorphism onto its image on each finite time interval). Properness holds because $f$ is proper on the compact $W$ and $W^{u} (p)$ accumulates only at $p$ (top) and on $V_{0}$ (bottom). The boundary slice $\overline{W^{u} (p)} \cap V_{0}$ is the attaching sphere $S^{λ - 1}$ : the limit set as $t \to - \infty$ of the descending disc on $V_{0}$ , a smoothly embedded $(λ - 1)$ -sphere. Rubric: full credit for the local-model embedding, the no-stalling flow argument, and the attaching-sphere identification.

Exercise 6 (hard, short-answer).

Two gradient-like vector fields $ξ_{0}, ξ_{1}$ for the same Morse function $f$ are given. Show they are homotopic through gradient-like fields, and explain why the induced handle decompositions agree up to isotopy.

Hint

The set of gradient-like fields for a fixed $f$ is convex once you check that condition 1 and condition 2 are preserved under straight-line combinations $ξ_{s} = (1 - s) ξ_{0} + s ξ_{1}$ .

Answer

Set $ξ_{s} = (1 - s) ξ_{0} + s ξ_{1}$ for $s \in [0, 1]$ . Condition 1: $df (ξ_{s}) = (1 - s) df (ξ_{0}) + s df (ξ_{1}) > 0$ off the critical set, a positive combination of positives. Condition 2: both $ξ_{0}, ξ_{1}$ equal the model $(- 2 u, 2 v)$ in a common Morse chart (after intersecting their standard-form neighbourhoods), so $ξ_{s} = (- 2 u, 2 v)$ there as well — the convex combination of equal vectors. Hence each $ξ_{s}$ is gradient-like and the family is a homotopy through gradient-like fields. Because the attaching spheres are read off from the flow of $ξ_{s}$ and depend continuously on $s$ , the resulting embeddings of attaching spheres in $V_{0}$ vary by an ambient isotopy (isotopy extension), so the handle decompositions agree up to isotopy. Rubric: full credit for the convexity check on both conditions and the continuity-of-attaching-data argument.

Advanced results Master

The flow of a gradient-like field is the engine that drives the deformation lemmas of Morse theory on a cobordism. The first is the product structure away from critical values: if $[a, b] \subset [0, 1]$ contains no critical value of $f$ , then the rescaled unit-speed field $\overset{ˉ}{ξ} = ξ / ξ (f)$ flows $f^{- 1} (a)$ diffeomorphically onto $f^{- 1} (b)$ , and $f^{- 1} [a, b] ≅ f^{- 1} (a) \times [a, b]$ . This is the global version of the worked product diffeomorphism of Exercise 4, and it is the precise sense in which "nothing topological happens between critical levels"; it is Milnor LHC §3, Lemma 3.2, and the cobordism analogue of the deformation-retraction lemma Milnor proves for closed manifolds in Morse Theory (1963).

The second is the passage through a single critical level. Let $c$ be a critical value with a unique critical point $p$ of index $λ$ . The sublevel $f^{- 1} [0, c + ϵ]$ is obtained from $f^{- 1} [0, c - ϵ]$ by attaching a single $λ$ -handle $D^{λ} \times D^{n - λ}$ along the attaching sphere $S^{λ - 1} = \overline{W^{u} (p)} \cap f^{- 1} (c - ϵ)$ — the descending sphere produced by the very flow analysis of this unit. The framing of the attaching sphere, the extra data the handle needs, is precisely the normal data of the descending disc inside the level set, which the gradient-like field frames through the standard form. This is the smooth upgrade — from CW cell to honest handle — that 03.02.31 and 03.02.20 depend on, and it is here that the Levi-Civita/exponential apparatus pays off: the exponential map $exp_{p}$ of 03.02.19, applied to the standard splitting $T_{p} W = E^{u} \oplus E^{s}$ into the negative and positive eigenspaces of the Hessian, gives the smooth chart in which the handle is glued, identifying a neighbourhood of $p$ with $D^{λ} \times D^{n - λ}$ .

A third refinement concerns uniqueness up to deformation. The space of gradient-like fields for a fixed $f$ is convex (Exercise 6), hence contractible; the space of Morse functions adapted to the boundary is open in $C^{\infty} (W)$ and, restricted to those with a fixed critical structure, connected. Consequently the handle decomposition a cobordism inherits is independent of all auxiliary choices up to handle isotopy and handle slides — the structural fact that lets 03.02.21 rearrange handles by index without changing the diffeomorphism type of $W$ . The gradient-like field is the bookkeeping device; its homotopy invariance is what makes the bookkeeping intrinsic.

The pseudo-gradient generalisation of Palais (1963) replaces the strict normal form by a weaker inequality $⟨ grad f, ξ ⟩ \geq c ∣ grad f ∣^{2}$ and works on infinite-dimensional Hilbert manifolds, where no metric gradient need exist for the flow. On a finite-dimensional cobordism the two notions coincide up to homotopy, but Palais's framework is what carries the deformation lemmas into the variational setting of 03.02.19's path-space Morse theory and, beyond it, into Floer's infinite-dimensional Morse homology.

Synthesis. The gradient-like vector field is the foundational reason the local linear-algebra data of a Morse function — an index $λ$ at each critical point — becomes the global gluing data of a handle decomposition. Its flow identifies the index with the dimension of an embedded descending disc, and the boundary sphere of that disc is exactly the attaching sphere along which the handle of 03.02.20 is glued; this is the central insight that converts Morse theory into surgery. Putting these together, the three deformation lemmas — product structure between critical values, single-handle passage through a critical level, and homotopy-invariance of the whole decomposition — are the precise toolkit on which 03.02.21 builds the rearrangement and self-indexing theory, and on which the $h$ -cobordism programme rests. The Levi-Civita connection and exponential map of 03.02.19 enter not as the object of study but as the smooth scaffolding: $exp_{p}$ supplies the handle chart, the metric supplies a first gradient to deform, and the gradient-like condition is the minimal extra structure that makes the flow's spheres standard. This is exactly the pattern that recurs in 03.15.01, where the same flow on a closed manifold, with a genericity (Morse-Smale) condition added, generates the Morse chain complex — the cobordism story here is the relative, handle-theoretic face of that absolute, homological one.

Full proof set Master

The existence theorem and its partition-of-unity proof are given in full in the Key theorem section. The remaining Master claims are recorded here.

Proposition (product structure between critical values; LHC Lemma 3.2). Let $ξ$ be gradient-like for $f$ on $W$ , and suppose $[a, b]$ contains no critical value. Then there is a diffeomorphism $f^{- 1} [a, b] ≅ f^{- 1} (a) \times [a, b]$ under which $f$ corresponds to the projection onto $[a, b]$ .

Proof. On $f^{- 1} [a, b]$ there are no critical points, so $ξ (f) > 0$ throughout and $\overset{ˉ}{ξ} := ξ / ξ (f)$ is a smooth vector field with $\overset{ˉ}{ξ} (f) \equiv 1$ . Let $ψ_{s}$ be its flow. For $x \in f^{- 1} (a)$ , the curve $s \mapsto ψ_{s} (x)$ satisfies $\frac{d}{d s} f (ψ_{s} (x)) = \overset{ˉ}{ξ} (f) = 1$ , so $f (ψ_{s} (x)) = a + s$ ; the trajectory stays in $f^{- 1} [a, b]$ for $s \in [0, b - a]$ and reaches $f^{- 1} (b)$ at $s = b - a$ . Define $Φ : f^{- 1} (a) \times [a, b] \to f^{- 1} [a, b]$ by $Φ (x, c) = ψ_{c - a} (x)$ . It is smooth (flows are smooth), bijective (every point of $f^{- 1} [a, b]$ lies on a unique trajectory through $f^{- 1} (a)$ , since trajectories are disjoint and each crosses level $a$ once), and has smooth inverse $y \mapsto (ψ_{a - f (y)} (y), f (y))$ . Under $Φ$ , $f (Φ (x, c)) = c$ , the projection. $□$

Proposition (homotopy invariance of the handle decomposition). Any two gradient-like fields $ξ_{0}, ξ_{1}$ for a fixed Morse function $f$ induce handle decompositions of $W$ related by an ambient isotopy; hence the attaching spheres are isotopic and the diffeomorphism type of each sublevel set is independent of the choice.

Proof. By Exercise 6 the straight-line family $ξ_{s} = (1 - s) ξ_{0} + s ξ_{1}$ consists of gradient-like fields, equal to the model $(- 2 u, 2 v)$ in a common Morse chart about each critical point. For a single critical level with critical point $p$ of index $λ$ , the attaching sphere is $A_{s} = \overline{W_{ξ_{s}}^{u} (p)} \cap f^{- 1} (c - ϵ)$ , the descending sphere of $ξ_{s}$ . The discs $W_{ξ_{s}}^{u} (p)$ depend smoothly on $s$ because the flow of $ξ_{s}$ does (smooth dependence of ODE solutions on parameters), so $A_{s}$ is a smooth isotopy of embedded $(λ - 1)$ -spheres in the level set $f^{- 1} (c - ϵ)$ . By the isotopy extension theorem this isotopy extends to an ambient isotopy of the level set, and tubular-neighbourhood uniqueness carries the framings along. The handle attached along $A_{0}$ is therefore ambient-isotopic to the one attached along $A_{1}$ , and the two sublevel sets are diffeomorphic. Iterating across all critical levels (finitely many, by compactness) gives the result for all of $W$ . $□$

Proposition (handle from a single critical level; smooth Morse upgrade). Let $c$ be a critical value of $f$ with a single critical point $p$ of index $λ$ , and no other critical value in $[c - ϵ, c + ϵ]$ . Then $f^{- 1} [0, c + ϵ]$ is diffeomorphic to $f^{- 1} [0, c - ϵ]$ with a $λ$ -handle $D^{λ} \times D^{n - λ}$ attached along the framed embedding of the attaching sphere $S^{λ - 1} = \overline{W^{u} (p)} \cap f^{- 1} (c - ϵ)$ .

Proof. Choose a metric making the Morse chart $(u, v)$ orthonormal at $p$ ; the exponential map $exp_{p}$ of 03.02.19 then identifies a neighbourhood of $p$ with the Euclidean model ${- ∣ u ∣^{2} + ∣ v ∣^{2}}$ , with $T_{p} W = E^{u} \oplus E^{s}$ the splitting into negative and positive Hessian eigenspaces (dimensions $λ$ and $n - λ$ ). In this chart the descending disc is ${v = 0}$ and the standard handle $H = {∣ u ∣ \leq 1, ∣ v ∣ \leq 1}$ sits with its core $D^{λ} \times 0$ along $W^{u} (p)$ and its attaching region $\partial_{-} H = S^{λ - 1} \times D^{n - λ}$ on the level $f = c - ϵ$ (after rescaling $ϵ$ to $1$ ). By the product-structure proposition the region $f^{- 1} [c - ϵ, c + ϵ]$ outside a neighbourhood of $W^{u} (p) \cup W^{s} (p)$ is a product and contributes nothing; inside, the flow of $ξ$ straightens $f^{- 1} [c - ϵ, c + ϵ]$ onto $f^{- 1} (c - ϵ)$ with the handle $H$ glued along $\partial_{-} H$ . The framing is the normal framing of $S^{λ - 1}$ in $f^{- 1} (c - ϵ)$ induced by the $D^{n - λ}$ factor of the standard form, well-defined because the gradient-like field frames the normal bundle of the descending sphere with an identity splitting. $□$

Connections Master

Jacobi fields, conjugate points, and the exponential map 03.02.19 supply the Riemannian scaffolding this unit stands on. The Levi-Civita connection there is the unique torsion-free metric connection whose gradient $grad_{g} f$ is the seed deformed into a gradient-like field; the exponential map $exp_{p}$ there is what converts the Hessian eigenspace splitting $T_{p} W = E^{u} \oplus E^{s}$ into the smooth handle chart $D^{λ} \times D^{n - λ}$ used in the single-handle passage. This unit consumes that apparatus rather than re-deriving it: the distinctive content here is the gradient-like condition, weaker than "metric gradient", which is exactly what makes the descending and ascending spheres standard.

Morse functions, the Morse lemma, and the index 03.02.30 are the direct upstream input. The Morse lemma's normal form $f = c - ∣ u ∣^{2} + ∣ v ∣^{2}$ is what defines the standard form of condition 2 and hence the local model field $(- 2 u, 2 v)$ ; the index $λ$ defined there as the number of negative Hessian eigenvalues becomes here the dimension of the descending disc $W^{u} (p)$ , and the isolatedness of nondegenerate critical points is what makes every gradient-like trajectory converge to a single critical point in each time direction.

Handles, surgery, and the cobordism category 03.02.20 is the immediate downstream consumer. The ascending and descending spheres constructed here from the flow of $ξ$ are the belt and attaching spheres of the handle attached at each critical point; the single-handle passage proposition is the smooth realisation of the elementary cobordism that 03.02.20 takes as its basic morphism. Without a gradient-like field the handle picture there would have no dynamical model, and the surgery on a level set would lack the framing the gradient flow provides.

Rearrangement and self-indexing Morse functions 03.02.21 is the next step in the programme: it permutes the handles produced here by index, using precisely the homotopy-invariance and product-structure lemmas of this unit's Master section, and the independence condition it needs — no $ξ$ -trajectory from one critical point to another — is a statement about the ascending and descending manifolds defined here.

Gradient flow, stable/unstable manifolds, and the Morse-Smale condition 03.15.01 is the closed-manifold, homological counterpart. There the same gradient flow on a closed manifold, with the added genericity hypothesis $W^{u} (p) ⋔ W^{s} (q)$ , generates the Morse chain complex; here the flow lives on a cobordism and serves the relative, handle-theoretic decomposition. The two are flow-reversal and absolute-versus-relative faces of one construction, and the descending discs of this unit are the unstable cells of that one.

Historical & philosophical context Master

The notion of a metric connection compatible with parallel transport was isolated by Tullio Levi-Civita in 1917 (Nozione di parallelismo in una varietà qualunque e conseguente specificazione geometrica della curvatura riemanniana, Rendiconti del Circolo Matematico di Palermo 42, 173–205) ^{[Levi-Civita 1917]}, giving the symmetric metric connection that now bears his name and the geodesics and exponential map built from it; do Carmo's Riemannian Geometry (1992) ^{[do Carmo 1992]} is the modern textbook synthesis of that apparatus. The gradient flow as a tool for reading the topology of a manifold from a height function descends from Marston Morse's critical-point theory of the 1920s, but the specific device of a gradient-like vector field — decoupling the flow from any particular metric, demanding only the sign condition and the standard local form — is John Milnor's, introduced in the 1965 Lectures on the h-Cobordism Theorem (Princeton Mathematical Notes, notes by Siebenmann and Sondow) as Definition 3.1 ^{[Milnor 1965]}. The decoupling is not cosmetic: it is what makes the handle decomposition manifestly independent of the metric and so an intrinsic invariant of the smooth cobordism.

The philosophical content is that geometry is used here as scaffolding for topology and then discarded. A Riemannian metric is chosen to write down a first gradient, but the gradient-like condition keeps only the features of that gradient that survive any reasonable choice — the sign of $df (ξ)$ and the quadratic normal form — and the homotopy-invariance proposition shows that even those choices wash out up to isotopy. Richard Palais's 1963 Morse theory on Hilbert manifolds (Topology 2, 299–340) ^{[Palais 1963]} pushed the same idea into infinite dimensions, where no honest gradient exists and the pseudo-gradient becomes the only available object; that move is what later let Floer transplant Morse theory onto the infinite-dimensional action functionals of symplectic topology. The lesson recurring through this lineage is that the right level of structure for the deformation lemmas is not the metric, nor even its gradient, but the homotopy class of vector fields raising the function — the minimal data that turns a function into a flow.

Bibliography Master

@book{milnor1965hcobordism,
  author    = {Milnor, John},
  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}
}

@book{docarmo1992,
  author    = {do Carmo, Manfredo Perdig\~ao},
  title     = {Riemannian Geometry},
  publisher = {Birkh\"auser, Boston},
  year      = {1992},
  note      = {Translated by Francis Flaherty}
}

@article{palais1963,
  author  = {Palais, Richard S.},
  title   = {Morse theory on {H}ilbert manifolds},
  journal = {Topology},
  volume  = {2},
  number  = {4},
  pages   = {299--340},
  year    = {1963}
}

@article{levicivita1917,
  author  = {Levi-Civita, Tullio},
  title   = {Nozione di parallelismo in una variet\`a qualunque e conseguente specificazione geometrica della curvatura riemanniana},
  journal = {Rendiconti del Circolo Matematico di Palermo},
  volume  = {42},
  pages   = {173--205},
  year    = {1917}
}

@book{milnor1963morse,
  author    = {Milnor, John},
  title     = {Morse Theory},
  series    = {Annals of Mathematics Studies},
  volume    = {51},
  publisher = {Princeton University Press},
  year      = {1963},
  note      = {Based on lecture notes by M. Spivak and R. Wells}
}

Prerequisites

03.02.19
03.02.20
03.02.30

Tier anchors

beginner: Milnor Lectures on the h-Cobordism Theorem §3 (informal gradient picture); do Carmo Riemannian Geometry Ch. 2-3 (connection, exponential map)
intermediate: Milnor Lectures on the h-Cobordism Theorem §3 (Defn 3.1, gradient-like vector fields); do Carmo Riemannian Geometry Ch. 2-3 (Levi-Civita, exp)
master: Milnor Lectures on the h-Cobordism Theorem §§3-4; Palais Morse Theory on Hilbert Manifolds (1963); do Carmo Riemannian Geometry Ch. 3, 7

References

Milnor — Lectures on the h-Cobordism Theorem (Princeton Mathematical Notes, 1965) · §3 Definition 3.1 (gradient-like vector field), Lemmas 3.1-3.4; notes by L. Siebenmann and J. Sondow
do Carmo — Riemannian Geometry (1992) · Ch. 2 (affine and Levi-Civita connections, Thm 3.6 fundamental lemma), Ch. 3 (geodesics, exponential map), Ch. 7 (completeness)
Palais — Morse theory on Hilbert manifolds (1963) · Topology 2, pp. 299--340; pseudo-gradient vector fields and the deformation lemma without local compactness
Levi-Civita — Nozione di parallelismo (1917) · Rendiconti del Circolo Matematico di Palermo 42, pp. 173--205; the parallel-transport definition of the symmetric metric connection

Estimated time

beginner: 15m
intermediate: 35m
master: 70m