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.
Mikhail Gromov once voiced the opinion that the isoperimetric inequality was known already to the Ancient Greeks. The mythological tale of Dido, Queen of Carthage shows that problems about making a maximum area for a given perimeter were posed in a natural way, in past eras.
The relation between length and area is closely related to the physical phenomenon known as surface tension, which gives a visible form to the comparable relation between surface area and volume. The familiar shapes of drops of water express minima of surface area.
The purpose of this article is to explain another such relation between length and area. A space is called simply connected if every loop in the space can be contracted to a point in a continuous fashion. For example, a room with a pillar in the middle, connecting floor to ceiling, is not simply connected. In geometry, a systole is a distance which is characteristic of a compact metric space which is not simply connected. It is the length of a shortest loop in the space that cannot be contracted to a point in the space. In the room example, absent other features, the systole would be the circumference of the pillar. Systolic geometry gives lower bounds for various attributes of the space in terms of its systole.
It is known that the Fubini–Study metric is the natural metric for the geometrisation of quantum mechanics. In an intriguing connection to global geometric phenomena, it turns out that the Fubini–Study metric can be characterized as the boundary case of equality in Gromov's inequality for complex projective space, involving an area quantity called the 2-systole, pointing to a possible connection to quantum mechanical phenomena.
In the following, these systolic inequalities will be compared to the classical isoperimetric inequalities, which can in turn be motivated by physical phenomena observed in the behavior of a water drop.
Perhaps the most familiar physical manifestation of the 3-dimensional isoperimetric inequality is the shape of a drop of water. Namely, a drop will typically assume a symmetric round shape. Since the amount of water in a drop is fixed, surface tension forces the drop into a shape which minimizes the surface area of the drop, namely a round sphere. Thus the round shape of the drop is a consequence of the phenomenon of surface tension. Mathematically, this phenomenon is expressed by the isoperimetric inequality.
The solution to the isoperimetric problem in the plane is usually expressed in the form of an inequality that relates the length
L
A
4\piA\leL2,
and that the equality holds if and only if the curve is a round circle. The inequality is an upper bound for area in terms of length.
Recall the notion of central symmetry: a Euclidean polyhedron is called centrally symmetric if it is invariant under the antipodal map
x\mapsto-x.
Thus, in the plane central symmetry is the rotation by 180 degrees. For example, an ellipse is centrally symmetric, as is any ellipsoid in 3-space.
There is a geometric inequality that is in a sense dual to the isoperimetric inequality in the following sense. Both involve a length and an area. The isoperimetric inequality is an upper bound for area in terms of length. There is a geometric inequality which provides an upper bound for a certain length in terms of area. More precisely it can be described as follows.
Any centrally symmetric convex body of surface area
A
\sqrt{\piA}
For example, an ellipsoid is an example of a convex centrally symmetric body in 3-space. It may be helpful to the reader to develop an intuition for the property mentioned above in the context of thinking about ellipsoidal examples.
An alternative formulation is as follows. Every convex centrally symmetric body
P
{R}3
L
\partialP
P
L2\leq
| \pi | |
| 4 |
area(\partialP).
The systole of a compact metric space
X
X
X
sys(X).
Note that a loop minimizing length is necessarily a closed geodesic. When
X
This line of research was, apparently, given further impetus by a remark of René Thom, in a conversation with Berger in the library of Strasbourg University during the 1961–62 academic year, shortly after the publication of the papers of R. Accola and C. Blatter. Referring to these systolic inequalities, Thom reportedly exclaimed: Mais c'est fondamental! [These results are of fundamental importance!]
Subsequently, Berger popularized the subject in a series of articles and books, most recently in the March 2008 issue of the Notices of the American Mathematical Society. A bibliography at the Website for systolic geometry and topology currently contains over 170 articles. Systolic geometry is a rapidly developing field, featuring a number of recent publications in leading journals. Recently, an intriguing link has emerged with the Lusternik–Schnirelmann category. The existence of such a link can be thought of as a theorem in systolic topology.
RP2
R3
RP2
Alternatively,
RP2
Other metrics on
RP2
S2
Topologically,
RP2
Among closed surfaces, the real projective plane is the simplest non-orientable such surface.
Pu's inequality for the real projective plane applies to general Riemannian metrics on
RP2
A student of Charles Loewner's, Pao Ming Pu proved in a 1950 thesis (published in 1952) that every metric
g
RP2
sys(g)2\leq
| \pi | |
| 2 |
area(g),
where
sys
area(g)-
| 2 | |
| \pi |
sys(g)2\geq0.
There is a vast generalisation of Pu's inequality, due to Mikhail Gromov, called Gromov's systolic inequality for essential manifolds. To state his result, one requires a topological notion of an essential manifold.
Similarly to Pu's inequality, Loewner's torus inequality relatesthe total area, to the systole, i.e. least length of a noncontractibleloop on the torus
(T2,g)
area(g)-\tfrac{\sqrt{3}}{2}sys(g)2\geq0.
The boundary case of equality is attained if and only if the metric ishomothetic to the flat metric obtained as the quotient of
{R}2
The classical Bonnesen's inequality is the strengthenedisoperimetric inequality
L2-4\piA\geq\pi2(R-r)2.
Here
A
L
R
r
\pi2(R-r)2
The explanation of the strengthened version of Loewner's inequality is somewhat more technical than the rest of this article. It seems worth including it here for the sake of completeness. The strengthened version is the inequality
area(g)-\tfrac{\sqrt{3}}{2}sys(g)2\geqVar(f),
where Var is the probabilistic variance while f is the conformal factor expressing the metric g in terms of the flat metric of unit area in the conformal class of g. The proof results from a combination of the computational formula for the variance and Fubini's theorem (see Horowitz et al, 2009).