Riemannian rigidity of the parallel postulate in total curvature

DOI10.1007/S00208-019-01883-8MaRDI QIDQ2290800zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 29 January 2020

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1611.07761

zbMATH Keywords

Euclidean geometryparallel postulatetotal curvature

Mathematics Subject Classification ID

Global Riemannian geometry, including pinching (53C20) Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces (53C23) Rigidity results (53C24)

Abstract: We prove that the Euclidean plane is the only Riemannian plane with total curvature and free of conjugate points that satisfies Playfair's version of the parallel postulate.

Review text

A question of great interest is, as phrased in [\textit{V. Bangert} and \textit{P. Emmerich}, J. Differ. Geom. 94, No. 3, 367--385 (2013; Zbl 1278.53038)]: ``Suppose a complete Riemannian plane \(P\) satisfies the parallel axiom, i.e., for every geodesic \(c\) on \(P\) and every point \(p \in P\) not on \(c\) there exists a unique geodesic through \(p\) that does not intersect \(c\). Does this imply that \(P\) is isometric to the Euclidean plane? This paper answers the question in the affirmative under the additional hypothesis that the plane admits total curvature. The key lemma is that such a plane has total curvature zero. Under the hypothesis that the plane admits total curvature, it is possible to compute total curvature by exhaustion by closed subsets. The lemma is shown by first subdividing the plane into strips, then exhausting those strips by triangles. The parallel postulate controls the excess of the large triangles and hence, by Gauss-Bonnet, their total curvature. Note that this phrasing of Euclid's fifth postulate corresponds to Playfair's formulation. The original version states that if a line segment intersects two straight lines so that the two interior angles on the same side sum to less than \(\pi\), then the two lines must intersect on that side. This paper also shows that, with this version of the postulate, the question can be answered in the affirmative under an additional hypothesis; this time that the plane has no conjugate points.

Recommendations

• An investigation of the plane in absolute geometry
• scientific article; zbMATH DE number 5685004
• Rigidity of surfaces with no conjugate points
• scientific article; zbMATH DE number 4105731
• Fields of parallel vectors in a Riemannian geometry.
• Über das Parallelenaxiom.
• Sul parallelismo di Levi-Civita e sopra certe possibili estensioni.
• On the equivalence of Playfair's axiom to the parallel postulate
• Riemannsche Mannigfaltigkeiten und nichteuklidische Raumformen. I.
• Ueber eine charakteristische Eigenschaft der developpablen Flächen.

Cites work

• A synthetic characterization of the hemisphere
• Area growth and rigidity of surfaces without conjugate points
• Closed Surfaces Without Conjugate Points
• scientific article; zbMATH DE number 1021208 (Why is no real title available?)
• scientific article; zbMATH DE number 3239116 (Why is no real title available?)
• scientific article; zbMATH DE number 3182580 (Why is no real title available?)
• Planes without conjugate points
• Riemannian tori without conjugate points are flat
• Rigidity of surfaces with no conjugate points
• The integral of the scalar curvature of complete manifolds without conjugate points

Cited in

(1)

• Bounded distance geodesic foliations in Riemannian planes

This page was built for publication: Riemannian rigidity of the parallel postulate in total curvature

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2290800)