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.

A map $p:E\to B$ is a Serre fibration if every homotopy $H:D^k\times I\to B$, $k\ge 0$, with a lift of its initial slice has a lift on the whole cylinder extending that initial lift. By attaching cells, this gives the relative homotopy lifting property for CW pairs: a specified lift on the initial slice and on the subcomplex cylinder can be extended.

Give $PY$ the compact-open topology. Suppose the initial lifting is a family of paths ${\gamma }_x$ starting at $y_0$, with ${\gamma }_x(1)=H(x,0)$. DefineThe two expressions coincide on their common boundary, the initial path at $s=0$ is exactly ${\gamma }_x$, and the endpoint is $H(x,s)$. The adjoint map on $D^k\times I\times I$ is continuous by pasting; compactness of the path parameter gives continuity into the path space. Thus endpoint evaluation $PY\to Y$ is a Serre fibration. The variable subdivision avoids changing the initial lift by an unwanted reparametrization.

For a based pair $(E,F,e_0)$, the long exact sequence of relative homotopy groups isending in ${\pi }_1(E)\to {\pi }_1(E,F)\to {\pi }_0(F)\to {\pi }_0(E)$. The low-dimensional end is an exact sequence of pointed sets with its usual actions, rather than an entirely abelian sequence.

The boundary sends a relative disk map to its restriction on the boundary sphere. An absolute class has constant boundary, so $\partial j_{\ast }=0$. Conversely, if a relative map has null-homotopic boundary in $F$, choose a based null-homotopy there. Attach this null-homotopy as a collar to the disk, leaving the original map on a smaller inner disk. The resulting boundary is constant at $e_0$, so it defines an absolute class in ${\pi }_n(E)$; inserting the collar is a relative homotopy, so its image is the original relative class. This proves $\mathrm{im}{j}_{\ast }=\ker \partial$. At $n=1$, append a path in $F$ from the terminal point to $e_0$, giving the corresponding based loop and pointed-set exactness.

Now suppose $F=p^{-1}(b_0)$. Use a cube model in which the bottom and side faces are based and the top face maps into $F$. A based $n$-cube in $B$ lifts from its constant bottom face, with sides held at $e_0$ by relative lifting. Its top face lies in $F$, proving surjectivity of the relative homotopy of a Serre fibration comparison $p_{\ast }:{\pi }_n(E,F)\to {\pi }_n(B,b_0)$.

For injectivity, lift a based homotopy of two projected cubes from the first relative lift; this ends at some lift of the second base cube. Any two lifts of that same base cube are relatively homotopic: insert an extra parameter between them, prescribe the two liftings on its two ends and the constant lift on the bottom, and apply relative lifting in the remaining cube direction. The top face stays in $F$ because its projection is $b_0$. Combining these homotopies proves injectivity. ThereforeAt $n=1$ the same construction gives a bijection of pointed sets, and one can transport the base fundamental-group law across it. An arbitrary pair's relative ${\pi }_1$ has no general group law. The printed target index $a$ is a typographical error: the map preserves degree $n$.

The last-column map $U(n)\to S^{2n-1}$ is surjective because a unit vector can be completed to a unitary basis. Its stabilizer is the block subgroup $\mathrm{diag}(U(n-1),1)$, so it induces a continuous bijection $U(n)/U(n-1)\to S^{2n-1}$. Unitary matrices form a compact set in their matrix-space topology; the quotient is compact and the sphere Hausdorff. HenceThis quotient is a fiber bundle. Near the last standard unit vector, project the other standard vectors by $I-v{v}^{\ast }$ onto $v^{\perp }$ and apply Gram-Schmidt orthogonalization; their independence persists in a small neighborhood. The resulting orthonormal columns together with $v$ give a continuous local section. Translating these sections covers the sphere and trivializes the projection, so it is a Serre fibration.

Apply this to $U(n)\to U(n+1)\to S^{2n+1}$. Its homotopy sequence containsFor $i\le 2n-1$, both outer groups vanish by cellular approximation theorem. Thus ${\pi }_i(U(n))\cong {\pi }_i(U(n+1))$ in the stated range. The component assertion also holds: diagonalizing a unitary matrix and varying its eigenvalue phases continuously connects it to the identity. This establishes the unitary sphere quotient and stability range.

Disjoint time strips of the Poisson random measure are independent, and its intensity is translation invariant in time. The construction and its limits therefore give independent increments and stationary increments, withFor the scaling actually printed in the original PDF,For example, $\alpha =2$, $t=1$, $u=1$ gives $e^{-4}$ rather than $e^{-1}$. Thus the requested equality of process laws is false unless $\alpha =1$.

The intended self-similarity of a Cauchy process rescales space and time in opposite directions:Indeed, for $0\le s<t$,The transformed process retains independent increments. For any ordered times, the joint characteristic function of its successive increments is therefore the same product as for $X$; cumulative summation proves equality of all finite-dimensional distributions. Both constructions have càdlàg paths, so these distributions also determine their laws on the usual path space. This derives the corrected invariance and explicitly diagnoses the false printed assertion.

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.