Computation of the Maslov index and the spectral flow via partial signatures

Abstract

Given a smooth Lagrangian path, both in the finite and in the infinite dimensional (Fredholm) case, we introduce the notion of partial signatures at each isolated intersection of the path with the Maslov cycle. For real-analytic paths, we give a formula for the computation of the Maslov index using the partial signatures; a similar formula holds for the spectral flow of real-analytic paths of Fredholm self-adjoint operators on real separable Hilbert spaces. As applications of the theory, we obtain a semi-Riemannian version of the Morse index theorem for geodesics with possibly conjugate endpoints, and we prove a bifurcation result at conjugate points along semi-Riemannian geodesics.