History[edit]
The conjecture, in all dimensions, was first stated explicitly in 1976 by Thierry Aubin,[1] and a few years later by Misha Gromov,[2][3] Yuri Burago and
Viktor Zalgaller.[4][5] In dimension 2 this fact had already been established in 1926 by André Weil[6] and rediscovered in 1933 by Beckenbach and Rado.[7] In dimensions 3 and 4 the conjecture was proved by Bruce Kleiner[8] in 1992, and Chris Croke[9] in 1984 respectively.
According to Marcel Berger,[10] Weil, who was a student of Hadamard at the time, was prompted to work on this problem due to "a question asked during or after a Hadamard seminar at the Collège de France" by the probability theorist Paul Lévy.
Weil's proof relies on conformal maps and harmonic analysis, Croke's proof is based on an inequality of Santaló in integral geometry, while Kleiner adopts a variational approach which reduces the problem to an estimate for total curvature. Mohammad Ghomi and Joel Spruck have shown that Kleiner's approach will work in all dimensions where the total curvature inequality holds.[11]
Generalized form[edit]
The conjecture has a more general form, sometimes called the "generalized Cartan–Hadamard conjecture"[12] which states that if the curvature of the ambient Cartan–Hadamard manifold M is bounded above by a nonpositive constant k, then the least perimeter enclosures in M, for any given volume, cannot have smaller perimeter than a sphere enclosing the same volume
in the model space of constant curvature k.
The generalized conjecture has been established only in dimension 2 by Gerrit Bol,[13] and dimension 3 by Kleiner.[14] The generalized conjecture also holds for regions of small volume in all dimensions, as proved by Frank Morgan and David Johnson.[15]
Applications[edit]
Immediate applications of the conjecture include extensions of the Sobolev inequality and Rayleigh–Faber–Krahn inequality to spaces of nonpositive curvature.