format: text

text:
# Universal volume bounds in Riemannian manifoldsTo appear in Surveys in Differential Geometry (2003)

## 1 Introduction

In the present article, we will consider $`n`$-dimensional Riemannian manifolds $`(X^n,𝐠)`$, for the most part compact. We plan to survey the results and open questions concerning volume estimates that do not involve curvature (or involve it only very weakly). Our emphasis will be on open questions, and we intend the article to be accessible to graduate students who are interested in exploring these questions. In choosing what to include here, the authors have concentrated on results that have influenced their own work and on recent developments. In particular, we are only able to mention some of the highlights of M. Gromov’s seminal paper \[Gr83\]. His survey devoted specifically to systoles appeared in \[Gr96\]. The interested reader is encouraged to explore those papers further, as well as his recent book \[Gr99\].

The estimates we are concerned with are lower bounds on the Riemannian volume (i.e. the $`n`$-dimensional volume), in terms of volume-minimizing lower dimensional objects. For example, one lower dimensional volume we will consider will be the infimum of volumes of representatives of a fixed homology or homotopy class. This line of research was, apparently, originally stimulated by a remark of René Thom, in a conversation with Marcel Berger in the library of Strasbourg University in the 1960’s, not long after the publication of \[Ac60, Bl61\]. Having been told of the latter results (discussed in sections 2.3 and 5.1), Professor Thom reportedly exclaimed: “Mais c’est fondamental! \[These results are of fundamental importance!\].” Ultimately this lead to the so called isosystolic inequalities, cf. section 4. An intriguing historical discussion appears in section “Systolic reminiscences” \[Gr99, pp. 271-272\].

We will devote section 2 to the study of lower bounds on the area of surfaces (two dimensional manifolds) in terms of the length of closed geodesics. This is where the subject began, with the theorems of Loewner and Pu, and where the most is known.

In section 3 we discuss some of the results and questions that come from \[Gr83\]. In particular, inequality (3.1), which provides a lower bound for the total volume in terms of an invariant called the Filling Radius, is one of the main tools used to obtain isosystolic inequalities in higher dimensions. We also discuss Gromov’s notion of Filling Volume, as well as some of the open questions and recent results relating the volume of a compact Riemannian manifold with boundary, to the distances among its boundary points \[B-C-G96, Cr01, C-D-S00, C-D, Iv02\].

In section 4, we see a collection of results that show that the inequalities envisioned in M. Berger’s original question are often violated. Unless we are dealing with one-dimensional objects, such isosystolic inequalities are systematically violated by suitable families of metrics. This line of work was stimulated by M. Gromov’s pioneering example (4.5), cf. \[Gr96, Ka95, Pitte97, BabK98, BKS98, KS99, KS01, Bab02, Ka02\].

Section 5 discusses how the systolic inequalities that we saw failed in Section 4, can in fact hold if we pass to stable versions. We survey the known results of this nature \[Gr83, He86, BanK03, BanK2\], and also examine the related conformal systolic invariants and their asymptotic behavior, studied in \[BuSa94, Ka3\].

In section 6, we discuss bounds on the volume in terms of the injectivity radius of a compact Riemannian manifold. We discuss the (sharp) isoembolic inequality (6.3) of M. Berger, as well as the local version, i.e. volumes of balls, by Berger and the first author . We survey some of the extensions of these results, with an emphasis on the open questions and conjectures.

## 2 Area and length of closed geodesics in 2 dimensions

In this section, we will restrict ourselves to 2-dimensional Riemannian manifolds $`(X^2,𝐠)`$ and discuss lower bounds on the total area, $`area(𝐠)`$, in term of the least length of a closed geodesic $`L(𝐠)`$. In any dimension, the shortest loop in every nontrivial homotopy class is a closed geodesic. We will denote by $`\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)`$, the least length (often referred to as the “Systole” of $`𝐠`$) of a noncontractible loop $`\gamma `$ in a compact, non-simply-connected Riemannian manifold $`(X,𝐠)`$:

$$\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)=\underset{[\gamma ]0\pi _1(X)}{\mathrm{min}}\mathrm{𝑙𝑒𝑛𝑔𝑡ℎ}(\gamma ).$$
(2.1)
Hence $`\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)L(𝐠)`$. In this section (with the exception of section 2.4 where there is no homotopy) we will consider isosystolic inequalities of the following form: $`\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)^2const\mathrm{𝑎𝑟𝑒𝑎}(𝐠)`$. This leads naturally to the notion of the systolic ratio of an $`n`$-dimensional Riemannian manifold $`(X,𝐠)`$, which is defined to be the scale-invariant quantity $`\frac{\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)^n}{\mathrm{𝑣𝑜𝑙}_n(𝐠)}`$. We also define the optimal systolic ratio of a manifold $`X`$ to be the quantity

$$\underset{𝐠}{sup}\frac{\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)^n}{\mathrm{𝑣𝑜𝑙}_n(𝐠)},$$
(2.2)
where the supremum is taken over all Riemannian metrics $`𝐠`$ on the given manifold $`X`$. Note that in the literature, the reciprocal of this quantity is sometimes used instead. In this section, we will discuss the optimal systolic ratio for $`𝕋^2`$, $`P^2`$ (section 2.1), and the Klein bottle $`P^2\mathrm{\#}P^2`$ (section 2.5). These are the only surfaces for which the optimal systolic ratio is known. However, upper bounds for the systolic ratio, namely isosystolic inequalities, are available for all compact surfaces (section 2.3) except of course for $`S^2`$ (but see section 2.4). Figure 2.1 contains a chart showing the known upper and lower bounds on the optimal systolic ratios of surfaces.

### 2.1 Inequalities of Loewner and Pu

The first results of this type were due to C. Loewner and P. Pu. Around 1949, Carl Loewner proved the first systolic inequality, cf. \[Pu52\]. He showed that for every Riemannian metric $`𝐠`$ on the torus $`𝕋^2`$, we have

$$\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)^2\frac{2}{\sqrt{3}}\mathrm{𝑎𝑟𝑒𝑎}(𝐠),$$
(2.3)
while a metric satisfying the boundary case of equality in (2.3) is necessarily flat, and is homothetic to the quotient of $``$ by the lattice spanned by the cube roots of unity.

Two distinct optimal generalisations of (2.3) are available, cf. (5.17) and (5.14). It follows from Gromov’s estimate (2.9) that aspherical surfaces satisfy Loewner’s inequality (2.3) if the genus is bigger than 50. It is an open question whether the genus assumption can be removed, but for genus up to 30, some information can be deduced from the Buser-Sarnak inequality (5.8).

We give a slightly modified version of M. Gromov’s proof \[Gr96\], using conformal representation and Cauchy-Schwartz, of Loewner’s theorem for the $`2`$-torus. We present the following slight generalisation: there exists a pair of closed geodesics on $`(𝕋^2,𝐠)`$, of respective lengths $`\lambda _1`$ and $`\lambda _2`$, such that

$$\lambda _1\lambda _2\frac{2}{\sqrt{3}}\mathrm{𝑎𝑟𝑒𝑎}(𝐠),$$
(2.4)
and whose homotopy classes form a generating set for $`\pi _1(𝕋^2)=\times `$.

Proof. The proof relies on the conformal representation $`\varphi :𝕋_0(𝕋^2,𝐠)`$, where $`𝕋_0`$ is flat. Here $`\varphi `$ may be chosen in such a way that $`(𝕋^2,𝐠)`$ and $`𝕋_0`$ have the same area. Let $`f`$ be the conformal factor of $`\varphi `$.

Let $`\mathrm{}_0`$ be any closed geodesic in $`𝕋_0`$. Let $`\{\mathrm{}_s\}`$ be the family of geodesics parallel to $`\mathrm{}_0`$. Parametrize the family $`\{\mathrm{}_s\}`$ by a circle $`S^1`$ of length $`\sigma `$, so that $`\sigma \mathrm{}_0=\mathrm{𝑎𝑟𝑒𝑎}(𝕋_0)`$. Thus $`𝕋_0S^1`$ is a Riemannian submersion. Then $`\mathrm{𝑎𝑟𝑒𝑎}(𝕋^2)=_{𝕋_0}Jac_\varphi =_{𝕋_0}f^2`$. By Fubini’s theorem, $`\mathrm{𝑎𝑟𝑒𝑎}(𝕋^2)=_{S^1}𝑑s_\mathrm{}_sf^2𝑑t`$. By the Cauchy-Schwartz inequality,

$$\mathrm{𝑎𝑟𝑒𝑎}(𝕋^2)_{S^1}𝑑s\frac{\left(_\mathrm{}_sf𝑑t\right)^2}{\mathrm{}_0}=\frac{1}{\mathrm{}_0}_{S^1}𝑑s\left(\mathrm{𝑙𝑒𝑛𝑔𝑡ℎ}\varphi (\mathrm{}_s)\right)^2.$$

Hence there is an $`s_0`$ such that $`\mathrm{𝑎𝑟𝑒𝑎}(𝕋^2)\frac{\sigma }{\mathrm{}_0}\mathrm{𝑙𝑒𝑛𝑔𝑡ℎ}\varphi (\mathrm{}_{s_0})^2`$, so that $`\mathrm{𝑙𝑒𝑛𝑔𝑡ℎ}\varphi (\mathrm{}_{s_0})\mathrm{}_0`$. This reduces the proof to the flat case. Given a lattice in $``$, we choose a shortest lattice vector $`\lambda _1`$, as well as a shortest one $`\lambda _2`$ not proportional to $`\lambda _1`$. The inequality is now obvious from the geometry of the standard fundamental domain for the action of $`PSL(2,)`$ in the upper half plane of $``$.  $`\mathrm{}`$

We record here a slight generalization of Pu’s theorem from \[Pu52\]. The generalization follows from Gromov’s inequality (2.10). Namely, every surface $`(X,𝐠)`$ which is not a 2-sphere satisfies

$$\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)^2\frac{\pi }{2}\mathrm{𝑎𝑟𝑒𝑎}(𝐠),$$
(2.5)
where the boundary case of equality in (2.5) is attained precisely when, on the one hand, the surface $`X`$ is a real projective plane, and on the other, the metric $`𝐠`$ is of constant Gaussian curvature.

In both Loewner’s and Pu’s proofs, the area of two pointwise conformal metrics were compared to the minimum lengths of paths in a fixed family of curves (the family of all non contractible closed curves). This is sometimes called the conformal-length method and analyzed in \[Gr83, section 5.5\]. C. Bavard \[Bav92a\] was able to show that in a given conformal class, on any $`n`$-dimensional manifold, there is at most one metric with maximum systolic ratio, and was able to give a characterization of such metrics.

We conjecture a generalisation, 2.1, of Pu’s inequality (2.5). Let $`S`$ be a nonorientable surface and let $`\varphi :\pi _1(S)_2`$ be a homomorphism from its fundamental group to $`_2`$, corresponding to a map $`\widehat{\varphi }:SP^2`$ of absolute degree one. We define the “1-systole relative to $`\varphi `$”, denoted $`\varphi \mathrm{𝑠𝑦𝑠}_1(𝐠)`$, of a metric $`𝐠`$ on $`S`$, by minimizing length over loops $`\gamma `$ which are not in the kernel of $`\varphi `$, i.e. loops whose image under $`\varphi `$ is not contractible in the projective plane:

$$\varphi \mathrm{𝑠𝑦𝑠}_1(𝐠)=\underset{\varphi ([\gamma ])0_2}{\mathrm{min}}\mathrm{𝑙𝑒𝑛𝑔𝑡ℎ}(\gamma ).$$
(2.6)
The question is whether this systole of $`(S,𝐠)`$ satisfies the following sharp inequality, related to Gromov’s inequality $`()_{inter}`$ from \[Gr96, 3.C.1\], see also \[Gr99, Theorem 4.41\].

Conjecture 2.7. For any nonorientable surface $`S`$ and map $`\widehat{\varphi }:SP^2`$ of absolute degree one, we have $`\varphi \mathrm{𝑠𝑦𝑠}_1(𝐠)^2\frac{\pi }{2}\mathrm{𝑎𝑟𝑒𝑎}(𝐠)`$.

In the above, the ordinary 1-systole of Pu’s inequality (2.5) is replaced by the one relative to $`\varphi `$. The example of the connected sum of a standard $`P^2`$ with a little 2-torus shows that such an inequality would be optimal in every topological type $`S`$. Conjecture 2.1 is closely related to the the filling area of the circle (Conjecture 3.2). Given a filling $`X^2`$, one identifies antipodal points on the boundary circle to get a nonorientable surface $`S`$. One can define a degree one map $`f`$ from $`S`$ to $`P^2`$ by taking all points outside of a tubular neighborhood of the original boundary circle to a point. This gives a natural choice of $`\varphi `$ above which relates the two conjectures, cf. Remarks $`(e),(e^{})`$ following \[Gr83, Theorem 5.5.B\].

### 2.2 A surface of genus 2 with octahedral Weierstrass set

The optimal systolic ratio in genus 2 is unknown. Here we discuss a lower bound for the optimal systolic ratio in genus 2. The example of M. Berger (see \[Gr83, Example 5.6.B\], or \[Be83\]) in genus 2 is a singular flat metric with conical singularities. Its systolic ratio is 0.6666, which is not as good as the two examples we will now discuss.

C. Bavard \[Bav92b\] and P. Schmutz \[Sch93, Theorem 5.2\] identified the hyperbolic genus 2 surface with the optimal systolic ratio among all hyperbolic genus 2 surfaces. The surface in question is a triangle surface (2,3,8). It admits a regular hyperbolic octagon as a fundamental domain, and has 12 systolic loops of length $`2x`$, where $`x=\mathrm{cosh}^1(1+\sqrt{2}).`$ It has $`\mathrm{𝑠𝑦𝑠}\pi _1=2\mathrm{log}\left(1+\sqrt{2}+\sqrt{2+2\sqrt{2}}\right)`$, area $`4\pi `$, and systolic ratio 0.7437.

This ratio can be improved by a singular flat metric $`𝐠_𝒪`$, described below. Note that it is an Hadamard space in a generalized sense, i.e. a CAT(0) space.

Start with a triangulation of the real projective plane with 3 vertices and 4 faces, corresponding to the octahedral triangulation of the 2-sphere. The fact that the metric is pulled back from $`P^2`$ is significant, to the extent that if we can show that an extremal metric satisfies this, we would go a long way toward identifying it explicitly.

Every conformal structure on the surface of genus 2 is hyperelliptic \[FK92, Proposition III.7.2\], i.e. it admits a ramified double cover over the 2-sphere with 6 ramification points, called Weierstrass points. We take the 6 vertices of the regular octahedral triangulation, corresponding to the Riemann surface which has an equation of the form

$$y^2=x^5x.$$

This produces a triangulation of the genus 2 surface $`\mathrm{\Sigma }_2`$ consisting of 16 triangles. If each of them is flat equilateral with side $`x`$, then the total area is $`16\left(\frac{1}{2}x^2\mathrm{sin}\frac{\pi }{3}\right)=4\sqrt{3}x^2`$. Meanwhile, $`\mathrm{𝑠𝑦𝑠}\pi _1=2x`$, corresponding to the inverse image of an edge under the double cover $`\mathrm{\Sigma }_2S^2`$. The systolic ratio is $`\frac{(2x)^2}{4\sqrt{3}x^2}=\frac{1}{\sqrt{3}}=0.5773`$, which is not as good as the Bavard-Schmutz example.

Notice that the systolic loop remains locally minimizing if the angle of the triangle with side $`x`$ is decreased from $`\frac{\pi }{3}`$ to $`\frac{\pi }{4}`$ (and the space remains CAT(0)). Therefore we replace the flat equilateral triangles by singular flat equilateral “triangles”, whose singularity at the center has a total angle of $`\frac{9\pi }{4}=2\pi \left(1+\frac{1}{8}\right)`$, while the angle at each of the vertices is $`\frac{\pi }{4}`$. Its barycentric subdivision consists of 6 copies of a flat right angle triangle, denoted $`\mathrm{}^{}(\frac{x}{2},\frac{\pi }{8})`$, with side $`\frac{x}{2}`$ and adjacent angle $`\frac{\pi }{8}`$. Notice that this results in a smooth ramification point (with a total angle of $`2\pi `$) in the ramified cover. We thus obtain a decomposition of $`\mathrm{\Sigma }_2`$ into 96 copies of the triangle $`\mathrm{}^{}(\frac{x}{2},\frac{\pi }{8})`$.

The resulting singular flat metric $`𝐠_𝒪`$ on $`\mathrm{\Sigma }_2`$ (here $`𝒪`$ stands for “octahedron”) has 16 singular points, with a total angle $`\frac{9\pi }{4}`$ around each of them, 4 of them over each center of a face of the $`P^2`$ decomposition. This calculation is consistent with M. Troyanov’s \[Tro86\] Gauss-Bonnet formula $`_\sigma \alpha (\sigma )=2s2`$, where $`s`$ is the genus, where the cone angle at singularity $`\sigma `$ is $`2\pi (1+\alpha (\sigma ))`$.

Dually, the metric $`𝐠_𝒪`$ can be viewed as glued from six flat regular octagons, centered on the Weierstrass points. The hyperelliptic involution is the 180 degree rotation on each of them. The 1-skeleton projects to that of the inscribed cube in the 2-sphere. The systolic ratio of the resulting metric $`𝐠_𝒪`$ is

$$\begin{array}{ccc}\hfill \frac{\left(\mathrm{𝑠𝑦𝑠}\pi _1(𝐠_𝒪)\right)^2}{\mathrm{𝑎𝑟𝑒𝑎}(𝐠_𝒪)}& =& \frac{(2x)^2}{96\mathrm{𝑎𝑟𝑒𝑎}\left(\mathrm{}^{}(\frac{x}{2},\frac{\pi }{8})\right)}_{}\hfill \\ & =& \frac{x^2}{24\left(\frac{1}{2}\left(\frac{x}{2}\right)^2\mathrm{tan}\frac{\pi }{8}\right)}_{}\hfill \\ & =& \left(3\sqrt{32\sqrt{2}}\right)^1^{}\hfill \\ & =& 0.8047.\hfill \end{array}$$
(2.8)
The genus 2 case is further investigated in \[Ca3\].

### 2.3 Gromov’s area estimates for surfaces of higher genus

The earliest work on isosystolic inequalities for surfaces of genus $`s`$ is by R. Accola \[Ac60\] and C. Blatter \[Bl61\]. Their bounds on the optimal systolic ratio went to infinity with the genus, cf. (5.8). J. Hebda \[He82\] and independently Yu. Burago and V. Zalgaller \[B-Z80, B-Z88\] showed that for $`s>1`$ the optimal systolic ratio is bounded by 2 (which is not as good as (2.5), which came later). M. Gromov \[Gr83, p. 50\] (cf. \[Ko87, Theorem 4, part (1)\]) proved a general estimate which implies that if $`\mathrm{\Sigma }_s`$ is a closed orientable surface of genus $`s`$ with a Riemannian metric, then

$$\frac{\mathrm{𝑠𝑦𝑠}\pi _1(\mathrm{\Sigma }_s)^2}{\mathrm{𝑎𝑟𝑒𝑎}(\mathrm{\Sigma }_s)}<\frac{64}{4\sqrt{s}+27}.$$
(2.9)
Thus, as expected, the optimal systolic ratio goes to $`0`$ as the genus goes to infinity (see (5.9) for the correct asymptotic behavior).

Another helpful estimate is found in \[Gr83, Corollary 5.2.B\]. Namely, every aspherical closed surface $`(\mathrm{\Sigma },𝐠)`$ admits a metric ball $`B=B_p\left(\frac{1}{2}\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)\right)\mathrm{\Sigma }`$ of radius $`\frac{1}{2}\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)`$ which satisfies

$$\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)^2\frac{4}{3}\mathrm{𝑎𝑟𝑒𝑎}(B).$$
(2.10)
Furthermore, whenever a point $`x\mathrm{\Sigma }`$ lies on a two-sided loop which is minimizing in its free homotopy class, the metric ball $`B_x(r)\mathrm{\Sigma }`$ of radius $`r\frac{1}{2}\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)`$ satisfies the estimate $`2r^2<\mathrm{𝑎𝑟𝑒𝑎}(B_x(r))`$.

### 2.4 Simply connected and noncompact surfaces

One of the motivating questions for this section is from \[Gr83, p. 135\], see also problem 87 in \[Ya82\] (or \[S-Y94\]).

Question 2.11. For an $`n`$-dimensional compact manifold $`X`$, is there a constant $`C(X)`$ such that for every Riemannian metric $`𝐠`$ on $`X`$, we have

$$\mathrm{𝑣𝑜𝑙}(𝐠)C(X)L(𝐠)^n,$$
(2.12)
where $`L(𝐠)`$ is the length of the shortest nontrivial closed geodesic.

This is still open for many manifolds $`X`$, e.g. for $`X=S^n,n3`$. One could also ask the (stronger) question whether $`C(X)`$ depends only on $`n`$. Since $`\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)L(𝐠)`$, upper bounds on the optimal systolic ratio give upper bounds on the constant $`C(X)`$ in (2.12). Thus we have a positive answer for all closed surfaces except for the two-sphere, $`S^2`$, which of course can have no nontrivial systolic inequalities. However, Question 2.4 does have an affirmative answer in this case. It was shown in \[Cr88B\] that every metric $`𝐠`$ on $`S^2`$ satisfies the bound

$$\frac{1}{31^2}L(𝐠)^2area(𝐠).$$
(2.13)
Another estimate in that paper was $`L(𝐠)9D(𝐠),`$ where $`D(𝐠)`$ represents the diameter. Neither of these constants are best possible, and both have been improved recently \[Mae94, N-R02, Sab1\]. The best known bounds are $`L(𝐠)4D(𝐠)`$ and $`\frac{1}{64}L(𝐠)^2area(𝐠)`$. The conjectured best constant $`C(S^2)`$ in (2.12) for the 2-sphere (suggested to the first author by E. Calabi) is $`\frac{1}{2\sqrt{3}}`$, attained by the singular metric obtained by gluing two equilateral triangles along their edges.

A natural way to find closed geodesics on a non simply connected closed Riemannian manifold is to look for the shortest curve in a nontrivial homotopy class, as we have done in our consideration of $`sys\pi _1(𝐠)`$. However, when $`\pi _1(X)`$ is trivial, the standard technique is to used minimax arguments on nontrivial families of curves. For example, G. Birkhoff \[Bi27\] considered 1-parameter families of closed curves starting and ending in point curves, which pass over $`S^2`$ in the sense that the induced map from $`S^2`$ to $`S^2`$ has nonzero degree. He found a closed geodesic on $`S^2`$ by taking minimum over all these families of the maximum length curve in the family. These minimax geodesics are stationary in the sense that they are critical points (but not necessarily local minima) for the length functional on the space of curves. Thus one can find a short closed geodesic by finding such a family where every curve in the family is short. This idea played an important part in the proof of (2.13) above.

Instead of homotopy classes we could consider homology classes (leading to the notion of $`sys_1(X)`$ cf. (4.1)). That is, we could look at 1-cycles of minimal mass in nontrivial homology classes. When $`H_1(X)`$ is trivial one can instead use a minimax method on 1-cycles, similar to the one described in the previous paragraph, to get stationary 1-cycles (also see section 3.1). In some important cases these also turn out to be closed geodesics but in any event they are natural objects. The basis for this is the work Almgren \[Al62\] and Pitts \[Pitts81, Theorem 4.10\], who get stationary varifolds (in all dimensions) via minimax techniques. The case of 1-cycles (where things are easier) was exploited by Calabi and Cao \[CaCa92\] in their proof that the shortest closed geodesic on a convex surface is simple. They use the fact that on $`S^2`$ this minimax technique produces a closed geodesic. The estimates of A. Nabutovsky, R. Rotman, and S. Sabourau \[N-R02, Sab1\] improving (2.13) mentioned above exploited these techniques, cf. (3.6).

Although, as mentioned above, Question 2.4 is still open for general metrics on $`S^n`$, if one considers only convex hypersurfaces of $`^{n+1}`$ then such a result was shown independently in \[Tre85\] and \[Cr88B\]. The sharp constants are still not known in this case.

Finally one can ask Question 2.4 for noncompact surfaces and complete metrics (of finite area). In fact, the question has a positive answer for all surfaces. Most of the cases were dealt with as a special case of \[Gr83, Theorem 4.4A\], while the other cases (the plane and the cylinder) were dealt with in \[Cr88B\].

### 2.5 Optimal surfaces, existence of optimal metrics, fried eggs

In the case of $`𝕋^2`$ or $`P^2`$, we saw in (2.3) and (2.5) that there is a particular smooth metric which achieves the optimal systolic ratio. In general this will not be the case unless one admits metrics with singularities. In fact, due to Gromov’s compactness theorem \[Gr83, theorem 5.6.C\], there will always be a singular metric achieving the maximal systolic ratio. Such metrics (as well as those that have locally maximal systolic ratio) are called “extremal isosystolic metrics”. See \[Gr83\] or \[Ca96\] for a description of these singular metrics.

For the Klein bottle, C. Bavard \[Bav86\] (also see \[Sak88\]) found the maximal systolic ratio:

$$\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)^2\frac{\pi }{2\sqrt{2}}\mathrm{𝑎𝑟𝑒𝑎}(𝐠).$$
(2.14)
He also identified the extremal isosystolic metric achieving it. This metric is singular, and is built out of two möbius strips of constant curvature $`+1`$ (where the central curve has length $`\pi `$, and width is $`\frac{\pi }{2}`$). They are then glued together along their boundaries. The metric is singular since the geodesic curvatures of both boundaries point outward.

An extensive study of such extremal metrics was undertaken by E. Calabi \[Ca96\]. He derived a number of properties of such extremal metrics using variation methods. For points in such a space at least two systoles must pass through each point. (We slightly abuse terminology by referring to noncontractible curves that have length equal to $`sys\pi _1`$ “systoles”.) One consequence of his analysis is that any such extremal metric must be flat at points where exactly two systoles pass through each point in a neighborhood. Furthermore, these systoles must intersect orthogonally.

The study of solutions to the Euler - Lagrange equations for this problem was futher taken up by R. Bryant in \[Br96\].

Some very interesting examples of piecewise flat (singular) metrics in genus 3 that satisfy these criteria were presented in \[Ca96\]. They do not have the same systolic ratio, one has ratio $`\frac{9}{8\sqrt{3}}.6495`$ and the other $`\frac{8}{7\sqrt{3}}.6598`$, but Calabi stated in that paper that these were probably both local maxima (or at least stationary points) of the systolic ratio. Today \[Ca03\] Calabi feels that the example with the smaller systolic ratio (a ramified 4-fold cover of the octahedron with ratio $`\frac{9}{8\sqrt{3}}`$) is probably not locally a maximum. The example with the larger systolic ratio is still conjectured to be not only a local maximum but the best possible. Calabi \[Ca03, Ca3\] also has an example on a surface of genus 4 of a piecewise flat (with conical singularities) metric (having a symmetry group of order 120) with a systolic ratio of $`\frac{(18\sqrt{7})^2}{1440\sqrt{7}}=\frac{9\sqrt{7}}{40}0.5953`$. It is built out of 60 flat rhombi with angles arccos(1/8) and arccos(-1/8). It is suspected that it is close to the optimum systolic ratio but it is not optimum since there are points through which only one systole passes.

An important local solution to the Euler-Lagrange equations for extremal isosystolic metrics, the “Fried Egg”, was also described in \[Ca96\]. This example is a (non flat) metric on a disk whose boundary is a regular hexagon all of whose angles are $`\frac{\pi }{2}`$. It arises in consideration of the problem of finding the least area Riemannian metric in a hexagon (having the symmetries of a hexagon - i.e. the dihedral group of order 12 generated by reflections) such that each point on a given side has distance exactly 2 to the opposite side. (The above additional symmetry assumption did not appear in the original paper but should be included \[Ca03\].) A solution to related problems for an octagon and a triangle might be useful in further increasing the systolic ratio in the example of section 2.2 by replacing the flat octagons (in the dual picture) or the singular triangles with such fried eggs.

The example (piecewise flat with conical singularities) of Calabi above in genus 3 with systolic ratio $`\frac{8}{7\sqrt{3}}`$ is the only candidate that exists for metrics on surfaces of higher genus achieving the maximal systolic ratio. In contrast, Sabourau in \[Sab02c\] shows that in genus 2, no flat metric with conical singularities (such as the example of section 2.2) can achieve the maximal systolic ratio.

## 3 Gromov’s Filling Riemannian Manifolds

In this section, we discuss some of the main results in \[Gr83\]. The reader should look at that paper for many interesting results in this area.

### 3.1 Filling radius + main estimate

Let $`X^n`$ be a closed, smooth, $`n`$-dimensional manifold with a metric $`d_X`$ (not necessarily Riemannian). Let $`A`$ be a coefficient ring (either $``$ or $`/2`$). In \[Gr83\], Gromov introduced the notion of the filling radius, $`\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(X,A)`$, with respect to $`A`$, of $`(X,d_X)`$. There is a natural strong isometric embedding (in the metric space sense!) $`i:XL^{\mathrm{}}X`$, defined by $`i(x)()=d_X(x,)`$. The filling radius is the infimum of $`r`$ such that $`i(X)`$ bounds in the tubular $`r`$-neighborhood

$$T_r(i(X))L^{\mathrm{}}X,$$

in the sense that the image $`i([X])`$ of the fundamental class vanishes in $`H_n(T_r(i(X));A)`$.

The only Riemannian manifolds for which the precise value of the filling radius is known \[Ka83\] are spheres and real projective spaces of constant curvature $`K`$, as well as a single additional case of $`P^2`$ \[Ka91B\]. Thus, $`\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(S^n)=\frac{1}{2}\mathrm{arccos}\left(\frac{1}{n+1}\right)K^{\frac{1}{2}}`$. Meanwhile, $`\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(P^n)=\frac{1}{3}\mathrm{𝑑𝑖𝑎𝑚}(P^n)`$, and thus “round” real projective spaces are extremal for the optimal inequality $`\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(X)\frac{1}{3}\mathrm{𝑑𝑖𝑎𝑚}(X)`$, valid for all Riemannian manifolds \[Ka83\]. Partial results in the direction of calculating the filling radius for other two-point homogeneous spaces were obtained in \[Ka91A, Ka91B, Ka91C\]. An optimal inequality for the filling radius appears in \[Wi92\].

One of the fundamental estimates that allows universal inequalities in higher dimensions is the following theorem, due to Gromov \[Gr83, Section 1.2, Main Theorem\].

Theorem 3.1. For any closed Riemannian $`n`$-manifold $`X`$ we have

$$\mathrm{𝑣𝑜𝑙}(X)^{\frac{1}{n}}>\left((n+1)(n^n)\sqrt{(n+1)!}\right)^1\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(X).$$

Many of the higher dimensional universal inequalities use this estimate along with an estimate for the filling radius. The first of these was Gromov’s systolic theorem (below) for essential manifolds.

Definition 3.2. The manifold $`X^n`$ is called essential (over $`A`$) if it admits a map, $`F:XK`$, to an aspherical space $`K`$ such that the induced homomorphism $`F_{}:H_n(X,A)H_n(K,A)`$ sends the fundamental class $`[X]`$ to a nonzero class: $`F_{}([X])0H_n(K,A)`$.

Here we must take $`A=/2`$ if $`X`$ is nonorientable. In \[Gr83, Theorem 0.1.A\] Gromov showed the following.

Theorem 3.3. Assume $`X`$ is essential over $`A`$. Then every Riemannian metric $`𝐠`$ on $`X`$ satisfies the inequality

$$\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(𝐠)\frac{1}{6}sys\pi _1(𝐠).$$

Combined with Theorem 3.1, this yields the inequality

$$\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)^n<\left(6(n+1)(n^n)\sqrt{(n+1)!}\right)^n\mathrm{𝑣𝑜𝑙}_n(𝐠).$$
(3.4)
This theorem generalizes both the Loewner (2.3) and the Pu (2.5) theorems to higher dimensions (with non-sharp constants) since both $`𝕋^n`$ and $`P^n`$ are essential, and in particular answers Question 2.4 in the affirmative for these spaces. Since the proof of the theorem is the model for most other estimates of $`\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(X)`$ we give it now.

Proof. We will represent a filling as continuous map $`\sigma :\mathrm{\Sigma }T_r(i(X))`$ from an $`(n+1)`$-dimensional simplicial complex $`\mathrm{\Sigma }`$ such that the restriction $`\sigma |_\mathrm{\Sigma }:\mathrm{\Sigma }i(X)`$ represents a generator in $`H_n(X;A)`$. We note that for any fixed $`ϵ>0`$, by taking barycentric subdivisions as needed, we may assume that the $`\sigma `$-image of any simplex has diameter less than $`ϵ`$ in $`L^{\mathrm{}}(X)`$. We note that there can be no continuous map $`f:\mathrm{\Sigma }K`$ which agrees with $`F\sigma `$ on $`\mathrm{\Sigma }`$, since $`F\sigma |_\mathrm{\Sigma }`$ represents $`F_{}[X]`$ (so is not a boundary in $`K`$ by the hypothesis of Definition 3.1). Since $`F`$ is defined on $`X`$, we can also think of it as defined on $`i(X)L^{\mathrm{}}(X)`$ because $`i`$ is an embedding.

The proof will be by contradiction. We assume that $`\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(X)<\frac{1}{6}sys\pi _1(X)`$, let $`0<ϵ`$ be such that $`2\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(X)+3ϵ<\frac{1}{3}sys\pi _1(X)`$. Take a filling $`\sigma :\mathrm{\Sigma }T_r(i(X))`$ (for $`r=\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(X)+ϵ`$) where the image of the simplices have diameter less than $`ϵ`$, and show that $`F\sigma :\mathrm{\Sigma }K`$ extends to a continuous $`f:\mathrm{\Sigma }K`$ giving the desired contradiction.

We construct the extension by first choosing, for every vertex $`v`$ of $`\mathrm{\Sigma }\mathrm{\Sigma }`$, a point $`x(v)X`$ such that $`d(i(x(v)),\sigma (v))<r`$ (which we can do since $`\sigma (\mathrm{\Sigma })T_r(i(X))`$). (For $`v\mathrm{\Sigma }`$ just take $`x(v)=\sigma (v)`$) Now we define $`f(v)F(x(v))`$. Let $`e`$ be an edge of a simplex in $`\mathrm{\Sigma }`$ with endpoints $`v_1`$ and $`v_2`$. The strongly isometric nature of the imbedding $`XL^{\mathrm{}}X`$ and the triangle inequality in $`L^{\mathrm{}}X`$ imply that

$$d(x(v_1),x(v_2))=d(i(x(v_1)),i(x(v_2)))2r+ϵ<\frac{1}{3}sys\pi _1(X).$$

Choose a shortest path $`x(e)(t)`$ from $`x(v_1)`$ to $`x(v_2)`$ in $`X`$ and let $`f(e(t))=F(x(e)(t))`$. This extends $`f`$ to the one-skeleton of $`\mathrm{\Sigma }`$. Now for each two-simplex of $`\mathrm{\Sigma }`$ with edges $`e_1`$, $`e_2`$, and $`e_3`$, the closed curve formed by the $`x(e_i)`$ has length less than $`sys\pi _1(X)`$. Therefore it can be contracted to a point in $`X`$. Hence we can define a map of the two-simplex to $`X`$, and then composing with $`F`$ to $`K`$ which agrees with $`f`$ on the edges. Thus we can extend $`f`$ to the two-skeleton. Now since $`K`$ is aspherical, there is no obstruction to extending $`f`$ to the rest of $`\mathrm{\Sigma }`$. This gives the desired contradiction.  $`\mathrm{}`$

In general, proofs of lower bounds on the filling radius take this form. That is, one assumes the filling radius is small, takes a nice filling, and uses it to construct some map (usually skeleton by skeleton) that one knows does not exist.

The following theorem from \[Gro2, 3.$`C_1`$\] can be thought of as a generalisation of Loewner’s inequality (2.3), and a homological analogue of (3.4), see also Gromov’s sharp stable inequality (5.14). Let $`X`$ be a smooth compact $`n`$-dimensional manifold. Assume that there is a field $`F`$ and classes $`\alpha _1,\mathrm{},\alpha _nH^1(X,F)`$ with a nonvanishing cup product $`\alpha _1\mathrm{}\alpha _n0`$. Then every Riemannian metric $`𝐠`$ on $`X`$ satisfies the inequality

$$\mathrm{𝑠𝑦𝑠}_1(𝐠)^nC_n\mathrm{𝑣𝑜𝑙}_n(𝐠),$$
(3.5)
where $`C_n`$ is a constant depending only on the dimension.

In section 2.4 we introduced the notion of a stationary 1-cycle. These are usually found by the minimax techniques of Almgren and Pitts (see \[Al62\] and \[Pitts81, Theorem 4.10\] ). A stationary one cycle is built out of finitely many geodesic segments and the mass is just the sum of the lengths of the segments. For a given Riemannian metric $`𝐠`$ we will let $`m_1(𝐠)`$ be the minimal mass of a stationary 1-cycle. Since a closed geodesic is a stationary 1-cycle we have $`L(𝐠)m_1(𝐠)`$.

Recently these techniques have been combined with the Filling techniques to get isosystolic type estimates in all dimensions for all manifolds. In \[N-R2\] Nabutovsky and Rotman showed that

$$m_1(𝐠)2(n+2)!\mathrm{𝐹𝑖𝑙𝑙𝑅𝑎𝑑}(𝐠)$$
(3.6)
and hence, by Theorem 3.1, we have $`m_1(𝐠)^nC(n)\mathrm{𝑣𝑜𝑙}(𝐠)`$ (for an explicit constant $`C(n)`$).

In \[Sab1\] Sabourau gives a lower bound on the Filling radius of a generic metric on the two-sphere in terms of the minimal mass of a 1-cycle of index 1. The minimal mass is achieved by either a simple closed geodesic or a figure 8 geodesic. The advantage of this estimate is that short geodesics around thin necks (which, in nearby generic metrics, will have index 0 as 1-cycles) can be ignored to give better bounds on the area.

### 3.2 Filling volume and chordal metrics

In \[Gr83\] Gromov also introduced the notion of Filling Volume, $`FillVol(N^n,d)`$, for a compact manifold $`N`$ with a metric $`d`$ (here $`d`$ is a distance function which is not necessarily Riemannian). For the actual definition one should see \[Gr83\], but it is shown in \[Gr83\] that when $`n2`$

$$FillVol(N^n,d)=\underset{𝐠}{inf}\mathrm{𝑣𝑜𝑙}(X^{n+1},𝐠)$$
(3.7)
where $`X`$ is any fixed manifold such that $`X=N`$ (one can even take $`X=N\times [0,\mathrm{})`$), the infimum is taken over all Riemannian metrics $`𝐠`$ on $`X`$ for which the boundary distance function is $`d`$. In the case $`n=1`$, the topology of the filling $`X^2`$ could affect the infimum, as is shown by example in \[Gr83, Counterexamples 2.2.B\].

In fact, the filling volume is not known for any Riemannian metric. However, Gromov does conjecture the following in \[Gr83\], immediately after Proposition 2.2.A.

Conjecture 3.8. $`Fillvol(S^n,can)=\frac{1}{2}\omega _{n+1}`$, where $`\omega _{n+1}`$ represents the volume of the unit $`(n+1)`$-sphere.

This is still open in all dimensions. In the case that $`n=1`$, as we pointed out earlier, this is closely related to Conjecture 2.1. The filling area of the circle of length $`2\pi `$ with respect to the simply connected filling (by a disk) is indeed $`\frac{\pi }{2}`$, by Pu’s inequality (2.5) applied to the projective plane obtained by identifying opposite points of the circle.

In many cases it is more natural to consider “chordal metrics” than Riemannian metrics when discussing Filling volume. Consider a compact manifold $`X`$ with boundary $`X`$ with a Riemannian metric $`𝐠`$. Then there is a (typically not Riemannian) metric $`d_𝐠`$ on $`X`$, where $`d_𝐠(x,y)`$ represents the distance in $`X`$ with respect to the the metric $`𝐠`$, i.e. the length of the $`𝐠`$-shortest path in $`X`$ between boundary points. We call $`d_𝐠`$ the chordal metric on $`X`$ induced by $`𝐠`$.

Sharp filling volume estimates for chordal metrics are related to a universal length versus volume question for a given compact manifold $`X`$ with boundary $`X`$. This question compares the volumes, $`\mathrm{𝑣𝑜𝑙}(𝐠_0)`$ and $`\mathrm{𝑣𝑜𝑙}(𝐠_1)`$, of two Riemannian metrics $`𝐠_0`$ and $`𝐠_1`$ on $`X`$ if we know that for every pair of points $`x,yX`$ we have $`d_{𝐠_0}(x,y)d_{𝐠_1}(x,y)`$. Of course, without some further assumptions on the metrics (such as some minimizing property of geodesics) there is no general comparison between the volumes. For a fixed $`𝐠_0`$ (and $`n2`$) the statement that for all such $`𝐠_1`$ we have $`\mathrm{𝑣𝑜𝑙}(𝐠_0)\mathrm{𝑣𝑜𝑙}(𝐠_1)`$ is just the statement that $`FillVol(X,d_{𝐠_0})=\mathrm{𝑣𝑜𝑙}(𝐠_0)`$. Note that the standard metric on the $`n`$-sphere is just the chordal metric of the $`(n+1)`$-dimensional hemisphere that it bounds. So Conjecture 3.2 is in fact such a question.

In the computation of the Filling volume via formula (3.7) above when $`d`$ is the chordal distance function of some Riemannian manifold $`(X^{n+1},X,𝐠_0)`$ ($`n2`$) one can not only fix the topology of $`X^{n+1}`$ but also restrict to metrics $`𝐠`$ such that the Riemannian metrics on $`X`$ gotten by restricting $`𝐠`$ and $`𝐠_0`$ to $`X`$ are the same (see \[Cr01\]).

The filling volume is known for some chordal metrics. Gromov in \[Gr83\] proved this for $`X^{n+1}`$ a compact subdomain of $`^{n+1}`$ (or in fact for some more general flat manifolds with boundary). The minimal entropy theorem of Besson, Courtois, and Gallot \[B-C-G96, B-C-G95\] can be used to prove the result for compact subdomains of symmetric spaces of negative curvature (see \[Cr01\]). For general convex simply connected manifolds $`(X,X,𝐠_0)`$ of negative curvature, there is a $`C^3`$ neighborhood in the space of metrics such that any metric $`𝐠_1`$ in that neighborhood with $`𝐠_1|_X=𝐠_0|_X`$ and $`d_{𝐠_1}(x,y)d_{𝐠_0}(x,y)`$ has $`\mathrm{𝑣𝑜𝑙}(𝐠_1)\mathrm{𝑣𝑜𝑙}(𝐠_0)`$ and equality of the volumes implies $`𝐠_1`$ is isometric to $`𝐠_0`$ (see \[C-D-S00\]). This leads to the conjecture:

Conjecture 3.9. For any compact subdomain of a simply connected space of negative (nonpositive?) curvature of dimension $`3`$, the filling volume of the boundary with the chordal metric is just the volume of the domain. Furthermore, the domain is the unique (up to isometry) volume minimizing filling.

The uniqueness part of this question has applications to the boundary rigidity problem. In that problem one considers the case when $`d_{𝐠_0}(x,y)=d_{𝐠_1}(x,y)`$ for all boundary points $`x`$ and $`y`$ and asks if $`𝐠_0`$ must be isometric to $`𝐠_1`$. In some natural cases (see SGM below) the volumes can be shown to be equal. For example, Gromov’s result for subdomains of Euclidean space showed that they were boundary rigid. Again this cannot hold in general. A survey of what is known about the boundary rigidity problem can be found in \[Cr01\]. There are a few natural choices for assumptions in this case. The most general natural assumption of this sort is SGM. The SGM condition (which is given in terms of the distance function $`d_𝐠:X\times X`$ alone) would take some space to define precisely (see \[Cr91\]), but loosely speaking (i.e. the definitions coincide except in a few cases) it means the following:

Definition 3.10. A metric is “loosely” SGM if all nongrazing geodesic segments are strongly minimizing.

By a nongrazing geodesic segment we mean a segment of a geodesic which lies in the interior of $`X`$ except possibly for the endpoints. A segment is said to minimize if its length is the distance between the endpoints, and to strongly minimize if it is the unique such path. (This loose definition seems to rely on more than $`d_𝐠`$ but the relationship is worked out in \[Cr91\].) Examples of such $`(X,X,𝐠)`$ are given by compact subdomains of an open ball, $`B`$, in a Riemannian manifold where all geodesics segments in $`B`$ minimize. The only reason not to use the “loose” definition above is that using a definition (such as SGM) given in terms only of $`d_𝐠`$ guarantees that if $`d_0(x,y)=d_1(x,y)`$ and $`𝐠_0`$ is SGM, then $`𝐠_1`$ will be as well. In fact, the questions and results stated here for the SGM case also hold for manifolds satisfying the loose definition, so the reader can treat that as a definition of SGM for the purpose of this paper.

The most general result one could hope for would be of the form:

Question 3.11. If $`𝐠_0`$ is an SGM metric on $`(X,X)`$ and $`𝐠_1`$ is another metric with $`d_{𝐠_0}(x,y)d_{𝐠_1}(x,y)`$ for $`x,yX`$ then $`\mathrm{𝑣𝑜𝑙}(𝐠_0)\mathrm{𝑣𝑜𝑙}(𝐠_1)`$ with equality of volumes implying $`𝐠_0`$ is isometric to $`𝐠_1`$.

This is still very much an open question, which as stated includes the boundary rigidity problem.

The case $`𝐠_1=f^2(x)𝐠_0`$ (i.e. $`𝐠_1`$ is pointwise conformal to $`𝐠_0`$) was answered positively in \[C-D\] (also see \[Cr91\]).

In two dimensions more is known. Recently Ivanov \[Iv02\] considered the case of compact metrics $`𝐠_0`$ and $`𝐠_1`$ on a disk. He assumes that $`𝐠_0`$ is a convex metric in the sense that every pair of interior points can be joined by a unique geodesic, and proves that if $`d_{𝐠_1}d_{𝐠_0}`$ then $`\mathrm{𝑣𝑜𝑙}(𝐠_1)\mathrm{𝑣𝑜𝑙}(𝐠_0)`$. He also says that equality in the area would imply that $`d_{𝐠_1}=d_{𝐠_0}`$. Of course, going from here to isometry of $`𝐠_0`$ and $`𝐠_1`$ is the boundary rigidity problem. This boundary rigidity problem (in 2 dimensions) is solved \[Cr91, Ot90B\] in the case that the metric $`𝐠_0`$ has negative curvature.

Using different methods \[C-D\] proves a similar though somewhat different result where the metrics $`𝐠_0`$ and $`𝐠_1`$ are both assumed to be $`SGM`$ but the surfaces are not assumed to be simply connected. The estimate comes from a formula for the difference between the areas of two $`SGM`$ surfaces. Since the surfaces are not simply connected one needs to worry about the homotopy class of a path between two boundary points. We will let $`L_𝐠(x,y,[\alpha ])`$ be the length of the $`𝐠`$-shortest curve from $`x`$ to $`y`$ in a homotopy class $`[\alpha ]`$ of curves from $`x`$ to $`y`$. $`𝒜`$ will represent the space of such triples $`(x,y,[\alpha ])`$ The formula is:

$$area(𝐠_1)area(𝐠_0)=\frac{1}{2\pi }_𝒜\left(L_{𝐠_1}^{}(x,y,[\alpha ])L_{𝐠_0}(x,y,[\alpha ])\right)(\mu _{𝐠_1}+\mu _{𝐠_0}),$$
(3.12)
where the measures $`\mu _{𝐠_i}`$ on $`𝒜`$ are the push forwards of the standard Liouville measure on the space of geodesics. Since for each pair $`(x,y)`$ there is at most one geodesic segment in each metric from $`x`$ to $`y`$, we see that for most $`(x,y,[\alpha ])`$ there will be neither a $`𝐠_1`$-geodesic nor a $`𝐠_2`$-geodesic segment from $`x`$ to $`y`$ in the class $`[\alpha ]`$ and hence the term for $`(x,y,[\alpha ])`$ will contribute nothing to the integral (see \[C-D\] for details). This formula easily leads to a result relating lengths of paths to area.

Another powerful result with filling volume consequences is the Besicovitch lemma which was exploited and generalized in \[Gr83, section 7\]. It says that for any Riemannian metric on a cube, the volume is bounded below by the product of the distances between opposite faces. Equality only holds for the Euclidean cube.

### 3.3 Marked length spectrum and volume

The question for compact manifolds $`N`$ without boundary corresponding to Question 3.2 involves the marked length spectrum. The marked length spectrum for a Riemannian metric $`𝐠`$ on $`N`$ is a function, $`\mathrm{𝑀𝐿𝑆}_𝐠:𝒞^+`$, from the set $`𝒞`$ of free homotopy classes of the fundamental group $`\pi _1(N)`$ to the nonnegative reals. For each $`\gamma 𝒞`$, $`\mathrm{𝑀𝐿𝑆}_𝐠(\gamma )`$ is the length of the shortest curve in $`\gamma `$ (always a geodesic). We consider two Riemannian metrics $`𝐠_0`$ and $`𝐠_1`$ on $`N`$ such that $`\mathrm{𝑀𝐿𝑆}_{𝐠_1}(\gamma )\mathrm{𝑀𝐿𝑆}_{𝐠_0}(\gamma )`$ for all free homotopy classes $`\gamma `$ (we then say $`\mathrm{𝑀𝐿𝑆}_{𝐠_1}\mathrm{𝑀𝐿𝑆}_{𝐠_0}`$) and ask if $`\mathrm{𝑣𝑜𝑙}(𝐠_1)`$ must be greater than or equal to $`\mathrm{𝑣𝑜𝑙}(𝐠_0)`$. Again this is hopeless without further assumptions.

The natural setting for this is in negative curvature. Here there are lots of closed geodesics but exactly one for each free homotopy class (achieving the minimum length in that class). The following was conjectured in \[C-D-S00\]:

Conjecture 3.13. For two negatively curved metrics, $`𝐠_0`$ and $`𝐠_1`$, on a manifold $`N`$ the inequality $`\mathrm{𝑀𝐿𝑆}_{𝐠_1}\mathrm{𝑀𝐿𝑆}_{𝐠_0}`$ implies $`\mathrm{𝑣𝑜𝑙}(𝐠_1)\mathrm{𝑣𝑜𝑙}(𝐠_0)`$. Furthermore, $`\mathrm{𝑣𝑜𝑙}(𝐠_1)=\mathrm{𝑣𝑜𝑙}(𝐠_0)`$ if and only if $`𝐠_0`$ and $`𝐠_1`$ are isometric.

This conjecture was proved in dimension 2 in \[C-D\]. The higher dimensional version of the above was shown when $`𝐠_0`$ and $`𝐠_1`$ are pointwise conformal. This used ideas developed in \[Bo91\] and \[Si90\].

A consequence of this conjecture is the conjecture for negatively curved $`𝐠_0`$ and $`𝐠_1`$ that $`\mathrm{𝑀𝐿𝑆}_{𝐠_1}=\mathrm{𝑀𝐿𝑆}_{𝐠_0}`$ would imply $`𝐠_0`$ is isometric to $`𝐠_1`$. See \[Cr01\] for a survey of this problem and \[Ban94, C-F-F92, Cr91, Ot90A\] for results (stronger than the conjecture) in two dimensions. However, it is not even known if $`\mathrm{𝑀𝐿𝑆}_{𝐠_1}=\mathrm{𝑀𝐿𝑆}_{𝐠_0}`$ implies $`\mathrm{𝑣𝑜𝑙}(𝐠_1)=\mathrm{𝑣𝑜𝑙}(𝐠_0)`$. In fact this is itself an important open question. Hamenstädt \[Ha99\] (also see \[Ha92\]) proved this in the special case that $`𝐠_0`$ is further assumed to be locally symmetric. This was the case that had the most important immediate applications. For example, it allows one to drop the volume assumption in the conjugacy rigidity result in \[B-C-G95\] and hence to see that if $`𝐠_0`$ is locally symmetric and $`𝐠_1`$ is a metric of negative curvature with $`\mathrm{𝑀𝐿𝑆}_{𝐠_1}=\mathrm{𝑀𝐿𝑆}_{𝐠_0}`$, then $`𝐠_0`$ is isometric to $`𝐠_1`$.

## 4 Systolic freedom for unstable systoles

In \[Gr83, p. 5\], M. Gromov, following M. Berger, asks the following basic question. What is the best constant $`C`$, possibly depending on the topological type of the manifold, for which the $`k`$-systolic inequality (4.2) holds? It was shown by the second author in collaboration with A. Suciu \[KS99, KS01\] that such a constant typically does not exist whenever $`k>1`$, in sharp contrast with the inequalities of Loewner, Pu, and Gromov discussed in sections 2 and 3.

Similar non-existence results were obtained for a pair of complementary dimensions (4.4), culminating in the work of I. Babenko \[Bab02\], cf. section 4.4. These results are placed in the context of other systolic results in the table of Figure 4.1.

### 4.1 Table of systolic results, definitions

Let $`(X,𝐠)`$ be a Riemannian manifold, and let $`k`$. Given a homology class $`\alpha H_1(X;A)`$, denote by $`\mathrm{𝑙𝑒𝑛}(\alpha )`$ the least length (in the metric $`𝐠`$) of a $`1`$-cycle with coefficients in $`A`$ representing $`\alpha `$. The homology 1-systole $`\mathrm{𝑠𝑦𝑠}_1(𝐠,A)`$ is defined by setting

$$\mathrm{𝑠𝑦𝑠}_1(𝐠,A)=\underset{\alpha 0H_1(X,A)}{\mathrm{min}}\mathrm{𝑙𝑒𝑛}(\alpha ),$$
(4.1)
and we let $`\mathrm{𝑠𝑦𝑠}_1(𝐠)=\mathrm{𝑠𝑦𝑠}_1(𝐠,)`$. The other important case is $`\mathrm{𝑠𝑦𝑠}_1(𝐠,_2)`$. In other words, $`\mathrm{𝑠𝑦𝑠}_1(𝐠)`$ is the length of a shortest loop which is not nullhomologous in a compact Riemannian manifold $`(X,𝐠)`$ with a nontrivial group $`H_1(X,)`$.

More generally, let $`\mathrm{𝑠𝑦𝑠}_k(𝐠)`$ be the infimum of $`k`$-volumes of integer (Lipschitz) $`k`$-cycles which are not boundaries in $`X`$, cf. formula (4.1). Note that if $`X`$ is orientable of dimension $`n`$, then the total volume is a systolic invariant: $`\mathrm{𝑣𝑜𝑙}_n(𝐠)=\mathrm{𝑠𝑦𝑠}_n(𝐠)`$.

The term “systolic freedom” refers to the absence of a systolic inequality, e.g.  violation of the inequality relating a single systole to the total volume, namely

$$sys_k(𝐠)^{\frac{n}{k}}<C\mathrm{𝑣𝑜𝑙}_n(𝐠),$$
(4.2)
or similarly the inequality involving a pair of complementary dimensions, $`k`$ and $`(nk)`$, namely $`sys_k(𝐠)sys_{nk}(𝐠)<C\mathrm{𝑣𝑜𝑙}_n(𝐠)`$, by a suitable sequence of metrics, cf. formula (4.5). Thus, we say that an $`n`$-manifold is $`k`$-systolically free if

$$\underset{𝐠}{inf}\frac{\mathrm{𝑣𝑜𝑙}_n(𝐠)}{\mathrm{𝑠𝑦𝑠}_k(𝐠)^{n/k}}=0,$$
(4.3)
and $`(k,nk)`$-systolically free if

$$\underset{𝐠}{inf}\frac{\mathrm{𝑣𝑜𝑙}_n(𝐠)}{\mathrm{𝑠𝑦𝑠}_k(𝐠)\mathrm{𝑠𝑦𝑠}_{nk}(𝐠)}=0,$$
(4.4)
where the infimum is over all smooth metrics $`𝐠`$ on the manifold. See Section 4.4 for results in this direction. Note that we use the reciprocals of our convention (2.2) for the systolic ratio, when discussing systolic freedom.

### 4.2 Gromov’s homogeneous (1,3)-freedom

M. Gromov first described a $`(1,3)`$-systolically free family of metrics on $`S^1\times S^3`$ in 1993, cf. \[Gr96, section 4.A.3\], \[Gr99, p. 268\]. His construction of (1,3)-systolic freedom on the manifold $`S^1\times S^3`$ exhibits a family $`𝐠_ϵ`$ of homogeneous metrics with the following asymptotic behavior:

$$\frac{\mathrm{𝑣𝑜𝑙}_4(𝐠_ϵ)}{\mathrm{𝑠𝑦𝑠}_1(𝐠_ϵ)\mathrm{𝑠𝑦𝑠}_3(𝐠_ϵ)}0\text{ as }ϵ0.$$
(4.5)
Due to the exceptional importance of this example, we present a proof. Let $`U(2)`$ be the unitary group acting on the unit sphere $`S^3^2`$. In particular, we have the scalar matrices $`e^{i\theta }I_2U(2)`$. Consider the direct sum metric on $`\times S^3`$, and let $`\alpha `$ be the pullback to $`\times S^3`$ of the volume form of the second factor. Let $`\mathrm{𝑇𝑟𝑎𝑛𝑠}()`$ be the group of translations of the real line. Let $`ϵ>0`$ be a real parameter. We will define an infinite cyclic subgroup $`\mathrm{\Gamma }_ϵ\mathrm{𝑇𝑟𝑎𝑛𝑠}()\times U(2)`$ of the group of isometries of $`\times S^3`$, in such a way that the quotient

$$(\times S^3)/\mathrm{\Gamma }_ϵ(S^1\times S^3,𝐠_ϵ)$$

produces a $`(1,3)`$-systolically free family of metrics $`𝐠_ϵ`$ on $`S^1\times S^3`$ as $`ϵ0`$. Namely, we may take the generator $`\gamma _ϵ\mathrm{\Gamma }_ϵ`$ to be the element $`\gamma _ϵ=(ϵ,e^{i\sqrt{ϵ}}I_2)\mathrm{𝑇𝑟𝑎𝑛𝑠}()\times U(2)`$. Then the quantity $`\mathrm{𝑠𝑦𝑠}_1(𝐠_ϵ)`$ is dominated by the second factor $`e^{i\sqrt{ϵ}}`$, and is asymptotic to $`\sqrt{ϵ}`$. Meanwhile, $`sys_3(𝐠_ϵ)=\omega _3`$, where $`\omega _3`$ the volume of the unit 3-sphere, by a calibration argument. Namely, every nontrivial 3-cycle $`C`$ in $`S^1\times S^3`$ satisfies $`\mathrm{𝑣𝑜𝑙}_3(C)_C\alpha =n\omega _3\omega _3`$, where $`n`$ is the order of $`[C]H_3(S^1\times S^3)=`$.

Note that we have a fundamental domain with closure $`[0,ϵ]\times S^3\times S^3`$ in the universal cover. Hence

$$\frac{\mathrm{𝑣𝑜𝑙}_4(𝐠_ϵ)}{\mathrm{𝑠𝑦𝑠}_1(𝐠_ϵ)\mathrm{𝑠𝑦𝑠}_3(𝐠_ϵ)}\frac{ϵ\omega _3}{\sqrt{ϵ}\omega _3}=\sqrt{ϵ}0,$$

proving (1,3)-systolic freedom of $`S^1\times S^3`$.

Note that a calculation of the stable 1-systole, cf. formula (5.5), reveals the behavior of systolic constraint instead of freedom. Thus, the $`n`$-th power of the generator $`\gamma _ϵ\pi _1(S^1\times S^3)=\mathrm{\Gamma }_ϵ`$, where $`n=\left[\frac{2\pi }{\sqrt{ϵ}}\right]`$ is the integer part, also contains a closed geodesic whose length is on the order of $`2\pi \sqrt{ϵ}`$, as

$$\gamma _ϵ^n=(nϵ,e^{i\sqrt{ϵ}n}I_2)(2\pi ϵ^{\frac{1}{2}}ϵ,e^{2\pi i}I_2)=(2\pi ϵ^{\frac{1}{2}},I_2).$$

It follows that the stable norm satisfies

$$\gamma _ϵn^1\mathrm{𝑙𝑒𝑛𝑔𝑡ℎ}(\gamma _ϵ^n)\frac{2\pi \sqrt{ϵ}}{n}ϵ,$$

resulting in a stable 1-systole on the order of $`ϵ`$ instead of $`\sqrt{ϵ}`$, which is consistent with Hebda’s inequality (5.15).

Remarkably, M. Freedman \[Fr99\] proves the $`(1,2)`$-systolic freedom of $`S^1\times S^2`$ even when one works with homology with coefficients in $`_2`$, i.e. nonorientable surfaces are allowed to compete in the definition of the 2-systole. He showed that

$$\underset{𝐠}{inf}\frac{\mathrm{𝑣𝑜𝑙}_3(𝐠)}{\mathrm{𝑠𝑦𝑠}_1(𝐠,_2)\mathrm{𝑠𝑦𝑠}_2(𝐠,_2)}=0,$$
(4.6)
where the infimum is over all metrics $`(S^1\times S^2,𝐠)`$, cf. formula (4.1). His technique relies on a common starting point with the lower bound of the Buser-Sarnak Theorem \[BuSa94\] (cf. (5.8)), namely the existence of Riemann surfaces of arbitrarily high genus with a uniform lower bound for the positive eigenvalues of the Laplacian. Whether or not $`(P^3,𝐠)`$ satisfies (4.6) is unknown.

### 4.3 Pulling back freedom by $`(n,k)`$-morphisms

The early papers in the subject \[Ka95, Pitte97\] contain explicit constructions of systolically free metrics, using geometrically controlled surgery. Here parts of the manifold $`X^n`$ look like a lower dimensional manifold

$$M^m,\text{ where }mn1,$$
(4.7)
or more concretely, like circle bundle over such an $`M`$, with short circle fibers. In particular, such constructions yield free families of metrics on products of spheres.

Later, \[BabK98\] developed a more general framework for constructing metrics well adapted for the systolic problem. This was done in the context of simplicial maps $`f`$, where some of the top dimensional simplices are collapsed to walls of positive codimension. A positive quadratic form is obtained by “pullback” by $`f`$, suitably interpreted. The form can then be inflated a little to make it definite, yielding a true smooth metric. This can be thought of as a generalisation of the short circle fiber construction, cf. (4.7). The next step was to realize that metrics can be pulled back by an even more general morphism, defined below.

Let $`X`$ and $`Y`$ be $`n`$-dimensional simplicial complexes. Notions of volume, as well as systole with coefficients in $`A`$, can be defined for such objects by using piecewise smooth metrics.

A morphism<sub>n,k</sub> “from $`X`$ to $`Y`$” (over $`A`$) is a continuous map $`f:XW`$ satisfying the following two conditions:

1. the simplicial complex $`W`$ is obtained from the “target” $`Y`$ by attaching cells of dimension at most $`n1`$;
2. the map $`f`$ induces a monomorphism in $`k`$-dimensional homology, $`H_k(X,A)H_k(W,A)`$.

Note that the positive codimension of the attached cells parallels the positive codimension in (4.7) above.

Morphisms of this type were referred to as “topological meromorphic maps” in \[KS99\]. Such a notion encompasses on the one hand, surgeries (cf. item 2 of subsection 4.4), and on the other, complex blow ups, in suitable contexts. The importance of these morphisms<sub>n,k</sub> stems from the following observation \[BabK98, KS99\].

Proposition 4.8. If $`X`$ admits a morphism<sub>n,k</sub> to $`Y`$, then the $`k`$-systolic freedom of $`X`$ follows from that of $`Y`$.

In the problem of systolic freedom, the appropriate objects are not manifolds but CW-complexes $`X`$, even though piecewise smooth metrics can only be defined on simplicial complexes $`X^{}`$ homotopy equivalent to $`X`$. To establish the $`k`$-systolic freedom for a general $`X`$, one first maps $`X`$, by a map inducing a monomorphism on $`H_k(X,)`$, to a product of $`b_k(X)`$ copies of the loop space $`\mathrm{\Omega }(S^{k+1})`$. The space $`\mathrm{\Omega }(S^{k+1})`$ is of the rational homotopy type of the Eilenberg Maclane space $`K(,k)`$.

One uses the existence of a cell structure, due to Morse, which is sparse (in the sense that only cells in an arithmetic progression of dimensions occur) in the homotopy type of $`\mathrm{\Omega }(S^{k+1})`$. This reduces the problem to a single $`\mathrm{\Omega }(S^{k+1})`$, rather than a Cartesian product, and thus eliminates the dependence on the Betti number. The $`k`$-systolic freedom of the skeleta of the latter is established by finding a morphism<sub>n,k</sub> to a product of $`k`$-spheres, cf. Proposition 4.3.

This is done by analyzing the cell structure of a suitable rationalisation, where the cases $`k=2`$ and $`k4`$ must be treated separately ($`k`$ odd is easy). In the former case, one relies on the telescope model of Sullivan, and in the latter, on the existence of rational models with cells of dimension at most $`nk+2`$ added (where $`n=dimX`$) in the construction of the morphism<sub>n,k</sub>, cf. Proposition 4.3 and \[KS99, KS01\] for details.

### 4.4 Systolic freedom of complex projective plane, general freedom

The 2-systolic freedom of $`P^2`$ \[KS99\] answers in the negative the question from \[Gr83, p. 136\]. Such freedom results through the following 4 steps.

1. The space $`P^2`$ admits a morphism<sub>4,2</sub> to $`S^2\times S^2`$. Here a 3-cell is attached along a diagonal class in $`\pi _2(S^2\times S^2)`$.
2. The space $`S^2\times S^2`$ admits a morphism<sub>4,2</sub> to $`S^1\times S^1\times S^2`$. Here a pair of 2-cells is attached along the generators of $`\pi _1(S^1\times S^1\times S^2)`$, corresponding to a surgery that allows one to pass from $`S^1\times S^1\times S^2`$ to $`S^2\times S^2`$.
3. There exists a $`(1,2)`$-systolically free sequence of metrics $`𝐠_j`$ on the 3-manifold $`S^1\times S^2`$ (cf. \[Ka95, Pitte97\] and formula (4.5) above).
4. The 2-systolic freedom of $`S^1\times S^1\times S^2`$ results from the Kunneth formula, by taking Cartesian product of $`𝐠_j`$ with a circle $`S^1`$ of length $`\mathrm{𝑠𝑦𝑠}_2(𝐠_j)/\mathrm{𝑠𝑦𝑠}_1(𝐠_j)`$.

Part of the procedure described above can be carried out with torsion coefficients. Starting with Freedman’s metrics (4.6) on $`S^1\times S^2`$, we can construct in this way 2-systolically free metrics on $`S^2\times S^2`$ even in the sense of $`_2`$ coefficients. However, the 2-systolic freedom of $`P^2`$ with $`_2`$ coefficients is still open. The technique described above fails over $`_2`$ because the map in step 1 has even degree, violates condition (b) above, and hence does not define a $`\mathrm{𝑚𝑜𝑟𝑝ℎ𝑖𝑠𝑚}_{4,2}`$ over $`A=_2`$.

The series of papers \[Ka95, Pitte97, BabK98, BKS98, KS99, KS01, Bab02\] proved general $`k`$-systolic freedom, as well as freedom in a pair of complementary dimensions, as soon as any systole other than the first one is involved. Thus, every closed $`n`$-manifold is $`k`$-systolically free in the sense of formula (4.3) whenever $`2k<n`$ and $`H_k(X,)`$ is torsionfree \[KS99, KS01\]. This answers the basic question of \[Gr83, p. 5\]. Similarly, every $`n`$-dimensional polyhedron is $`(k,nk)`$-systolically free in the sense of formula (4.4) whenever $`1k<nk<n`$ and $`H_{nk}(X,)`$ is torsionfree \[Bab02\]. Simultaneous $`(k,nk)`$-systolic freedom for a pair of adjacent values of $`k`$ is explored in \[Ka02\].

## 5 Stable systolic and conformal inequalities

M. Gromov showed in \[Gr83, 7.4.C\] that to multiplicative relations in the cohomology ring of a manifold $`X`$, are associated stable systolic inequalities, satisfied by an arbitrary metric on $`X`$, cf. (5.13). These inequalities follow from the analogous, stronger inequalities for conformal systoles. He points out that the dependence of the constants in these inequalities on the Betti numbers is unsatisfactory. The invariants involved are defined in (5.5) and (5.7). We first point out the following open question.

Conjecture 5.1. Every closed orientable smooth 4-manifold $`X`$ satisfies the inequality

$$\mathrm{𝑠𝑡𝑠𝑦𝑠}_2(𝐠)^2C\mathrm{𝑣𝑜𝑙}_4(𝐠),𝐠,$$
(5.2)
for a suitable numerical constant $`C`$ (independent of $`X`$).

The lower bound of (5.10) shows that one is unlikely to prove such an inequality via conformal systoles, except in the case of the connected sum of copies of $`P^2`$, when (5.2) holds with $`C=6`$, cf. \[Ka3\]. The best one has available in general is $`C=6b_2(X)`$ \[BanK03\].

Let $`H_1(X;)_{}`$ denote the lattice (i.e. free $``$-module) obtained as the quotient of $`H_1(X;)`$ by its torsion subgroup. The function $`i\mathrm{𝑙𝑒𝑛}(i\alpha )`$ defines a norm $``$, called stable norm \[Fe74, 4.10\], \[Gr99, 4.35\], on $`H_1(X;)_{}`$ by setting

$$\alpha _{_{}}=\underset{i\mathrm{}}{lim}i^1\mathrm{𝑙𝑒𝑛}(i\alpha ).$$
(5.3)
Denote by $`\lambda _1(L,)`$ the least length of a nonzero vector of a lattice $`L`$ with respect to a norm $``$. More generally, let $`i`$ be an integer satisfying $`1irk(L)`$. The $`i`$-th successive minimum $`\lambda _i(L,)`$ is the least $`\lambda >0`$ such that there exist $`i`$ linearly independent vectors in $`L`$ of norm at most $`\lambda `$:

$$\lambda _i(L,)=\underset{\lambda }{inf}\{\lambda v_1,\mathrm{},v_i(l.i.)k=1,\mathrm{},i:v_k\lambda \}$$
(5.4)
The stable homology $`k`$-systole, denoted $`\mathrm{𝑠𝑡𝑠𝑦𝑠}_k(𝐠)`$, is the least norm of a nonzero element in the lattice $`H_k(X;)_{}`$ with respect to the stable norm $``$:

$$\mathrm{𝑠𝑡𝑠𝑦𝑠}_k(𝐠)=\lambda _1(H_k(X;)_{},).$$
(5.5)
It can be shown that if $`(X,𝐠)`$ is an orientable surface then $`\mathrm{𝑠𝑦𝑠}_1(𝐠,)=\mathrm{𝑠𝑡𝑠𝑦𝑠}_1(𝐠)`$.

The conformally invariant norm $`_{L^n}`$ in $`H_1(X^n,)`$ is by definition dual to the conformally invariant $`L^n`$-norm in de Rham cohomology. The latter norm on $`H^1(X,)`$ is the quotient norm of the corresponding norm on closed forms. Thus, given $`\alpha H^1(X,)`$, we set

$$\alpha _{L^n}=\underset{\omega }{inf}\left\{\left(_X|\omega _x|^n\mathrm{𝑑𝑣𝑜𝑙}(x)\right)^{\frac{1}{n}}|\omega \alpha \right\},$$

where $`\omega `$ runs over closed one-forms representing $`\alpha `$. On a surface, or more generally for a middle-dimensional class $`\alpha H^p(X,)`$ where $`dim(X)=2p`$, we may write

$$\alpha _{L^2}^2=_X\omega \omega ,$$
(5.6)
where $`\omega `$ is the harmonic representative of $`\alpha `$ and $``$ is the Hodge star operator of the metric $`𝐠`$. The conformal 1-systole of $`(X^n,𝐠)`$ is the quantity

$$\mathrm{𝑐𝑜𝑛𝑓𝑠𝑦𝑠}_1(𝐠)=\lambda _1(H_1(X,)_{},_{L^n}),$$
(5.7)
satisfying $`\mathrm{𝑠𝑡𝑠𝑦𝑠}_1(𝐠)\mathrm{𝑐𝑜𝑛𝑓𝑠𝑦𝑠}_1(𝐠)\mathrm{𝑣𝑜𝑙}(𝐠)^{\frac{1}{n}}`$ on an $`n`$-manifold $`(X,𝐠)`$.

### 5.1 Asymptotic behavior of conformal systole as function of $`\chi (X)`$

The inequality of Accola and Blatter is valid for the conformal systole. Their bound was improved by P. Buser and P. Sarnak \[BuSa94\], who proved that if $`\mathrm{\Sigma }_s`$ is a closed orientable surface of genus $`s`$, the conformal 1-systole satisfies the bounds

$$C^1\mathrm{log}s<\underset{𝐠}{sup}\left\{\lambda _1(H^1(\mathrm{\Sigma }_s,),||_{L^2}^{})\right\}^2<C\mathrm{log}s,s=2,3,\mathrm{}$$
(5.8)
where $`C>0`$ is a numerical constant, the supremum is over all conformal structures $`𝐠`$ on $`\mathrm{\Sigma }_s`$, and $`||_{L^2}^{}`$ is the associated $`L^2`$-norm, cf. formula (5.6). An explicit upper bound of $`\frac{3}{\pi }\mathrm{log}(4s+3)`$ in (5.8) is provided in \[BuSa94, formula (1.13)\]. Note that by Poincaré duality, $`\lambda _1(H^1(\mathrm{\Sigma }_s,),||_{L^2}^{})=\lambda _1(H_1(\mathrm{\Sigma }_s,),||_{L^2}^{})`$.

It should be kept in mind that the asymptotic behavior of the 1-systole as a function of the genus is completely different from the conformal length. Indeed, M. Gromov \[Gr96, 2.C\] reveals the existence of a universal constant $`C`$ such that we have an asymptotically vanishing upper bound

$$\frac{\mathrm{𝑠𝑦𝑠}_1(\mathrm{\Sigma }_s)^2}{\mathrm{𝑎𝑟𝑒𝑎}(\mathrm{\Sigma }_s)}C\frac{(\mathrm{log}s)^2}{s},$$
(5.9)
whenever $`\mathrm{\Sigma }_s`$ is a closed, orientable surface of genus $`s2`$ with a Riemannian metric.

Inequality (5.8) admits the following higher-dimensional analogue \[Ka02\]. Let $`n`$ and consider the complex projective plane blown up at $`n`$ points, $`P^2\mathrm{\#}n\overline{P}^2,`$ where bar denotes reversal of orientation, while $`\mathrm{\#}`$ is connected sum. Assume that the Surjectivity conjecture for the period map is satisfied for such manifolds, namely every line in the positive cone of the intersection cone occurs as the selfdual direction of a suitable metric. Then the conformal 2-systole satisfies the bounds

$$C^1\sqrt{n}<\underset{𝐠}{sup}\left\{\lambda _1(H^2(P^2\mathrm{\#}n\overline{P}^2,),||_{L^2}^{})\right\}^2<Cn,$$
(5.10)
as $`n\mathrm{},`$ where $`C>0`$ is a numerical constant, the supremum is taken over all smooth metrics $`𝐠`$ on $`P^2\mathrm{\#}n\overline{P}^2`$, and $`||_{L^2}^{}`$ is the norm associated with $`𝐠`$ by formula (5.6).

It would be interesting to eliminate the dependence of inequality (5.10) on the surjectivity conjecture. Moreover, can one improve the lower bound in (5.10) to linear dependence on $`n`$? Here one could try to apply an averaging argument, using Siegel’s formula as in \[MH73\], over integral vectors satisfying $`q_{n,1}(v)=p`$. Here one seeks a vector $`v^{n,1}`$ such that the integer lattice $`^{n,1}^{n,1}`$ has the Conway-Thompson behavior with respect to the positive definite form $`\mathrm{𝑆𝑅}(q_{n,1},v)`$.

### 5.2 A conjectured Pu-times-Loewner inequality

We conjecture an optimal inequality for certain 4-manifolds $`X`$ with first Betti number $`b_1(X)=2`$ which can be thought of as a product of the inequalities of Loewner (2.3) and Pu (2.5). The main obstacle to its proof is the absence of a generalized Pu’s inequality (2.1) (or conjecture 3.2 for $`n=1`$). For simplicity, we first state it for the manifold $`𝕋^2\times P^2`$, and later discuss the relevant topological hypothesis.

Conjecture 5.11. Assume (2.1). Then every metric $`𝐠`$ on $`𝕋^2\times P^2`$ satisfies the inequality

$$\mathrm{𝑠𝑦𝑠}\pi _1(𝐠)^2\mathrm{𝑠𝑡𝑠𝑦𝑠}_1(𝐠)^2\frac{2}{\sqrt{3}}\frac{\pi }{2}\mathrm{𝑣𝑜𝑙}_4(𝐠),$$
(5.12)
while a metric which satisfies the boundary case of equality must admit a Riemannian submersion onto a Loewner-extremal torus, with fibers which are Pu-extremal, i.e. real projective planes of constant Gaussian curvature.

The relevant topological hypothesis is the following: $`X`$ should be a 4-manifold with $`b_1(X)=2`$, such that moreover the universal free abelian cover $`\overline{X}`$ is essential in dimension 2, cf. \[KKS\], so that in particular $`X`$ satisfies the nonvanishing condition $`[\overline{X}]0H_2(\overline{X},_2)`$, where $`[\overline{X}]`$ is the Poincaré dual of the pullback by $`\overline{\mathrm{𝐴𝐽}}_X`$ of the fundamental class with compact support of the universal cover $`^2`$ of the Jacobi torus of $`X`$.

We conjecture that in the boundary case of equality, both the topology and the metrics must be right, namely: (a) the manifold $`X`$ must fiber smoothly over $`𝕋^2`$ with fiber $`P^2`$; (b) the Abel-Jacobi map $`\mathrm{𝐴𝐽}_X:X𝕋^2`$ is a Riemannian submersion with fibers of constant volume.

### 5.3 An optimal inequality in dimension and codimension 1

Recently, V. Bangert and the second author \[BanK03\] clarified the constants involved in Gromov’s inequalities mentioned at the beginning of section 5, and showed in particular the following. Let $`k>0`$, and assume $`H^k(X,)0`$. Let $`k=k_j`$ and assume that the group $`H^k(X,)`$ is spanned by cup products of classes of dimensions $`k_j`$. Then

$$_j\mathrm{𝑠𝑡𝑠𝑦𝑠}_{k_j}(𝐠)C(k)\left(_jb_{k_j}(X)\left(1+\mathrm{log}b_{k_j}(X)\right)\right)\mathrm{𝑠𝑡𝑠𝑦𝑠}_k(𝐠),𝐠,$$
(5.13)
where the constant $`C(k)`$ depends only on $`k`$ (and not on the metric or the Betti numbers). On the other hand, the optimal constants in such inequalities are generally unknown, unlike Loewner’s classical inequality (2.3).

The following sharp inequality generalizing Loewner’s is proved in \[Gr99, pp. 259-260\], based on the techniques of \[Bu-Iv95\]. Assume that the dimension, first Betti number, and real cuplength of $`X`$ are all equal to $`n`$. Then

$$\mathrm{𝑠𝑡𝑠𝑦𝑠}_1(𝐠)^n(\gamma _n)^{\frac{n}{2}}\mathrm{𝑣𝑜𝑙}_n(𝐠),𝐠$$
(5.14)
where $`\gamma _n`$ denotes the classical Hermite constant, while equality in (5.14) is attained precisely by flat tori whose deck transformations define the densest sphere packings in dimension $`n`$. An optimal stable systolic inequality, for $`n`$-manifolds $`X`$ with first Betti number $`b_1(X,)`$ equal to one, is due to J. Hebda \[He86\]:

$$\mathrm{𝑠𝑡𝑠𝑦𝑠}_1(𝐠)\mathrm{𝑠𝑦𝑠}_{n1}(𝐠)\mathrm{𝑣𝑜𝑙}_n(𝐠),$$
(5.15)
with equality if and only if $`(X,𝐠)`$ admits a Riemannian submersion with connected minimal fibers onto a circle. An optimal inequality, involving the conformal 1-systole, is proved in \[BanK2\], namely equation (5.17) below. The new inequality generalizes simultaneously Loewner’s inequality (2.3), Hebda’s inequality (5.15), the inequality \[BanK03, Corollary 2.3\], as well as certain results of G. Paternain \[Pa01\]. We define the Bergé-Martinet constant, $`\gamma _b^{}`$, by setting

$$\gamma _b^{}=\underset{L}{sup}\left\{\lambda _1(L)\lambda _1(L^{})\right|L(^b,||)\},$$
(5.16)
where the supremum is over all lattices $`L`$ in $`^b`$, cf. \[BeM89, CS94\]. Here $`L^{}`$ denotes the lattice dual to $`L`$, while $`||`$ is a Euclidean norm. The supremum defining $`\gamma _b^{}`$ is attained, and the lattices realizing it are called dual-critical \[BeM89\]. The following is proved in \[BanK2\]. Let $`X`$ be a compact, oriented, $`n`$-dimensional manifold with positive first Betti number $`b_1(X)1`$. Then every metric $`𝐠`$ on $`X`$ satisfies

$$\mathrm{𝑐𝑜𝑛𝑓𝑠𝑦𝑠}_1(𝐠)\mathrm{𝑠𝑦𝑠}_{n1}(𝐠)\gamma _{b_1(X)^{}}^{}\mathrm{𝑣𝑜𝑙}_n(𝐠)^{\frac{n1}{n}},$$
(5.17)
where equality occurs if and only if there exists a dual-critical lattice $`L`$ in Euclidean space $`^b`$ (cf.  formula (5.16)), and a Riemannian submersion of $`X`$ onto the flat torus $`^b/L`$, such that all fibers are connected minimal submanifolds of $`X`$.

## 6 Isoembolic Inequalities

Let $`inj(X)`$ represent the injectivity radius of a Riemannian manifold $`X`$. All geodesics of length $`inj(X)`$ will thus be minimizing. This section has to do with ”isoembolic inequalities” which are estimates of volume in terms of the injectivity radius. In the closed ball, $`B_p(r)`$, centered at $`p`$ of radius $`r<\frac{inj(X)}{2}`$ all geodesic segments will minimize and it will be SGM as a manifold with boundary (which we denote $`S(r)`$). We will let $`\omega _n`$ represent the volume of the standard unit sphere (of injectivity radius and diameter $`\pi `$) while $`\beta _n`$ will be the volume of the Euclidean $`n`$-ball (so that $`n\beta _n=\omega _{n1}`$). One major open question is:

Conjecture 6.1.
a) For any $`r\frac{inj(X)}{2}`$, $`\mathrm{𝑣𝑜𝑙}(B(r))\frac{\omega _n}{2}(\frac{2}{\pi })^nr^n`$ with equality holding only if the ball is isometric to a hemisphere.
b) For any $`rinj(X)`$, $`\mathrm{𝑣𝑜𝑙}(B(r))\frac{\omega _n}{\pi ^n}r^n`$, where equality holds if and only if $`X`$ is isometric to the round sphere of injectivity radius $`r`$ (i.e. extrinsic radius $`\frac{r}{\pi }`$).

In part a) above, the hemisphere in the equality case will be that of a sphere of (extrinsic) radius $`\frac{2r}{\pi }`$ (so the hemisphere is a metric ball of intrinsic radius $`r`$). In fact a) is a stronger conjecture than b) since by the triangle inequality $`B(r)`$ contains two balls of radius $`\frac{r}{2}`$ with disjoint interiors.

### 6.1 Berger’s 2 and 3 dimensional estimates

The early results on this conjecture and the conjecture itself are due to Berger (see \[Be77\]). The known results take the form of proving inequalities $`\mathrm{𝑣𝑜𝑙}(B(r))c(n)r^n`$ for non-sharp constants $`c(n)`$. In 2 dimensions it is not hard to get such an estimate when $`r\frac{inj(X)}{2}`$. Simply notice that for all $`tr`$, $`\mathrm{𝑣𝑜𝑙}(S_p(t))4t`$ (i.e. the length of the boundary of $`B_p(t)`$ is $`4t`$) since “antipodal” points on $`S(t)`$ must be at least $`2t`$ apart in $`X`$ and hence also along $`S(t)`$. This says that $`\mathrm{𝑣𝑜𝑙}(B_p(r))=_0^r\mathrm{𝑣𝑜𝑙}(S_p(t))𝑑t2r^2`$. The conjecture would say $`\mathrm{𝑣𝑜𝑙}(B(r))\frac{8}{\pi }r^2`$ and hence this simple argument leads to a constant not too far from the best possible. The conjecture with the sharp constant is still open. (Using ideas in \[C-D\] \- cf. section 3.2 \- one can show in this 2-dimensional setting that $`\mathrm{𝑣𝑜𝑙}(B_p(t))4\pi \mathrm{𝑣𝑜𝑙}(S_p(t))`$ and then use this to get the better estimate $`\mathrm{𝑣𝑜𝑙}(B_p(r))\frac{16}{4+\pi }r^2`$, but since this argument is a little involved and does not yield the sharp constant we will not pursue it.)

An interesting example to keep in mind in the “Mercedes-Benz” example. Consider three unit length line segments in the plane emanating from the origin making angles of $`\frac{2\pi }{3}`$. Thin tubular neighborhoods have arbitrarily small area but every boundary point is at a bounded distance from its antipodal point (the point halfway around the boundary). Thus one needs more than just bounded distance between “antipodal boundary points” to get area lower bounds.

One might hope to generalize the above simple argument for the area of 2-balls by showing:

Question 6.2. Let $`𝐠`$ be a Riemannian metric on the $`n`$-sphere $`S^n`$ such that the $`𝐠`$-distance between antipodal points is $`t`$.
a) Is $`\mathrm{𝑣𝑜𝑙}((S^n,𝐠))\frac{\omega _n}{\pi ^n}t^n`$?
b) Is there any constant $`c(n)`$ such that $`\mathrm{𝑣𝑜𝑙}((S^n,𝐠))c(n)t^n`$?

In the above one can either think of the standard antipodal map when $`S^n`$ is embedded in $`^n`$ in the standard way, or simply take the antipodal map to be any order two fixed point free diffeomorphism. Metric balls of radius $`\frac{t}{2}`$ satisfy this when $`tinj(X)`$.

The easy argument we gave above for the volume of 2-balls consists of answering a) above in the case $`n=1`$. This is the only case where a) is known. Berger in \[Be77\] gave an answer to b) above for $`n=2`$ and hence showed by integrating (as in the 2 dimensional argument) that there is a constant $`c`$ such that for 3 dimensional manifolds when $`r\frac{inj(X)}{2}`$, then $`\mathrm{𝑣𝑜𝑙}(B_p(r))cr^3`$.

Though part a) of Question 6.1 in 2 dimensions is still open (and very interesting), there are enough reasons to believe it to be true that it would warrant being called a conjecture. One approach would be to use the uniformization theorem and conformal length techniques (but note that the antipodal map need not be conformal).

In higher dimensions there is not enough evidence one way or the other even for question b). However (see \[Cr02\]) there are constants such that for any given metric $`g`$ on the 3-sphere either Question 6.1 b) holds or Question 2.4 holds. This follows from a lower bound on the filling radius (cf. section 3.1) in terms of the infimum of the length of closed curves who link their antipodal images along with an application of Theorem 3.1. In the other direction, Ivanov (see \[Iv97\] or \[Iv98\]) has given examples of a sequence of metrics on $`S^3`$ that Gromov-Housdorff converge to the standard metric but whose volumes go to zero. Although this does not give a counter example it does show that the topological properties of the antipodal map are important in the above question. (Even in two dimensions long thin cigar shapes show that simply because every point is far from some other point the area need not be large.)

### 6.2 Higher dimensions

The two ways that higher dimensional isoembolic type inequalities have been proved are via Gromov’s estimate of section 3.1 and via an estimate of Berger and Kazdan \[Be-Ka78\]. The Berger-Kazdan inequality first appeared in the proof of the Baschke conjecture for spheres (see \[Bes78\] appendices D and E). Berger then used the result to give the sharp estimate which holds for any compact Riemannian manifold:

$$\mathrm{𝑣𝑜𝑙}(X)\frac{\omega _n}{\pi ^n}inj(X)^n$$
(6.3)
with equality holding only for round spheres. If you know that $`X`$ is not homeomorphic to a sphere then you can do better \[Cr88A\], showing $`\mathrm{𝑣𝑜𝑙}(X)c(n)inj(X)^n`$ where $`c(n)`$ is an explicit constant larger than $`\frac{\omega _n}{\pi ^n}`$.

The Berger-Kazdan inequality along with Santaló’s formula \[San52, San76, Chapter 19\] was used in \[Cr80\] to give a general sharp isoperimetric inequality for compact Riemannian manifolds, $`X`$, with boundary, $`X`$ where all geodesic minimize (e.g. SGM manifolds):

$$\frac{\mathrm{𝑣𝑜𝑙}(X)}{\mathrm{𝑣𝑜𝑙}(X)^{\frac{n1}{n}}}C(n)$$

where the constant $`C(n)`$ is just $`\omega _{n1}(\frac{2}{\omega _n})^{\frac{n1}{n}}`$. Equality holds if and only if $`X`$ is isometric to a hemisphere. (The inequality has a version for all manifolds with boundary which involves a term measuring the fraction of geodesics that minimize to the boundary.) One gets a (non-sharp) version of conjecture 6 a) in all dimensions by applying this to the balls $`B_p(t)`$ and integrating $`t`$ from $`0`$ to $`r`$:

$$\mathrm{𝑣𝑜𝑙}(B_p(r))C(n)^nr^n.$$
(6.4)
Further, applying the isoperimetric inequality again we see: $`\mathrm{𝑣𝑜𝑙}(S_p(r))C(n)^nr^{n1}.`$ The failure of this estimate to be sharp comes from the fact that the isoperimetric inequality is not sharp for spherical caps (i.e. metric balls in the round sphere) unless they are hemispheres. We mentioned before (Conjecture 6 part a) that, for $`r\frac{inj}{2}`$, we do not know the optimal lower bound for $`\mathrm{𝑣𝑜𝑙}(B_p(r))`$. Except in case of dimension 2, we also don’t know the optimal lower bound for $`\mathrm{𝑣𝑜𝑙}(S_p(r))`$, however the above isoperimetric inequality will imply the sharp estimate on $`\mathrm{𝑣𝑜𝑙}(S_p(r))`$ if Conjecture 6 part a is proven.

Although we are unable to prove Conjecture 6 for all balls there are some results about the “average” volume of balls, $`AveVol(r)`$, of a compact Riemannian manifold $`X`$. By this we mean

$$AveVol(r)\frac{1}{\mathrm{𝑣𝑜𝑙}(X)}_X\mathrm{𝑣𝑜𝑙}(B_p(r))𝑑p$$

where $`dp`$ is the Riemannian volume form. In \[Cr84\] it is shown for any $`rinj(X)`$ that $`AveVol(r)\frac{\omega _n}{\pi ^n}r^n`$ with equality holding only for the round sphere of injectivity radius $`r`$. Thus showing that part b) of Conjecture 6 is true “on the average” (and giving another proof of Berger’s isoembolic inequality 6.3). If one further knows that $`X`$ has no conjugate points, then one can improve this to $`AveVol(r)\beta _nr^n`$, where equality holds if and only if $`X`$ is flat \[Cr92\]. In fact, this holds for all $`r`$, if one interprets $`\mathrm{𝑣𝑜𝑙}(B_p(r))`$ to mean the volume of a ball in the universal cover centered at a lift of $`p`$.

Gromov in \[Gr83\], showed (in an argument similar to the one presented in section 3.1) that the filling radius of a compact Riemannian manifold is always bounded from below by a constant times the injectivity radius. This, along with Theorem 3.1, gave an alternative proof to Berger’s isoembolic inequality 6.3 (albeit with a non-sharp constant). This idea was extended in \[G-P92\] to get non-sharp universal estimates on the volumes of balls in terms of the local geometric contractibility function. As a special case, it gives an alternative proof of inequality 6.4. Sabourau also used these filling radius ideas in \[Sab2\] to give improved versions of both (6.3) and (6.4) (with worse constants) where instead of injectivity radius he is able to substitute the length of the shortest geodesic loop. A geodesic loop is a closed curve which is a geodesic at all but one point. Geodesic loops are much more abundant than closed geodesics and the shortest one will have length, $`sgl(𝐠)`$, which satisfies

$$2inj(𝐠)sgl(𝐠)L(𝐠)$$
(6.5)
Sabourau’s version of (6.4), which holds for all $`r\frac{1}{2}sgl(𝐠)`$, also used the ideas of \[G-P92\].

## 7 Acknowledgments

We are grateful to E. Calabi, I. Chavel, A. Nabutovsky, and S. Sabourau for reading a draft version of the manuscript and for their comments.

Christopher B Croke:
Department of Mathematics
University of Pennsylvania
Philadelphia, PA 19104-6395
ccroke@math.upenn.edu

Mikhail G. Katz
Department of Mathematics and Statistics
Bar Ilan University
Ramat Gan 52900, Israel
katzmik@math.biu.ac.il