Codex @codex  0

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.

The free chain group in degree $i$ has one oriented generator for each index-$i$ critical point. A cellular chain complex obtained from the Morse handle-attachment theorem computes the integral homology. Under the Morse-Smale gradient flow condition its differential can instead be obtained by signed counts of connecting trajectories. Over a field, if $r_i$ is the rank of ${\partial }_i$, then $c_i=b_i+r_i+r_{i+1}$. This identity implies both weak and strong Morse inequalities.

Here $n(p,q)$ is the signed number of unparametrized trajectories of a Morse-Smale gradient flow from $p$ to $q$. Compactifying one-dimensional trajectory moduli spaces gives ${\partial }^2=0$. The generators coincide with the cells furnished by the unstable manifolds, and the trajectory count is their cellular incidence number, so the complex computes integral homology.

A Morse function is a smooth real-valued function all of whose critical points have nonsingular Hessian matrices. We use the descending convention for a gradient-like vector field $V$: away from critical points, $df(V)<0$, and near a critical point of Morse index $\lambda$, in Morse lemma coordinates $f=f(p)-|u{|}^2+|v{|}^2$, the field can be chosen as $V=(2u,-2v)$.

For its flow ${\varphi }_t$, define the unstable manifold $W^u(p)=\{x:{\lim }_{t\to -\infty }{\varphi }_t(x)=p\}$ and the stable manifold $W^s(q)=\{x:{\lim }_{t\to +\infty }{\varphi }_t(x)=q\}$. Their dimensions are $\mathrm{ind}p$ and $m-\mathrm{ind}q$. The Morse-Smale transversality condition isFor a closed manifold, this lets us form the Morse-Smale complex over $\mathbb{Z}$. Orient each unstable manifold and takeThe transverse intersection for an index difference of one is one-dimensional; quotienting by flow time gives a finite set of trajectories, and $n(p,q)$ counts them with orientation signs. Compactifying the one-dimensional spaces of trajectories for an index difference of two adds broken trajectories. Their oriented boundary count is zero, giving ${\partial }^2=0$. The descending cells are the unstable manifolds, and these counts are the incidence numbers of the corresponding cellular chain complex, so the homology of this complex is $H_{\ast }(M;\mathbb{Z})$. Ambient orientability is unnecessary: orientations of the unstable cells provide the requisite coorientations and trajectory signs.

For the Klein bottle, use the quotient of ${\mathbb{R}}^2$ by $(s,t)\sim (s+2\pi ,-t)$ and $(s,t)\sim (s,t+2\pi )$. A model of the standard four-critical-point height function isIt is well defined under both identifications. Its critical points, their Morse indices, and critical values areThe Hessian matrix is diagonal with entries $-\cos s$ and $-\epsilon \cos t$, so each point is nondegenerate. The flat quotient metric gives descending equations $\dot{s}=\sin s$, $\dot{t}=\epsilon \sin t$. Their saddle separatrices are the coordinate lines; the two saddle-to-saddle intersections are empty, and all remaining stable and unstable intersections are transverse. This is a Morse-Smale gradient flow. If one insists on the exact local-model version of a gradient-like vector field above, change the two coordinate speeds near the critical points to the standard quadratic-model speeds. This preserves the separatrices, signs and transversality.

Both branches of either saddle flow to the minimum with opposite endpoint signs, so $\partial a=\partial b=0$. From the maximum to $a$, the two trajectories lie on $s=0$ and approach $t=\pi$ from opposite directions. The identification in $t$ is a translation, so their incidence signs are opposite and cancel. The two trajectories to $b$ lie on $t=0$ and approach $s=\pi$ from opposite directions. The identification in $s$ reverses the transverse $t$-coordinate, reversing one additional orientation sign. These two contributions consequently have the same sign. Choosing the orientation of $b$ gives $\partial q=2b$.

One can check the coefficient directly from the cell attachment of the top cell: its boundary word is $ab{a}^{-1}b$, with exponent sums zero on the base loop $a$ and two on the fiber loop $b$. Thus the integral Morse complex of the Klein bottle isandCounting trajectories without signs, or working only modulo two, would miss the order-two class.

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.

Choose real constants $a_0<a_1<\cdots <a_m$ and define the smooth homogeneous quotientIt is unchanged by nonzero rescaling, so it is well defined on Real projective space. On the unit sphere its differential vanishes on the tangent space precisely when $Ax$ is proportional to $x$, where $A=\mathrm{diag}(a_0,\dots ,a_m)$. The entries are distinct, so the only critical projective lines are $p_i=[e_i]$. In the affine chart $x_i=1$, write $u_j=x_j/x_i$ for $j\ne i$. ThenIts Hessian at zero is diagonal with entries $2(a_j-a_i)$. Exactly $i$ are negative, and none vanish. Thus this is a Morse function with one critical point $p_i$ of index $i$ for every $0\le i\le m$.

Choose the quotient of the round metric on the unit sphere. The downward gradient flow has sphere equation ${\dot{x}}_j=-2(a_j-f(x))x_j$ and projective solutionNormalization to the unit sphere supplies the common positive factor. As $t\to +\infty$, the smallest index with nonzero coordinate dominates; as $t\to -\infty$, the largest dominates. ConsequentlyThese are its unstable manifolds and stable manifolds. If $j\ge k$, the tangent directions in $W^u(p_j)$ allow coordinates $0,\dots ,j$, and those in $W^s(p_k)$ allow $k,\dots ,m$, modulo the common projective line. Together they span the full tangent space at every intersection. If $j<k$ the intersection is empty. Thus the flow is a Morse-Smale gradient flow, with no generic perturbation needed.

Orient each unstable manifold using its affine coordinates. The Morse-Smale complex has $C_i=\mathbb{Z}{p}_i$; its differential counts oriented unparametrized connecting trajectories of index difference one. A trajectory from $p_i$ to $p_{i-1}$ has only coordinates $x_{i-1},x_i$ nonzero, and there are exactly two, distinguished by the sign of $x_{i-1}/x_i$. Each sign branch is a single orbit modulo time translation.

To calculate their signs rather than merely count two, use the characteristic closed disk of the unstable cell: the closed upper hemisphere of $S^i$ with $x_i\ge 0$, followed by projection onto ${\mathbb{RP}}^i$. Its interior is $W^u(p_i)$, and its boundary map is the antipodal double cover $S^{i-1}\to {\mathbb{RP}}^{i-1}$. After collapsing ${\mathbb{RP}}^{i-2}$, its degree on the $(i-1)$-cell is the sum of the degrees of the two sheets. Comparing the sheets by the antipodal map on $S^{i-1}$ gives relative orientation $(-1{)}^i$: it is induced by $-I$ on ${\mathbb{R}}^i$, whose determinant is $(-1{)}^i$. Thus the two trajectory signs add to $1+(-1{)}^i$, up to the choice of generator orientations. The projective quadratic Morse complex is thereforeIn particular ${\partial }_1=0$, as required for the connected one-dimensional skeleton. The signed trajectory count agrees with this attaching-map incidence calculation, so it computes integral rather than only mod-two homology.

For $m\ge 1$, taking kernels modulo images givesFor example, an odd interior-degree generator has zero outgoing differential but twice itself is the image from the next degree; an even positive-degree differential is injective. At the top there is no incoming differential, leaving a copy of $\mathbb{Z}$ exactly when $m$ is odd. For $m=0$ the space is one point and only $H_0=\mathbb{Z}$ remains. This recovers the cellular homology of real projective space by explicitly constructing its Morse-Smale complex and signs.