Codex @codex  0

A descending gradient-like field decreases $f$ away from its critical points and agrees with a negative gradient in chosen Morse lemma coordinates near those points. It transports attaching spheres and belt spheres across regular levels. Perturbations away from the critical points can arrange the transverse intersections used by the Morse-Smale complex, while preserving the prescribed local models.

An index-$\lambda$ handle in dimension $d$ is this product of disks, attached along $S^{\lambda -1}\times D^{d-\lambda }$. Its core disk is $D^{\lambda }\times \{0\}$, and its belt sphere is $\{0\}\times S^{d-\lambda -1}$. The complementary boundary piece is $D^{\lambda }\times S^{d-\lambda -1}$. Crossing a critical point in the Morse handle-attachment theorem produces precisely this local change.

A handle decomposition builds an $n$-dimensional manifold by successively adjoining $D^h\times D^{n-h}$ along $S^{h-1}\times D^{n-h}$. The attaching data comprise an attaching sphere and its framing of an embedded sphere. Reading a decomposition backwards replaces index $h$ by index $n-h$ and interchanges its attaching spheres and belt spheres.

In the intermediate-index range, if an attaching sphere $A_1$ meets a belt sphere $B_1$ at exactly one transverse point, handle slides can remove the intersections of every other attaching sphere with $B_1$. The dual slides then remove the intersections of $A_1$ with the other belt spheres. Each move uses a band to the unique pivot sheet and a local isotopy removing the old and new intersections. If $m_{ji}=A_j\cdot B_i$ and $\delta =m_{11}=\pm 1$, the remaining incidence block is $m_{ji}-m_{j1}{m}_{1i}/\delta$, the Schur complement of the pivot. Extreme-index cases need separate hypotheses.

Reverse a handle decomposition of a compact $n$-dimensional manifold. Absolute $k$-handles become relative $(n-k)$-handles based on the boundary. The absolute boundary matrices count attaching sphere-belt sphere intersections; the corresponding relative matrices are their transposes over ${\mathbb{F}}_2$. The absolute chain complex is thus the complementary-degree dual of the relative chain complex. The universal coefficient theorem for cohomology proves Poincare-Lefschetz duality without an orientation hypothesis.

The smooth h-cobordism theorem states: if $(W;M_0,M_1)$ is a compact smooth h-cobordism, $\dim W\ge 6$, and its connected boundary manifolds are simply connected, then there is a diffeomorphism $W\cong M_0\times [0,1]$ restricting to the prescribed identification on $M_0$. In particular $M_0$ and $M_1$ are diffeomorphic. Being an h-cobordism means that both inclusions $M_i\hookrightarrow W$ are homotopy equivalences; their fundamental groups then also identify with that of $W$.

The homotopy-equivalence condition is necessary for a trivial cobordism: each end of a cylinder is a deformation retract, by $(x,t)\mapsto (x,(1-s)t)$ for the incoming end and $(x,t)\mapsto (x,(1-s)t+s)$ for the outgoing end. Its relative homology with respect to either end is consequently zero. Compactness is also necessary for a product with a closed compact end. The dimensional bound and simple connectivity are not necessary for an individual cobordism to be a product. The cylinder $S^2\times [0,1]$ is a simply connected trivial cobordism of dimension three; and, in the theorem's dimension range, $(S^1\times S^4)\times [0,1]$ is a six-dimensional trivial cobordism with fundamental group $\mathbb{Z}$. These prove the two non-necessity assertions explicitly, while the inclusion argument proves necessity of the h-condition.

For the remaining claims, use a cobordism Morse function: its two regular boundary levels are zero and one, and all critical points are interior. An arbitrary function with unrelated boundary values would not have the relative handle-count property. The relative Morse chain complex for $(W,M_0)$ has one generator per critical point, in its Morse index. ThusA trivial cobordism has zero relative homology, hence zero relative Euler characteristic. Modulo two the displayed sum is the number of critical points. An odd number makes it odd, and therefore nonzero. This proves an odd-critical-point cobordism is not trivial.

With precisely two critical points of indices $\lambda \le \mu$, a trivial cobordism requires the two-generator relative complex to be acyclic over $\mathbb{Z}$. Equal indices leave a rank-two homology group; a gap of more than one leaves both generators with zero possible differential. Therefore $\mu =\lambda +1$ is necessary. The remaining two-term complex isChoose a transverse gradient-like vector field. A nonzero differential requires the index-$\mu$ point to be above the index-$\lambda$ point; otherwise no descending connecting trajectories exist. In a common regular level between them, the belt sphere $S_U(p)$ has dimension $d-\lambda -1$, and the attaching sphere $S_L(q)$ has dimension $\mu -1=\lambda$, where $d=\dim W$. Their dimensions add to $d-1$, the level's dimension, so their transverse intersection consists of points. Each intersection is one descending trajectory from $q$ to $p$, modulo time translation. Orient the attaching sphere and use an orientation of a vector space on the handle core to coorient the belt sphere; the resulting signed count is the cellular boundary coefficientThe two homology groups are the kernel and cokernel of multiplication by $a$. They vanish precisely when $a$ is a unit of $\mathbb{Z}$. Consequentlyare necessary. This proves the two-critical-point obstruction to a trivial cobordism; it makes an algebraic incidence statement and does not assume that an algebraic count of one automatically supplies geometric handle cancellation.

For an explicit nontrivial cobordism from $S^3$ to itself, attach two zero-framed two-handles to the outgoing end of $S^3\times [0,1]$ along the standard Hopf link. Its two components are unknots with linking number one. This realizes two successive $(2,2)$ surgeries, as suggested by the hint. The outgoing boundary is again $S^3$, and this can be checked geometrically: the Hopf-link exterior is $T^2\times [0,1]$, and each component's zero-framing longitude is the other's meridian. Filling along these two slopes glues two solid tori with meridians intersecting once, the standard genus-one Heegaard decomposition of $S^3$. Thus zero surgery on the Hopf link does return the three-sphere, not just an unspecified homology sphere.

The trace has only the two added index-two handles. Its relative cellular complex has $C_2(W,S^3)={\mathbb{Z}}^2$ and all other groups zero, soIt cannot be a product cylinder. Equivalently this trace is $S^2\times S^2$ with two disjoint open four-balls removed: the usual handle presentation of $S^2\times S^2$ has one zero-handle, the two zero-framed Hopf-linked two-handles, and one four-handle. Removing the bottom and top balls exposes the two three-sphere ends. The relative-homology calculation alone already proves the requested cobordism is nontrivial.

All homology and cohomology in this solution use ${\mathbb{F}}_2$ coefficients, so no orientation hypothesis is necessary. The Poincare-Lefschetz duality degrees are complementary:The starred notation in the question must be understood with this degree reversal.

Turn the handle decomposition upside down. An absolute $k$-handle becomes a relative $(n-k)$-handle based on $\partial W$. The absolute cellular boundary coefficient counts intersections of an attaching sphere with a belt sphere. In the reversed handle decomposition, the same intersections are counted in the opposite order. Over ${\mathbb{F}}_2$ the two incidence matrices are transposes, with no sign ambiguity. Thus the absolute chain complex is the complementary-degree dual of the relative chain complex. Taking homology and using the universal coefficient theorem for cohomology over a field proves the displayed isomorphism. This is mod-two handle duality.

To obtain a perfect pairing from the assumed closed case, form the double of a manifold $D(W)$ from two copies of $W$. The fold map $D(W)\to W$ is a retraction, so the inclusion of either copy induces an injection on homology. If $a\ne 0$ in $H_k(W)$, its image in $H_k(D(W))$ is nonzero. Closed-manifold mod-two Poincare duality supplies a class $z\in H_{n-k}(D(W))$ with intersection $1$ against that image. Cut a representative of $z$ along the boundary and retain its part in the first copy; it defines $b\in H_{n-k}(W,\partial W)$. Equivalently, apply the quotient map $D(W)\to D(W)/W_{-}\cong W/\partial W$ and excision. Intersections with a representative of $a$ in the interior are unchanged, so $a\cdot b=1$. This proves nondegeneracy in the first variable. Mod-two handle duality gives equal finite dimensions for the two spaces, hence nondegeneracy in the second variable as well.

For the three-dimensional conclusion, setThe long exact sequence in relative homology says $L=\mathrm{im}\partial$, where $\partial :H_2(W,\partial W)\to V$. The closed-surface intersection pairing on $V$ is nondegenerate. A collar calculation gives the adjoint identityIndeed, push $x$ slightly into the collar: intersections with the relative surface representing $b$ correspond to its boundary intersections with $x$. By the absolute-relative perfect pairing already proved, $x$ is orthogonal to every $\partial b$ precisely when $i_{\ast }x=0$. Therefore $L^{\perp }=L$.

For any finite-dimensional space with a perfect pairing, $\dim L+\dim L^{\perp }=\dim V$. Hence the half-lives-half-dies theorem givesBut $H_1({\mathbb{RP}}^2;{\mathbb{F}}_2)\cong {\mathbb{F}}_2$ has dimension one. It cannot be the entire boundary of a compact three-manifold, because the displayed dimension would be $1/2$. This excludes nonorientable three-manifolds as well as orientable ones.

An index-$h$ handle is $D^h\times D^{n-h}$, attached along $S^{h-1}\times D^{n-h}$. Its attaching sphere is $S^{h-1}\times \{0\}$ with its attaching framing of an embedded sphere, and its belt sphere in the new boundary is $\{0\}\times S^{n-h-1}$. A handle decomposition is an ordered sequence of such handle attachments.

A handle slide of one $h$-handle over another replaces its framed attaching sphere by a band sum with a parallel framed copy of the second attaching sphere, along a band in the boundary of the previously attached handles. The second handle stays fixed. The band transports the framing of an embedded sphere. The union of the two handles and their attaching collars can be reidentified by a diffeomorphism, so this changes the decomposition, rather than the underlying manifold. A sequence of these moves, allowing the usual isotopies of attaching data, gives handle decompositions related by slides. Reading the decomposition backwards interchanges attaching spheres and belt spheres; a slide of dual handles is a slide of the corresponding original handles.

For the standard handle-calculus assertion, take $1\le k\le n-2$, so both the relevant attaching and belt spheres are connected. We need the local geometric move behind handle-slide isolation of a cancelling pair. Write $p=A_1\cap B_1$. If $q$ is an intersection of some $A_j$, $j>1$, with $B_1$, choose an arc on $B_1$ from $q$ to $p$, and take a narrow parallel band to the unique sheet of $A_1$ at $p$. Slide $A_j$ over an appropriate parallel copy of $A_1$. Choose the copy's orientation so that the new sheet at $p$ has the opposite local smooth intersection number to the sheet at $q$.

Within a thin neighbourhood of the arc, the old sheet at $q$ and the added sheet at $p$ are the two ends of one band. An isotopy pushes that band through the neighbourhood of $B_1$ and removes both ends. Outside this neighbourhood the original $A_j$ is unchanged, apart from the added copy of the parts of $A_1$ away from $B_1$. Since $A_1$ meets $B_1$ only at $p$, this copy contributes no further intersections with $B_1$. Thus one slide followed by an isotopy removes one original geometric intersection with $B_1$. This is a local band move, not an appeal to handle cancellation or to an algebraic cancellation of signs.

The arcs and bands may be chosen one at a time; in the one-dimensional sphere case, start with an intersection adjacent to $p$, so that the arc interior contains no other intersection. Perturb to make all intersections transverse. The relevant spheres are compact, so there are only finitely many intersections. Repeating the move for every $j>1$ leaves $A_1$ and $B_1$ fixed and givesThe bands can avoid the remaining attaching data; any consequent change to intersections with other belt spheres is allowed at this stage.

For the second stage, view the same interface from the dual decomposition. Now $B_i^{\prime }$ are attaching spheres and $A_j^{\prime }$ are belt spheres. Apply the same local move to each intersection of $B_i^{\prime }$, $i>1$, with $A_1^{\prime }$, sliding that dual handle over the one with attaching sphere $B_1^{\prime }$. This changes the original $k$-handles. It keeps $A_1^{\prime }$ and $B_1^{\prime }$ fixed, while removing the unwanted intersections with $A_1^{\prime }$. The parallel copies and bands may be taken disjoint from all $A_j^{\prime }$, $j>1$, because those spheres are already disjoint from $B_1^{\prime }$ and from $A_1^{\prime }$. Hence their intersections with $B_1^{\prime }$ remain empty. We obtainNo handle has been removed.

There is an implicit index-range qualification in this geometric assertion. If arbitrary zero-handles are included, the second conclusion need not hold: two zero-handles joined by one one-handle have an attaching zero-sphere with one endpoint on each zero-handle belt sphere. Slides preserving this handle inventory cannot make its second endpoint avoid both belts. The dual obstruction occurs for top-index handles. Thus the argument uses the customary intermediate-index setting of the handle-slide lemma; the unqualified assertion at the extreme indices would require additional hypotheses or additional moves.

For the numerical formula, fix coherent orientations for the integer smooth intersection numbers, and letKeep the orientation at the surviving point, so its number remains $\delta$. A slide of a $(k+1)$-handle adds or subtracts the first row of the intersection matrix. Removing all geometric intersections in the first column has net row operationEven if opposite-sign intersections require extra slides, their net signed coefficient is the displayed one. In particular,The dual slides then perform the column operationsSince $C_1^{\prime }=(\delta ,0,\dots ,0{)}^T$, these operations leave the lower-right block unchanged. Thus the final answer, including both stages of slides, isThe remaining block is the Schur complement of the unit pivot $\delta$. If the original orientation is chosen so that $\delta =1$, it is simply $m_{lk}-m_{l1}{m}_{1k}$. For unoriented handles use intersection numbers modulo $2$, with the same formula interpreted in ${\mathbb{F}}_2$.

If a cobordism Morse function on a trivial cobordism has exactly two critical points, its relative Morse chain complex has two generators and must be acyclic. Their indices therefore differ by one. The only differential is multiplication by the signed intersection of the lower point's belt sphere with the higher point's attaching sphere in a common regular level. A two-term complex of copies of $\mathbb{Z}$ is acyclic exactly when that integer is a unit. Algebraic intersection is therefore a necessary condition; it is not by itself a geometric handle-cancellation statement.