On the conjugate locus of pseudo-Riemannian manifolds

Let exp(m) : T(m)M -> M be the exponential map of a Riemannian manifold M at a point m is an element of M. Warner proved that in any neighbourhood of a conjugate point in T(m)M, the map exp(m) is not injective. Moreover, he described the exponential map in a suitable coordinate system in a neighbourhood of a regular conjugate point, these points build an open dense set in the conjugate locus. We will investigate in the pseudo-Riemannian case such subsets, where the results of Warner generalize. For the definition of these subsets of the conjugate locus we use a bilinear form on ker(T(nu)exp(m)), where v is a conjugate point, which will defined by the geodesic flow and the pseudo-Riemannian metric tensor.