On the fundamental group of a complete globally hyperbolic Lorentzian manifold with a lower bound for the curvature tensor (Q2349428)

A Lorentzian manifold \((M, g)\) is said to be non-spacelike (resp. light-like) geodesically complete if any inextensible, non-spacelike (resp. light-like) geodesic is defined on the real line. If \(R\) is the curvature tensor of \(M\) and \(k\) is a positive constant, then it is said that \(R\geq k\) when \(g(R(u,v)v,u)\geq k(g(u,u)g(v,v)-g(u,v)^2)\) for any tangent vectors \(u\) and \(v\). If \(F\) is a manifold, and \(\{g_t\}\), \(t\in\mathbb R\), is a smooth family of Riemannian metrics on \(F\), then the Lorentzian manifold \((\mathbb R\times F,-dt^2+g_t)\) is called a parametrized Lorentzian product, and \(F\) is the fiber. In [Ann. Math. (2) 75, 63--76 (1962; Zbl 0101.21804)], \textit{E. Calabi} and \textit{L. Markus} showed that any \(m\)-dimensional Lorentzian space form with positive curvature has a finite fundamental group. In this paper, the author proves that if \((M,g)\) is a light-like geodesically complete parametrized Lorentzian product of dimension \(m\geq 3\) with the fiber compact and there exists a positive constant \(k\) such that \(R\geq k\), where \(R\) is the curvature tensor of \(M\), then the fundamental group \(\pi_1(M)\) is finite.