ScalingStacks

6.1 Notations from Morse theory [03RZ]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context Β· Original author HTML

6.1 Notations from Morse theory

Let (Y,gY)(Y,g_{Y}) be a compact oriented Riemannian manifold of dimension nn, f:Y→𝐑f:Y\to{{\bf R}} be a smooth Morse function. We will denote the set of critical points of ff by C​r​(f)Cr(f). If x∈C​r​(f)x\in Cr(f), we will denote by UxU_{x} (resp. SxS_{x}) the unstable (resp. stable) submanifolds associated with xx. Namely, Ux={y∈Y|l​i​mtβ†’+βˆžβ€‹eβˆ’t​g​r​a​d​(f)​y=x}U_{x}=\{y\in Y|\,lim_{t\to+\infty}e^{-t\,grad(f)}y=x\}, and Sx={y∈Y|l​i​mtβ†’+βˆžβ€‹et​g​r​a​d​(f)​y=x}S_{x}=\{y\in Y|\,lim_{t\to+\infty}e^{t\,grad(f)}y=x\}.

Let i​n​d​(x)ind(x) be the Morse index of xx, i.e. the negative rank of the quadratic form (βˆ‚2f)|TxY,x∈Cr(f)({\partial}^{2}f)_{|T_{x}Y},x\in Cr(f). The manifolds SxS_{x} and UxU_{x} are diffeomorphic to open balls of dimensions i​n​d​(x)ind(x) and nβˆ’i​n​d​(x)n-ind(x) respectively. It follows that the cohomology of SxS_{x} with compact support is a graded vector space with the only non-zero 11-dimensional component in degree i​n​d​(x)ind(x): Hcβˆ—β€‹(Sx)≃𝐙⁑[βˆ’i​n​d​(x)]H^{\ast}_{c}(S_{x})\simeq{{\bf Z}}[-ind(x)]. A choice of generator defines an orientation of SxS_{x}. If the function ff satisfies Morse-Smale transversality condition, i.e. for any x,y∈C​r​(f)x,y\in Cr(f) the manifolds SxS_{x} and UyU_{y} intersect transversally, then Y=βŠ”x∈C​r​(f)SxY=\sqcup_{x\in Cr(f)}S_{x} is a cell decomposition of YY. The cohomology Hβˆ—β€‹(Y,𝐙)H^{\ast}(Y,{{\bf Z}}) can be computed as the cohomology of the Morse complex (Mβˆ—(Y,f),βˆ‚)(M^{\ast}(Y,f),\partial), with the components Mi​(Y,f)=βˆ‘x∈C​r​(f),i​n​d​(x)=iHci​(Sx)M^{i}(Y,f)=\sum_{x\in Cr(f),ind(x)=i}H^{i}_{c}(S_{x}). Let us choose orientations of manifolds SxS_{x} for all x∈C​r​(f)x\in Cr(f). We endow UxU_{x} with the dual orientations. The graded module Mi​(Y,f)M^{i}(Y,f) can be identified with βŠ•0≀i≀n𝐙C​ri[βˆ’i]\oplus_{0\leq i\leq n}{{\bf Z}}^{Cr_{i}}[-i] where C​riCr_{i} is the set of critical points of ff of index ii. The choice of orientations gives a basis ([x])x∈C​r​(f)([x])_{x\in Cr(f)} of Mβˆ—β€‹(Y,f)M^{\ast}(Y,f).

The differential βˆ‚\partial is the standard Morse differential:

βˆ‚([x])=βˆ‘y∈C​r​(f),i​n​d​(y)=i​n​d​(x)+1d​e​g​((Ux∩Sy)/𝐑)β‹…[y],\partial([x])=\sum_{y\in Cr(f),ind(y)=ind(x)+1}deg(({U}_{x}\cap{S}_{y})/{{\bf R}})\cdot[y],

where (Ux∩Sy)/𝐑({U}_{x}\cap{S}_{y})/{{\bf R}} an oriented 00-dimensional manifold (a set of points with signs), and d​e​g​(β‹…)βˆˆπ™deg(\cdot)\in{\bf Z} denotes the total number of points counted with signs. The action of 𝐑{{\bf R}} arises from the natural reparametrization x↦x+tx\mapsto x+t of the gradient trajectories.

There is also a generalization Mβˆ—β€‹(Y,f,ρ)M^{\ast}(Y,f,\rho) of the Morse complex for a flat vector bundle ρ\rho (see [BZ], [HL]).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.