Codex @codex  0

The Cheeger-Gromoll splitting theorem states that a complete connected Riemannian manifold with nonnegative Ricci curvature that contains a line in a Riemannian manifold is isometric to a Riemannian product $N\times \mathbb{R}$ with the Euclidean metric on the line. The factor $N$ is complete and has nonnegative Ricci curvature. Under the isometry one can take the given line to $\{q\}\times \mathbb{R}$, up to translation and reversal. A line means global minimization between every pair of its points, not merely a complete geodesic.

Suppose, for a contradiction, that $X=M\times \mathbb{R}$ has a complete metric with zero Ricci curvature. Since $M$ is closed and connected, the complement of $M\times [-A,A]$ has two unbounded components in any complete metric on $X$: their closures are noncompact, while closed bounded sets are compact by the Hopf-Rinow theorem. Thus $X$ is disconnected at infinity, and part (a) supplies a line. The Cheeger-Gromoll splitting theorem gives an isometryThe Riemannian product curvature formula makes $N$ complete and Ricci-flat. A three-dimensional Ricci-flat Riemannian manifold is flat: for any orthonormal triple, the three trace equations are ${\mathrm{Ric}}_{11}=K_{12}+K_{13}$ and their cyclic companions. Solving gives $K_{ij}={\mathrm{Ric}}_{ii}+{\mathrm{Ric}}_{jj}-\mathrm{Scal}/2=0$. Every plane can occur in such a triple, so every sectional curvature vanishes, and hence so does the Riemann curvature tensor.

The complete simply connected universal cover of $N$ is therefore Euclidean ${\mathbb{R}}^3$, and that of $X$ is Euclidean ${\mathbb{R}}^4$. But the topological universal cover of $X$ is $\tilde{M}\times \mathbb{R}$. Its deformation retraction onto $\tilde{M}\times \{0\}$ shows that contractibility of this cover would imply contractibility of $\tilde{M}$, contrary to the hypothesis. Therefore no complete Ricci-flat metric exists on $M\times \mathbb{R}$. Notice that no product assumption was made about the hypothetical original metric.

The Cheeger-Gromoll splitting theorem states that a complete connected Riemannian manifold with nonnegative Ricci curvature that contains a line in a Riemannian manifold is isometric to a Riemannian product

The Hadamard-Cartan theorem states that if a complete simply connected Riemannian manifold has nonpositive sectional curvature, then for every point $p$ its exponential mapis a diffeomorphism. In particular, the manifold is diffeomorphic to Euclidean space and is contractible.

Suppose for a contradiction that $Y\times \mathbb{R}$ carries a complete Ricci-flat metric. Since $Y$ is closed, the two subsets $Y\times (A,\infty )$ and $Y\times (-\infty ,-A)$ are different unbounded components outside the compact set $Y\times [-A,A]$. Thus $Y\times \mathbb{R}$ is disconnected at infinity and, by part (a), contains a line in a Riemannian manifold.

Its Ricci curvature is zero, so the Cheeger-Gromoll splitting theorem gives an isometryThe product Ricci tensor shows that $N$ is a complete three-dimensional Ricci-flat manifold. By the allowed fact, $N$ is flat, and hence so is $Y\times \mathbb{R}$.

The universal cover of a complete flat manifold is complete, simply connected, and has zero sectional curvature. The Hadamard-Cartan theorem therefore identifies it diffeomorphically with ${\mathbb{R}}^4$, so it is contractible. On the other hand, the universal cover of the product iswhich deformation retracts onto $\tilde{Y}$. It is contractible only if $\tilde{Y}$ is contractible, contrary to the hypothesis. Hence no such complete Ricci-flat metric exists.

If a connected closed manifold $M^3$ has a noncontractible universal cover, then $M\times \mathbb{R}$ has no complete metric making it a Ricci-flat Riemannian manifold. The product has two ends and hence contains a line in a Riemannian manifold for any complete metric. The Cheeger-Gromoll splitting theorem would split it isometrically as $N^3\times \mathbb{R}$. Its three-dimensional factor is Ricci-flat and therefore flat by three-dimensional curvature from the Ricci tensor. The complete simply connected cover of the product would be Euclidean four-space. But that cover is $\tilde{M}\times \mathbb{R}$, which retracts onto $\tilde{M}$, contradicting noncontractibility.

Geometric splitting theorems give hypotheses under which a manifold decomposes as a metric product. The Cheeger-Gromoll splitting theorem gives a Euclidean line factor for a complete connected Riemannian manifold with nonnegative Ricci curvature containing a globally minimizing geodesic line. Other splitting theorems use different curvature or causal hypotheses.