Null injectivity estimate under an upper bound on the curvature (Q893888)

\textit{S. Klainerman} and \textit{I. Rodnianski} [J. Am. Math. Soc. 21, No. 3, 775--795 (2008; Zbl 1198.53057)] derived a null injectivity estimate for the null injectivity radius of a four-dimensional Ricci flat Lorentzian manifolds in terms of the \(L^2\) norm of the curvature tensor and additional geometric quantities on space-like hypersurfaces. In this paper the authors consider time-oriented Lorentzian manifold satisfyings certain geometric bounds, suitably adapting techniques from Riemannian geometry. Given a point \(p\) and a local foliation \(H_t\), the past null injectivity radius of \(p\) is denoted by \(\mathrm{Null}\,\mathrm{Inj}^{-1}(p\geq l)\) and the supremum of all values \(|t|\) such that the exponential map \(\exp_p\) is a global diffeomorphism from the pointed null cone \(N^{-1}(p)\;\{0\}\) in \(T_pM\) to its image in the manifold. In the present paper mainly the following result is proved: Fix any positive constants \(t_0\), \(\bar {K}_n\), \(\bar {K}_{Rm}\), \(K_{\pi}\), \(K_\omega\). Let \((M, g, p)\) be a time-oriented, pointed Lorentzian manifold such that, along some foliation defined in a subset \(M_1\) containing \(p\), the conditions \((t_0)\), (\(\bar {K}_n\)), (\(\bar {K}_{Rm}\)), (\(K_{\pi}\)), (\(K_\omega\)) are satisfied. Then there exists a real \(l>0\), depending only on the constants above, with the property that the past null injectivity radius of \(p\) is bounded below by \(l\). that is \(\mathrm{Null}\, \mathrm{Inj}^{-1}(p)\geq l\).