Filling area conjecture
Encyclopedia
In mathematics, in Riemannian geometry
, Mikhail Gromov's filling area conjecture asserts that among all possible fillings of the Riemannian circle
of length 2π by a surface with the strongly isometric property, the round hemisphere has the least area. Here the Riemannian circle refers to the unique closed 1-dimensional Riemannian manifold of total 1-volume 2π and Riemannian diameter π.
is a Riemannian circle
S1 of length 2π and diameter π. More precisely, the Riemannian distance function of S1 is the restriction of the ambient Riemannian distance on the sphere. This property is not satisfied by the standard imbedding of the unit circle in the Euclidean plane, where a pair of opposite points are at distance 2, not π.
We consider all fillings of S1 by a surface, such that the restricted metric defined by the inclusion of the circle as the boundary of the surface is the Riemannian metric of a circle of length 2π. The inclusion of the circle as the boundary is then called a strongly isometric imbedding of the circle. In 1983 Gromov conjectured that the round hemisphere gives the "best" way of filling the circle among all filling surfaces.
The case of simply-connected fillings is equivalent to Pu's inequality for the real projective plane RP2. Recently the case of genus
-1 fillings was settled affirmatively, as well (see Bangert et al). Namely, it turns out that one can exploit a half-century old 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 (see figure at the beginning of the article). 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.
Riemannian geometry
Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, smooth manifolds with a Riemannian metric, i.e. with an inner product on the tangent space at each point which varies smoothly from point to point. This gives, in particular, local notions of angle, length...
, Mikhail Gromov's filling area conjecture asserts that among all possible fillings of the Riemannian circle
Riemannian circle
In metric space theory and Riemannian geometry, the Riemannian circle is a great circle equipped with its great-circle distance...
of length 2π by a surface with the strongly isometric property, the round hemisphere has the least area. Here the Riemannian circle refers to the unique closed 1-dimensional Riemannian manifold of total 1-volume 2π and Riemannian diameter π.
Explanation
To explain the conjecture, we start with the observation that the equatorial circle of the unit 2-sphereis a Riemannian circle
Riemannian circle
In metric space theory and Riemannian geometry, the Riemannian circle is a great circle equipped with its great-circle distance...
S1 of length 2π and diameter π. More precisely, the Riemannian distance function of S1 is the restriction of the ambient Riemannian distance on the sphere. This property is not satisfied by the standard imbedding of the unit circle in the Euclidean plane, where a pair of opposite points are at distance 2, not π.
We consider all fillings of S1 by a surface, such that the restricted metric defined by the inclusion of the circle as the boundary of the surface is the Riemannian metric of a circle of length 2π. The inclusion of the circle as the boundary is then called a strongly isometric imbedding of the circle. In 1983 Gromov conjectured that the round hemisphere gives the "best" way of filling the circle among all filling surfaces.
Relation to Pu's inequality
Genus (mathematics)
In mathematics, genus has a few different, but closely related, meanings:-Orientable surface:The genus of a connected, orientable surface is an integer representing the maximum number of cuttings along non-intersecting closed simple curves without rendering the resultant manifold disconnected. It...
-1 fillings was settled affirmatively, as well (see Bangert et al). Namely, it turns out that one can exploit a half-century old 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 (see figure at the beginning of the article). 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.