The Spectral Flow of a Restriction to a Subspace and the Maslov Indices in a Symplectic Reduction

We prove in full generality a formula that relates the spectral flow of a continuous path of quadratic forms of Fredholm type with the spectral flow of the restrictions of the forms to a fixed closed finite codimensional subspace. We then apply this to obtain a formula relating the Maslov index of a continuous path in a Fredholm Lagrangian Grassmannian with the Maslov index of its symplectic reduction by a closed finite codimensional coisotropic subspace.