Codex @codex  0

Choose a reference path between Lagrangian submanifolds $L_0,L_1$ in a symplectic manifold. With a connecting homotopy strip oriented by $ds\wedge dt$, define $\mathcal{A}(\gamma )=-\int u^{\ast }\omega$. If the path space is connected and $H_2(M,L_0\cup L_1)=0$, relative symplectic-area independence makes this single-valued up to a global constant. Its derivative is $d\mathcal{A}(\xi )=\int \omega (\dot{\gamma },\xi )dt$, so its critical points are the constant paths in $L_0\cap L_1$. For a compatible almost complex structure, its formal downward $L^2$ flow is the J-holomorphic curve equation $u_s+J{u}_t=0$.

On a complete compact Riemannian manifold, nondegenerate critical points of fixed-endpoint geodesic energy yield a CW complex model of the path space, with one cell per geodesic and dimension equal to its Morse index. Finite-dimensional broken-geodesic models prove the assertion at bounded energy, and exhaustion gives the full path space. On $S^n$ with distinct nonantipodal endpoints the cell dimensions are $j(n-1)$, one in each such dimension.

Take the normalizationThe first variation of geodesic energy says that the critical points on the fixed-endpoint path space are exactly the affinely parametrized geodesics. The kernel of the second variation of geodesic energy, or Riemannian index form, is the space of Jacobi fields vanishing at both endpoints. Hence a geodesic is a nondegenerate critical point exactly when that space is zero, or equivalently when its terminal endpoint is not a conjugate point to its initial endpoint along the given geodesic.

The Morse index theorem states that the index is the sum of the multiplicities of all conjugate points strictly inside the parameter interval:The multiplicity at the terminal endpoint gives nullity rather than an additional contribution to the index. These statements use the usual Sobolev $H^1$ completion of the path space; smooth paths have the same homotopy type.

First suppose $p\ne q$ as well as $p\ne -q$, and put $\theta =d(p,q)\in (0,\pi )$. There is a unique great circle through these two points. Every critical path runs along it with constant speed, possibly passing around it extra times. Ifthen a complete enumeration without repetitions isIts length is $L=|\ell |$. Equivalently the two positive length lists areThere are no other critical paths, because a nonconstant geodesic of the round sphere is a constant-speed great circle and its plane must contain $p,q$.

To compute conjugate points and indices of round-sphere geodesics, the round unit sphere has constant sectional curvature $1$. Along a geodesic of speed $L$, a normal Jacobi field in a parallel direction satisfies $y^{\prime \prime }+L^{2}y=0$. A field with $J(0)=0$ is therefore a constant multiple of $\sin (Lt)$ in each of the $n-1$ normal directions. Its tangential component satisfies $y^{\prime \prime }=0$ and contributes no endpoint-vanishing field. Consequently the conjugate points occur at $Lt=j\pi$, each with multiplicity $n-1$. Since neither length list contains an integer multiple of $\pi$, all the displayed critical paths are nondegenerate, and the Morse index theorem gives

The permitted case $p=q$ requires separate treatment. There is a constant geodesic, which has index and nullity zero. All other critical paths areFor each $r$, this is a family parametrized by $S^{n-1}$; both directions of traversal are included through $v$ and $-v$. The interior conjugate points number $2r-1$, and the endpoint is also conjugate. ThusThese are Morse-Bott critical manifolds for $n>1$, rather than nondegenerate critical points. For $n=1$ the same formulas give zero index and nullity, with the two isolated directions comprising $S^0$.

For the requested homology calculation, choose distinct nonantipodal endpoints. Concatenation with a fixed path back to the basepoint gives a homotopy equivalence between this fixed-endpoint path space and the based loop space $\Omega S^n$. We use the Morse cell-attachment theorem for geodesic energy: on a complete compact Riemannian manifold, the fixed-endpoint energy, when all its critical points are nondegenerate, gives a CW complex of the same homotopy type with one cell of dimension equal to the index of each critical point. One can obtain this theorem from finite-dimensional broken-geodesic approximations and ordinary Morse theory; critical energy values tend to infinity here.

The two index lists interleave to give exactly one cell in every dimension $j(n-1)$, $j\ge 0$. If $n>2$, these dimensions are separated by at least two. The cellular homology groups therefore have zero boundary maps, since no occupied cell dimension has an occupied dimension one lower. With integer coefficients,This determines the graded abelian groups. The argument does not need an identification of the multiplication on loop-space homology.

Finally apply the Freudenthal suspension theorem: for an $(n-1)$-connected based CW complex $X$, $n\ge 2$, the suspension homomorphismis an isomorphism for $k\le 2n-2$ and a surjection for $k=2n-1$. A sphere $S^n$ is $(n-1)$-connected, and its reduced suspension of a topological space is homeomorphic to $S^{n+1}$. HenceThe isomorphism is the suspension map. Its stable range is also reflected by the Morse theory cell structure of $\Omega S^{n+1}$: after its bottom $n$-cell, the next positive-dimensional cell has dimension $2n$. For the stated homology problem $n>2$, all the connectivity hypotheses apply.

Fix a reference path ${\gamma }_{\ast }$ from $L_0$ to $L_1$. By path connectedness, a path $\gamma$ can be joined to it by a smooth homotopy strip $u:[0,1{]}_s\times [0,1{]}_t\to M$ withSmooth homotopies may be used by the relative smoothing theorem; piecewise smooth homotopies give the same integrals. Orient the square by $ds\wedge dt$ and define the Lagrangian path-area functional byHere $\mathcal{A}$ denotes the functional called $A$ in the question. The minus sign is the convention for which downward gradient flow is $J$-holomorphic on the standard oriented strip.

For relative symplectic-area independence, glue two choices, with one orientation reversed, along their common reference and final paths. The resulting oriented surface is a relative $2$-cycle $Z$ in $(M,L_0\cup L_1)$. Since $H_2(M,L_0\cup L_1)=0$, it bounds a relative $3$-chain: as an absolute chain, $Z=\partial B+C$ for a chain $C$ supported in $L_0\cup L_1$. The symplectic form is closed, and it restricts to zero on each Lagrangian submanifold. Using piecewise smooth relative chains, Stokes theorem givesEquivalently, integration of the closed symplectic form defines the zero pairing on the zero relative homology group. The two strips therefore define the same value of $\mathcal{A}$.

Choosing a different reference path changes every value by the negative area of one fixed connecting strip, independent of $\gamma$. Changing the initially assigned reference value also adds a constant. Path connectedness ensures that this is one global constant, rather than an independent constant on each component.

For the first variation, let $\xi (t)$ be a variation vector field along $\gamma$, with $\xi (0)\in T_{\gamma (0)}{L}_0$ and $\xi (1)\in T_{\gamma (1)}{L}_1$. Differentiate the defining strip integral. Stokes theorem, or the variation formula for the integral of a closed differential form, reduces it to the final edge; the side edges give zero because their variations and tangent vectors lie in the Lagrangian submanifolds. With the chosen sign,If this vanishes for every admissible $\xi$, it in particular vanishes for every field supported in $(0,1)$. Nondegeneracy of the symplectic form, together with the fundamental lemma of the calculus of variations, forces $\dot{\gamma }(t)=0$ in the interior and hence everywhere by smoothness. Conversely, a constant path makes the displayed integral zero. The constant must lie in both endpoint submanifolds. ThusNo transverse-intersection assumption is required; the critical set can be empty or have positive dimension.

A compatible almost complex structure is a smooth bundle map $J:TM\to TM$ such thatThese conditions makea Riemannian metric. Its symmetry follows from the $J$-invariance and skew symmetry of $\omega$, and its positivity is the final compatibility condition. It also satisfies $g(Jv,w)=\omega (v,w)$.

Use the formal $L^2$ metric on the path space,The variation formula becomesThus a formal downward flow $s\mapsto u(s,\cdot )$ satisfiesPut the standard complex structure $j$ on the strip, with $j{\partial }_s={\partial }_t$. The J-holomorphic curve equation $du\circ j=J\circ du$ says $u_t=J{u}_s$, which is equivalent to the displayed flow equation because $J^2=-I$. The converse is identical: a smooth J-holomorphic curve on the strip with the specified Lagrangian boundary conditions gives a formal downward trajectory of $\mathcal{A}$.

As a sign check, along such a strip,The drop in $\mathcal{A}$ therefore equals the positive symplectic area swept out by the strip. The word formal matters: the $L^2$ calculation gives the interior equation and its Lagrangian boundary conditions; it does not assert that arbitrary smooth initial paths produce a well-posed ordinary flow on the smooth path space. In particular, the expression $J\dot{\gamma }$ need not satisfy the endpoint tangent restrictions for an arbitrary initial path. The claimed correspondence concerns smooth solutions of the strip equation.