Safekipedia
Differential geometry of surfacesSystolic geometry

Systoles of surfaces

Adapted from Wikipedia · Discoverer experience

A 3D shape called a torus showing how its tube thickness changes.

In mathematics, the study of systolic inequalities for curves on surfaces began with Charles Loewner in 1949, though his work was not published at the time. This area of math looks at special properties of shapes, especially how loops behave on them. When we talk about a closed surface, like the skin of a balloon, we can imagine drawing loops or paths on it. Some of these loops can be shrunk down to a point, while others cannot.

The systole of a surface, written as sys, is the shortest length among all the loops that cannot be shrunk to a point. This helps mathematicians understand the basic "size" of holes or gaps in the shape. From this, we can calculate two important ratios. The systolic area is the area of the surface divided by the square of its systole (sys2), and the systolic ratio SR is the opposite — it is sys2 divided by the area. These ratios give us useful information about the shape and its measurements.

This idea, called Introduction to systolic geometry, connects many parts of math, such as geometry and topology, and helps us learn more about the hidden structures in the world around us. It shows how simple ideas about loops and lengths can lead to deep mathematical discoveries.

Torus

Shortest loop on a torus

In 1949, a mathematician named Loewner discovered an important rule for shapes called the torus, which looks like a donut. He showed that for these shapes, a special value called the systolic ratio cannot be bigger than a certain number, which is about 2 divided by the square root of 3. This number is reached when the torus has a very neat, flat shape, like one made from an hexagonal lattice.

Real projective plane

In 1952, a mathematician named Pao Ming Pu discovered an important rule for shapes called the real projective plane. He found that the systolic ratio, which measures the relationship between the area of the shape and the shortest loop that can’t be shrunk to a point, has an upper limit of π/2. This maximum value is reached when the shape has constant curvature.

Klein bottle

A hand-blown Klein Bottle (emulation)

The Klein bottle is a special shape in mathematics. In 1986, a mathematician named Bavard found an important limit for something called the systolic ratio of the Klein bottle. This limit is π divided by the square root of 8. This work built on earlier ideas from the 1960s by another mathematician named Blatter.

The systolic ratio helps us understand certain measurements related to loops on the surface of the Klein bottle.

Genus 2

A surface with genus 2 is a special kind of shape that mathematicians study. Researchers have found that for these surfaces, a certain measurement called Loewner's bound has a value of no more than ( \frac{2}{\sqrt{3}} ). Scientists are still trying to figure out if all surfaces with positive genus follow this same rule. They do know that surfaces with a genus of 20 or more do follow this bound.

Arbitrary genus

For a closed surface with a certain number of "holes" or genus g, mathematicians have studied how the size of the smallest loop that cannot be shrunk to a point relates to the surface's area. In 1980, researchers showed that a certain ratio, called the systolic ratio, has an upper limit. Later, another mathematician found a different upper limit involving the natural logarithm of the genus divided by the genus itself.

Further studies have provided lower limits for this ratio, especially for special kinds of surfaces called Riemann surfaces. These limits help mathematicians understand how the smallest un-shrinkable loop changes as the number of holes in the surface grows very large. Different researchers have contributed to these findings, improving and refining the bounds over time.

Sphere

For shapes that are like a ball, mathematicians study a special measurement called the invariant L. This is the shortest distance around a loop on the shape’s surface. In 1980, a mathematician named Gromov guessed that the area of the shape divided by the square of L should always be at least a certain small number. Later, other mathematicians improved this guess and found better numbers for this special ratio.

This article is a child-friendly adaptation of the Wikipedia article on Systoles of surfaces, available under CC BY-SA 4.0.

Images from Wikimedia Commons. Tap any image to view credits and license.