Loewner's torus inequalityIn 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. In 1949 Charles Loewner proved that every metric on the 2-torus satisfies the optimal inequality where "sys" is its systole, i.e. least length of a noncontractible loop. The constant appearing on the right hand side is the Hermite constant in dimension 2, so that Loewner's torus inequality can be rewritten as The inequality was first mentioned in the literature in .
Gromov's systolic inequality for essential manifoldsIn 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.
Differential geometry of surfacesIn mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface.
Systoles of surfacesIn mathematics, systolic inequalities for curves on surfaces were first studied by Charles Loewner in 1949 (unpublished; see remark at end of P. M. Pu's paper in '52). 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.
Systolic geometryIn 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 a slower-paced Introduction to systolic geometry. The systole of a compact metric space X is a metric invariant of X, defined to be the least length of a noncontractible loop in X (i.e.
Gromov's inequality for complex projective spaceIn Riemannian geometry, Gromov's optimal stable 2-systolic inequality is the inequality valid for an arbitrary Riemannian metric on the complex projective space, where the optimal bound is attained by the symmetric Fubini–Study metric, providing a natural geometrisation of quantum mechanics. Here is the stable 2-systole, which in this case can be defined as the infimum of the areas of rational 2-cycles representing the class of the complex projective line in 2-dimensional homology. The inequality first appeared in as Theorem 4.
Filling area conjectureIn 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. Every smooth surface M or curve in Euclidean space is a metric space, in which the (intrinsic) distance dM(x,y) between two points x, y of M is defined as the infimum of the lengths of the curves that go from x to y along M.