The EMS Publishing House is now EMS Press and has its new home at ems.press.

Please find all EMS Press journals and articles on the new platform.

Revista Matemática Iberoamericana


Full-Text PDF (891 KB) | Metadata | Table of Contents | RMI summary
Online access to the full text of Revista Matemática Iberoamericana is restricted to the subscribers of the journal, who are encouraged to communicate their IP-address(es) to their agent or directly to the publisher at
subscriptions@ems-ph.org
Volume 35, Issue 4, 2019, pp. 1195–1258
DOI: 10.4171/rmi/1082

Published online: 2019-07-08

The Cartan–Hadamard conjecture and the Little Prince

Benoît R. Kloeckner[1] and Greg Kuperberg[2]

(1) Université Paris-Est – Créteil Val-de-Marne, Créteil, France
(2) University of California at Davis, USA

The generalized Cartan–Hadamard conjecture says that if $\Omega$ is a domain with fixed volume in a complete, simply connected Riemannian $n$-manifold $M$ with sectional curvature $K \le \kappa \le 0$, then $\partial\Omega$ has the least possible boundary volume when $\Omega$ is a round $n$-ball with constant curvature $K=\kappa$. The case $n=2$ and $\kappa=0$ is an old result of Weil. We give a unified proof of this conjecture in dimensions $n=2$ and $n=4$ when $\kappa=0$, and a special case of the conjecture for $\kappa < 0$ and a version for $\kappa > 0$. Our argument uses a new interpretation, based on optical transport, optimal transport, and linear programming, of Croke's proof for $n=4$ and $\kappa=0$. The generalization to $n=4$ and $\kappa \ne 0$ is a new result. As Croke implicitly did, we relax the curvature condition $K \le \kappa$ to a weaker candle condition Candle}$(\kappa)$ or LCD}$(\kappa)$.

We also find counterexamples to a naïve version of the Cartan–Hadamard conjecture: For every $\epsilon > 0$, there is a Riemannian $\Omega \cong B^3$ with $(1-\epsilon)$-pinched negative curvature, and with $|\partial\Omega|$ bounded by a function of $\epsilon$ and $|\Omega|$ arbitrarily large.

We begin with a pointwise isoperimetric problem called "the problem of the Little Prince". Its proof becomes part of the more general method.

Keywords: Isoperimetric inequality, Cartan–Hadamard manifolds, Riemannian geometry, optimal transportation, linear programming, upper curvature bounds

Kloeckner Benoît, Kuperberg Greg: The Cartan–Hadamard conjecture and the Little Prince. Rev. Mat. Iberoam. 35 (2019), 1195-1258. doi: 10.4171/rmi/1082