A general splitting formula for the spectral flow

Abstract

We derive a decomposition formula for the spectral flow of a 1-parameter family of self-adjoint Dirac operators on an odd-dimensional manifold $M$ split along a hypersurface $\Sigma$ ($M=X{\cup }_{\Sigma }Y$). No transversality or stretching hypotheses are assumed and the boundary conditions can be chosen arbitrarily. The formula takes the form $SF(D)=SF(D_{|X},B_X)+SF(D_{|Y},B_Y)+\mu (B_Y,B_X)+S$ where $B_X$ and $B_Y$ are boundary conditions, $\mu$ denotes the Maslov index, and $S$ is a sum of explicitly defined Maslov indices coming from stretching and rotating boundary conditions. The derivation is a simple consequence of Nicolaescu's theorems and elementary properties of the Maslov index. We show how to use the formula and derive many of the splitting theorems in the literature as simple consequences.

arXiv comment27 pages, LaTeX. Appendix by K.P. Wojciechowski

Cited by in corpus (5)

• Fredholm-Lagrangian-Grassmannian and the Maslov index
• On the Maslov index of symplectic paths that are not transversal to the Maslov cycle. Semi-Riemannian index theorems in the degenerate case
• The pillowcase and traceless representations of knot groups II: a Lagrangian-Floer theory in the pillowcase
• The Integer Valued SU(3) Casson Invariant for Brieskorn spheres
• Exact triangles in Seiberg-Witten Floer theory. Part III: proof of exactness