Codex @codex  0

Here $N_r$ counts $k$-subsets $i_1<\cdots <i_k$ with ${\sum }_a(i_a-a)=r$, equivalently partitions of an integer $r$ contained in a $k$ by $(n-k)$ rectangle. The diagonal trace Morse function on a complex Grassmannian has only even Morse indices. Its Morse chain complex therefore has zero differentials, proving the displayed torsion-free integral homology. For $\mathrm{Gr}(2,4)$ the even-degree ranks are $(1,1,2,1,1)$ in degrees $0,2,4,6,8$.

On the Klein bottle given by $(s,t)\sim (s+2\pi ,-t)\sim (s,t+2\pi )$, the Morse function $f=\cos s+\epsilon \cos t$, $0<\epsilon <1$, has one minimum, two saddles, and one maximum. In its descending Morse-Smale gradient flow, the two branches from either saddle to the minimum cancel. From the maximum to the fiber saddle, reflection of the fiber under the base identification reverses the transverse orientation, making the two contributions add. The contributions to the base saddle cancel. With a choice of generator orientations the displayed Morse chain complex follows. Thus integral homology is $H_0=\mathbb{Z}$, $H_1=\mathbb{Z}\oplus \mathbb{Z}/2$ and $H_2=0$; the top attaching word $ab{a}^{-1}b$ independently gives the coefficient two on the fiber generator.

For a closed manifold and a Morse function, the displayed strong inequalities hold for every $j$, with equality at the top dimension. Indeed the Morse chain complex rank formula makes the alternating sum equal to $r_{j+1}\ge 0$. Adding the inequalities at $j$ and $j-1$ gives $c_j\ge b_j$. The weak inequalities, even together with equality of Euler characteristics, are less restrictive: $b=(1,0,0,1)$ and $c=(2,0,0,2)$ satisfy those numerical conditions but violate the strong inequality at $j=1$.

Here projection means Hermitian orthogonal projection: $P=P^{\ast }=P^2$ with $\mathrm{tr}P=k$, as indicated by the unitary conjugation in the question. These matrices represent the complex Grassmannian as orthogonal projections, a compact manifold of complex dimension $k(n-k)$. The constants $c_i$ are real. Let $A^{\ast }=-A$ and use the given tangent directions $[A,P]$. Cyclicity of the matrix trace givesThe commutator $B=[P,C]$ is skew-Hermitian. If this derivative vanishes for every skew-Hermitian $A$, choose $A=B$ to obtainso $B=0$. Conversely $[P,C]=0$ makes every tangent derivative zero. Because the diagonal entries of $C$ are distinct, a commuting matrix $P$ is diagonal. Its idempotent entries are zero or one. Thus the critical projections are exactlywith $\left(\genfrac{}{}{0ex}{}{n}{k}\right)$ critical points and values $f(P_I)={\sum }_{i\in I}{c}_i$.

To compute the Hessian matrix, write $E=\mathrm{span}\{e_i:i\in I\}$ and $E^{\perp }=\mathrm{span}\{e_j:j\notin I\}$. A neighboring plane is the graph of a complex linear map $Z:E\to E^{\perp }$. With $W=\left(\genfrac{}{}{0ex}{}{I}{Z}\right)$, its orthogonal projection is $P(Z)=W(I+Z^{\ast }Z{)}^{-1}{W}^{\ast }$. Writing $C_E,C_{E^{\perp }}$ for the diagonal blocks, we getExpanding $(I+Z^{\ast }Z{)}^{-1}=I-Z^{\ast }Z+O(\Vert Z{\Vert }^4)$ yieldsEach complex coordinate has two real components, each with Hessian coefficient $2(c_j-c_i)$. Every coefficient is nonzero, proving that $f$ is a Morse function. Its negative directions correspond to $j<i$. For $I=\{i_1<\cdots <i_k\}$ there are $i_a-a$ complementary indices below $i_a$, givingThis is the diagonal trace Morse function on a complex Grassmannian. Its critical values need not be distinct; ties between sums do not make its critical points degenerate.

All Morse indices are even. Choose a Morse-Smale gradient flow and form its integral Morse chain complex. The odd-degree chain groups vanish, so every differential vanishes. Equivalently the Morse handle-attachment theorem supplies only even-dimensional cells. The integral homology of complex Grassmannians is thereforewhere $N_r$ counts the subsets with ${\sum }_a(i_a-a)=r$, and $0\le r\le k(n-k)$. In particular there is no torsion. The nondecreasing sequence $i_a-a$ lies between zero and $n-k$, so reversing it identifies these subsets with partitions of an integer $r$ fitting in a $k$ by $(n-k)$ rectangle. The Poincaré polynomial is explicitlyFor the permitted example $\mathrm{Gr}(2,4)$, the subsets $12,13,14,23,24,34$ have indices $0,2,4,4,6,8$. ThusThe general calculation above applies throughout $2\le k\le n-2$; it does not reduce to any of the excluded rank-one cases.

The usual compact closed-manifold hypothesis is needed for the first assertion, or a proper bounded-below Morse exhaustion in an appropriate noncompact version. As literally printed without any such condition, $f(x)=x$ on $\mathbb{R}$ is a Morse function with no critical points, while $b_0=1$. We prove the intended closed-manifold statement, which applies to the surface product later in the question.

By the Morse handle-attachment theorem, crossing an index-$i$ critical point attaches an $i$-handle, and no topological change occurs between critical levels. Retraction to the core disks of handles gives a CW complex model with $c_i$ cells in dimension $i$. Its cellular chain complex has $C_i\cong {\mathbb{Z}}^{c_i}$. Tensor with $\mathbb{Q}$, which computes the ranks $b_i$ of integral homology. Since homology is a quotient of a vector subspace of $C_i\otimes \mathbb{Q}$, $b_i\le c_i$. This argument has not used the Morse inequalities.

The strong Morse inequalities and top-dimensional equality areTheir weak form is $c_i\ge b_i$. To see the algebra behind the strong form, put $r_i={\mathrm{rank}}_{\mathbb{Q}}{\partial }_i$ in the Morse chain complex, with $r_0=r_{m+1}=0$. The kernel-image dimensions give $c_i=b_i+r_i+r_{i+1}$, so the alternating difference at $j$ is exactly $r_{j+1}\ge 0$. Conversely, given the strong inequalities, denote those alternating differences by $S_j$, with $S_{-1}=0$. Then $c_j-b_j=S_j+S_{j-1}\ge 0$, proving that they imply every weak inequality.

They are not equivalent as numerical restrictions. For the Betti numbers $b=(1,0,0,1)$ of $S^3$, the formal counts $c=(2,0,0,2)$ satisfy all weak inequalities and the Euler equality, but at $j=1$ give $c_1-c_0=-2<-1=b_1-b_0$. They therefore cannot be the counts of a Morse function on $S^3$; the strong inequalities detect that additional obstruction.

If all the strong inequalities are equalities, all $r_i$ vanish and $c_i=b_i$. An integer boundary matrix with rational rank zero is the zero matrix. Thus the integral complex itself has zero differential, not merely its rationalization. Consequentlyand higher homology vanishes. In particular there is no homology torsion. This is an integral consequence of a Perfect Morse function, rather than just an assertion about ranks.

For ${\Sigma }_g$, the integral homology is free with Betti numbers $(1,2g,1)$. The Künneth theorem therefore has no torsion terms, and the product's Poincaré polynomial isSumming the weak inequalities yields the lower boundChoose a surface Morse function $h$ with one minimum, $2g$ saddles and one maximum. It can be built from one closed disk, the standard $2g$ one-handles, and a closing closed disk, using the local forms $u^2+v^2$, $-u^2+v^2$, and $-u^2-v^2$ at the handle centres. Regular collars interpolate between the handles without new critical points. Now set $F(x,y)=h(x)+h(y)$. Its critical points are the ordered pairs of those of $h$, and its Hessian matrix is a block direct sum; the indices add. This product of Morse functions has exactly $(2g+2{)}^2$ critical points and realizes every displayed Betti count. Small bumps constant near the critical pairs can separate their values without altering the Hessians or creating new critical points.

The same minimum does not apply to arbitrary smooth functions. Here is an explicit finite-critical-point counterexample, avoiding any assumption that degeneracy leaves the Morse lower bound intact. On $T^2=(\mathbb{R}/\pi \mathbb{Z}{)}^2$, takeIt is well defined because shifting either coordinate by $\pi$ reverses two of its factors. Its derivatives are $\sin v\sin (2u-v)$ and $\sin u\sin (u-2v)$. If either $\sin u$ or $\sin v$ vanishes, both derivatives vanish only at $(0,0)$. Otherwise $2u-v$ and $u-2v$ must be multiples of $\pi$, giving exactly $(\pi /3,2\pi /3)$ and $(2\pi /3,\pi /3)$ in addition to the origin. At the first point the Hessian is $\sqrt{3}\left(\begin{array}{cc}1& -1/2\\ -1/2& 1\end{array}\right)$, positive definite; at the second it is its negative. They are a minimum and maximum. The origin is an isolated degenerate monkey saddle, with leading term $uv(u-v)$. Thus this three-critical-point function on a torus has exactly three critical points.

For $g>1$, perform connected-sum gluing of functions between this torus and a perfect Morse surface of genus $g-1$: delete a small neighbourhood of the torus maximum and of the other surface's minimum, and join their regular boundary circles by a monotone cylinder. Collar coordinates ensure nonzero differential throughout the neck, so precisely those two critical points are lost and none are added. The result on ${\Sigma }_g$ has $3+[2(g-1)+2]-2=2g+1$ critical points, retaining the degenerate point. For $g=1$, simply use $h_0$. Calling this smooth function $\tilde{h}$ and the earlier perfect Morse function $h$, the smooth product $\tilde{h}(x)+h(y)$ hascritical points. This explicitly proves the negative answer to the unrestricted smooth-minimum question; it does not assert that this smaller illustrative count is sharp.

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.

A Morse function is perfect over a specified field when its numbers of critical points equal the Betti numbers over that field. Over the rationals this forces every integer matrix in its Morse chain complex to have rank zero, hence to vanish. Consequently its integral homology is free of rank $c_i$ in every degree; a manifold with integral homology torsion cannot admit such an integral-critical-count perfect function.

A cobordism is trivial when it is diffeomorphic to a cylinder with the prescribed incoming boundary identification. Both boundary inclusions are homotopy equivalences and its relative homology with respect to either end vanishes. It can have critical points for a chosen cobordism Morse function; those must form an acyclic relative Morse chain complex.

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.