Filling area conjecture

In differential geometry, the filling area conjecture is an important idea. It was proposed by the mathematician Mikhail Gromov. The conjecture says this: of all the surfaces that can fill a closed curve without shortcuts, the hemisphere uses the least amount of area.

This means if you imagine a loop and try to "fill it in" with a piece of surface, the shape that needs the smallest surface area looks like half a sphere.

This conjecture is interesting because it connects geometry with how shapes can cover curves efficiently. It is part of a bigger area of study called orientable surfaces. This studies how two-dimensional shapes can be arranged in space. Mathematicians are still working to prove or disprove this conjecture. It remains a fun and challenging puzzle in the world of geometry.

Definitions and statement of the conjecture

Every smooth surface or curve in Euclidean space is a special kind of space where we can measure distances.

A surface fills a curve if its edge matches the curve perfectly. An isometric filling means the surface fills the curve without creating any shortcuts between points on the edge. The big question is: how small can the area of such a surface be?

One example is a circle, which can be filled by a flat disk. However, the disk creates shortcuts. In contrast, a hemisphere fills the circle without shortcuts but has twice the area of the disk. Mikhail Gromov wondered if the hemisphere has the smallest possible area for filling a curve of a given length without shortcuts. This is known as Gromov’s filling area conjecture from 1983.

Gromov's proof for the case of Riemannian disks

In the same paper where he introduced the filling area conjecture, Mikhail Gromov showed that the hemisphere uses the least area among some surfaces that fill a circle of a certain length. He studied surfaces shaped like disks.

Gromov’s proof connects this problem to another mathematical idea called Pu’s systolic inequality. This inequality helps find the smallest possible area for certain surfaces. According to this inequality, the smallest area happens when the surface is shaped like a round projective plane, which has the same area as a hemisphere.

Fillings with Finsler metrics

In 2001, Sergei Ivanov discovered a new way to prove that the hemisphere has the smallest area among certain shapes that fill a closed curve of a fixed length. He did this without using a complex idea called the uniformization theorem. Instead, he used a simple fact: two curves on a disk must cross if their endpoints are placed in a special way on the edge of the disk.

Ivanov’s work also applies to special types of measurements called Finsler metrics. These measurements are different from the usual ones because they do not follow the Pythagorean equation at very small scales. He showed that the hemisphere still has the smallest area among these special shapes when measured in a particular way called the Holmes–Thompson area. However, unlike the usual case, there are many different Finsler disks that can fill a curve with the same area as the hemisphere. If a different way of measuring area is used, the hemisphere remains the only shape with the smallest area.

Riemannian fillings of genus one and hyperellipticity

An orientable Riemannian surface of genus one that fills a circle perfectly cannot have less area than a hemisphere. The proof connects points on the circle and uses a special method from integral geometry. By studying loops on a football shape and using a formula by J. Hersch, mathematicians showed that the filling area conjecture is true for this case. This helps us learn how shapes can cover curves efficiently.

Almost flat manifolds are minimal fillings of their boundary distances

If a special kind of space called a Riemannian manifold is almost flat, it means it is very close to the normal flat space we are used to. These spaces are called volume minimizers. This means they cannot be replaced by another space that fills the same outer edges but uses less volume.

The idea is that if a small piece of a sphere is nearly flat, it also acts as a volume minimizer. If this can be shown for larger areas, like a whole hemisphere, it would prove the filling area conjecture. The conjecture suggests that simple shapes with certain properties are always volume minimizers.