Berger's isoembolic inequality

Last updated

In mathematics, Berger's isoembolic inequality is a result in Riemannian geometry that gives a lower bound on the volume of a Riemannian manifold and also gives a necessary and sufficient condition for the manifold to be isometric to the m-dimensional sphere with its usual "round" metric. The theorem is named after the mathematician Marcel Berger, who derived it from an inequality proved by Jerry Kazdan.

Contents

Statement of the theorem

Let (M, g) be a closed m-dimensional Riemannian manifold with injectivity radius inj(M). Let vol(M) denote the Riemannian volume of M and let cm denote the volume of the standard m-dimensional sphere of radius one. Then

with equality if and only if (M, g) is isometric to the m-sphere with its usual round metric. This result is known as Berger's isoembolic inequality. [1] The proof relies upon an analytic inequality proved by Kazdan. [2] The original work of Berger and Kazdan appears in the appendices of Arthur Besse's book "Manifolds all of whose geodesics are closed." At this stage, the isoembolic inequality appeared with a non-optimal constant. [3] Sometimes Kazdan's inequality is called Berger–Kazdan inequality. [4]

Related Research Articles

<span class="mw-page-title-main">Riemannian geometry</span> Branch of differential geometry

Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, defined as smooth manifolds with a Riemannian metric. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature Kp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

In the mathematical field of Riemannian geometry, the scalar curvature is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor.

<span class="mw-page-title-main">Shing-Tung Yau</span> Chinese mathematician

Shing-Tung Yau is a Chinese-American mathematician and the William Caspar Graustein Professor of Mathematics at Harvard University. In April 2022, Yau announced retirement from Harvard to become Chair Professor of mathematics at Tsinghua University.

<span class="mw-page-title-main">Eugenio Calabi</span> Italian-born American mathematician

Eugenio Calabi is an Italian-born American mathematician and the Thomas A. Scott Professor of Mathematics, Emeritus, at the University of Pennsylvania, specializing in differential geometry, partial differential equations and their applications.

In the mathematical field of differential geometry, Ricci-flatness is a condition on the curvature of a (pseudo-)Riemannian manifold. Ricci-flat manifolds are a special kind of Einstein manifold. In theoretical physics, Ricci-flat Lorentzian manifolds are of fundamental interest, as they are the solutions of Einstein's field equations in vacuum with vanishing cosmological constant.

Hopf–Rinow theorem is a set of statements about the geodesic completeness of Riemannian manifolds. It is named after Heinz Hopf and his student Willi Rinow, who published it in 1931. Stefan Cohn-Vossen extended part of the Hopf–Rinow theorem to the context of certain types of metric spaces.

In the mathematical field of differential geometry, there are various splitting theorems on when a pseudo-Riemannian manifold can be given as a metric product. The best-known is the Cheeger–Gromoll splitting theorem for Riemannian manifolds, although there has also been research into splitting of Lorentzian manifolds.

In mathematics, the soul theorem is a theorem of Riemannian geometry that largely reduces the study of complete manifolds of non-negative sectional curvature to that of the compact case. Jeff Cheeger and Detlef Gromoll proved the theorem in 1972 by generalizing a 1969 result of Gromoll and Wolfgang Meyer. The related soul conjecture, formulated by Cheeger and Gromoll at that time, was proved twenty years later by Grigori Perelman.

In mathematics, comparison theorems are theorems whose statement involves comparisons between various mathematical objects of the same type, and often occur in fields such as calculus, differential equations and Riemannian geometry.

In the mathematical field of metric geometry, Mikhael Gromov proved a fundamental compactness theorem for sequences of metric spaces. In the special case of Riemannian manifolds, the key assumption of his compactness theorem is automatically satisfied under an assumption on Ricci curvature. These theorems have been widely used in the fields of geometric group theory and Riemannian geometry.

In Riemannian geometry, a branch of mathematics, harmonic coordinates are a certain kind of coordinate chart on a smooth manifold, determined by a Riemannian metric on the manifold. They are useful in many problems of geometric analysis due to their regularity properties.

<span class="mw-page-title-main">Thierry Aubin</span> French mathematician

Thierry Aubin was a French mathematician who worked at the Centre de Mathématiques de Jussieu, and was a leading expert on Riemannian geometry and non-linear partial differential equations. His fundamental contributions to the theory of the Yamabe equation led, in conjunction with results of Trudinger and Schoen, to a proof of the Yamabe Conjecture: every compact Riemannian manifold can be conformally rescaled to produce a manifold of constant scalar curvature. Along with Yau, he also showed that Kähler manifolds with negative first Chern classes always admit Kähler–Einstein metrics, a result closely related to the Calabi conjecture. The latter result, established by Yau, provides the largest class of known examples of compact Einstein manifolds. Aubin was the first mathematician to propose the Cartan–Hadamard conjecture.

In mathematics—specifically, in Riemannian geometry—a Wiedersehen pair is a pair of distinct points x and y on a (usually, but not necessarily, two-dimensional) compact Riemannian manifold (Mg) such that every geodesic through x also passes through y, and the same with x and y interchanged.

Arthur Besse is a pseudonym chosen by a group of French differential geometers, led by Marcel Berger, following the model of Nicolas Bourbaki. A number of monographs have appeared under the name.

<span class="mw-page-title-main">Shoshichi Kobayashi</span> Japanese mathematician

Shoshichi Kobayashi was a Japanese mathematician. He was the eldest brother of electrical engineer and computer scientist Hisashi Kobayashi. His research interests were in Riemannian and complex manifolds, transformation groups of geometric structures, and Lie algebras.

In mathematics, specifically Riemannian geometry, Synge's theorem is a classical result relating the curvature of a Riemannian manifold to its topology. It is named for John Lighton Synge, who proved it in 1936.

In Riemannian geometry, Cheng's eigenvalue comparison theorem states in general terms that when a domain is large, the first Dirichlet eigenvalue of its Laplace–Beltrami operator is small. This general characterization is not precise, in part because the notion of "size" of the domain must also account for its curvature. The theorem is due to Cheng (1975b) by Shiu-Yuen Cheng. Using geodesic balls, it can be generalized to certain tubular domains.

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.

In the mathematical fields of differential geometry and geometric analysis, the Gauss curvature flow is a geometric flow for oriented hypersurfaces of Riemannian manifolds. In the case of curves in a two-dimensional manifold, it is identical with the curve shortening flow. The mean curvature flow is a different geometric flow which also has the curve shortening flow as a special case.

References

  1. Berger 2003, Theorem 148; Chavel 1984, Theorem V.22; Chavel 2006, Theorem VII.2.2; Sakai 1996, Theorem VI.2.1.
  2. Berger 2003, Lemma 158; Besse 1978, Appendix E; Chavel 1984, Theorem V.1; Chavel 2006, Theorem VII.2.1; Sakai 1996, Proposition VI.2.2.
  3. Besse 1978, Appendix D.
  4. Chavel 1984, Theorem V.1.

Books.