Filling area conjecture

Last updated September 08, 2023

In differential geometry, Mikhail Gromov's filling area conjecture asserts that the hemisphere has minimum area among the orientable surfaces that fill a closed curve of given length without introducing shortcuts between its points.

Definitions and statement of the conjecture
Gromov's proof for the case of Riemannian disks
Fillings with Finsler metrics
Non-minimality of the hemisphere among rational fillings with Finsler metrics
Riemannian fillings of genus one and hyperellipticity
Almost flat manifolds are minimal fillings of their boundary distances
See also
References

Definitions and statement of the conjecture

Every smooth surface $M$ or curve in Euclidean space is a metric space, in which the (intrinsic) distance $d M (x, y)$ between two points $x, y$ of $M$ is defined as the infimum of the lengths of the curves that go from $x$ to $y$ along $M$ . For example, on a closed curve $C$ of length $2 L$ , for each point $x$ of the curve there is a unique other point of the curve (called the antipodal of $x$ ) at distance $L$ from $x$ .

A compact surface $M$ fills a closed curve $C$ if its border (also called boundary, denoted $\partial M$ ) is the curve $C$ . The filling $M$ is said to be isometric if for any two points $x, y$ of the boundary curve $C$ , the distance $d M (x, y)$ between them along $M$ is the same (not less) than the distance $d C (x, y)$ along the boundary. In other words, to fill a curve isometrically is to fill it without introducing shortcuts.

Question:How small can be the area of a surface that isometrically fills its boundary curve, of given length?

For example, in three-dimensional Euclidean space, the circle

C=\{(x,y,0):\ x^{2}+y^{2}=1\}

(of length 2 $π$ ) is filled by the flat disk

D=\{(x,y,0):\ x^{2}+y^{2}\leq 1\}

which is not an isometric filling, because any straight chord along it is a shortcut. In contrast, the hemisphere

H=\{(x,y,z):\ x^{2}+y^{2}+z^{2}=1{\text{ and }}z\geq 0\}

is an isometric filling of the same circle $C$ , which has twice the area of the flat disk. Is this the minimum possible area?

The surface can be imagined as made of a flexible but non-stretchable material, that allows it to be moved around and bended in Euclidean space. None of these transformations modifies the area of the surface nor the length of the curves drawn on it, which are the magnitudes relevant to the problem. The surface can be removed from Euclidean space altogether, obtaining a Riemannian surface, which is an abstract smooth surface with a Riemannian metric that encodes the lengths and area. Reciprocally, according to the Nash-Kuiper theorem, any Riemannian surface with boundary can be embedded in Euclidean space preserving the lengths and area specified by the Riemannian metric. Thus the filling problem can be stated equivalently as a question about Riemannian surfaces, that are not placed in Euclidean space in any particular way.

Conjecture (Gromov's filling area conjecture, 1983): The hemisphere has minimum area among the orientable compact Riemannian surfaces that fill isometrically their boundary curve, of given length.^[1]^{: p. 13}

Gromov's proof for the case of Riemannian disks

In the same paper where Gromov stated the conjecture, he proved that

the hemisphere has least area among the Riemannian surfaces that isometrically fill a circle of given length, and are homeomorphic to a disk.^[1]

Proof: Let $M$ be a Riemannian disk that isometrically fills its boundary of length $2L$ . Glue each point $x\in \partial M$ with its antipodal point $-x$ , defined as the unique point of $\partial M$ that is at the maximum possible distance $L$ from $x$ . Gluing in this way we obtain a closed Riemannian surface $M'$ that is homeomorphic to the real projective plane and whose systole (the length of the shortest non-contractible curve) is equal to $L$ . (And reciprocally, if we cut open a projective plane along a shortest noncontractible loop of length $L$ , we obtain a disk that fills isometrically its boundary of length $2L$ .) Thus the minimum area that the isometric filling $M$ can have is equal to the minimum area that a Riemannian projective plane of systole $L$ can have. But then Pu's systolic inequality asserts precisely that a Riemannian projective plane of given systole has minimum area if and only if it is round (that is, obtained from a Euclidean sphere by identifying each point with its opposite). The area of this round projective plane equals the area of the hemisphere (because each of them has half the area of the sphere).

The proof of Pu's inequality relies, in turn, on the uniformization theorem.

Fillings with Finsler metrics

In 2001, Sergei Ivanov presented another way to prove that the hemisphere has smallest area among isometric fillings homeomorphic to a disk.^[2]^[3]^[4] His argument does not employ the uniformization theorem and is based instead on the topological fact that two curves on a disk must cross if their four endpoints are on the boundary and interlaced. Moreover, Ivanov's proof applies more generally to disks with Finsler metrics, which differ from Riemannian metrics in that they need not satisfy the Pythagorean equation at the infinitesimal level. The area of a Finsler surface can be defined in various inequivalent ways, and the one employed here is the Holmes–Thompson area, which coincides with the usual area when the metric is Riemannian. What Ivanov proved is that

The hemisphere has minimum Holmes–Thompson area among Finsler disks that isometrically fill a closed curve of given length.

Proof of Ivanov's theorem

Let $(M, F)$ be a Finsler disk that isometrically fills its boundary of length $2 L$ . We may assume that $M$ is the standard round disk in $ℝ 2$ , and the Finsler metric $F :T M = M \times ℝ 2 \to [0,+\infty)$ is smooth and strongly convex.^[5] The Holmes–Thompson area of the filling can be computed by the formula

\operatorname {Area} _{\mathrm {HT} }(M,F)={\frac {1}{\pi }}\iint _{M}|B_{x}^{*}|\,\mathrm {d} x_{0}\,\mathrm {d} x_{1}

where for each point $x\in M$ , the set $B_{x}^{*}\subseteq \mathbb {R} ^{2}$ is the dual unit ball of the norm $F_{x}$ (the unit ball of the dual norm $F_{x}^{*}$ ), and $|B_{x}^{*}|$ is its usual area as a subset of $\mathbb {R} ^{2}$ .

Choose a collection $P=(p_{i})_{0\leq i<n}\subseteq \partial M$ of boundary points, listed in counterclockwise order. For each point $p_{i}$ , we define on M the scalar function $f_{i}(x)=\mathrm {dist} _{F}(p_{i},x)$ . These functions have the following properties:

Each function $f_{i}:M\to \mathbb {R}$ is Lipschitz on M and therefore (by Rademacher's theorem) differentiable at almost every point $x\in M$ .
If $f_{i}$ is differentiable at an interior point $x\in M^{\circ }$ , then there is a unique shortest curve from $p_{i}$ to x (parametrized with unit speed), that arrives at x with a speed $v_{i}$ . The differential $\mathrm {d} _{x}f_{i}$ has norm 1 and is the unique covector $\varphi \in B_{x}^{*}$ such that $\varphi (v_{i})=F_{x}(v_{i})$ .
In each point $x\in M^{\circ }$ where all the functions $f_{i}$ are differentiable, the covectors $\mathrm {d} f_{i}$ are distinct and placed in counterclockwise order on the dual unit sphere $\partial B_{x}^{*}$ . Indeed, they must be distinct because different geodesics cannot arrive at $x$ with the same speed. Also, if three of these covectors $\mathrm {d} _{x}f_{i},\mathrm {d} _{x}f_{j},\mathrm {d} _{x}f_{k}$ (for some $0\leq i<j<k<n$ ) appeared in inverted order, then two of the three shortest curves from the points $p_{i},p_{j},p_{k}\in \partial M$ to $x$ would cross each other, which is not possible.

In summary, for almost every interior point $x\in M^{\circ }$ , the covectors $\mathrm {d} _{x}f_{i}$ are vertices, listed in counterclockwise order, of a convex polygon inscribed in the dual unit ball $B_{x}^{*}$ . The area of this polygon is $\sum _{i}{\frac {1}{2}}\mathrm {d} _{x}f_{i}\wedge \mathrm {d} _{x}f_{i+1}$ (where the index i + 1 is computed modulo n). Therefore we have a lower bound

c_{P}:=\int _{M}\sum _{i}{\frac {1}{2}}\mathrm {d} f_{i}\wedge \mathrm {d} f_{i+1}\leq \pi \,\operatorname {Area} _{\mathrm {HT} }(M,F),

for the area of the filling. If we define the 1-form $\theta _{P}=\sum _{i}{\frac {1}{2}}f_{i}\,\mathrm {d} f_{i+1}$ , then we can rewrite this lower bound using the Stokes formula as

c_{P}=\int _{M}\mathrm {d} \theta _{P}=\int _{\partial M}\theta _{P}=\dots =2L^{2}-\sum _{i}\delta _{i}^{2}\ {\xrightarrow {P\ {\text{dense}}}}\ 2L^{2}

.

The boundary integral that appears here is defined in terms of the distance functions $f_{i}$ restricted to the boundary, which do not depend on the isometric filling. The result of the integral therefore depends only on the placement of the points $p_{i}$ on the circle of length 2L. We omitted the computation, and expressed the result in terms of the lengths $\delta _{i}$ of each counterclockwise boundary arc from a point $p_{i}$ to the following point $p_{i+1}$ . The computation is valid only if $\delta _{i}<{\frac {L}{2}}$ .

In summary, our lower bound for the area of the Finsler isometric filling converges to ${\frac {1}{\pi }}2L^{2}$ as the collection $P\subseteq \partial M$ is densified. This implies that

\operatorname {Area} _{\mathrm {HT} }(M,F)\geq {\frac {1}{\pi }}\,2L^{2}=\operatorname {Area} ({\text{hemisphere}})

,

as we had to prove.

Unlike the Riemannian case, there is a great variety of Finsler disks that isometrically fill a closed curve and have the same Holmes–Thompson area as the hemisphere. If the Hausdorff area is used instead, then the minimality of the hemisphere still holds, but the hemisphere becomes the unique minimizer. This follows from Ivanov's theorem since the Hausdorff area of a Finsler manifold is never less than the Holmes–Thompson area, and the two areas are equal if and only if the metric is Riemannian.

Non-minimality of the hemisphere among rational fillings with Finsler metrics

A Euclidean disk that fills a circle can be replaced, without decreasing the distances between boundary points, by a Finsler disk that fills the same circle $N$ =10 times (in the sense that its boundary wraps around the circle $N$ times), but whose Holmes–Thompson area is less than $N$ times the area of the disk.^[6] For the hemisphere, a similar replacement can be found. In other words, the filling area conjecture is false if Finsler 2-chains with rational coefficients are allowed as fillings, instead of orientable surfaces (which can be considered as 2-chains with integer coefficients).

Riemannian fillings of genus one and hyperellipticity

An orientable Riemannian surface of genus one that isometrically fills the circle cannot have less area than the hemisphere.^[7] The proof in this case again starts by gluing antipodal points of the boundary. The non-orientable closed surface obtained in this way has an orientable double cover of genus two, and is therefore hyperelliptic. The proof then exploits a formula by J. Hersch from integral geometry. Namely, consider the family of figure-8 loops on a football, with the self-intersection point at the equator. Hersch's formula expresses the area of a metric in the conformal class of the football, as an average of the energies of the figure-8 loops from the family. An application of Hersch's formula to the hyperelliptic quotient of the Riemann surface proves the filling area conjecture in this case.

Almost flat manifolds are minimal fillings of their boundary distances

If a Riemannian manifold $M$ (of any dimension) is almost flat (more precisely, $M$ is a region of $\mathbb {R} ^{n}$ with a Riemannian metric that is $C^{2}$ -near the standard Euclidean metric), then $M$ is a volume minimizer: it cannot be replaced by an orientable Riemannian manifold that fills the same boundary and has less volume without reducing the distance between some boundary points.^[8] This implies that if a piece of sphere is sufficiently small (and therefore, nearly flat), then it is a volume minimizer. If this theorem can be extended to large regions (namely, to the whole hemisphere), then the filling area conjecture is true. It has been conjectured that all simple Riemannian manifolds (those that are convex at their boundary, and where every two points are joined by a unique geodesic) are volume minimizers.^[8]

The proof that each almost flat manifold $M$ is a volume minimizer involves embedding $M$ in $L^{\infty }(\partial M)$ , and then showing that any isometric replacement of $M$ can also be mapped into the same space $L^{\infty }(\partial M)$ , and projected onto $M$ , without increasing its volume. This implies that the replacement has not less volume than the original manifold $M$ .

Related Research Articles

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

In differential geometry, a Riemannian manifold or Riemannian space(M, g), so called after the German mathematician Bernhard Riemann, is a real, smooth manifold M equipped with a positive-definite inner product g_p on the tangent space T_pM at each point p.

Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, defined as smooth manifolds with a Riemannian metric. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature K(σ_p) depends on a two-dimensional linear subspace σ_p of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σ_p as a tangent plane at p, obtained from geodesics which start at p in the directions of σ_p. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

In the mathematical field of Riemannian geometry, the scalar curvature is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor.

In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of $with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H 2, which was the first instance studied, is also called the hyperbolic plane.$

In mathematics, particularly differential geometry, a Finsler manifold is a differentiable manifold $M$ where a (possibly asymmetric) Minkowski functional $F (x, -)$ is provided on each tangent space $T x M$ , that enables one to define the length of any smooth curve $γ : [a, b] \to M$ as

In the mathematical study of metric spaces, one can consider the arclength of paths in the space. If two points are at a given distance from each other, it is natural to expect that one should be able to get from the first point to the second along a path whose arclength is equal to that distance. The distance between two points of a metric space relative to the intrinsic metric is defined as the infimum of the lengths of all paths from the first point to the second. A metric space is a length metric space if the intrinsic metric agrees with the original metric of the space.

This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.

In mathematics, a hyperbolic metric space is a metric space satisfying certain metric relations between points. The definition, introduced by Mikhael Gromov, generalizes the metric properties of classical hyperbolic geometry and of trees. Hyperbolicity is a large-scale property, and is very useful to the study of certain infinite groups called Gromov-hyperbolic groups.

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an $-dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.$

<span class="mw-page-title-main">Systolic geometry</span> Form of differential geometry

In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner and developed by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, in its arithmetical, ergodic, and topological manifestations. See also a slower-paced Introduction to systolic geometry.

<span class="mw-page-title-main">Pu's inequality</span>

In differential geometry, Pu's inequality, proved by Pao Ming Pu, relates the area of an arbitrary Riemannian surface homeomorphic to the real projective plane with the lengths of the closed curves contained in it.

In Riemannian geometry, the filling radius of a Riemannian manifold X is a metric invariant of X. It was originally introduced in 1983 by Mikhail Gromov, who used it to prove his systolic inequality for essential manifolds, vastly generalizing Loewner's torus inequality and Pu's inequality for the real projective plane, and creating systolic geometry in its modern form.

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

Systolic geometry is a branch of differential geometry, a field within mathematics, studying problems such as the relationship between the area inside a closed curve C, and the length or perimeter of C. Since the area A may be small while the length l is large, when C looks elongated, the relationship can only take the form of an inequality. What is more, such an inequality would be an upper bound for A: there is no interesting lower bound just in terms of the length.

In metric space theory and Riemannian geometry, the Riemannian circle is a great circle with a characteristic length. It is the circle equipped with the intrinsic Riemannian metric of a compact one-dimensional manifold of total length 2 $π$ , or the extrinsic metric obtained by restriction of the intrinsic metric to the two-dimensional surface of the sphere, rather than the extrinsic metric obtained by restriction of the Euclidean metric to the unit circle of the two-dimensional Cartesian plane. The distance between a pair of points on the surface of the sphere is defined to be the length of the shorter of the two arcs into which the circle is partitioned by the two points.

In geometry of normed spaces, the Holmes–Thompson volume is a notion of volume that allows to compare sets contained in different normed spaces. It was introduced by Raymond D. Holmes and Anthony Charles Thompson.

In mathematics, the Besicovitch inequality is a geometric inequality relating volume of a set and distances between certain subsets of its boundary. The inequality was first formulated by Abram Besicovitch.

References

1 2 Gromov, Mikhail (1983). "Filling Riemannian Manifolds". J. Diff. Geom. 18 (1): 1–147. doi: 10.4310/jdg/1214509283 . MR 0697984.
↑ Ivanov, Sergei V. (2001). "On two-dimensional minimal fillings". Algebra i Analiz (in Russian). 13 (1): 26–38.
↑ Ivanov, Sergei V. (2002). "On two-dimensional minimal fillings". St. Petersburg Math. J. 13 (1): 17–25. MR 1819361.
↑ Ivanov, Sergei V. (2011). "Filling minimality of Finslerian 2-discs". Proc. Steklov Inst. Math. 273 (1): 176–190. arXiv: 0910.2257 . doi:10.1134/S0081543811040079.
↑ If the original metric is not smooth and strongly convex, then we approximate it by one that enjoys these properties.
↑ Burago, Dmitri; Ivanov, Sergei V. (2002). "On Asymptotic Volume of Finsler Tori, Minimal Surfaces in Normed Spaces, and Symplectic Filling Volume". Ann. of Math. 2. 156 (3): 891–914. CiteSeerX 10.1.1.625.3347 . doi:10.2307/3597285. JSTOR 3597285. MR 1954238.
↑ Bangert, Victor; Croke, Christopher B.; Ivanov, Sergei; Katz, Mikhail G. (2005). "Filling area conjecture and ovalless real hyperelliptic surfaces". Geom. Funct. Anal. 15 (3): 577–597. arXiv: math/0405583 . doi:10.1007/S00039-005-0517-8. MR 2221144.
1 2 Burago, Dmitri; Ivanov, Sergei V. (2010). "Boundary rigidity and filling volume minimality of metrics close to a flat one". Ann. of Math. 2. 171 (2): 1183–1211. doi: 10.4007/annals.2010.171.1183 . MR 2630062.

Katz, Mikhail G. (2007), Systolic geometry and topology, Mathematical Surveys and Monographs, vol. 137, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-4177-8

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[gromov1983filling-1] 1 2 Gromov, Mikhail (1983). "Filling Riemannian Manifolds". J. Diff. Geom. 18 (1): 1–147. doi: 10.4310/jdg/1214509283 . MR 0697984.

[2] Ivanov, Sergei V. (2001). "On two-dimensional minimal fillings". Algebra i Analiz (in Russian). 13 (1): 26–38.

[3] Ivanov, Sergei V. (2002). "On two-dimensional minimal fillings". St. Petersburg Math. J. 13 (1): 17–25. MR 1819361.

[4] Ivanov, Sergei V. (2011). "Filling minimality of Finslerian 2-discs". Proc. Steklov Inst. Math. 273 (1): 176–190. arXiv: 0910.2257 . doi:10.1134/S0081543811040079.

[5] If the original metric is not smooth and strongly convex, then we approximate it by one that enjoys these properties.

[6] Burago, Dmitri; Ivanov, Sergei V. (2002). "On Asymptotic Volume of Finsler Tori, Minimal Surfaces in Normed Spaces, and Symplectic Filling Volume". Ann. of Math. 2. 156 (3): 891–914. CiteSeerX 10.1.1.625.3347 . doi:10.2307/3597285. JSTOR 3597285. MR 1954238.

[7] Bangert, Victor; Croke, Christopher B.; Ivanov, Sergei; Katz, Mikhail G. (2005). "Filling area conjecture and ovalless real hyperelliptic surfaces". Geom. Funct. Anal. 15 (3): 577–597. arXiv: math/0405583 . doi:10.1007/S00039-005-0517-8. MR 2221144.

[burago2010boundary-8] 1 2 Burago, Dmitri; Ivanov, Sergei V. (2010). "Boundary rigidity and filling volume minimality of metrics close to a flat one". Ann. of Math. 2. 171 (2): 1183–1211. doi: 10.4007/annals.2010.171.1183 . MR 2630062.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

v t e Systolic geometry
1-systoles of surfaces	Loewner's torus inequality Pu's inequality Filling area conjecture Bolza surface Systoles of surfaces Eisenstein integers
1-systoles of manifolds	Gromov's systolic inequality for essential manifolds Essential manifold Filling radius Hermite constant
Higher systoles	Gromov's inequality for complex projective space Systolic freedom Systolic category