Jump to content

Preissmann's theorem

From Wikipedia, the free encyclopedia

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

[edit]

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. 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]

Preissmann's theorem is a special case of Gromov's classification of subgroups in hyperbolic groups.[5] Indeed, the fundamental group of a compact manifold of negative sectional curvature is torsion-free,[6] and its action on the universal cover of the manifold implies that it is a Gromov-hyperbolic group (the universal cover itself is CAT() for some ε > 0, hence a Gromov-hyperbolic space). Hence its infinite abelian subgroups are virtually isomorphic to , and since they are torsion-free they are isomorphic to .

Flat torus theorem

[edit]

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.[7]

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.[8]

References

[edit]
  1. ^ Preissmann 1943.
  2. ^ do Carmo 1992, Theorem 12.3.2; Petersen 2016, Theorem 6.2.6.
  3. ^ do Carmo 1992, Theorem 12.3.8.
  4. ^ Jost 2017, Section 9.7.
  5. ^ Bridson & Haefliger 1999, Chapter III.Γ.3.
  6. ^ Bridson & Haefliger 1999, Chapter II.4, Theorem 4.13(2).
  7. ^ Cheeger & Ebin 2008, Chapter 9.
  8. ^ Bridson & Haefliger 1999, Chapter II.7; Burago, Burago & Ivanov 2001, Section 9.3.

Books.