Introduction to systolic geometry

Systolic geometry is a fascinating part of differential geometry, a field in mathematics. It looks at the relationship between the area inside a closed curve and the length or perimeter of that curve. Because an area can be small while the perimeter is large, especially when the curve looks stretched out, this relationship is expressed as an inequality. Specifically, systolic geometry provides an upper bound for the area based on the length.

The idea of relating length and area goes back a long way. Mikhail Gromov suggested that the isoperimetric inequality, which deals with finding the maximum area for a given perimeter, was known even to the Ancient Greeks. This idea appears in the mythological story of Dido, Queen of Carthage.

In systolic geometry, a systole is the shortest distance around a loop in a space that cannot be shrunk to a point. This helps us understand special shapes and spaces. The field aims to find lower bounds for certain properties of a space using this idea of the systole. There is also an interesting link to quantum mechanics through the Fubini–Study metric and Gromov's inequality for complex projective space.

Surface tension and shape of a water drop

Have you ever noticed how a drop of water looks? It usually forms a nice, round shape. This happens because of something called surface tension. Surface tension makes the water drop try to use as little surface area as possible. Since the amount of water in a drop stays the same, the best way to do this is to form a round sphere. This round shape is a real-life example of a mathematical idea called the isoperimetric inequality.

Isoperimetric inequality in the plane

The isoperimetric inequality helps us understand the relationship between the length of a closed curve and the area of the shape it encloses. It tells us that for any shape, the area ( A ) is always smaller than or equal to the square of its length ( L ) divided by ( 4\pi ). In simple terms, this means that among all shapes with the same perimeter, a circle will always have the largest area.

This inequality shows us an important upper limit: no matter how strange or stretched out a shape may be, its area can't exceed this value based on its perimeter. The circle is the perfect example where this equality is reached, making it the most efficient shape in terms of enclosing space.

Central symmetry

Central symmetry means that a shape looks the same when you flip it through its center point. Imagine turning a shape upside down and flipping it over; if it looks exactly the same, it has central symmetry. For example, an ellipse, which is like an stretched circle, has this property. This idea helps mathematicians study the shapes and sizes of different objects in space.

Main article: antipodal map

Property of a centrally symmetric polyhedron in 3-space

A special geometric rule connects the surface area of certain shapes to the length of paths on their edges. For any shape that is both smooth and balanced around a center, there is a limit on how long the shortest path between two opposite points on its surface can be, compared to the area of that surface.

This idea is linked to an important rule in geometry called Pu's inequality. For instance, thinking about oval-shaped objects, like ellipsoids, can help imagine how this property works.

Notion of systole

The systole of a compact metric space is the shortest length of a loop that cannot be shrunk to a point. This idea helps mathematicians understand the shape and size of spaces. The term systole was first used by Marcel Berger, and the study of these properties has grown quickly, with many new discoveries and connections to other areas of mathematics.

The real projective plane

In projective geometry, the real projective plane is a special shape made from lines that pass through a single point. You can think of it as a surface where every pair of opposite points are considered the same.

This shape has some interesting properties. For example, the distance between two points on this surface is the smallest angle between the lines that pass through those points. It is also one of the simplest shapes that is not orientable, meaning it doesn’t have a consistent “up” and “down” like a sphere does.

Pu's inequality

Pu's inequality for the real projective plane is an important rule in a part of math called systolic geometry. It helps us understand how the size of shapes relates to their boundaries.

This inequality was proven by a mathematician named Pao Ming Pu in 1950. It says that for certain shapes, the area inside the shape has a special relationship with a measurement called the systole, which is like the shortest loop you can draw on the shape. The inequality shows that the square of the systole cannot be larger than a certain fraction of the area. This helps mathematicians study the shapes of spaces!

Loewner's torus inequality

Loewner's torus inequality is a special rule that connects the area of a torus (which is like a donut shape) to the shortest loop you can draw on it that can't be shrunk to a point. This shortest loop is called the systole. The inequality says that the area of the torus minus a certain amount based on the length of this loop is always zero or more.

This special case where the amount equals zero happens only when the shape of the torus is very specific, similar to a flat torus made from a special kind of grid on a flat plane.

Bonnesen's inequality

The Bonnesen's inequality is a special rule in math that connects the size of a shape to its edge length. It says that for any closed loop in a flat space, a certain calculation involving the loop's length and the area it encloses must always be true.

This inequality helps us understand how close a shape comes to being a perfect circle, which is the shape that gives the most area for a given edge length. The difference between a shape and a perfect circle is called the "isoperimetric defect."

Loewner's inequality with a defect term

The strengthened version of Loewner's inequality adds a bit more detail to the basic idea. It includes a term called "variance," which helps measure how much something varies or spreads out. This version of the inequality looks at the area of a shape and compares it to a special measurement called the systolic length, adjusted by a number that comes from geometry.

The proof of this inequality uses some clever math, combining a formula for variance with a concept called Fubini's theorem. This makes the inequality more precise and useful for certain types of geometric problems.