Conley–Zehnder index

Conley–Zehnder index
Name	Conley–Zehnder index
Field	Symplectic topology
Introduced by	Charles Conley, Eduard Zehnder
Year	1980s

Conley–Zehnder index is an integer-valued invariant assigned to certain paths of symplectic matrices or to periodic trajectories in Hamiltonian systems, used to measure spectral flow and detect bifurcations. It plays a central role in the study of periodic orbits in Poincaré maps, the formulation of Floer homology and the analysis of Arnold conjectures in Hamiltonian dynamics. The index connects methods developed by Charles Conley and Eduard Zehnder with tools from Maslov index theory, spectral theory for self-adjoint operators, and variational principles originating in the work of Vladimir Arnold.

Definition

The Conley–Zehnder index is defined for a continuous path of symplectic matrices starting at the identity in the symplectic group Sp(2n, R) and ending at a matrix with no eigenvalue equal to 1, or more generally for a nondegenerate periodic orbit of a Hamiltonian flow. The construction uses a choice of trivialization of the symplectic vector bundle along the orbit, comparisons with a reference Lagrangian subspace as in Maslov index definitions, and counts crossings of eigenvalues through the unit circle in C as developed in spectral flow constructions by Morse-theoretic approaches. Foundational formulations were given in work building on techniques from Ekeland and Hofer and were formalized using ideas from Robbin and Salamon.

Properties and axioms

The index satisfies several axioms that determine it uniquely up to normalization: homotopy invariance under fixed-endpoint homotopies in Sp(2n, R), additivity under concatenation of paths, naturality under symplectic conjugation, and a normalization on paths generated by linear autonomous Hamiltonian systems. These axioms mirror those used for the Maslov index and the spectral flow for families of Fredholm operators as in works by Atiyah and Singer. Additional properties include parity relations related to the Morse index of action functionals, behavior under iteration of periodic orbits studied by Bott, and relations to the eigenvalue crossing form introduced by Krein in the context of Hamiltonian stability and Krein signature theory.

Computation and examples

Explicit computation of the Conley–Zehnder index is tractable in low dimensions and for special classes of matrices: for Sp(2, R) one can use winding numbers of associated unitary paths as in classical studies by Arnold and Gelfand. For nondegenerate periodic orbits of convex Hamiltonians on cotangent bundles or star-shaped hypersurfaces in R^{2n} one applies linearization of the Poincaré map and counts rotations relative to a trivialization used in computations by Hofer and Zehnder. Iteration formulas due to Long and Bott-type indices allow computation for iterated closed geodesics on manifolds studied by Milnor and Gromoll. Examples treated in the literature include the harmonic oscillator, the Kepler problem analyzed by Poincaré, and the restricted three-body problem investigated by McGehee and Moser.

Relation to Maslov index and Floer theory

The Conley–Zehnder index refines and generalizes the Maslov index for loops of Lagrangian subspaces; in the context of Hamiltonian Floer homology it provides the grading of Floer chain complexes constructed by Floer and later developed by Salamon and Seidel. The index appears in coherent orientation schemes for moduli spaces of pseudo-holomorphic curves introduced by Gromov and in transversality frameworks advanced by Hofer and Wysocki. Relations to spectral flow link the Conley–Zehnder index to analytic indices studied by Robbin and Salamon, and to gluing formulas used by Donaldson and Taubes in gauge theory analogies. In symplectic field theory frameworks by Eliashberg, Givental, and Hofer, Conley–Zehnder indices classify Reeb orbits and enter action-index relations central to contact homology computations by Bourgeois.

Applications in Hamiltonian dynamics and symplectic topology

The Conley–Zehnder index is instrumental in proving versions of the Arnold conjecture for fixed points of Hamiltonian diffeomorphisms as shown in foundational contributions by Conley, Zehnder, Floer, and Hofer. It is used to detect existence and multiplicity of periodic orbits in problems studied by Weinstein, Rabinowitz, and Viterbo, and to analyze stability properties of closed trajectories in celestial mechanics studied by Poincaré and KAM theory researchers such as Kolmogorov, Arnold, and Moser. In symplectic topology it aids in index bounds for closed characteristics on convex hypersurfaces in results by Long, Zhu, and Cieliebak, and in constructing spectral invariants and quasi-morphisms as explored by Entov, Polterovich, and Oh.

Generalizations and variants

Several generalizations extend the Conley–Zehnder index: Maslov-type indices for paths in general symplectic manifolds by Viterbo and Liu, mean indices and rotation numbers developed by Long and Zehnder, equivariant indices for periodic orbits with symmetry studied by Ginzburg and Fischer, and graded indices in wrapped Floer homology frameworks by Seidel and Abouzaid. Analytical variants relate to the spectral flow for families of Cauchy–Riemann operators considered by Nicolaescu and Bourgeois–Oancea; contact-topological adaptations classify Reeb dynamics in work by Borman, Eliashberg, and van Koert.

Category:Symplectic topology