Preissmann's theorem
In Riemannian geometry, a field of mathematics, Preissmann's theorem is a statement that restricts the possible topology of a negatively curved compact Riemannian manifold. It is named for Alexandre Preissmann, who published a proof in 1943.[1]
Preissmann's theorem
Consider a closed manifold with a Riemannian metric of negative sectional curvature. Preissmann's theorem states that every non-trivial abelian subgroup of the fundamental group must be isomorphic to the additive group of integers, ℤ.[2] This can loosely be interpreted as saying that the fundamental group of such a manifold must be highly nonabelian. Moreover, the fundamental group itself cannot be abelian.[3]
As an example, Preissmann's theorem implies that the n-dimensional torus admits no Riemannian metric of strictly negative sectional curvature (unless n is two). More generally, the product of two closed manifolds of positive dimensions does not admit a Riemannian metric of strictly negative sectional curvature.
The standard proof of Preissmann's theorem deals with the constraints that negative curvature makes on the lengths and angles of geodesics. However, it may also be proved by techniques of partial differential equations, as a direct corollary of James Eells and Joseph Sampson's foundational theorem on harmonic maps.[4]
Flat torus theorem
The Preissmann theorem may be viewed as a special case of the more powerful flat torus theorem obtained by Detlef Gromoll and Joseph Wolf, and independently by Blaine Lawson and Shing-Tung Yau. This establishes that, under nonpositivity of the sectional curvature, abelian subgroups of the fundamental group are represented by geometrically special submanifolds: totally geodesic isometric immersions of a flat torus.[5]
There is a well-developed theory of Alexandrov spaces which extends the theory of upper bounds on sectional curvature to the context of metric spaces. The flat torus theorem, along with the special case of the Preissmann theorem, can be put into this broader context.[6]
References
- Preissmann 1943.
- do Carmo 1992, Theorem 12.3.2; Petersen 2016, Theorem 6.2.6.
- do Carmo 1992, Theorem 12.3.8.
- Jost 2017, Section 9.7.
- Cheeger & Ebin 2008, Chapter 9.
- Bridson & Haefliger 1999, Chapter II.7; Burago, Burago & Ivanov 2001, Section 9.3.
Books.
- Bridson, Martin R.; Haefliger, André (1999). Metric spaces of non-positive curvature. Grundlehren der mathematischen Wissenschaften. Vol. 319. Berlin: Springer-Verlag. doi:10.1007/978-3-662-12494-9. ISBN 3-540-64324-9. MR 1744486. Zbl 0988.53001.
- Burago, Dmitri; Burago, Yuri; Ivanov, Sergei (2001). A course in metric geometry. Graduate Studies in Mathematics. Vol. 33. Providence, RI: American Mathematical Society. doi:10.1090/gsm/033. ISBN 0-8218-2129-6. MR 1835418. Zbl 0981.51016. (Erratum: )
- do Carmo, Manfredo Perdigão (1992). Riemannian geometry. Mathematics: Theory & Applications (Translated from the second Portuguese edition of 1979 original ed.). Boston, MA: Birkhäuser Boston. ISBN 978-0-8176-3490-2. MR 1138207. Zbl 0752.53001.
- Cheeger, Jeff; Ebin, David G. (2008). Comparison theorems in Riemannian geometry (Revised reprint of the 1975 original ed.). Providence, RI: AMS Chelsea Publishing. doi:10.1090/chel/365. ISBN 978-0-8218-4417-5. MR 2394158. Zbl 1142.53003.
- Jost, Jürgen (2017). Riemannian geometry and geometric analysis. Universitext (Seventh edition of 1995 original ed.). Springer, Cham. doi:10.1007/978-3-319-61860-9. ISBN 978-3-319-61859-3. MR 3726907. Zbl 1380.53001.
- Petersen, Peter (2016). Riemannian geometry. Graduate Texts in Mathematics. Vol. 171 (Third edition of 1998 original ed.). Springer, Cham. doi:10.1007/978-3-319-26654-1. ISBN 978-3-319-26652-7. MR 3469435. Zbl 1417.53001.
- Preissmann, Alexandre (1943). "Quelques propriétés globales des espaces de Riemann". Commentarii Mathematici Helvetici. 15 (1): 175–216. doi:10.1007/BF02565638. hdl:20.500.11850/135225. JFM 68.0442.01. MR 0010459. S2CID 119768892. Zbl 0027.25903.