Spectral Flow, Maslov Index and Bifurcation of Semi-Riemannian Geodesics

We give a functional analytical proof of the equalitybetween the Maslov index of a semi-Riemannian geodesicand the spectral flow of the path of self-adjointFredholm operators obtained from the index form. This fact, together with recent results on the bifurcation for critical points of strongly indefinite functionals imply that each nondegenerate and nonnull conjugate (or P-focal)point along a semi-Riemannian geodesic is a bifurcation point.In particular, the semi-Riemannian exponential map is notinjective in any neighborhood of a nondegenerate conjugate point,extending a classical Riemannian result originally due to Morse and Littauer.