Systolic geometry

Imagine a loop of string.

It can wrap around a shape. Some loops are very short. We want to find the shortest one. This is called a systole.

Math experts study these loops. They look at shapes like a torus. A torus looks like a donut. They also look at shapes like a football.

These loops help us learn about shapes. They can tell us how big a shape is. They can also show how a shape is built. This is a very fast-growing field of math.

Imagine a loop of string wrapped around a shape. Some loops can shrink to a tiny point. Others must stay wrapped around the shape.

In math, we look for the shortest loop that cannot shrink to a point. We call this shortest loop a systole.

Scientists study these loops to learn about shapes. This study is called systolic geometry. It looks at shapes called manifolds. A manifold is a space that can be very complex. One example is a torus, which looks like a donut.

Many people helped build this field. Charles Loewner began thinking about these ideas. Later, Mikhail Gromov found a very deep rule. He showed how the systole relates to a thing called the filling radius. The filling radius is a way to measure how much space a shape fills.

Math experts also use these loops to study area and volume. They want to find the best rules for how big a shape must be. This work helps us understand the math of space and even quantum physics.

Imagine a loop of string wrapped around a shape. Some loops can shrink down to a tiny point. Other loops must stay wrapped around the shape.

In math, we look for the shortest loop that cannot shrink to a point. We call this shortest loop a systole. This idea is part of systolic geometry. It is the study of special measurements for shapes called manifolds.

A manifold is a space that can be very complex. One common example is a torus, which looks like a donut.

Mathematicians use these loops to find rules about size. They look at how the length of a loop relates to area. For example, they study how a shape's area limits its shortest loop. They also look at how a shape's volume relates to its loops. One rule says a shape can be squeezed through a small noose. This noose is a loop that fits tightly around the shape. Finding the best or most "sharp" rules is a big part of this work. These rules help us understand the math of space.

Many people have helped build this field over many years. Charles Loewner began thinking about these questions in the late 1940s. His student, Pao Ming Pu, wrote a thesis on the topic in 1950. Later, Marcel Berger used the actual word "systole" to name these loops.

René Thom once saw these results and said they were of fundamental importance. Since then, many others like Mikhail Gromov have added to the work. There are now over 160 articles about these ideas.

Mikhail Gromov found one of the deepest rules in this field. He created a rule for a type of shape called an essential manifold. This rule connects the systole to something called the filling radius. The filling radius measures how much space a shape fills.

Gromov also found a rule for higher types of loops. These are loops that measure area instead of just length. His work is a very important part of modern geometry.

This math connects to many other big ideas. It can even link to the math used in quantum mechanics. Experts also use these loops to study a thing called the systolic category. This is a way to count certain parts of a manifold. It is very similar to another math idea called the LS category. For some shapes, these two counts are exactly the same. This shows how everything in math is often linked together.

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.