Structural proof theory

From formulasearchengine
Jump to navigation Jump to search

The splitting theorem is a classical theorem in Riemannian geometry. It states that if a complete Riemannian manifold M with Ricci curvature

has a straight line, i.e., a geodesic γ such that

for all

then it is isometric to a product space

where is a Riemannian manifold with

History

For the surfaces, the theorem was proved by Stephan Cohn-Vossen.[1] Victor Andreevich Toponogov generalized it to manifolds with non-negative sectional curvature. [2] Jeff Cheeger and Detlef Gromoll proved that non-negative Ricci curvature is sufficient.

Later the splitting theorem was extended to Lorentzian manifolds with nonnegative Ricci curvature in the time-like directions.[3] [4] [5]

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

  1. S. Cohn-Vossen, “Totalkrümmung und geodätische Linien auf einfachzusammenhängenden offenen vollständigen Flächenstücken”, Матем. сб., 1(43):2 (1936), 139–164
  2. Toponogov, V. A. Riemannian spaces containing straight lines. (Russian) Dokl. Akad. Nauk SSSR 127 1959 977–979.
  3. Eschenburg, J.-H. The splitting theorem for space-times with strong energy condition. J. Differential Geom. 27 (1988), no. 3, 477–491.
  4. Galloway, Gregory J.(1-MIAM) The Lorentzian splitting theorem without the completeness assumption. J. Differential Geom. 29 (1989), no. 2, 373–387.
  5. Newman, Richard P. A. C. A proof of the splitting conjecture of S.-T. Yau. J. Differential Geom. 31 (1990), no. 1, 163–184.