The Spectral Flow and the Maslov Index

exist and have no zero eigenvalue. A typical example for A(t) is the div-grad-curl operator on a 3-manifold twisted by a connection which depends on t. Atiyah et al proved that the Fredholm index of such an operator DA is equal to minus the “spectral flow” of the family {A(t)}t∈R. This spectral flow represents the net change in the number of negative eigenvalues of A(t) as t runs from −∞ to ∞. This “Fredholm index = spectral flow” theorem holds for rather general families {A(t)}t∈R of self-adjoint operators on Hilbert spaces. This is a folk theorem that has been used many times in the literature, but no adequate exposition has yet appeared. We give such an exposition here as well as several applications. More precisely, we shall prove the following theorem.

[1]  D. Salamon.  Morse theory, the Conley index and Floer homology , 1990 .

[2]  J. Wloka,et al.  Partial differential equations , 1987 .

[3]  Claude Viterbo,et al.  Intersection de sous-variétés lagrangiennes, fonctionnelles d'action et indice des systèmes hamiltoniens , 1987 .

[4]  A. Floer,et al.  Morse theory for Lagrangian intersections , 1988 .

[5]  C. Conley,et al.  The Birkhoff-Lewis fixed point theorem and a conjecture of V.I. Arnold , 1983 .

[6]  A. Floer,et al.  An instanton-invariant for 3-manifolds , 1988 .

[7]  V. K. Patodi,et al.  Spectral asymmetry and Riemannian Geometry. I , 1973, Mathematical Proceedings of the Cambridge Philosophical Society.

[8]  L. Hörmander.  Fourier integral operators. I , 1995 .

[9]  D. Salamon,et al.  Morse theory for periodic solutions of hamiltonian systems and the maslov index , 1992 .

[10]  J. Milnor.  Topology from the differentiable viewpoint , 1965 .

[11]  J. Robbin,et al.  Feynman path integrals on phase space and the metaplectic representation , 1996 .

[12]  S. Smale,et al.  An Infinite Dimensional Version of Sard's Theorem , 1965 .

[13]  D. Mcduff.  Elliptic methods in symplectic geometry , 1990 .

[14]  Joel W. Robbin,et al.  The Maslov index for paths , 1993 .

[15]  J. Robbin,et al.  Phase functions and path integrals , 1994 .

[16]  A. Floer.  A relative morse index for the symplectic action , 1988 .

[17]  Tomoyoshi Yoshida.  Floer homology and splittings of manifolds , 1991 .

[18]  Tosio Kato.  Perturbation theory for linear operators , 1966 .

[19]  D. Salamon,et al.  Instanton homology and symplectic xed points , 1992 .

[20]  A. Floer.  Symplectic fixed points and holomorphic spheres , 1989 .

[21]  M. Gromov.  Pseudo holomorphic curves in symplectic manifolds , 1985 .

[22]  J. Duistermaat.  On the Morse index in variational calculus , 1976 .