Filling area conjecture

In differential geometry, the filling area conjecture is an important idea proposed by the mathematician Mikhail Gromov. The conjecture states that among all the surfaces that can fill a closed curve without shortcuts, the hemisphere uses the least amount of area. This means that if you imagine a loop and try to "fill it in" with a piece of surface, the shape that needs the smallest surface area is 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, which looks at how two-dimensional shapes can be arranged in space. Mathematicians are still working to prove or disprove this conjecture, making it 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. For a closed curve, which is like the edge of a shape, there is a special point called the "antipodal" point that is exactly halfway around the curve.

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 certain surfaces that fill a circle of a specific length. He focused on surfaces that are shaped like disks.

Gromov’s proof connects this problem to another mathematical idea called Pu’s systolic inequality. This inequality helps determine the smallest possible area for certain surfaces. According to this inequality, the smallest area occurs 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 found a new way to show that the hemisphere has the smallest area among certain shapes that fill a closed curve of a fixed length. His method does not use a complex idea called the uniformization theorem. Instead, it uses a simple topological fact: two curves on a disk must cross if their endpoints are arranged in a special way on the edge of the disk.

Ivanov’s work also applies to special types of measurements called Finsler metrics, which are different from the usual measurements 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 fill a curve with the same area as the hemisphere. If a different way of measuring area is used, the hemisphere is 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 involves connecting points on the circle and using a special method from integral geometry. By studying certain loops on a football shape and using a formula created by J. Hersch, mathematicians showed that the filling area conjecture holds true for this case. This helps us understand 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. Such 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.