Cartan–Hadamard theorem

Cartan–Hadamard theorem

The Cartan–Hadamard theorem is a statement in Riemannian geometry concerning the structure of complete Riemannian manifolds of non-positive sectional curvature. The theorem states that the universal cover of such a manifold is diffeomorphic to a Euclidean space via the exponential map at any point. It was first proved by Jacques Hadamard in 1898 for surfaces and generalized to arbitrary dimension by Élie Cartan in 1928 (see the first three references). The theorem was further generalized to a wide class of metric spaces by Mikhail Gromov in 1987; two detailed proofs were published in 1990 by Werner Ballmann for locally compact spaces and by Alexander–Bishop for general locally convex spaces.

Modern formulation

In modern metric geometry, the Cartan–Hadamard theorem is the statement that the universal cover of a connected non-positively curved complete metric space "X" is a Hadamard space. In particular, if "X" is simply-connected then it is a unique geodesic space, and hence contractible. The most general form of the theorem does not require the space to be locally compact, or even to be a geodesic space.

Let "X" be a complete metric space. Recall that "X" is called convex if for any two geodesics "a"("t") and "b"("t"), the distance function

: d: t mapsto operatorname{dist}(a(t), b(t))

is a convex function (in the metric geometry sense). A space is called locally convex if for every point "p", there is an open neighbourhood of "p" which is a convex space with respect to the induced metric. If "X" is locally convex then it admits a universal cover.

Theorem

Let "X" be a connected complete metric space and suppose that "X" is locally convex. Then the universal cover of "X" is a convex geodesic space with respect to the induced length metric "d". In particular, any two points of the universal cover are joined by a unique geodesic. Moreover, if "X" is a non-positively curved connected complete metric space, then its universal cover is CAT(0) with respect to "d".

Significance

The Cartan–Hadamard theorem provides an example of a local-to-global correspondence in Riemannian and metric geometry: namely, a local condition (non-positive curvature) and a global condition (simply-connectedness) together imply a strong global property (contractibility); or in the Riemannian case, diffeomorphism with Rn.

The metric form of the theorem demonstrates that a non-positively curved polyhedral cell complex is aspherical. This fact is of crucial importance for modern geometric group theory.

See also

* Glossary of Riemannian and metric geometry
* Hadamard manifold

References


* cite book
author = Kobayashi, Shochichi
coauthors = Nomizu, Katsumi
title = Foundations of differential geometry, Vol. II
series = Tracts in Mathematics 15
publisher = Wiley Interscience
location = New York
year = 1969
pages = xvi+470
isbn = 0-470-49648-7

* cite book
author = Helgason, Sigurdur
title = Differential geometry, Lie groups and symmetric spaces
series = Pure and Applied Mathematics 80
publisher = Academic Press
location = New York
year = 1978
pages = xvi+628
isbn = 0-12-338460-5

* cite book
author = Carmo, Manfredo Perdigão do
title = Riemannian geometry
series = Mathematics: theory and applications
publisher = Birkhäuser
location = Boston
year = 1992
pages = xvi+300
isbn = 0-8176-3490-8

* cite journal
author = Alexander, Stephanie B.
coauthors = Bishop, Richard L.
title = The Hadamard-Cartan theorem in locally convex metric spaces
journal = Enseign. Math. (2)
volume = 36
issue = 3–4
year = 1990
pages = 309–320

* cite book
last = Ballmann
first = Werner
title = Lectures on spaces of nonpositive curvature
series = DMV Seminar 25
publisher = Birkhäuser Verlag
location = Basel
year = 1995
pages = viii+112
isbn = 3-7643-5242-6
MathSciNet|id=1377265
* cite book
author = Bridson, Martin R.
coauthors = Haefliger, André
title = Metric spaces of non-positive curvature
series = Grundlehren der Mathematischen Wissenschaften 319
publisher = Springer-Verlag
location = Berlin
year = 1999
pages = xxii+643
isbn = 3-540-64324-9
MathSciNet|id=1744486

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Hadamard manifold — In mathematics, a Hadamard manifold, named after Jacques Hadamard mdash; sometimes called a Cartan–Hadamard manifold, after Élie Cartan mdash; is a Riemannian manifold ( M , g ) that is complete and simply connected, and has everywhere non… …   Wikipedia

  • Jacques Hadamard — Infobox Scientist name = Jacques Hadamard |300px image width = 300px caption = Jacques Salomon Hadamard birth date = birth date|1865|12|8|mf=y birth place = Versailles, France death date = death date and age|1963|10|17|1865|12|8|mf=y death place …   Wikipedia

  • Differential geometry of surfaces — Carl Friedrich Gauss in 1828 In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives:… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Liste de théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Géométrie différentielle des surfaces — En mathématiques, la géométrie différentielle des surfaces est la branche de la géométrie différentielle qui traite des surfaces (les objets géométriques de l espace usuel E3, ou leur généralisation que sont les variétés de dimension 2), munies… …   Wikipédia en Français

  • List of differential geometry topics — This is a list of differential geometry topics. See also glossary of differential and metric geometry and list of Lie group topics. Contents 1 Differential geometry of curves and surfaces 1.1 Differential geometry of curves 1.2 Differential… …   Wikipedia

  • CAT(k) space — In mathematics, a CAT( k ) space is a specific type of metric space. Intuitively, triangles in a CAT( k ) space are slimmer than corresponding model triangles in a standard space of constant curvature k . In a CAT( k ) space, the curvature is… …   Wikipedia

  • Géométrie riemannienne — La géométrie riemannienne est une branche de la géométrie différentielle nommée en l honneur du mathématicien Bernhard Riemann, qui introduisit le concept fondateur de variété. Elle étend les méthodes de la géométrie analytique en utilisant des… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”