Systolic freedom

Last updated

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 (i.e. curvature-free) lower bounds for the total volume of a closed Riemannian manifold.

Contents

Systolic freedom was first detected by Mikhail Gromov in an I.H.É.S. preprint in 1992 (which eventually appeared as Gromov 1996), and was further developed by Mikhail Katz, Michael Freedman and others. Gromov's observation was elaborated on by MarcelBerger  ( 1993 ). One of the first publications to study systolic freedom in detail is by Katz (1995).

Systolic freedom has applications in quantum error correction. Croke & Katz (2003) survey the main results on systolic freedom.

Example

The complex projective plane admits Riemannian metrics of arbitrarily small volume, such that every essential surface is of area at least 1. Here a surface is called "essential" if it cannot be contracted to a point in the ambient 4-manifold.

Systolic constraint

The opposite of systolic freedom is systolic constraint, characterized by the presence of systolic inequalities such as Gromov's systolic inequality for essential manifolds.

Related Research Articles

<span class="mw-page-title-main">Michael Freedman</span> American mathematician

Michael Hartley Freedman is an American mathematician at Microsoft Station Q, a research group at the University of California, Santa Barbara. In 1986, he was awarded a Fields Medal for his work on the 4-dimensional generalized Poincaré conjecture. Freedman and Robion Kirby showed that an exotic ℝ4 manifold exists.

<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.

<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 a slower-paced Introduction to systolic geometry.

<span class="mw-page-title-main">Tian Gang</span> Chinese mathematician (born 1958)

Tian Gang is a Chinese mathematician. He is a professor of mathematics at Peking University and Higgins Professor Emeritus at Princeton University. He is known for contributions to the mathematical fields of Kähler geometry, Gromov-Witten theory, and geometric analysis.

The Oswald Veblen Prize in Geometry is an award granted by the American Mathematical Society for notable research in geometry or topology. It was funded in 1961 in memory of Oswald Veblen and first issued in 1964. The Veblen Prize is now worth US$5000, and is awarded every three years.

In mathematics, in particular in differential geometry, the minimal volume is a number that describes one aspect of a smooth manifold's topology. This diffeomorphism invariant was introduced by Mikhael Gromov.

<span class="mw-page-title-main">Loewner's torus inequality</span>

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>

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 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.

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.

<span class="mw-page-title-main">Marcel Berger</span> French mathematician (1927-2016)

Marcel Berger was a French mathematician, doyen of French differential geometry, and a former director of the Institut des Hautes Études Scientifiques (IHÉS), France. Formerly residing in Le Castera in Lasseube, Berger was instrumental in Mikhail Gromov's accepting positions both at the University of Paris and at the IHÉS.

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.

The volume entropy is an asymptotic invariant of a compact Riemannian manifold that measures the exponential growth rate of the volume of metric balls in its universal cover. This concept is closely related with other notions of entropy found in dynamical systems and plays an important role in differential geometry and geometric group theory. If the manifold is nonpositively curved then its volume entropy coincides with the topological entropy of the geodesic flow. It is of considerable interest in differential geometry to find the Riemannian metric on a given smooth manifold which minimizes the volume entropy, with locally symmetric spaces forming a basic class of examples.

Mikhail "Mischa" Gershevich Katz is an Israeli mathematician, a professor of mathematics at Bar-Ilan University. His main interests are differential geometry, geometric topology 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