A focal index theorem for null geodesics

Employing techniques recently developed by D. Kalish for Riemannian manifolds, we obtain a focal Morse index theorem for a null geodesic segment initially and terminally perpendicular to spacelike submanifolds of arbitrary codimension in a general space-time.