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; it can be viewed as a generalisation, albeit non-optimal, of Loewner's torus inequality and Pu's inequality for the real projective plane. 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
( s y s π 1 ( M ) ) n ≤ C n vol ( M ) , {\displaystyle \left(\operatorname {sys\pi } _{1}(M)\right)^{n}\leq C_{n}\operatorname {vol} (M),}
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,
s y s π 1 ≤ 6 F i l l R a d ( X ) , {\displaystyle \mathrm {sys\pi } _{1}\leq 6\;\mathrm {FillRad} (X),}
valid for all essential manifolds X; as well as an inequality
F i l l R a d ( X ) ≤ C n v o l n
1 n ( X ) , {\displaystyle \mathrm {FillRad} (X)\leq C_{n}\mathrm {vol} _{n}{}^{\tfrac {1}{n}}(X),}
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 Filling area conjecture Gromov's inequality (disambiguation) Gromov's inequality for complex projective space Loewner's torus inequality Pu's inequality Systolic geometry
References Ambrosio, Luigi; Katz, Mikhail (2011), "Flat currents modulo p in metric spaces and filling radius inequalities", Commentarii Mathematici Helvetici, 86 (3): 557–592, arXiv:1004.1374, doi:10.4171/CMH/234, MR 2803853. Brunnbauer, M. (2008), "Filling inequalities do not depend on topology", J. Reine Angew. Math., 624: 217–231 Gromov, M. (1983), "Filling Riemannian manifolds", J. Diff. Geom., 18: 1–147, MR 0697984, Zbl 0515.53037, PE euclid.jdg/1214509283 Guth, Larry (2011), "Volumes of balls in large Riemannian manifolds", Annals of Mathematics, 173 (1): 51–76, arXiv:math/0610212, doi:10.4007/annals.2011.173.1.2, MR 2753599 Katz, Mikhail G. (2007), Systolic geometry and topology, Mathematical Surveys and Monographs, vol. 137, Providence, R.I.: American Mathematical Society, p. 19, ISBN 978-0-8218-4177-8
