Systolic geometry

In mathematics, systolic geometry is a fascinating area that explores special measurements of shapes and spaces. It looks at how the size of the smallest possible loops in a shape relates to the overall size and structure of that shape. This idea was first introduced by Charles Loewner and has been expanded by many mathematicians, including Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, and Larry Guth.

Systolic geometry helps us understand deep connections between geometry, number theory, and the way shapes behave over time. It has many applications and helps solve problems in different areas of math. For those who would like a simpler starting point, there is an Introduction to systolic geometry available.

The notion of systole

The systole of a compact metric space is the shortest path that cannot be shrunk to a point. Think of it as finding the smallest loop you can draw on a shape that stays big and doesn’t collapse inward.

This idea was first explored by mathematicians like Charles Loewner and later popularized by Marcel Berger. Today, systolic geometry is an exciting and growing area of math with many new discoveries.

Property of a centrally symmetric polyhedron in 3-space

A centrally symmetric polyhedron in three-dimensional space has a special property. It always has two opposite points connected by a path on its surface that is not too long. This path's length squared is always less than or equal to pi divided by four times the area of the polyhedron's surface.

Another way to think about this is that any such shape can be squeezed through a loop with a length related to its surface area. The tightest fit happens when the shape is a perfect sphere. This idea is connected to an important math rule called Pu's inequality.

Concepts

Systolic geometry is a fascinating area of mathematics that studies special rules and relationships in shapes. One key idea is that when we find inequalities—mathematical rules that show one value is always less than or equal to another—it tells us interesting things about the shape. These inequalities become even more exciting when they are "sharp," meaning they give the best possible result.

For example, in flat surfaces like a donut shape called a torus, there is a special rule connecting the area of the shape to the length of its shortest loops. This rule helps mathematicians understand how these shapes behave. Similar rules exist for other shapes, such as the real projective plane, showing how rich and varied this field of study can be. You can learn more at systoles of surfaces.

Gromov's systolic inequality

Gromov's inequality is a big idea in systolic geometry. It connects two important measurements of shapes: the systole and the volume. The systole is the shortest distance around a loop that cannot be shrunk to a point. The inequality shows that this shortest distance is always smaller than a certain number times the volume of the shape.

Gromov also introduced something called the filling radius, which measures how well a shape fills up its surrounding space. He showed that the systole is always less than six times the filling radius. This helps us understand deep properties of shapes and how they are built.

Gromov's stable inequality

Gromov's stable inequality is a special rule in systolic geometry that helps us understand shapes and spaces. It shows a relationship between the size of certain loops and the overall size of the space. This rule is very important for complex projective space, a type of geometric space, and it works best when using a special metric called the Fubini–Study metric.

Recently, it was found that this rule does not work the same way for another type of space called the quaternionic projective plane. Even though the rule gives a clear answer for complex spaces, it behaves differently in quaternionic spaces, showing how unique and important Gromov's inequality is in the study of these geometric shapes.

Lower bounds for 2-systoles

Lower bounds for 2-systoles, which are important in mathematics, come from recent work in gauge theory and J-holomorphic curves. These studies help us understand more about the properties of 4-manifolds, and they have even led to a simpler proof of a key mathematical idea involving the period map.

Schottky problem

One important use of systolic geometry is tied to the Schottky problem. Researchers P. Buser and P. Sarnak used ideas about systoles to tell apart the Jacobians of Riemann surfaces from other types of abelian varieties. Their work helped lay the groundwork for what is called systolic arithmetic.

This connection shows how systolic geometry can solve big problems in mathematics.

Lusternik–Schnirelmann category

The Lusternik–Schnirelmann category, or LS category, is a way to measure the complexity of shapes in mathematics. It helps us understand how these shapes can be stretched and folded. Scientists have found that another idea, called the systolic category, connects closely to the LS category. Both are whole numbers and often give the same results for simpler shapes like flat surfaces and 3D objects.

The systolic category looks at the longest possible chain of measurements inside a shape to estimate its total size without needing to know about its curves. This idea was introduced by mathematicians Katz and Rudyak. In many cases, the systolic category and the LS category match up, especially for shapes in 2 and 3 dimensions. For more complex shapes, the systolic category provides a lower limit for the LS category.

Systolic hyperbolic geometry

The study of systolic geometry looks at how certain measurements change for surfaces with more "holes" or genus. For special surfaces called Hurwitz surfaces, researchers found that a key measurement, called the systole, grows at least as fast as a certain logarithm of the number of holes. This finding builds on earlier work by mathematicians Peter Buser and Peter Sarnak.

Many interesting examples come from special surfaces like the Bolza surface, Klein quartic, Macbeath surface, and the First Hurwitz triplet, showing the wide reach of this area of study in hyperbolic geometry.

Main articles: Hurwitz surfaces, (2,3,7) hyperbolic triangle group, Fuchsian groups, Peter Buser, Peter Sarnak, hyperbolic geometry, Bolza surface, Klein quartic, Macbeath surface, First Hurwitz triplet

Relation to Abel–Jacobi maps

The study of systolic geometry uses special maps called Abel–Jacobi maps to understand important properties of shapes in mathematics. These maps help mathematicians find strong and useful relationships between different measurements of a shape, like its size and the length of its shortest loops.

One key idea is that for certain shapes, these maps can show how the shape's size limits the length of its smallest loops. This helps in proving important results in the field of systolic geometry.

Related fields, volume entropy

Systolic geometry connects to many interesting ideas in mathematics. It shows relationships between the size of small loops on a surface and the surface’s area, with important work by mathematicians like Mikhail Gromov.

Gromov discovered ways to estimate how small loops and area relate, improving earlier results. Recent findings also link these ideas to something called volume entropy, which helps give clearer proofs and even better estimates for surfaces with many "holes."

Filling area conjecture

Main article: Filling area conjecture

The filling area conjecture is an idea in math about how to fill a special kind of circle with the smallest possible area. This circle has a length of 2π and a distance across (diameter) of π. The conjecture says that the best way to fill this circle is by using a round half-sphere, known as a hemisphere.

This idea was suggested by a mathematician named Mikhail Gromov in 1983. It relates to a famous rule called Pu’s inequality, and recent work has shown that the conjecture holds true for certain types of fillings, especially those linked to a concept called hyperellipticity. This helps us understand more about shapes and how they can be filled efficiently.

Surveys

Several helpful books and surveys introduce the topic of systolic geometry for beginners. Important works include M. Berger’s survey from 1993, Gromov’s survey from 1996, Gromov’s book from 1999, Berger’s larger book from 2003, and Katz’s book from 2007. These resources also present interesting problems for further study.