Systolic geometry

In mathematics, systolic geometry is a fun area that studies special measurements of shapes and spaces. It looks at how the size of the smallest loops in a shape relates to the whole shape.

This idea was first introduced by Charles Loewner and has been studied by many mathematicians, including Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, and Larry Guth.

Systolic geometry helps us understand connections between geometry, number theory, and how shapes change. It has many uses and helps solve problems in math. For a simpler start, 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 made smaller until it becomes a single point. Imagine trying to draw the smallest loop on a shape that still stays big and does not shrink away.

This idea was first studied by mathematicians like Charles Loewner and later became well-known through the work of Marcel Berger. Today, systolic geometry is a fascinating and growing part of mathematics with many new findings.

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 fun part of mathematics that looks at special rules in shapes. One big idea is finding inequalities—math rules that show one value is always smaller than or equal to another. These inequalities can tell us cool things about the shape. They are especially interesting when they are "sharp," meaning they give the best possible answer.

For example, in flat shapes like a donut shape called a torus, there is a special rule that connects the area of the shape to the length of its shortest loops. This rule helps mathematicians learn more about how these shapes work. Similar rules exist for other shapes, like the real projective plane, showing how many different ideas there are in this field. You can learn more at systoles of surfaces.

Gromov's systolic inequality

Gromov's inequality is an important idea in systolic geometry. It connects two 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. This 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 important properties of shapes.

Gromov's stable inequality

Gromov's stable inequality is a special rule in systolic geometry. It helps us understand shapes and spaces. The rule 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. 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. This shows 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 are important in mathematics. They come from recent work in gauge theory and J-holomorphic curves. This work helps us understand more about the properties of 4-manifolds. It has also 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 special shapes called Jacobians from other similar shapes. Their work helped start a new area called systolic arithmetic.

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

Lusternik–Schnirelmann category

The Lusternik–Schnirelmann category, or LS category, is a way to measure how complex a shape is in mathematics. It helps us understand how shapes can be stretched and folded. Scientists 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 guess 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 gives a lower limit for the LS category.

Systolic hyperbolic geometry

Systolic geometry is the study of how certain measurements change on surfaces with many "holes" or areas that make them more complex. For special surfaces known as Hurwitz surfaces, mathematicians discovered that a key measurement, called the systole, grows quickly as the number of holes increases. This work builds on important studies by mathematicians Peter Buser and Peter Sarnak.

Interesting examples come from special surfaces like the Bolza surface, Klein quartic, Macbeath surface, and the First Hurwitz triplet, showing the broad applications 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

Systolic geometry studies special maps called Abel–Jacobi maps. These maps help mathematicians learn about shapes. They show useful relationships between a shape's size and the length of its smallest loops.

One important idea is that for some shapes, these maps can show how the shape's size affects the length of its smallest loops. This helps mathematicians prove important results in systolic geometry.

Related fields, volume entropy

Systolic geometry connects to many ideas in mathematics. It shows how the size of small loops on a surface relates to the surface’s area. Important work was done by mathematicians like Mikhail Gromov.

Gromov found new ways to estimate how small loops and area are related. Recent findings also link these ideas to volume entropy, which helps make proofs clearer and gives 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 filling a special circle with the smallest space possible. This circle has a length of 2π and a width (diameter) of π. The conjecture says the best way to fill this circle is with a round half-sphere, called a hemisphere.

This idea was suggested by a mathematician named Mikhail Gromov in 1983. It connects to a famous rule called Pu’s inequality. Recent work shows the conjecture works for some types of fillings, especially those linked to a concept called hyperellipticity. This helps us learn more about shapes and how to fill them well.

Surveys

Some good books and surveys help introduce 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 books also offer interesting problems to explore further.