Gromov's systolic inequality for essential manifolds

Last updated

In the mathematical field of Riemannian geometry, M. Gromov's systolic inequality bounds the length of the shortest non-contractible loop on a Riemannian manifold in terms of the volume of the manifold. Gromov's systolic inequality was proved in 1983; [1] it can be viewed as a generalisation, albeit non-optimal, of Loewner's torus inequality and Pu's inequality for the real projective plane.

Contents

Technically, let M be an essential Riemannian manifold of dimension n; denote by sysπ1(M) the homotopy 1-systole of M, that is, the least length of a non-contractible loop on M. Then Gromov's inequality takes the form

where Cn is a universal constant only depending on the dimension of M.

Essential manifolds

A closed manifold is called essential if its fundamental class defines a nonzero element in the homology of its fundamental group, or more precisely in the homology of the corresponding Eilenberg–MacLane space. Here the fundamental class is taken in homology with integer coefficients if the manifold is orientable, and in coefficients modulo 2, otherwise.

Examples of essential manifolds include aspherical manifolds, real projective spaces, and lens spaces.

Proofs of Gromov's inequality

Gromov's original 1983 proof is about 35 pages long. It relies on a number of techniques and inequalities of global Riemannian geometry. The starting point of the proof is the imbedding of X into the Banach space of Borel functions on X, equipped with the sup norm. The imbedding is defined by mapping a point p of X, to the real function on X given by the distance from the point p. The proof utilizes the coarea inequality, the isoperimetric inequality, the cone inequality, and the deformation theorem of Herbert Federer.

Filling invariants and recent work

One of the key ideas of the proof is the introduction of filling invariants, namely the filling radius and the filling volume of X. Namely, Gromov proved a sharp inequality relating the systole and the filling radius,

valid for all essential manifolds X; as well as an inequality

valid for all closed manifolds X.

It was shown by Brunnbauer (2008) that the filling invariants, unlike the systolic invariants, are independent of the topology of the manifold in a suitable sense.

Guth (2011) and Ambrosio & Katz (2011) developed approaches to the proof of Gromov's systolic inequality for essential manifolds.

Inequalities for surfaces and polyhedra

Stronger results are available for surfaces, where the asymptotics when the genus tends to infinity are by now well understood, see systoles of surfaces. A uniform inequality for arbitrary 2-complexes with non-free fundamental groups is available, whose proof relies on the Grushko decomposition theorem.

Notes

See also

Related Research Articles

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.

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

Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds; that is, differentiable manifolds equipped with a closed, nondegenerate 2-form. Symplectic geometry has its origins in the Hamiltonian formulation of classical mechanics where the phase space of certain classical systems takes on the structure of a symplectic manifold.

This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.

<span class="mw-page-title-main">Mikhael Gromov (mathematician)</span> Russian-French mathematician

Mikhael Leonidovich Gromov is a Russian-French mathematician known for his work in geometry, analysis and group theory. He is a permanent member of Institut des Hautes Études Scientifiques in France and a professor of mathematics at New York University.

In mathematics, the Bishop–Gromov inequality is a comparison theorem in Riemannian geometry, named after Richard L. Bishop and Mikhail Gromov. It is closely related to Myers' theorem, and is the key point in the proof of Gromov's compactness theorem.

In mathematics, specifically in symplectic topology and algebraic geometry, Gromov–Witten (GW) invariants are rational numbers that, in certain situations, count pseudoholomorphic curves meeting prescribed conditions in a given symplectic manifold. The GW invariants may be packaged as a homology or cohomology class in an appropriate space, or as the deformed cup product of quantum cohomology. These invariants have been used to distinguish symplectic manifolds that were previously indistinguishable. They also play a crucial role in closed type IIA string theory. They are named after Mikhail Gromov and Edward Witten.

<span class="mw-page-title-main">Systolic geometry</span> Form of differential geometry

In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner and developed by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, in its arithmetical, ergodic, and topological manifestations. See also Introduction to systolic geometry.

In differential geometry, Loewner's torus inequality is an inequality due to Charles Loewner. It relates the systole and the area of an arbitrary Riemannian metric on the 2-torus.

<span class="mw-page-title-main">Pu's inequality</span> Inequality in differential geometry

In differential geometry, Pu's inequality, proved by Pao Ming Pu, relates the area of an arbitrary Riemannian surface homeomorphic to the real projective plane with the lengths of the closed curves contained in it.

In Riemannian geometry, Gromov's optimal stable 2-systolic inequality is the inequality

In differential geometry, Mikhail Gromov's filling area conjecture asserts that the hemisphere has minimum area among the orientable surfaces that fill a closed curve of given length without introducing shortcuts between its points.

In Riemannian geometry, the filling radius of a Riemannian manifold X is a metric invariant of X. It was originally introduced in 1983 by Mikhail Gromov, who used it to prove his systolic inequality for essential manifolds, vastly generalizing Loewner's torus inequality and Pu's inequality for the real projective plane, and creating systolic geometry in its modern form.

<span class="mw-page-title-main">Introduction to systolic geometry</span> Non-technical introduction to systolic geometry

Systolic geometry is a branch of differential geometry, a field within mathematics, studying problems such as the relationship between the area inside a closed curve C, and the length or perimeter of C. Since the area A may be small while the length l is large, when C looks elongated, the relationship can only take the form of an inequality. What is more, such an inequality would be an upper bound for A: there is no interesting lower bound just in terms of the length.

In geometry, an essential manifold is a special type of closed manifold. The notion was first introduced explicitly by Mikhail Gromov.

In mathematics, systolic inequalities for curves on surfaces were first studied by Charles Loewner in 1949. Given a closed surface, its systole, denoted sys, is defined to be the least length of a loop that cannot be contracted to a point on the surface. The systolic area of a metric is defined to be the ratio area/sys2. The systolic ratio SR is the reciprocal quantity sys2/area. See also Introduction to systolic geometry.

In differential geometry, systolic freedom refers to the fact that closed Riemannian manifolds may have arbitrarily small volume regardless of their systolic invariants. That is, systolic invariants or products of systolic invariants do not in general provide universal lower bounds for the total volume of a closed Riemannian manifold.

Mikhail "Mischa" Gershevich Katz is an Israeli mathematician and professor of mathematics at Bar-Ilan University. His main interests are differential geometry, geometric topology, nonstandard analysis, and mathematics education; he is the author of the book Systolic Geometry and Topology, which is mainly about systolic geometry. The Katz–Sabourau inequality is named after him and Stéphane Sabourau.

The systole (or systolic category) is a numerical invariant of a closed manifold M, introduced by Mikhail Katz and Yuli Rudyak in 2006, by analogy with the Lusternik–Schnirelmann category. The invariant is defined in terms of the systoles of M and its covers, as the largest number of systoles in a product yielding a curvature-free lower bound for the total volume of M. The invariant is intimately related to the Lusternik-Schnirelmann category. Thus, in dimensions 2 and 3, the two invariants coincide. In dimension 4, the systolic category is known to be a lower bound for the Lusternik–Schnirelmann category.

In mathematics, the Besicovitch inequality is a geometric inequality relating volume of a set and distances between certain subsets of its boundary. The inequality was first formulated by Abram Besicovitch.

References