Systolic geometry

Systolic geometry is a specialized branch of mathematics that studies the invariants of manifolds and polyhedra. A manifold is a mathematical space that can have a complex shape. The central idea involves the systole, which is a metric invariant. The systole is defined as the least length of a noncontractible loop within a compact metric space. A noncontractible loop is a path that cannot be shrunk down to a single point within that space.

If the space is a graph, this measurement is called the girth. This field explores how these shortest loops relate to other properties like area and volume.

To understand the mechanism, mathematicians look for inequalities between different geometric measurements. A primary goal is to find "sharp" inequalities. A sharp inequality is one that is optimal, meaning it represents the best possible limit. For example, researchers study the relationship between the area of a surface and the square of its systole. They use integral-geometric identities to relate area to the average energy of a family of loops. By applying the Cauchy–Schwarz inequality, they can show that energy acts as an upper bound for length squared. This process allows them to derive rules that connect the size of a shape to its shortest loops.

There are different types of systolic invariants depending on the dimension and nature of the loops. The most common is the 1-systole, which is defined by the lengths of one-dimensional loops. However, there are also higher k-systoles. These invariants are defined by the areas of cycles or other higher-dimensional measurements. While many optimal inequalities exist for 1-systoles, higher k-systoles are much rarer. One notable exception is Gromov's optimal stable 2-systolic inequality for complex projective space. In that specific case, the optimal bound is reached by the symmetric Fubini–Study metric. This specific connection even points toward the mathematics of quantum mechanics.

History shows that this field grew from several different mathematical conversations. Charles Loewner began investigating systolic questions on surfaces in the late 1940s. His student, Pao Ming Pu, published a thesis on the subject in 1950. Although the research was active, the term "systole" was not actually coined until 1961 by Marcel Berger. During the 1961–62 academic year, the mathematician René Thom discussed these results with Berger in Strasbourg. Thom reportedly exclaimed that these results were of fundamental importance. Since then, the field has expanded rapidly, with a bibliography containing over 160 articles.

Mikhail Gromov provided one of the deepest results in the history of the field. He developed a systolic inequality for the homotopy 1-systole of an essential n-manifold. An essential manifold is one where the fundamental class represents a nontrivial class in homology. To prove this, Gromov introduced a new invariant called the filling radius. The filling radius measures how much a shape fills its surrounding space. He achieved this by embedding the manifold into a Banach space known as L∞(M). This method uses a strongly isometric embedding to ensure internal and ambient distances coincide.

One surprising fact in systolic geometry involves the comparison of different spaces. For example, the symmetric metric on the quaternionic projective plane is not its optimal metric. This is unexpected because, in the complex case, the symmetric metric is optimal. In the quaternionic case, the middle-dimensional stable systolic ratio is 10/3. In contrast, the ratio for the complex projective 4-space is 6. The best known upper bound for an arbitrary metric on these spaces is 14. This specific value of 14 is actually related to the properties of the Lie algebra E7.

Systolic geometry also connects to many broader mathematical systems and categories. One such connection is the systolic category, which was introduced by Katz and Rudyak. This category is an integer that is defined in terms of various k-systoles. It is closely related to the Lusternik–Schnirelmann category, also known as the LS category. For surfaces and 3-manifolds, these two categories are known to coincide. In the case of orientable 4-manifolds, the systolic category serves as a lower bound for the LS category. This demonstrates how studying loops can provide deep insights into the fundamental structure of mathematical spaces.