The isoperimetric problem for lens spaces

Mathematische Annalen, Dec 2018

We solve the isoperimetric problem in the lens spaces with large fundamental group. Namely, we prove that the isoperimetric surfaces are either geodesic spheres or quotients of Clifford tori. We also show that the isoperimetric problem in the lens spaces L(3, 1) and L(3, 2) follows from the proof of the Willmore conjecture by Marques and Neves.

A PDF file should load here. If you do not see its contents the file may be temporarily unavailable at the journal website or you do not have a PDF plug-in installed and enabled in your browser.

Alternatively, you can download the file locally and open with any standalone PDF reader:

https://link.springer.com/content/pdf/10.1007%2Fs00208-018-1792-7.pdf

The isoperimetric problem for lens spaces

Mathematische Annalen pp 1–23 | Cite as The isoperimetric problem for lens spaces AuthorsAuthors and affiliations Celso Viana Open Access Article First Online: 13 December 2018 230 Downloads Abstract We solve the isoperimetric problem in the lens spaces with large fundamental group. Namely, we prove that the isoperimetric surfaces are either geodesic spheres or quotients of Clifford tori. We also show that the isoperimetric problem in the lens spaces L(3, 1) and L(3, 2) follows from the proof of the Willmore conjecture by Marques and Neves. Communicated by F.C. Marques. 1 Introduction The isoperimetric problem is a classical subject in Differential Geometry with its origin in ancient Greece. It consists in finding on a Riemannian manifold M the regions that minimize the perimeter among sets enclosing the same volume. The solutions are called isoperimetric regions and their boundaries isoperimetric hypersurfaces. The Euclidean plane is historically the first space where the problem started to be investigated rigorously. It is now a well known fact that the round circles are the optimal curves for the problem. This geometric fact is often seen through the following classical inequality: $$\begin{aligned} L^2\ge 4\pi A, \end{aligned}$$ (1.1) where L and A stand for the length and the enclosed area of a simple closed curve \(\gamma : \mathbb {S}^1 \rightarrow \mathbb {R}^2\) respectively. The framework of geometric measure theory and its tools work successfully well in tackling the aspects of existence and regularity of this variational problem. When \(M^{n+1}\) is closed or homogeneous, then isoperimetric hypersurfaces do exist and are smooth up to a closed set of Hausdorff dimension \(n-7\). The regular part is a stable hypersurface of constant mean curvature. This major contribution to the isoperimetric problem was achieved thanks to the efforts of many people, including Almgren [2], Schoen and Simon [33], and others (see [20] for a comprehensive list). Despite the long history of the problem, it remains largely open with few 3-manifolds where the problem is completely understood. The simply connected space forms, \(\mathbb {S}^{n+1}\), \(\mathbb {R}^{n+1}\) and \(\mathbb {H}^{n+1}\), are the most appealing spaces to begin the study of the isoperimetric problem. It turns out that their symmetries are enough to characterize the geodesic spheres as the isoperimetric hypersurfaces, see [8]. A complete solution on \(\mathbb {S}^2\times \mathbb {S}^1\) with the standard product metric can be found in Ref. [25]. For other homogeneous manifolds with certain product structure, such as \(\mathbb {H}^2\times \mathbb {R}\), \(\mathbb {H}^2\times \mathbb {S}^1\), and \(\mathbb {S}^n\times \mathbb {R}\), see [16, 24, 25] respectively. The case \(\mathbb {S}^1\times \mathbb {R}^n\) is also treated in Ref. [25] and they show that when \(n\ge 9\) unduloids are minimizers rather than cylinders for certain volumes. One key idea exploited in the results listed above is the use of symmetry to reduce the problem to an ODE analysis. The case \(T^2 \times \mathbb {R}\) where \(T^2\) is a flat torus is not solved in full; great progress can be found in Refs. [14, 27, 29]. More generally, it is known that boundaries of small isoperimetric regions in closed manifolds are nearly round spheres, see [22, 23]. To finish this brief and not exhaustive account of results on the isoperimetric problem we mention that Bray and Morgan [6, 7] classified the horizon homologous isoperimetric surfaces in the Schwarzschild manifold. The works [6, 12] highlight the interesting relationship between isoperimetric surfaces and the concept of mass in general relativity. We will be interested in spherical space forms in this paper. A significant result in this direction was given in Ref. [28] where Ros and Ritoré solved the isoperimetric problem in the projective space \(\mathbb {RP}^3\). They show that the solutions are geodesic spheres or flat tori. Later, Ros [31] used the above result to give a proof of the Willmore conjecture in \(\mathbb {S}^3\) for the special case of surfaces that are invariant by the antipodal map. The real projective space is a special case of an important family of Riemannian manifolds, namely the lens spaces L(p, q). These are spherical space forms obtained as a quotient of \(\mathbb {S}^3\) by a finite group of isometries that are isomorphic to \(\mathbb {Z}_p\) but which also depend on q. They are, along with \(\mathbb {S}^2\times \mathbb {S}^1\), characterized by having Heegaard genus one. One of the few results concerning the isoperimetric problem in the lens spaces was given in Ref. [21] where the authors provide Steiner and Schwarz symmetrization for certain fiber bundles including L(p, q). This work together with [25] implies that the minimal Clifford torus in the lens spaces L(p, 1) is isoperimetric for every \(p\ge 2\). This implication does not readily apply to L(p, q) when \(q\ne 1\), see Sect. 3 for further discussion. We give a complete solution for the isoperimetric problem in the lens spaces with large fundamental group: Theorem 1.1 There exists a positive integer \(p_0\) such that for every \(p\ge p_0\) and every \(q\ge 1\) the isoperimetric surfaces in L(p, q) are either geodesic spheres or quotient of Clifford tori. The isoperimetric problem in dimension three was previously solved for only a finite number of non-diffeomorphic 3-manifolds. We also add to the literature the observation that the proof of the Willmore conjecture by Marques and Neves [19] can be applied to extend the work of Ros and Ritoré [28], on the classification of stable cmc surfaces in \(\mathbb {RP}^3\), to L(3, 1) and L(3, 2): Theorem 1.2 The immersed stable cmc surfaces in L(3, 1) and L(3, 2) are either geodesic spheres or quotient of Clifford tori. Moreover, the minimal Clifford torus is, up to ambient isometries, the only index one minimal surface in L(3, 1) and L(3, 2). Theorem 1.2 in the particular case of isoperimetric surfaces in L(3, 1) appeared first in [32, Theorem 15]. The idea of the proof of Theorem 1.1 is as follows. Stability implies that every isoperimetric surface is connected and its genus is 0, 1, 2 or 3. It follows from a classical result of Hopf that if the genus is zero, then it is a geodesic sphere. From [28] we know that if the genus is 1, then it is flat, and this forces the surface to be a quotient of a Clifford tori. We are left to rule out other topological types. To do so we argue by contradiction. We assume that there exists a sequence of lens spaces with increasing fundamental group containing isoperimetric surfaces of genus \(2\, \text {or}\, 3\). After a suitable rescaling on the metrics we use compactness results to obtain a limit for the sequence of lens spaces which will be a flat three manifold of rank one. In the same way, the sequence of isoperimetric surfaces will converge to a flat surface in the respective ambient manifold. The topology of the surfaces will force the limit to be an union of planes. On the other hand, the minimization property rules this configuration out. This argument works in a wide class of lens spaces. For the remaining cases, we change the strategy and use varifold convergence applied to the pullback surfaces in the round three sphere. The arguments in the proof of Theorem 1.1 generalize naturally for the Berger spheres \(\mathbb {S}_{\varepsilon }^3\). This is a well known one parameter family of homogeneous metrics on the 3-sphere. The parameter \(\varepsilon \) measures the size of the Hopf fibers; the case \(\varepsilon =1\) corresponds to the round metric. When \(\varepsilon \) is not too small, spheres are the only solutions of the isoperimetric problem. When \(\varepsilon \) is very small, some tori are better candidates to solve the isoperimetric problem rather than spheres for certain volumes. By considering sequences of Berger spheres \(\mathbb {S}_{\varepsilon }^3\) with \(\varepsilon \rightarrow 0\), we prove: Theorem 1.3 There exists \(\varepsilon _0>0\) such that for every \(\varepsilon < \varepsilon _0\) the isoperimetric surfaces in the Berger spheres \(\mathbb {S}_{\varepsilon }^3\) are either rotationally invariant spheres or tori. 2 Preliminaries Let \((M^{n+1},g)\) be an orientable Riemannian manifold of dimension \(n+1\). The \(n+1\)-dimensional Hausdorff measure of a region \(\Omega \subset M\) is denoted by \(|\Omega |\). Similarly, we denote the n-dimensional Hausdorff measure of the hypersurface \(\partial \Omega \subset M\) by \(|\partial \Omega |\). The class of regions considered here are those of finite perimeter, see [34]. 2.1 Isoperimetric A region \(\Omega \subset M\) is called an Isoperimetric region if $$\begin{aligned} |\partial \Omega |=\inf \{|\partial \Omega ^{\prime }|\,:\,\Omega ^{\prime } \subset M ~\textit{and}~|\Omega ^{\prime }|=|\Omega |\}. \end{aligned}$$ In this case, the hypersurface \(\Sigma =\partial \Omega \) is called an Isoperimetric hypersurface. The existence of isoperimetric hypersurfaces is, in general, handled by a compactness theorem from geometric measure theory. For non-compact manifolds one needs to be careful since a minimizing sequence of regions of fixed volume may drift off to infinity. We recommend [20] for a recent reference on the regularity of isoperimetric hypersurfaces: Theorem 2.1 Let \((M^{n+1},g)\) be a closed Riemannian manifold. For every \(0<t< \text {vol}(M)\) there exists an isoperimetric region \(\Omega \) satisfying \(|\Omega |=t\). Moreover, \(\Sigma =\partial \Omega \) is smooth up to a closed set of Hausdorff dimension \(n-7\). 2.2 Stability Isoperimetric hypersurfaces are stable critical points of the area functional for variations that preserve the enclosed volume; thus, the regular part of isoperimetric hypersurfaces has constant mean curvature. More generally, we say that a two-sided isometric immersion \(\phi : \Sigma ^n \rightarrow M^{n+1}\) has constant mean curvature (cmc) if it is a critical point of the area functional for volume preserving variations. A critical points is called stable cmc if the second derivative of the area is non-negative for such variations. Equivalently, \(\phi \) is stable cmc if for every \(f \in C^{\infty }(\Sigma )\) with compact support such that \(\int _{\Sigma } f\,d_{\Sigma }=0\), we have $$\begin{aligned} I(f,f)=-\int _{\Sigma }fL\,f\,d_{\Sigma } :=\int _{\Sigma } |\nabla f|^2 - (Ric(N,N)+ |A|^2)\,f^2\, d_{\Sigma }\ge 0. \end{aligned}$$ (2.1) N is an unit normal vector field along \(\Sigma \) and A is the second fundamental form of the immersion \(\phi \). The mean curvature of \(\Sigma \), denoted by H, is defined by \(2\,H=\textit{trace}(A)\). The study of stable cmc hypersurfaces started in Refs. [3, 4] with a new characterization of the geodesic spheres in the simply connected space forms \(\mathbb {R}^{n+1}\), \(\mathbb {S}^{n+1}\) and \(\mathbb {H}^{n+1}\). The classification of stable cmc surfaces is often a way to approach the isoperimetric problem in reasonable spaces. With this purpose in mind, Ros and Ritoré [28] used the Hersch-Yau trick to study orientable stable cmc surfaces on three manifolds of positive Ricci curvature. Theorem 2.2 (Ros-Ritoré [28]) Let (M, g) be a three manifold with positive Ricci curvature. If \(\phi : \Sigma \rightarrow M^3\) is a compact (two-sided) stable cmc immersion, then \(g(\Sigma )\le 3\). Moreover, if \(g(\Sigma )=2\) or 3, then $$\begin{aligned} \Bigg (\frac{1}{2}\inf _{\Sigma }Ric_M+ H^2\Bigg )|\Sigma |\le 2\pi . \end{aligned}$$ Proposition 2.3 Let \(\phi : \Sigma \rightarrow M^3\) be a stable cmc immersion with constant mean curvature H into an spherical space form \(M=\mathbb {S}^3/G\). Then (1) If \(g(\Sigma )=2\) or 3, then \(\big (1+H^2\big )|\Sigma |\le 2\pi \).   (2) If \(g(\Sigma )=2\) or 3 and \(|G|\le 4 \), then \(\phi \) is an embedding. Moreover, if \(|G|\le 6\), then the pullback of \(\Sigma \), through the covering map \(\Pi : \mathbb {S}^3\rightarrow M^3\), is connected.   (3) If \(|G|=2\) or 3, then \(g(\Sigma )=\,0\) or 1.   Proof The first statement follows from the previous theorem since \(Ric_M=2\). Let \(\phi _{*}: \pi _1(\Sigma )\rightarrow \pi _1(M)\) be the induced map in fundamental groups. As \(K=Ker(\phi _{*})\) has finite index there exists a finite covering \(\psi :\widetilde{\Sigma }\rightarrow \Sigma \) such that \(Im\big (\psi _{*}\big )=K\) and \(\big (\phi \circ \psi \big )_{*}=0\). This means there exists a lifting of this map into \(\mathbb {S}^3\) and we denote it by \(\widetilde{\phi }:\widetilde{\Sigma }\rightarrow \mathbb {S}^3\). It follows that \(\big (1+H^2\big )|\widetilde{\Sigma }|\le |G|\,2\pi \). If \(\phi \) is not an embedding, then \(\widetilde{\phi }\) is not embedding either. By the work of Li and Yau [18] the Willmore energy of the immersed surface \(\widetilde{\Sigma }\), i.e. \(\mathcal {W}(\widetilde{\Sigma })=\int _{\widetilde{\Sigma }}\big (1+H^2\big )dvol_{\Sigma }\), is strictly greater1 than \(8\pi \). Therefore, if \(|G|\le 4\), we obtain a contradiction and \(\widetilde{\phi }\) is an embedding. Moreover, for closed surfaces with genus greater than or equal to 1 in \(\mathbb {S}^3\) the Willmore conjecture, recently proved in Ref. [19], states that \(\mathcal {W}(\Sigma )\ge 2\pi ^2\). Let \(\cup _{i=1}^l\widetilde{\Sigma }_i\) be the pre-image of \(\Sigma \) by the universal covering map, then $$\begin{aligned} 2\,l\,\pi ^2\le \sum _{i=1}^l\mathcal {W}\bigg (\widetilde{\Sigma }_i\bigg )= |G| \mathcal {W}(\Sigma )\le |G|2\pi \Rightarrow \frac{|G|}{l}\ge \pi \end{aligned}$$ Therefore, if \(|G|\le 6\), then \(l=1\) and \(|G|\ge \pi \). In particular, if \(|G|=2\) or 3, then there exist no stable cmc surface \(\Sigma \) with \(g(\Sigma )\ge 2\). \(\square \) Definition 2.2 For each \(r\in (0,\frac{\pi }{2})\) we define the Clifford Torus \(T_r\) as: $$\begin{aligned} T_r= \mathbb {S}^1(\cos (r))\times \mathbb {S}^1(\sin (r))\subset \mathbb {S}^3. \end{aligned}$$ (2.3) Every flat torus with constant mean curvature in \(\mathbb {S}^3\) is congruent to the Clifford torus \(T_r\) of same mean curvature. This follows from the Rigidity Theorem, pg. 49 in Ref. [9], for these surfaces have the same second fundamental form. Corollary 2.4 The stable cmc surfaces in L(3, 1) and L(3, 2) are totally umbilical spheres or flat tori. In addition, the index one minimal surfaces in L(3, 1) and L(3, 2) are congruent to the projection of minimal Clifford torus. Proof Let \(\Sigma \subset L(3,q)\), \(q=1,2\), be in the conditions of the corollary. By Proposition 2.3, \(g(\Sigma )=0\) or 1. If \(g(\Sigma )=0\), then it follows from the Hopf holomorphic quadratic differential that \(\Sigma \) is totally umbilical. If \(g(\Sigma )=1\), then it is proved in Ref. [28] that \(\Sigma \) is flat. \(\square \) 2.3 Isoperimetric profile The isoperimetric properties of M can be encapsulated in a single function called the isoperimetric profile. This is the function \(I_M: [0,\text {vol}(M)] \rightarrow [0,+ \infty )\) defined by $$\begin{aligned} I_M(v)= \inf \{ |\partial \Omega |\,:\,\Omega \subset M~\text {and}~|\Omega |=v\}. \end{aligned}$$ (2.4) We finish the section with some well known facts on the analytic nature of \(I_M\). These will be used later in Sect. 3. Let \(\Omega \) be an isoperimetric region in M such that \(|\Omega |=v\) for some \(v \in (0,\text {Vol}(M))\). The function \(I_M\) has left and right derivatives \((I_M)_-^{\prime }(v)\) and \((I_M)_+^{\prime }(v)\). In addition, if H is the mean curvature of \(\Sigma =\partial \Omega \) in the direction of the inward unit vector, then $$\begin{aligned} (I_M)_{+}^{\prime }(v)\le 2H\le (I_M)_{-}^{\prime }(v). \end{aligned}$$ (2.5) The second derivative also exists but weakly in the sense of comparison functions. More precisely, we say \(f^{\prime \prime }\le h\) weakly at \(x_0\) if there exists a smooth function g such that \(f \le g\), \(f(x_0)=g(x_0)\), and \(g^{\prime \prime }\le h\). In this sense we have $$\begin{aligned} I_M(v)^2\, I_M^{\prime \prime }(v)+\int _{\Sigma }\big (Ric_g(N,N)+|A|^2\big )\,d_{\Sigma }\le \,0. \end{aligned}$$ (2.6) The Eqs.  (2.5) and (2.6) are first presented on [5] (see also Section 5 in Ref. [15]). We sketch the proof of (2.5) and (2.6). Let \(\Sigma _V\) be the variation \(\Sigma _t= exp_{\Sigma }(tN)\) of \(\Sigma \) reparametrized in terms of the enclosed volume v(t). In addition, let \(\phi (t)\) (resp. \(\phi (v)\)) be the area of \(\Sigma _t\) (resp. \(\Sigma _v\)). By the first variation formula for the area and volume we have \(\phi ^{\prime }(0)= 2\,H\, |\Sigma |\) and \(v^{\prime }(0)=|\Sigma |\) respectively. Since \(\phi ^{\prime }(t)=\phi ^{\prime }(v)v^{\prime }(t)\), we conclude that \(\phi ^{\prime }(v(0))= 2H\) and also that \(v^{\prime }(0)^2\phi ^{\prime \prime }(v(0))=\phi ^{\prime \prime }(0)-\phi ^{\prime }(v(0))v^{\prime \prime }(0)\). On the other hand, the second derivative of area for general variations implies the following: $$\begin{aligned} \phi ^{\prime \prime }(0)= & {} -\int _{\Sigma }1\,L\,1\,d_{\Sigma } +2H\,v^{\prime \prime }(0)\\= & {} - \int _{\Sigma }\big (Ric_g(N,N)+|A|^2\big )d_{\Sigma } +2H\, v^{\prime \prime }(0). \end{aligned}$$ Hence, in the sense of comparison functions, (2.6) follows from: $$\begin{aligned} \phi (v(0))^2\, \phi ^{\prime \prime }(v(0))+\int _{\Sigma }\big (Ric_g(N,N)+|A|^2\big )d_{\Sigma }=\,0. \end{aligned}$$ (2.7) 3 The Isoperimetric problem in the lens Spaces In order to define the lens spaces, we first recall the round three sphere as: $$\begin{aligned} \mathbb {S}^3=\{(z,w)\in \mathbb {C}^2\,:\, |z|^2+|w|^2=1 \}. \end{aligned}$$ Fix p, q integers with the following property \(1\le q< p\) and \(gcd(p,q)=1\). Let \(\mathbb {Z}_p\) be the group \(\mathbb {Z}/p\mathbb {Z}\) acting on \(\mathbb {S}^3\) as follows: $$\begin{aligned} m\in \mathbb {Z}_p\mapsto m\cdot (z,w)=\left( e^{\frac{2\pi i qm}{p}}z, e^{\frac{2\pi i m}{p}}w\right) . \end{aligned}$$ (3.1) The group \(\mathbb {Z}_p\) acts freely and properly discontinuously on \(\mathbb {S}^3\). The orbit space \(\mathbb {S}^3/\mathbb {Z}_p\) is a closed three manifold called the Lens space, it is denoted by L(p, q). The Hopf fibration, which is the Riemannian submersion \(h: \mathbb {S}^3\rightarrow \mathbb {S}^2(\frac{1}{2})=\mathbb {C}\cup \{\infty \}\) defined by \(h(z,w)=\frac{z}{w}\), can be extended naturally to L(p, q). Indeed, the group \(\mathbb {Z}_p\) acts on the set of Hopf fibers through the cyclic action of \(\Gamma _p= \langle e^{\frac{2\pi i (q-1)}{p}}\rangle \) on \(\mathbb {S}^2(\frac{1}{2})\) given by $$\begin{aligned} e^{\frac{2\pi i (q-1)}{p}}: \mathbb {C}\longrightarrow \mathbb {C}, \quad \lambda \longmapsto e^{\frac{2\pi i (q-1)}{p}} \cdot \lambda . \end{aligned}$$ The Hopf fibration for L(p, q) is then defined as \(h: L(p,q)\rightarrow \mathbb {S}^2(1/2)/\Gamma _p\). The set \(\mathbb {S}^2(1/2)/\Gamma _p\) is a two dimensional orbifold with conical singularities at the north and south pole when \(q\ne 1\). The pre-image of these singularities are called the critical fibers of h. The preimage of horizontal slices of \(\mathbb {S}^2(1/2)/\Gamma _p\) via h corresponds to the Clifford torus described in (2.3). They are natural candidates to solve the isoperimetric problem in L(p, q). 3.1 Comments on Steiner symmetrization for lens spaces Steiner and Schwarz symmetrization theorems were proved in Ref. [21] for certain fiber bundles including lens spaces L(p, q). To highlight the application of this symmetrization procedure to the isoperimetric problem for lens spaces, we restrict to the case L(p, 1) where the Hopf fibration \(h: L(p,1) \rightarrow \mathbb {S}^2(\frac{1}{2})\) is a smooth Riemannian submersion. The symmetrization consists of associating to each set of finite perimeter \(R\subset L(p,1)\) the set Sym(R) in the product manifold \(\mathbb {S}^2(\frac{1}{2})\times \mathbb {S}^1(\frac{1}{p})\) defined by replacing the slice of R in each fiber with a ball of the same volume about the respective fiber in the product. The coarea formula for Riemannian submersions implies that Sym(R) and R have the same volume. It is proved in Ref. [21] that Sym(R) has no greater perimeter than R. One immediate consequence is that \(I_{L(p,1)}\ge I_{\mathbb {S}^2(\frac{1}{2})\times \mathbb {S}^1(\frac{1}{p})}\). Applying the classification of the isoperimetric problem on \(\mathbb {S}^2(\frac{1}{2})\times \mathbb {S}^1(\frac{1}{p})\), [25], we conclude that \(I_{L(p,1)}= I_{\mathbb {S}^2(\frac{1}{2})\times \mathbb {S}^1(\frac{1}{p})}\) in a interval around \(V=\frac{\text {Vol}(L(p,1))}{2}\). In particular, the minimal Clifford torus is isoperimetric in L(p, 1) for every \(p\ge 3\). The isoperimetric profiles, however, do not coincide as the profile of geodesic spheres on the respective spaces are different. Therefore, this technique is not enough to completely solve the isoperimetric problem. It is also important to point out that, for general lens spaces L(p, q), there is no analogue of [25] for \(\mathbb {S}^2(\frac{1}{2})/\Gamma _p\times \mathbb {S}^1(\frac{1}{n_p})\) which is a manifold having co-dimension two singularities. 3.2 Some aspects of lens spaces For every \(x \in L(p,q)\) the injectivity radius of L(p, q) at x satisfies \(\text {inj}_xL(p,q)\ge \frac{\pi }{p}\), with equality only at points in the critical fibers. Indeed, for \(\theta =e^{\frac{2\pi i }{p}}\) we have: $$\begin{aligned}&a^2:=d_{\mathbb {R}^4}^2[(\theta ^{kq} z, \theta ^k w),(z,w)]= |\theta ^{kq}-1|^2|z|^2+|\theta ^k-1|^2|w|^2\ge |\theta -1|^2 \\&\quad d_{\mathbb {S}^3}[(\theta ^{kq} z, \theta ^k w),(z,w)]=2\arcsin \Bigg (\frac{a}{2}\Bigg )\ge 2\arcsin \Bigg ({\frac{2}{2}\sin {\frac{2\pi }{2p}}}\Bigg )=\frac{2\pi }{p}. \end{aligned}$$ However, is not true in general that \(inj(L(p,q), x)= O(\frac{1}{p})\). Here, the notation \(inj_xL(p,q)=O(\tau )\) means that \( \frac{1}{C}\tau \le inj_xL(p,q) \le C\tau \), for a constant C which is independent of p, q and \(x\in L(p,q)\). Example 3.1 Let us consider \(L(k^2,k+1)\), \(k\in \mathbb {Z}_{+}\). We show that the injectivity radius at points far away from the critical fibres are \(O(\frac{1}{k})\). If the round metric is scaled by the factor \(k^2\), then we have the Riemannian submersion: $$\begin{aligned} h: \big (L(k^2,k+1), k^2 g_0, x_k\big )\rightarrow \big (\mathbb {S}^2/\mathbb {Z}_k,k^2 g_{\mathbb {S}^2}, h(x_k)\big ). \end{aligned}$$ The fibers have constant length \(2\pi \) except the critical fibres which have length \(\frac{2\pi }{p}\). The right hand side will converge, as \(k \rightarrow \infty \), to \(\mathbb {S}^1\times \mathbb {R}\). It follows from the coarea formula for Riemannian submersions that the volume of the geodesic ball \(B_{4\pi }(x_k)\) in \(\big (L(k^2,k+1), k^2 g_0, x_k\big )\) is bounded from below. Therefore, by Cheeger’s inequality, Lemma 51 in Ref. [26], the injectivity radius of the sequence \(\big (L(k^2,k+1), k^2 g_0, x_k\big )\) is bounded from below. This sequence converges to a flat \(T^2\times \mathbb {R}\). If \(x, y \in T_{\frac{\pi }{4}}/\mathbb {Z}_p \subset L(p,q)\), then \(d_{L(p,q)}(x,y)\ge C d_{T_{\frac{\pi }{4}}/\mathbb {Z}_p}(x,y)\) for some constant \(C>0\) independent of p, q. Thus intrinsic and extrinsic distances on \(T_{\frac{\pi }{4}}/\mathbb {Z}_p\) are equivalent. Lemma 3.2 If \(x \in T_{\frac{\pi }{4}}/\mathbb {Z}_p\subset L(p,q)\) and the extrinsic diameter of \(T_{\frac{\pi }{4}}/\mathbb {Z}_p\) in L(p, q) is bounded from below, then \(inj_{x}L(p,q)=O(\frac{1}{p})\). Proof Let \(\lambda _p= \frac{1}{inj_x L(p,q)}\) and recall that \(\frac{1}{\lambda _p}\ge \frac{\pi }{p}\). Without loss of generality, let’s assume that \(\text {diameter}_{L(p,q)}(T_{\frac{\pi }{4}}/\mathbb {Z}_p)\ge 1\). Hence, under the rescaled metric \(\lambda _p^2\, g_{\mathbb {S}^3}\), the extrinsic diameter of \(T_{\frac{\pi }{4}}/\mathbb {Z}_p\) is greater than or equal to \(\lambda _p\). Let \(\gamma _p(t)\) be a geodesic segment realizing the intrinsic diameter of \(T_{\frac{\pi }{4}}/\mathbb {Z}_p\). Thus, we can find disjoint balls \(B_R(x_i)\subset L(p,q)\), with \(R< \frac{C}{2}\), \(x_i \in \gamma _p(t)\), and \(i=1,\ldots , [\lambda _p]+1\). Hence, $$\begin{aligned} \sum _{i=1}^{[\lambda _p]+1}\mathcal {H}^2(B_R(x_{i_0})\cap T_{\frac{\pi }{4}}/\mathbb {Z}_p) \le |T_{\frac{\pi }{4}}/\mathbb {Z}_p|= \lambda _p^2\,\frac{2\pi ^2}{p}. \end{aligned}$$ Therefore, there exists \(i_0\in \{1,\ldots , [\lambda _p]+1\}\) such that: $$\begin{aligned} C_1\le \mathcal {H}^2(B_R(x_{i_0})\cap T_{\frac{\pi }{4}}/\mathbb {Z}_p)\le \frac{2\pi ^2\cdot \lambda _p}{p}. \end{aligned}$$ The first inequality follows from the Monotonicity Formula, Proposition 6.1 in the Appendix, applied to \(T_{\frac{\pi }{4}}\subset (L(p,q),\lambda _p^2\,g_{\mathbb {S}^3},x)\). This finishes the proof of the lemma. \(\square \) Let’s use the notation \(\mathbb {Z}_{p}^{q}\) to represent the group \(\mathbb {Z}_p\) acting on \(\mathbb {S}^3\) and its dependence on the parameter q. By using the toroidal coordinate system for \(\mathbb {S}^3\), $$\begin{aligned} \varphi _r : \mathbb {R}^2 \rightarrow T_r: \varphi _r(u,v)=(\cos (r) e^{2\pi i u}, \sin (r)e^{2\pi i v})\in \mathbb {S}^3, \end{aligned}$$ the action of \(\mathbb {Z}_p^q\) on \(T_r\) corresponds to the following action on \(\mathbb {R}^2\): $$\begin{aligned} (u,v) \longmapsto \left( u+ \frac{k q}{p}, v + \frac{k}{p}\right) . \end{aligned}$$ In these coordinates , the \(\mathbb {Z}_p^q\) orbit at the point \((z_0,w_0)=\varphi (\mathbb {Z}\times \mathbb {Z})\in T_{r}\) is given by: $$\begin{aligned} \text {Orbit}_{p,q}(z_0,w_0)=\Bigg \{(m,n) + k\Bigg (\frac{1}{p}, \frac{q}{p}\Bigg ): m,n,k \in \mathbb {Z}\Bigg \}. \end{aligned}$$ (3.2) Lemma 3.3 Given a sequence \(\{L(p,q)\}_{p \in \mathbb {N}}\), there exist \(b,m_0,n_0 \in \mathbb {Z}\) and a subsequence \(\{L(p_l,q_l)\}_{l \in \mathbb {N}}\) such that one of the following holds: (1) For every \((z_0,w_0) \in T_r\), \(\varphi _r(\text {Orbit}_{p_l,q_l}(z_0,w_0))\) is becoming dense on \(T_{r}\) as \(l\rightarrow \infty \).   (2) \(\varphi _r(\text {Orbit}_{p_l,q_l}(z_0,w_0))\) is contained in b integral curves of \(X(z,w)=(m_0 \sqrt{-1}\, z, n_0 \sqrt{-1}\,w)\in \mathcal {X}(\mathbb {S}^3)\).   Proof To prove the lemma it is enough to consider \((z_0,w_0)\in T_{\frac{\pi }{4}}\). If there is a subsequence for which the diameter of \(T_{\frac{\pi }{4}}/ \mathbb {Z}_p^q\) is going to zero as \(p \rightarrow \infty \), then \(\varphi _{\frac{\pi }{4}}(\text {Orbit}_{p,q}(z_0,w_0))\) is clearly becoming dense on \(T_{\frac{\pi }{4}}\) and item 1 is proved. Let us consider now the case where the diameter of \(T_{\frac{\pi }{4}}\) in L(p, q) is bounded away from zero. From the equivalence between extrinsic and intrinsic distance and by Lemma 4.2 we conclude that the Euclidean injectivity radius satisfies \(inj_{(z_0,w_0)} T_{\frac{\pi }{4}}/\mathbb {Z}_p= O(\frac{1}{p})\). In particular, there exist \(k_p,m_p,n_p \in \mathbb {Z}\) such that $$\begin{aligned} 0< ||k_p\left( \frac{1}{p}, \frac{q}{p}\right) -(m_p,n_p)||_{\mathbb {R}^2}\le \frac{C}{p}. \end{aligned}$$ Therefore, there exists \((m_0,n_0)\in B_{C}(0)\cap \mathbb {Z}\times \mathbb {Z}\subset \mathbb {R}^2\) such that \((k_p-pm_p,k_pq-n_pp)=(m_0,n_0)\) infinitely often and \(\frac{\sqrt{m_0^2+n_0^2}}{2p}\) is the Euclidean injectivity radius of \(T_{\frac{\pi }{4}}/\mathbb {Z}_p\) at \((z_0,w_0)\) for this subsequence. Hence, the sub-orbit generated by the translation \((u,v) \rightarrow (u,v)+k_p(\frac{1}{p}, \frac{q}{p})\) is contained in the line \(\mathbb {Z}\times \mathbb {Z} +\{t(m_0,n_0): t \in \mathbb {R}\}\). It follows that the \(\text {Orbit}_{p,q}(z_0,w_0)\) is contained in a union of equidistant lines parallel to the one described above by homogeneity. Modulo \(\mathbb {Z}\times \mathbb {Z}\) the number of such lines is finite, let’s denote it by \(b_p\). Modulo \(\mathbb {Z}\times \mathbb {Z}\) there are \(\frac{p}{b_p}\) points of \(\text {Orbit}_{p,q}(z_0,w_0)\) in each of these lines. Hence, $$\begin{aligned} \frac{p}{b_p}\left( \frac{k_p}{p},\frac{k_p q}{p}\right) -\frac{p}{b_p}(m_p,n_p)=\frac{p}{b_p} \left( \frac{m_0}{p},\frac{n_0}{p}\right) \in \mathbb {Z}\times \mathbb {Z}. \end{aligned}$$ Therefore, \(b_p\) divides \(m_0\) and is independent of p. In other words, \(\varphi _{\frac{\pi }{4}}(\text {Orbit}_{p,q}(z_0,w_0))\) is contained in b integral curves of \(X(z,w)=(m_0 \sqrt{-1} z, n_0 \sqrt{-1}w)\in \mathcal {X}(\mathbb {S}^3)\). \(\square \) 3.3 Cheeger–Gromov convergence A sequence of pointed Riemannian manifolds \((M_i,g_i,x_i)\) (Riemannian manifolds \((M_i,g_i)\) with points \(x_i\in M_i\)) is said to converge, in the sense of Cheeger–Gromov, to a pointed Riemannian manifold (M, g, x) as \(i\rightarrow \infty \) if the following two conditions hold true: (1) There exists an exhaustion of M by compact sets \(\Omega _i \subset M\): \(\overline{\Omega }_i\subset \Omega _{n+1}\) and \(\bigcup _{i=1}^{\infty }\Omega _i=M\).   (2) There exists a family of smooth maps \(\phi _i:\Omega _i\rightarrow M_i\) which are diffeomorphic onto their image such that \(\phi _i(x)=x_i\) for all i and \(\phi _i^{*}(g_i)\rightarrow g\) in the \(C^{\infty }\) topology.   In the next lemma we study the Cheeger–Gromov convergence for a sequence of lens spaces. Recall that the rank of an orientable flat 3-manifold \(\mathbb {R}^3/G\) is the rank of the subgroup of translations in G. Lemma 3.4 Let \((L(p,q), p^2\, g_{\mathbb {S}^3},x_p)\) be a sequence of lens spaces. There exists a flat 3-manifold \((M,\delta , x_{\infty })\) of rank at most one such that after passing to some subsequence \((L(p,q), p^2 g_{\mathbb {S}^3},x_p)\xrightarrow {C-G} (M,\delta , x_{\infty })\). Proof Since \((L(p,q),p^2\,g_{\mathbb {S}^3})\) has constant curvature converging to zero and \(\text {inj}(L(p,q),p^2\,g_{\mathbb {S}^3})\ge \pi \), the Cheeger–Gromov Compactness Theorem [35, Theorem 7.1.3] implies that \((L(p,q), p^2 g_{\mathbb {S}^3},x_p)\xrightarrow {C-G} (M,\delta , x_{\infty })\), where \((M,\delta )\) is an orientable flat 3-manifold. Every non-compact flat 3-manifold is finitely covered by either \(\mathbb {S}^1\times \mathbb {R}^2\) or \(T^2\times \mathbb {R}\); hence, to show that rank of M is one, it is enough to prove that that the volume growth of balls of large radius are at least quadratic. Below we denote \(T_r/\mathbb {Z}_p\) by \(T_r\). Let \(T_{r_p}\) be the Clifford torus through \(x_p\) enclosing a region \(\Omega _{r_p}\). Under the scaling by \(\lambda _p=p^2\) we have that \(|\Omega _{r_p}|= 2\pi ^2 p^2 \sin ^2(r_p)\). If \(\lim _{p\rightarrow \infty }|\Omega _{r_p}|<\infty \), then \(\lim _{p\rightarrow \infty }|T_{r_p}|= 2\pi ^2 p\sin (2r_p)<\infty \). Moreover, the second fundamental form \(A_{r_p}\) of \(T_{r_p}\) satisfies \(\lim _{p\rightarrow \infty } |A_{r_p}|^2=\lim _{p\rightarrow \infty } \frac{1}{p^2}(\frac{\cos ^2(r_p)}{\sin ^2(r_p)}+ \frac{\sin ^2(r_p)}{\cos ^2(r_p)})<\infty \). The critical fiber \(T_0\subset \Omega _{r_p}\) is distant from \(x_p\) by \(O(\frac{1}{p})\) since \(\Omega _{r_p}\) is converging to a compact region in M. Instead of using base points \(x_p\) we choose new base points \(y_p \in T_0\); it follows that \((L(p,q),p^2g_{\mathbb {S}^3},y_p)\rightarrow (N,\delta ,y_{\infty })\) and \(\text {rank}(N)=\text {rank}(M)\). We claim that rank of N is at most one: $$\begin{aligned} |B_{2R}(y_{\infty })|=\lim _{p\rightarrow \infty } |B_{2R}^p(y_p)|\ge \lim _{p\rightarrow \infty }|\Omega _{\frac{R}{p}}|=\lim _{p \rightarrow \infty } 2\pi ^2 p^2 \sin ^2\left( \frac{R}{p}\right) = c R^2. \end{aligned}$$ Let’s assume now that \(\lim _{p\rightarrow \infty }|\Omega _{r_p}|=\infty \), consequently \(\lim _{p\rightarrow \infty }|T_{r_p}|=\infty \) and \(\lim _{p\rightarrow \infty }|A_{r_p}|^2=0\). Recall the function \(r=r(x)\), the distance from the Clifford torus through x to the critical fiber \(T_0\) with respect to the round metric. The unit vector field \(\partial r\) is orthogonal to \(T_r\) for every r and it is well defined on \(L(p,q)-\{T_0\cup T_{\frac{\pi }{2}}\}\). Let \(\gamma (r)\) be the geodesic whose velocity is \(\partial r\) and such that \(\gamma (r_p)=x_p\). Consider \(K_{r_p,R}=\{ x \in T_r: d_{L(p,q)}(x,\gamma (r))\le \frac{R}{p} \, \text {and}\, |r-r_p|\le \frac{R}{p}\}\). By the triangle inequality \(K_{r_p,R}\subset B_{2R}(x_p)\) under the metric \(p^2g_{\mathbb {S}^3}\). Applying the coarea formula for \(f(r)=p\,r\), \(|\nabla f|_{p^2g_{\mathbb {S}^3}}=1\), we obtain: $$\begin{aligned}|K_{r_p,R}| =\int _{r_p-\frac{R}{p}}^{r_p+\frac{R}{p}}|B_R(\gamma (u))\cap T_u|p\,du =|B_R(\gamma (u_0))\cap T_{u_0}|_{p^2g_{\mathbb {S}^3}}R \ge c R^2, \end{aligned}$$ where \(u_0\in [r_p- \frac{R}{p}, r_p + \frac{R}{p}]\) is from the mean value theorem for integrals. The last inequality is justified as follows. Either the extrinsic diameter of \(T_{u_0}\) is going to infinity and \(T_{u_0}\) is converging with multiplicity to a flat surface or the extrinsic diameter of \(T_{u_0}\) is bounded. The former implies that \(|B_R(\gamma (u_0))\cap T_{u_0}|_{p^2g_{\mathbb {S}^3}}\ge c R\). The latter implies that \(B_R(\gamma (u_0))\cap T_{u_0}=T_{u_0}\), which is a contradiction since \(|T_{u_0}|_{p^2g_{\mathbb {S}^3}}\rightarrow \infty \). We conclude that \(Vol(B_{2R})\ge c R^2\) and rank of M is at most one. \(\square \) 4 Proof of Theorem 1.1 Lemma 4.1 Let \((L(p,q), p^2 g_{\mathbb {S}^3},x_p)\rightarrow (M,\delta , x_{\infty })\) be as in Lemma 3.4 and let \(\Sigma _p\) be an isoperimetric surface in L(p, q) such that \(x_p\in \Sigma _p\) and \(g(\Sigma _p)\ge 1\) . There exists a constant \(C>0\) such that \(|A_{\Sigma _p}|_{p^2g_{\mathbb {S}^3}}\le C\). Proof Let \(y_p\in \Sigma _p \subset L(p,q)\) be such that \(|A_p|(y_p)=\max _{\Sigma _p}|A_p|^2\) and define \(\lambda _p= \max _{\Sigma _p}|A_p|(y_p)\). Arguing by contradiction, let’s assume that \(\frac{\lambda _p}{p}\rightarrow \infty \). In local coordinates around \(y_p\) we consider the surface \(\Sigma _p^{\prime }=\lambda _p \Sigma _p\) on the Euclidean ball \(B_{\lambda _p\frac{\pi }{10p}}(0)\) endowed with the rescaled metric \(\lambda _p^2\,g_{\mathbb {S}^3}\). Therefore, \((B_{\lambda _p\frac{\pi }{10p}}(0),\lambda _p^2\,g_{\mathbb {S}^3}, y_p)\) converges to \((\mathbb {R}^3,\delta ,0)\) as \(p \rightarrow \infty \). The surface \(\Sigma _p^{\prime }\) now has the property that \(\max _{\Sigma _p^{\prime }}|A_p^{\prime }(0)|^2=1\). By the strong compactness for a sequence of isoperimetric surfaces with bounded second fundamental form, see Corollary 6.4 in the Appendix, there exists a subsequence converging to a properly embedded surface \(\Sigma ^{\prime }\subset \mathbb {R}^3\), the convergence is in the sense of graphs and with multiplicity one. Moreover, \(\Sigma ^{\prime }\) is also stable, i.e.: $$\begin{aligned} I_{\Sigma ^{\prime }}(f,f)\ge 0, \,\, \forall f\in C_0^{\infty }(\Sigma ^{\prime })\,\, \textit{satisfying}\, \int _{\Sigma ^{\prime }}f\,d_{\Sigma ^{\prime }}=0. \end{aligned}$$ If \(\Sigma ^{\prime }\) is compact, then it has to be a round sphere by Alexandrov’s Theorem, which is a contradiction since strong convergence preserves topology. If \(\Sigma ^{\prime }\) is non-compact, then it has infinite area by the monotonicity formula: indeed, by Proposition 6.1 in the Appendix there exists a positive constant C such that $$\begin{aligned} \frac{d}{dr}\bigg (\frac{e^{C\,r}\,|\Sigma ^{\prime }\cap B_r(x)|}{r^2}\bigg )\ge 0. \end{aligned}$$ In particular, \(|\Sigma ^{\prime }\cap B_r(x)|\ge \pi r^2\). As \(\Sigma ^{\prime }\) is properly embedded, it has infinite extrinsic diameter and the claim follows. Therefore, \(\Sigma ^{\prime }\) is totally geodesic by Da Silveira’s Theorem 6.6 in the Appendix, which is a contradiction since \(\max _{\Sigma ^{\prime }}|A|=1\). \(\square \) The following lemma gives a description of \(I_{L(p,q)}\) for small volumes: Lemma 4.2 For p large enough there exist \(v_p\) and \(\varepsilon _p>0\) such that \(I_{L(p,q)}\) is given by the profile of spheres on \((0,v_p]\) and by the profile of flat tori on \([v_p,v_p+\varepsilon _p)\). Moreover, if \(\Sigma _p\) is an isoperimetric surface such that \(I_{L(p,q)}(v_p)=|\Sigma _p|\), then \(g(\Sigma _p)=0\, \text {or}\, 1\). Proof For each p we consider the first volume, \(v_p\), for which there is transition on topology of isoperimetric surfaces from spheres to something else. If \(v_*\) is the volume for which the profile of geodesic spheres intersect the profile of flat tori, then \(v_p\le v_*\). The value of \(v_*\) is computed by solving the following system of equations: $$\begin{aligned} \frac{2\pi ^2}{p} \sin ^2(r)= 2\pi s - \pi \sin (2s)\quad \text {and}\quad \frac{2\pi ^2}{p} \sin (2r)=4\pi \sin ^2(s). \end{aligned}$$ (4.1) The left hand side (right hand side) of the identities in (4.1) correspond to the enclosed volume and area of the Clifford torus \(T_r\) (geodesic spheres \(S_s\) of radius s), respectively. It follows that \(s\le \frac{\pi }{p}\); another way to see this is by recalling that the injectivity radius of L(p, 1) is \(\frac{\pi }{p}\) at every point. Therefore, \(I_{L(p,q)}(v_p)\le \frac{C}{p^2}\). Let \(\Sigma _p\) be an isoperimetric surface with genus \(g(\Sigma _p)\ge 1\) and satisfying \(I_{L(p,q)}(v_p)=|\Sigma _p|\). By Lemma 4.1 the sequence \(\{\Sigma _p\}_{p\in \mathbb {N}}\) has bounded second fundamental form in \((L(p,q), p^2 g_{\mathbb {S}^3},x_p)\); thus, it strongly converges to a properly embedded surface \(\Sigma \) of finite area in some orientable flat three manifold \((M,\delta )\) of rank at most one by Lemma 3.4. By the monotonicity formula, Proposition  6.1 in the Appendix, there exists \(r>0\) such that \(\text {Area}(\Sigma \cap B_r(x))\ge Cr^2\) for every \(x\in \Sigma \). Hence, the extrinsic diameter of \(\Sigma \) is bounded. As \(\Sigma \) is properly embedded, \(\Sigma \) is closed. It follows that the pre-image \(\widehat{\Sigma }\) of \(\Sigma \) in \(\mathbb {R}^3\) is contained in a solid cylinder. Hence, \(\widehat{\Sigma }\) is an union of round spheres by Alexandrov’s Theorem or is a surface of revolution about the axis of the cylinder by Theorem 6.5 in the Appendix. Therefore, \(g(\Sigma )=0\) or 1. From the strong compactness for isoperimetric surfaces, see Corollary 6.4 in the Appendix, we conclude that \(g(\Sigma _p)=0\, \text {or}\, 1\), \(v_p=v_{*}\) and the existence of the desired \(\varepsilon _p>0\). \(\square \) Claim Theorem 1.1 follows if we can show that the isoperimetric surfaces separating L(p, q) in two regions of the same volume are tori. Proof By the strong compactness for isoperimetric surfaces, Corollary 6.4, there exists \(\widehat{v}\) such that if \(\Sigma \) is an isoperimetric surface enclosing volume \(v \in [\widehat{v}, \frac{\pi ^2}{p}]\), then \(\Sigma \) is a flat torus. It follows from Lemma 4.2 and for large p that the isoperimetric profile \(I_{L(p,q)}\) is given by the area of geodesic spheres for volumes in \((0,v_p]\) and by the area of flat tori for volumes in \([v_p,\varepsilon _p]\cup [\widehat{v},\frac{\pi ^2}{p}]\). In other words, if f(v) is the function defined by \(f(v)=|T_{r(v)}|\), where \(T_{r(v)}\) is the Clifford torus enclosing a volume equal to v, then \(I_{L(p,q)}(v)=f(v)\) on \([v_p,\varepsilon _p]\cup [\widehat{v},\frac{\pi ^2}{p}]\). It follows that \(\phi (v)=f(v)-I_{L(p,q)}(v)\) has a local maximum point at \(t_*\in (\varepsilon _p,\widehat{v})\). The claim will follow by exploring the weak differential equation for \(I_{L(p,q)}\). From (2.7) we have $$\begin{aligned} f^2(v)f^{\prime \prime }(v)+ \int _{T_{r(v)}}(2+ |A_{r(v)}|^2)\,d_{T_{r(v)}}=0. \end{aligned}$$ Let \(\Sigma \) be an isoperimetric surface such that \(I_{L(p,q)}(t_*)=|\Sigma |\). If \(\Sigma _v\) is the unit normal variation of \(\Sigma \) parametrized by the enclosed volume, then we define \(h(v)= \textit{Area}(\Sigma _v)\). Since \(h\ge I_{L(p,q)}\), we have that \(\phi _1= f- h\) has also a local maximum point at \(t_*\). Hence, \(\phi _1^{\prime }(t_*)=0\), i.e., \(H_r=H\), and \(\phi _1^{\prime \prime }(t_*)\le 0\). Applying Eq. (2.7) for h together with the Gauss equation and the Gauss-Bonnet theorem we obtain: $$\begin{aligned} \phi _1^{\prime \prime }(t_*)\le 0\Rightarrow & {} \frac{1}{h^2}\int _{\Sigma }(2+|A|^2)\,d_{\Sigma }\le \frac{1}{f^2}\int _{T_{r(t_*)}}(2+ |A_{r(v)}|^2)\,d_{T_{r(t_*)}}\\\Rightarrow & {} 4 (1+H^2)\,h + 8\pi \,(g-1)\,\le \, \big (4(1+H_r^2)\,f\big )\,\frac{h^2}{f^2}\\\Rightarrow & {} 1+H^2 + \frac{2\pi (g-1)}{h}\le (1+H_r^2)\,\frac{h}{f}\le 1+H^2. \end{aligned}$$ Therefore, \(g(\Sigma )=1\) and \(I_{L(p,q)}=f\) in \([v_p, \frac{\pi ^2}{p}]\). \(\square \) Proof of Theorem 1.1 Arguing by contradiction, let us assume that there exists an infinite sequence of lens spaces L(p, q) containing an isoperimetric surface \(\Sigma _p\) of genus \(g\ge 2\) for each p. By the claim above, we may assume that \(\Sigma _p\) divides L(p, q) in two regions of equal volume. We consider pointed manifolds \((L(p,q), p^2 g_{\mathbb {S}^3},x_p)\) with base points \(x_p\) belonging to \( \Sigma _p\). By the Cheeger–Gromov compactness theorem, \((L(p,q), p^2 g_{\mathbb {S}^3},x_p)\xrightarrow {C-G}(M,\delta , x_{\infty })\), where \((M,\delta )\) is a flat three manifold. The inclusion of \(\Sigma _p\) into M through the diffeomorphism \(\phi _p\) is still denoted by \(\Sigma _p\). By Lemma 3.3, the proof of Theorem 1.1 reduces to investigating the Cases I and II below. Case I: There is a subsequence whose \(\mathbb {Z}_{p}^q\) orbit of a point is contained in a finite number (independent of p) integral curves of a vector field \(X(z,w)=(m_0\,\sqrt{-1}\,z, n_0\,\sqrt{-1}\,w)\in \mathcal {X}(\mathbb {S}^3)\). We claim that the injectivity radius of L(p, q) at every point is \(O(\frac{1}{p})\). Indeed, let \(\text {Orbit}_{p,q}(z_0,w_0)\) be the orbit of \((z_0,w_0)\in \mathbb {S}^3\) with respect to \(\mathbb {Z}_p^q\). As before, \(\frac{p}{b}\) points of \(\text {Orbit}_{p,q}(z_0,w_0)\) lie on the curve \(\beta (t)=\psi (z_0,w_0,t)\). Here, \(\psi \) is the one parameter family of diffeomorphisms associated to X: $$\begin{aligned} \psi : \mathbb {S}^3\times \mathbb {R} \rightarrow \mathbb {S}^3 : \psi (z,w,t)=(e^{m_0 i t}z,e^{n_0 i t}w). \end{aligned}$$ When ordered according the orientation of \(\beta (t)\), those points determine a piecewise closed geodesic \(\gamma _p(t)\) with \(\gamma _p(0)=(z_0,w_0)\). As \(p \rightarrow \infty \), \(\gamma _p(t)\) converges to \(\beta (t)\). The claim now follows from: $$\begin{aligned} \lim _{p \rightarrow \infty }\frac{p}{b} inj_{(z_0,w_0)} L(p,q) \le \lim _{p \rightarrow \infty }\mathcal {H}^1(\gamma _p)= 2\pi \sqrt{m_0^2|z_0|^2+n_0^2|w_0|^2}. \end{aligned}$$ (4.2) After extracting a subsequence, Lemma 3.4, implies that $$\begin{aligned} (L(p,q), \,p^2 \cdot g_{\mathbb {S}^3},\, x_p) \xrightarrow {C-G} (M, \delta , x_{\infty }), \end{aligned}$$ (4.3) where \((M, \delta , x_{\infty })\) is a flat three manifold of rank at most one. By (4.2) \(M=\mathbb {R}^3/S_{\theta }\), where \(\theta \in \mathbb {Q}\). The curves \(t\rightarrow \beta (t)=\psi (x,t)\) represent integral curves of X through \(x \in L(p,q)\); they have bounded geodesic curvature and \(\mathcal {H}^1(\beta )=O(\frac{1}{p})\). Hence, the integral curves of X converge to closed geodesics in M under (4.3). As sets, they coincide with the standard vertical fibers of M. By the Poincaré–Hopf index theorem, the vector field \(\frac{X^{\top }}{|X|}\in \mathcal {X}(\Sigma _p)\) has a zero since \(g(\Sigma _p)\ge 2\). Hence, we can choose the base points \(x_p\) to satisfy \(g_{\mathbb {S}^3}(\frac{X}{|X|}(x_p), N(x_p))=\pm 1\), here N is the unit normal vector of \(\Sigma _p\). Lemma 4.3 There exists a properly embedded surface \(\Sigma _{\infty } \subset M\) such that \((\Sigma _p, x_p)\rightarrow (\Sigma _{\infty },x_{\infty })\) with multiplicity one. Moreover, \(\Sigma _{\infty }\) is totally geodesic and perpendicular to the standard fibers of M. Proof By Lemma 4.1 the sequence of isoperimetric surfaces \((\Sigma _p, x_p)\subset (L(p,q),p^2 g_{\mathbb {S}^3},x_p)\) has uniformly bounded second fundamental form. Applying the strong compactness theorem for isoperimetric surfaces, Corollary 6.4, we conclude that \(\Sigma _p\) converges smoothly and with multiplicity one to a properly embedded stable cmc surface \(\Sigma _{\infty }\subset \mathbb {S}^1\times \mathbb {R}^2\). If \(\liminf _{p\rightarrow \infty } |\Sigma _p|_{p^2g_{\mathbb {S}^3}}<\infty \), then the monotonicity formula, Proposition 6.1, implies that the extrinsic diameter of \(\Sigma _p\) and \(\Sigma _{\infty }\) are bounded. This is impossible since the sequence \(\Sigma _p\) separates L(p, q) in two regions of the same volume that goes to infinity as \(p\rightarrow \infty \). Therefore, \(\Sigma _{\infty }\) is a complete properly embedded stable cmc surface in M with infinite area. Applying Da Silveira’s Theorem 6.6 once more, we obtain that \(\Sigma _{\infty }\) is totally geodesic. As \(g_{\mathbb {S}^3}(\frac{X}{|X|}(x_p), N(x_p))=\pm 1\), we conclude that \(\Sigma _{\infty }\) is orthogonal to the standard fibers of M. \(\square \) We claim that \(\Sigma _{\infty }\) separates M. If it does not separate, then there exists a loop \(\gamma \) intersecting \(\Sigma _{\infty }\) at a single point. As \(\Sigma _p \rightarrow \Sigma _{\infty }\) with multiplicity one, the same conclusion holds for \(\Sigma _p\), which contradicts the fact that \(\Sigma _p\) separates L(p, q). Therefore, there is \(k\ge 1\) such that \(\Sigma _{\infty }= \partial \Omega _{\infty }=\bigcup _{i=1}^{2k} \sigma _i\), where \(\sigma _i\) is a flat plane for each i. Claim This configuration cannot be a limit of isoperimetric surfaces. Open image in new window Fig. 1 Compact support deformation of \(\Sigma _{\infty }\) We regard M as a slab in \(\mathbb {R}^3\) with height \(2\pi \). Now, we construct a deformation of \(\Sigma _{\infty }\) which decreases its area as follows. First, we cut off the k solid cylinders obtained from the intersection of \(\Omega _{\infty }\) with a vertical solid torus of radius R. To balance the enclosed volume we add a vertical solid torus of radius r, see Fig. 1 for the case \(k=1\). If \(a_i\) is the distance between \(\sigma _{2i}\) and \(\sigma _{2i-1}\), then the radius r is given by: $$\begin{aligned} \sum _{i=1}^k\pi \,R^2a_i=\pi \, r^2 2\pi \Rightarrow r= R\sqrt{\frac{\sum _i a_i}{2\pi }}. \end{aligned}$$ The boundary of this new region is denoted by \(\widetilde{\Sigma }_{\infty }\) and $$\begin{aligned} Area(\widetilde{\Sigma }_{\infty }\cap K)=Area(\Sigma _{\infty }\cap K)- 2k\pi \,R^2 + 2\pi \,R \cdot \sum _i a_i+ 2\pi \,r\cdot 2\pi . \end{aligned}$$ If R is large enough, then \(\widetilde{\Sigma }_{\infty }\) has less area than \(\Sigma _{\infty }\). This is impossible since the strong multiplicity one convergence allow us to carry out this deformation of \(\Sigma _{\infty }\) to \(\Sigma _p\) which contradicts the fact that \(\Sigma _p\) is an isoperimetric surface. Case II: There is a subsequence \(p\rightarrow \infty \) where the \(\mathbb {Z}_{p}^q\) orbit of a point is becoming dense on the Clifford torus containing such point. We follow a different strategy in this case. Instead of working with the limit manifold M, we use geometric measure theory methods to analyze the pre-image sequence \(\{\Sigma _p^{\prime }\}_{p\in \mathbb {N}} \subset \mathbb {S}^3\). It is proved in Ref. [30] that if \(\Sigma =\partial \Omega \) has positive mean curvature, then $$\begin{aligned} 3\, |\Omega |\,\le \, \int _{\Sigma } \frac{1}{H}\,d_{\Sigma }. \end{aligned}$$ Applying this formula to the sequence of isoperimetric surfaces, we conclude that the mean curvature of \(\Sigma _p\) satisfies \(H_p\le \frac{|\Sigma _p|}{3|\Omega _p|}\le \frac{2}{3}\) since \(|\Sigma _p|\le \frac{2\pi ^2}{p}\) and \(|\Omega _p|=\frac{\pi ^2}{p}\). We used that \(\Sigma _p\) separates L(p, q) into regions of the same volume. As \(\{\Sigma _p\}_{p\in \mathbb {S}^3}\) has area and mean curvature bounded, we apply Allard’s compactness theorem, Theorem 42.7 and Remark 42.8 in Ref. [34], to obtain an integral varifold \(0\ne \mathcal {V}^2\subset \mathbb {S}^3\) that, up to subsequence, is \(\mathcal {V}^2=\lim _{p\rightarrow \infty } \Sigma _p^{\prime }\). Recall that \(\mathbb {S}^1\times \mathbb {S}^1\) acts on \(\mathbb {S}^3\) via \((z,w)\rightarrow (\alpha _1,\alpha _2)(z,w):=(\alpha _1\,z,\alpha _2\,w)\). We claim that \(\mathcal {V}^2\) is \(\mathbb {S}^1\times \mathbb {S}^1\) invariant: indeed, if \((z,w)\in \text {supp}(\mathcal {V}^2)\) and \((\alpha _1,\alpha _2) \in \mathbb {S}^1\times \mathbb {S}^1\), then for each p there is \(l_p\in \mathbb {Z}\) such that \(\lim _{p \rightarrow \infty } (e^{\frac{2\pi i l_p q}{p}}z, e^{\frac{2\pi i l_p}{p}}w)= (\alpha _1z,\alpha _2w)\). On the other hand, as \((z,w)\in \mathcal {V}^2\), there is \((z_p,w_p)\in \Sigma _p^{\prime }\) such that \((e^{\frac{2\pi i l_p q}{p}}z_p, e^{\frac{2\pi i l_p}{p}}w_p) \in \Sigma _p^{\prime }\) and \(\lim _{p\rightarrow \infty }(z_p,w_p)=(z,w)\). It follows that \(\lim _{p \rightarrow \infty }(e^{\frac{2\pi i l_p q}{p}}z_p, e^{\frac{2\pi i l_p}{p}}w_p)= (\alpha _1 z,\alpha _2 w)\) and \((\alpha _1,\alpha _2)(z,w)\in \text {supp}(\mathcal {V}^2)\) by the monotonicity formula Proposition 6.1. In particular, \(supp\,\mathcal {V}^2 = \bigcup _{j=1}^k T_{r_j}\) where \(T_{r_j}\) is a Clifford torus. The monotonicity formula implies that the convergence \(\Sigma _p^{\prime }\rightarrow \mathcal {V}^2\) is also in Hausdorff distance; hence, we have that \(\Sigma _p^{\prime }=\cup _{j=1}^k \Sigma _p^{\prime j}\) and \( \text {supp}\, (\lim _{p\rightarrow \infty }\Sigma _p^{\prime j})= T_{r_j}\). Since \(\Sigma _p^{\prime }\) is \(\mathbb {Z}_{p}^q\) invariant there exists \(\theta _p^{j_1 j_2} \in \mathbb {Z}_p^q\subset \mathbb {S}^1\times \mathbb {S}^1\) for which \(\theta _p^{j_1 j_2} (\Sigma _i^{\prime j_2})=\Sigma _p^{\prime j_1}\). By taking the limit we obtain \((\alpha _1,\alpha _2)(T_{r_{j_2}})=T_{r_{j_1}}\) for some \((\alpha _1,\alpha _2) \in \mathbb {S}^1\times \mathbb {S}^1\). As this is impossible, we conclude that \(k=1\) and all \(\Sigma _p^{\prime }\) are connected for p large. Now we consider \(\{\Sigma _p^{\prime }\}_{p=1}\subset \mathbf I _2(\mathbb {S}^3, \mathbb {Z})\), the space of 2-dimensional integral currents on \(\mathbb {S}^3\). Each \(\Sigma _p^{\prime }=\partial \Omega _p^{\prime }\) and \(\Omega _p^{\prime }\in \mathbf I _3(\mathbb {S}^3, \mathbb {Z})\). As \(\Omega _p^{\prime }\) is a region of finite perimeter (\(\mathcal {X}_{\Omega _p^{\prime }}\) is BV function with uniform bounded variation), then \(\Omega _i^{\prime }\rightarrow \Omega ^{\prime }\) and \(\Sigma _p^{\prime } \rightarrow \partial \Omega ^{\prime }\) as currents, \(\Omega ^{\prime }\) is an open set of finite perimeter, see Theorem 6.3 and proof of Theorem 37.2 in Ref. [34]. Since \(|\Omega _p|=\pi ^2\) we conclude that \(|\Omega ^{\prime }|=\pi ^2\). Applying the Constancy theorem, Theorem 26.27 in Ref. [34], we conclude that \(\Omega ^{\prime }\) is the handlebody bounded by the Clifford torus \(T_{r_1}\), and consequently \(r_1= \frac{\pi }{4}\). We proved that \(\mathcal {V}^2=m\,T_{\frac{\pi }{4}}\) for some positive integer \(m \in \mathbb {N}\). Since \(\Sigma _p\) is isoperimetric, it follows that \(m=1\). Indeed, $$\begin{aligned} m\,|T_{\frac{\pi }{4}}|=|\mathcal {V}^2|=\lim _{p\rightarrow \infty }|\Sigma _p^{\prime }| \le |T_{\frac{\pi }{4}}|. \end{aligned}$$ As \(T_{\frac{\pi }{4}}\) is smooth, we have for \(r>0\) sufficiently small that the density \(\theta (T_{\frac{\pi }{4}},r,x)\le 1+\frac{\epsilon }{2}\), where \(\epsilon >0\) is from Theorem 6.2 in the Appendix. On the other hand, as \(\Sigma _p^{\prime }\) is converging to \(T_{\frac{\pi }{4}}\) with multiplicity one, then \(\theta (\Sigma _p^{\prime },x,r)\le 1+\epsilon \) for p large enough. Now we invoke the smooth version of Allard’s Regularity Theorem, Theorem 6.2, to concluded that the convergence \(\Sigma _p^{\prime }\rightarrow T_{\frac{\pi }{4}}\) is strong, i.e., graphical with multiplicity one. As strong convergence preserves topology, we conclude that \(g(\Sigma _p)=1\). This completes the proof of Theorem 1.1. \(\square \) 5 Berger spheres Let \(g_0\) be the round metric on \(\mathbb {S}^3\) and J the vector field on \(\mathbb {S}^3\) defined as \(J(z,w)=(\sqrt{-1}\, z,\sqrt{-1}\, w)\). Recall that J is tangent to the fibers of the Hopf fibration \(h:\mathbb {S}^3\rightarrow \mathbb {S}^2(\frac{1}{2})\). The Berger metrics are Riemannian metrics \(g_{\varepsilon }\) on \(\mathbb {S}^3\) defined as: $$\begin{aligned} g_{\varepsilon }(X,Y)=g_0(X,Y) + (\varepsilon ^2 -1)g_0(X,J)g_0(Y,J),\,\,\, \varepsilon >0. \end{aligned}$$ The Riemannian manifolds \((\mathbb {S}^3,g_{\varepsilon })\) are called the Berger spheres, they are denoted by \(\mathbb {S}_{\varepsilon }^3\). Geometrically, the metric \(g_{\varepsilon }\) shrinks the Hopf fibers to have length \(2\pi \,\varepsilon \). The Berger metrics are also homogeneous and their group of isometries has dimension four. It follows from the work of Abresch and Rosenberg [1] that every constant mean curvature surface in \(\mathbb {S}_{\varepsilon }^3\) admits a holomorphic quadratic differential. In particular, every cmc sphere in \(\mathbb {S}_{\varepsilon }^3\) is rotationally invariant. A precise study of closed orientable surfaces with constant mean curvature on the Berger spheres is given in Ref. [36]. It is proved there the existence of \(\varepsilon _1>0\) with the following property: if \(\varepsilon \in [\varepsilon _1,1]\), then every stable constant mean curvature surface in \(\mathbb {S}_{\varepsilon }^3\) has genus zero or one. Moreover, if \(\varepsilon ^2 \in [\frac{1}{3},1]\), then these stable cmc surfaces are totally umbilical spheres or the minimal Clifford torus, the latter only occurring when \(\varepsilon ^2=\frac{1}{3}\). In particular, rotationally invariant spheres are the only solutions of the isoperimetric problem in \(\mathbb {S}_{\varepsilon }^3\) for \(\varepsilon ^2 \in [\frac{1}{3},1]\). Theorem 5.1 There exists \(\varepsilon _0\,>\,0\) such that for every \(\varepsilon <\varepsilon _0\) the isoperimetric surfaces in the Berger spheres \(\mathbb {S}_{\varepsilon }^3\) are either rotationally invariant spheres or tori. Remark 5.2 It follows from the works [21, 25] that the minimal Clifford torus \(\mathbb {S}_{\varepsilon }^3\) is isoperimetric for every \(\varepsilon \le \frac{1}{2}\). Proof of Theorem 1.2 Arguing by contradiction, let us assume the existence of a sequence \(\varepsilon \rightarrow 0\) such that for every \(\varepsilon \) there exists an isoperimetric surface \(\Sigma _{\varepsilon }\) in \(\mathbb {S}_{\varepsilon }^3\) with \(g(\Sigma _{\varepsilon })\ge 2\). We rescale the metric \(g_{\varepsilon }\) of \(\mathbb {S}_{\varepsilon }^3\) by the factor \(\lambda _{\varepsilon }=\frac{1}{\varepsilon ^2}\). The Hopf fibers have constant length equal to \(2\pi \) under the new metric \(\lambda _{\varepsilon }g_{\varepsilon }\). It follows that the injective radius of \(\mathbb {S}_{\varepsilon }^3\) at a point p is equal to \(inj_p\mathbb {S}_{\varepsilon }^3=\pi \) for every \(p\in \mathbb {S}_{\varepsilon }^3\). Since h is a local trivial fibration, we have that for each \(p_{\varepsilon }\in \mathbb {S}_{\varepsilon }^3\) there exist a neighbourhood V of \(h(p_{\varepsilon })\) and a diffeomorphism \(\phi _{\varepsilon }: V\times \mathbb {S}^1 \rightarrow h^{-1}(V)\) such that \(h\circ \phi _{\varepsilon }=\pi _1\), where \(\pi _1: V \times \mathbb {S}^1\rightarrow V\) given by \(\pi (x,y)=x\). Moreover, \(\phi _{\varepsilon }^{*}(\frac{1}{\varepsilon ^2}g_{\varepsilon })\rightarrow \delta \) in the \(C^{\infty }\) topology. Therefore, in the sense of Cheeger–Gromov we have: $$\begin{aligned} \Bigg (\mathbb {S}_{\varepsilon }^3,\frac{1}{\varepsilon ^2}\,g_{\varepsilon },p_{\varepsilon }\Bigg ) \rightarrow \Bigg (\mathbb {S}^1\times \mathbb {R}^2,\delta ,0\Bigg ). \end{aligned}$$ We pick the points \(p_{\varepsilon }\in \Sigma _{\varepsilon }\) with the property that \(g_{\varepsilon }(J,N_{\varepsilon })(p_{\varepsilon })=\pm \,\varepsilon \), this means J and \(N_{\varepsilon }\) are parallel at \(p_{\varepsilon }\). These points exist by the Poincaré–Hopf index theorem. By Lemma 4.1 the inclusion of \(\Sigma _{\varepsilon }\) in \(\big (\mathbb {S}^1\times \mathbb {R}^2, \phi _{\varepsilon }^{*}(\varepsilon ^{-2}g_{\varepsilon })\big )\) has the following property: $$\begin{aligned} \textit{There exists}\,\,\,C>0\,\, \textit{such that}\quad \sup _{\Sigma _{\varepsilon }}|A_{\varepsilon }|\le C\quad \text {for every}\,\varepsilon . \end{aligned}$$ By the strong compactness theorem for isoperimetric surfaces, Corollary 6.4 in the Appendix, we can extract a subsequence, \(\{\Sigma _{\varepsilon _n}\}\), which converges with multiplicity one to a properly embedded surface \(\Sigma _{\infty }\subset (\mathbb {S}^1\times \mathbb {R}^2,\delta ).\) If \(Area(\Sigma _{\infty })<\infty \), then the monotonicity formula, Proposition 6.1, implies that \(\Sigma _{\infty }\) is compact. We apply Theorem  6.5 to conclude that \(\Sigma _{\infty }\) is either a round sphere or torus. This is impossible since we have strong convergence and \(g(\Sigma _{\varepsilon })=2\,or\, 3\). Therefore, \(\Sigma _{\infty }\) is a complete non-compact surface with infinite area. Moreover, \(\Sigma _{\infty }\) is also a stable CMC surface in \(\mathbb {S}^1\times \mathbb {R}^2\): $$\begin{aligned} I_{\Sigma _{\infty }}(f,f)\ge 0, \quad \forall f\in C_0^{\infty }(\Sigma _{\infty })\quad \textit{such that}\quad \int _{\Sigma _{\infty }}f\,d_{\Sigma _{\infty }}=0. \end{aligned}$$ It follows from Theorem 6.6 that \(\Sigma _{\infty }\) is totally geodesic. By the choice of \(p_{\varepsilon }\) we conclude that \(\Sigma _{\infty }\) is orthogonal to the \(\mathbb {S}^1\) fibers of \(\mathbb {S}^1\times \mathbb {R}^2\). Since \(\Sigma _{\infty }\) separates \(\mathbb {S}^1\times \mathbb {R}^2\), we also conclude that \(\Sigma _{\infty }\) is an union of at least two totally geodesic planes. As shown in the proof of Theorem 1.1, this configuration cannot be a limit of isoperimetric surfaces. \(\square \) Footnotes 1. The case \(\mathcal {W}(\Sigma )=8\pi \) is discussed in Ref. [28]. Notes Acknowledgements I am grateful to my advisor André Neves for his constant encouragement and support during the course of this work. I also thank Jason Lotay for many helpful comments on an earlier version of this manuscript. This work was supported by the Engineering and Physical Sciences Research Council [EP/L015234/1]. The EPSRC Centre for Doctoral Training in Geometry and Number Theory (The London School of Geometry and Number Theory), University College London. Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. 6. Appendix In this Appendix we collect some background results for surfaces with constant mean curvature in 3-manifolds. Proposition 6.1 Let \(M^3\) be a 3-manifold with bounded curvature, \(|K_M|\le k\), and with positive lower bound on the injectivity radius \(inj(M)\ge i_0\). If \(\Sigma \subset M^3\) is a smooth surface with mean curvature which satisfies \(|H|\le H_0\), then there exists a positive constant \(C=C(H_0, k)\) such that $$\begin{aligned} \frac{d}{dr}\bigg (\frac{e^{C\,r}\,Area(\Sigma \cap B_r(p))}{r^2}\bigg )\ge 0, \end{aligned}$$ (6.1) for every \(p\in \Sigma \) and \(r\le \min \{i_0,\frac{1}{\sqrt{k}}\}\). Proof See Chapter 7 in Ref. [10]. \(\square \) Let \(\Sigma \) be a CMC surface in a closed manifold \(M^3\). The density of \(\Sigma \) at x is given by $$\begin{aligned} \theta (\Sigma ,x,r)= \frac{\text {Area}(\Sigma \cap B_r(x))}{\pi \,r^2}. \end{aligned}$$ Theorem 6.2 (Allard’s Regularity Theorem) Let \(M^3\) be a closed manifold and \(\rho >0\). There exist \(\epsilon =\epsilon (M,\rho )>0\) and \(C=C(M,\rho )\) with the following property: if \(\Sigma \subset M\) is a smooth embedded CMC surface satisfying $$\begin{aligned} \theta (\Sigma , x, r)\le 1+ \epsilon \end{aligned}$$ for every \(x \in M\) and \(r< \rho \), then its second fundamental form is uniformly bounded, i.e., \(|A_{\Sigma }|\le C\). Proof See Theorem 1.1 in Ref. [37]. \(\square \) Let \(\{\Sigma _n\}_{n\in \mathbb {N}}\) be a sequence of surfaces in a manifold M. We say that \(\Sigma _n\) converge to \(\Sigma \) in the sense of graphs if near any point \(p\in \Sigma \) and for large n the surface \(\Sigma _n\) is locally a graph over an open set of \(T_p\Sigma \) and these graphs converge smoothly to the graph of \(\Sigma \). In addition, we say that \(\{\Sigma _n\}\) satisfy local area bounds if there exist \(r>0\) and \(C>0\) such that \(|\Sigma _n\cap B_r(x)|\le C\) for every \(x\in M\). A hypersurface \(\Sigma \) is said to be weakly embedded if it admits only tangential self intersections. Proposition 6.3 Let \(\{\Sigma _n\}\subset (M,g_n) \) be a sequence of embedded surfaces with constant mean curvature satisfying local area bounds and such that \(\sup _{\Sigma _n}|A_n|\le C\). Let’s assume that \(g_n\) converges to a metric \(\delta \) in the \(C^{\infty }\) topology. If \(\{\Sigma _n\}_{n=1}\) has an accumulation point, then we can extract a subsequence that converges to a properly weakly embedded cmc surface \(\Sigma \) in \((M,\delta )\). Sketch of the Proof Let’s first recall the constant mean curvature equation for graphs. If \(\Sigma ^{\prime }\) is a surface with constant mean curvature H in (M, g), then \(\Sigma ^{\prime }\) can be written locally as a graph over a neighbourhood \(U_p \subset T_p\Sigma ^{\prime }\): $$\begin{aligned} \Sigma ^{\prime }= Graph(\,u\,)=\{(x_1,x_2,u(x_1,x_2): x_1,x_2 \in U_p)\}. \end{aligned}$$ In coordinates \(g_{ij}:=g(e_i,e_j)\) where \(\{e_1,e_2,e_3\}\) is the coordinate base associated to \((x_1,x_2,x_3)\). Let \(\{E_1,E_2\}\) be the coordinate base for \(\Sigma _n\), i.e., \(E_i=e_i+u_{x_i}e_3=T_i^le_l\). The induced metric h is expressed by \(h_{ij}=h(E_i,E_j)\). A simple computation gives: $$\begin{aligned} g(N,e_i)=\frac{-u_{x_i}}{\sqrt{1+g^{ij}u_{x_i}u_{x_j}}}\quad \text {and}\quad g(N,e_3)=\frac{1}{\sqrt{1+g^{ij}u_{x_i}u_{x_j}}}. \end{aligned}$$ We also have $$\begin{aligned} \nabla _{E_i}E_j= & {} T_i^l\nabla _{e_l}T_j^me_m=T_i^lT_j^m\nabla _{e_l}e_m+E_i(T_j^m)e_m\\= & {} T_i^lT_j^m\Gamma _{ml}^ke_k+u_{x_ix_j}e_3, \end{aligned}$$ where \(\Gamma _{ml}^k\) are the Christoffel symbols of g. Therefore, $$\begin{aligned} g(N,\nabla _{E_i}E_j)=\,-\,\frac{\sum _{k=1}^2T_i^lT_j^m\Gamma _{ml}^ku_{x_k}}{\sqrt{1+g^{ij}u_{x_i}u_{x_j}}}+\frac{\big (u_{x_ix_j}+T_i^lT_j^m\Gamma _{ml}^3\big )}{\sqrt{1+g^{ij}u_{x_i}u_{x_j}}}. \end{aligned}$$ Finally, the mean curvature equation is written as: $$\begin{aligned} H\,\sqrt{1+g^{ij}u_{x_i}u_{x_j}}=h^{ij}u_{x_ix_j}+h^{ij}T_i^lT_j^m\Gamma _{ml}^3-\sum _{k=1}^2h^{ij}T_i^lT_j^mu_{x_k}\Gamma _{ml}^k. \end{aligned}$$ (6.2) Since \(h_{ij}=T_i^lT_j^mg_{ml}\) and \(T_i^3=u_{x_i}\), then \(|h^{ij}|\le C_1(g^{ij},u_{x_i},u_{x_j})\). The Eq. (6.2) is uniformly elliptic as long as \(|\nabla u|, |\nabla ^2u|< \widetilde{C}\). Let \(p\in M\) be an accumulation point for the sequence \(\{\Sigma _n\}\). By the upper bound on the second fundamental form, \(\sup _{\Sigma _n}|A_n|<C\), there exists \(r_0=r_0(C)\) such that for every \(q \in B_{r_0}(p)\cap \Sigma _n\) we have that \(\Sigma _n\cap B_{r_0}(q)\) is locally a graph \(u_n\) over a neighbourhood \(U_{q}\subset T_{q}\Sigma _n\). Moreover, there exists \(C_2=C_2(C)>0\) for which \(\max \{\nabla u_n, \nabla ^2u_n\}\le C_2\). As \(|g_n-\delta |_{C^{2,\alpha }}\rightarrow 0\), the Schauder estimates for solutions of elliptic equations, see [13], imply that \(u_n\) have \(C^{2,\alpha }\) estimates on \(B_{r_0/2}(q)\), i.e., \(|u_n|_{C^{2,\alpha }}\le C_3(|H_n|+ |u_n|)\). Therefore, \(u_n,\nabla u_n,\nabla ^2u_n\) are uniformly bounded and equicontinuous. As \(\{\Sigma _n\}_{n\in \mathbb {N}}\) satisfy local area bounds, then \(|\Sigma _n\cap B(r_0/2)(y)|\le C_4\). On the other hand, the monotonicity formula, Proposition 6.1, gives that \(|\Sigma _n^j\cap B_{r_0}(y)|\ge C_5 r_0^2\), where \(\Sigma _n^j\) is a connected component of \(\Sigma _n\cap B_{r}\). It follows that the number of components of \(\Sigma _n \cap B_{r_0/2}(p)\) is finite and independent of n. By the Arzelà-Ascoli theorem we can extract a subsequence for which \(\{u_n^j\}\) converges to u for every j. Moreover, u also satisfies the constant mean curvature equation (6.2). As the set of accumulation points of \(\{\Sigma _n\}\) is compact in \(B_R(p)\) we can cover this set by finite balls \(B_{r_0}(p_k)\) with \(k=1,\ldots , N\). Repeating the arguments in each of these balls and applying a diagonal argument we obtain a properly immersed surface \(\Sigma \) on \(B_R(p)\subset M\) with constant mean curvature H. Since the surfaces \(\Sigma _n\) are embedded, it follows that \(\Sigma \) does not cross itself though it may have tangential self-intersections. Therefore, \(\Sigma \) is properly weakly embedded in M. \(\square \) Corollary 6.4 Let \((\Sigma _n, x_n) \subset (M_n,g_n, x_n)\) be a sequence of isoperimetric surfaces with \(|A_n|\le C\). Assume that \((M_n,g_n,x_n)\) converges, in the sense of Cheeger–Gromov, to a three manifold (M, g, x). There exists a properly embedded surface \(\Sigma \subset (M,g,x)\) such that \(\Sigma _n\rightarrow \Sigma \) in the sense of graphs and the convergence is with multiplicity one. Sketch of the Proof First we remark that \(\{\Sigma _n\}\) satisfy local area bounds. Indeed, \(\text {Area}(\Sigma _n\cap B_r(p))\le 2 |\partial B_r(p)|\). By Proposition 6.3 we only need to rule out possibly multiplicities for the convergence \(\Sigma _n\rightarrow \Sigma \) and points where \(\Sigma \) fails to be embedded. Open image in new window Fig. 2 Example of higher multiplicity If the multiplicity of the limit is bigger than two, then \(\Sigma _n \cap B_{r}(p)\) has several components getting arbitrarily close. This allow us to do a local cut and past deformation, as shown in Fig. 2, that preserves the enclosed volume. If \(\delta \) is the Euclidean metric, then \(\frac{1}{\widetilde{C}} \delta \le g_n \le \widetilde{C} \delta \) and \(\frac{1}{C^{\prime }}\text {Area}_{\delta } \le \text {Area}_{g_n} \le C^{\prime } \text {Area}_{\delta }\). Thus, if \(h \ll r\), then $$\begin{aligned} Area_{g_n}(\Sigma _n^{\prime })\le Area_{g_n}(\Sigma _n) -C_1^{\prime } r^2 + C_2^{\prime } rh< \text {Area}_{g_n}(\Sigma _n). \end{aligned}$$ The deformation needed for the multiplicity two case is shown in Fig. 3. The constraint on the enclosed volume implies that \(\frac{4}{3}\pi R^3\approx \pi r^2h\). Hence, if \(h\ll r\), then $$\begin{aligned} Area(\Sigma _n^{\prime })\le \,Area(\Sigma _n^{\prime })- C_1^{\prime } r^2+C_2^{\prime } r\,h-C_3^{\prime } R^2+ C_4^{\prime } R^2 < Area(\Sigma _n^{\prime }). \end{aligned}$$ The construction to deal with points where \(\Sigma \) has tangential self intersections is similar to the multiplicity two case. The corollary now follows since these constructions contradict the fact that \(\Sigma _n\) is isoperimetric for every n. \(\square \) Open image in new window Fig. 3 Example of multiplicity two Theorem 6.5 (Korevaar–Kusner–Solomon [17]) If \(\Sigma \) is a complete cmc surface properly embedded in a solid cylinder in \(\mathbb {R}^3\), then \(\Sigma \) is rotationally symmetric with respect to a line parallel to the axis of the cylinder. Theorem 6.6 (Da Silveira [11]) Let \((\Sigma ,ds^2)\) be a complete orientable surface conformally equivalent to a compact Riemann surface punctured at a finite number of points. Let \(L=\Delta + q\) be an operator on \(\Sigma \) satisfying \(q\ge 0\) and \(q \not \equiv 0\). If \(\Sigma \) has infinite area, then there exists a piecewise smooth function \(f:\Sigma \rightarrow \mathbb {R}\) with compact support such that $$\begin{aligned} -\int _{\Sigma }f\,L\,f \,d_{\Sigma }<0\quad \textit{and}\quad \int _{\Sigma }f\,d_{\Sigma }=0. \end{aligned}$$ References 1. Abresch, U., Rosenberg, H.: Generalized Hopf differentials. Mat. Contemp. 28, 1–28 (2005)MathSciNetzbMATHGoogle Scholar 2. Almgren, F.J.: Existence and regularity almost everywhere of solutions to elliptic variational problems with constraints. Mem. Am. Math. Soc. 4(165), viii+199 (1976)Google Scholar 3. Barbosa, J.L., do Carmo, M.: Stability of hypersurfaces with constant mean curvature. Math. Z. 185, 339–353 (1984)MathSciNetCrossRefGoogle Scholar 4. Barbosa, J.L., do Carmo, M., Eschenburg, J.: Stability of hypersurfaces with constant mean curvature in Riemannian manifolds. Math. Z. 197, 123–138 (1988)MathSciNetCrossRefGoogle Scholar 5. Bavard, C., Pansu, P.: Sur le volume minimal de \(R^2\). Ann. Sci. Ecole Norm. Sup. 19, 479–490 (1986)MathSciNetCrossRefGoogle Scholar 6. Bray, H.: The Penrose inequality in general relativity and volume comparison theorems involving scalar curvature (thesis). (1998). arXiv:0902.3241v1 7. Bray, H., Morgan, F.: An isoperimetric comparison theorem for Schwarzschild space and other manifolds. Proc. Am. Math. Soc. 130(5), 1467–1472 (2002)MathSciNetCrossRefGoogle Scholar 8. Burago, Y.D., Zagaller, V.A.: Geometric inequalities, volume 285 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, Berlin (1988) (Translated from the Russian by Sosinskiĭ, A.B., Springer Series in Soviet Mathematics)Google Scholar 9. Chen, B.Y.: Geometry of Submanifolds. Pure and Applied Mathematics, vol. 22. Marcel Dekker, Inc., New York (1973)Google Scholar 10. Colding, T., Minicozzi, W.: A Course in Minimal Surfaces. Graduate Studies in Mathematics, vol. 121. American Mathematical Society, Providence (2011)zbMATHGoogle Scholar 11. Da Silveira, A.: Stability of complete noncompact surfaces with constant mean curvature. Math. Ann. 277(4), 629–638 (1987)MathSciNetCrossRefGoogle Scholar 12. Eichmair, M., Metzger, J.: Unique isoperimetric foliations of asymptotically flat manifolds in all dimensions. Invent. Math. 194(3), 591–630 (2013)MathSciNetCrossRefGoogle Scholar 13. Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Fundamental Principles of Mathematical Sciences, vol. 224, 2nd edn. Springer, Berlin (1983)CrossRefGoogle Scholar 14. Hauswirth, L., Pérez, J., Romon, P., Ros, A.: The periodic isoperimetric problem. Trans. Am. Math. Soc. 356(5), 2025–2047 (2003)MathSciNetCrossRefGoogle Scholar 15. Hsiang, W.-Y.: On soap bubbles and isoperimetric regions in noncompact symmetric spaces. I. Tohoku Math, J. (2) 44(2), 151–175 (1992)MathSciNetCrossRefGoogle Scholar 16. Hsiang, W.-T., Hsiang, W.-Y.: On the uniqueness of isoperimetric solutions and imbedded soap bubbles in noncompact symmetric spaces, I. Invent. Math. 98(1), 39–58 (1989)MathSciNetCrossRefGoogle Scholar 17. Korevaar, N.J., Kusner, R., Solomon, B.: The structure of complete embedded surfaces with constant mean curvature. J. Differ. Geom. 30, 465–503 (1989)MathSciNetCrossRefGoogle Scholar 18. Li, P., Yau, S.T.: A new conformal invariant and its applications to the Willmore conjecture and the first eigenvalue of compact surfaces. Invent. Math. 69, 269–291 (1982)MathSciNetCrossRefGoogle Scholar 19. Marques, F.C., Neves, A.: Min-max theory and the Willmore conjecture. Ann. Math. 179(2), 683–782 (2014)MathSciNetCrossRefGoogle Scholar 20. Morgan, F.: Regularity of isoperimetric hypersurfaces in Riemannian manifolds. Trans. Am. Math. Soc. 355, 5041–5052 (2003)MathSciNetCrossRefGoogle Scholar 21. Morgan, F., Howe, S., Harman, N.: Steiner and Schwarz symmetrization in warped products and fiber bundles with density. Revista Matemática Iberoamericana 27(3), 909–918 (2011)MathSciNetCrossRefGoogle Scholar 22. Morgan, F., Johnson, D.: Some sharp isoperimetric theorems for Riemannian manifolds. Indiana Univ. Math. J. 49(3), 1017–1041 (2000)MathSciNetCrossRefGoogle Scholar 23. Nardulli, S.: The isoperimetric profile of a smooth Riemannian manifold for small volumes. Ann. Glob. Anal. Geom. 36(2), 111–131 (2009)MathSciNetCrossRefGoogle Scholar 24. Pedrosa, R.: The isoperimetric problem in spherical cylinders. Ann. Glob. Anal. Geom. 26(4), 333–354 (2004)MathSciNetCrossRefGoogle Scholar 25. Pedrosa, R., Ritoré, M.: Isoperimetric domains in the Riemannian product of a circle with a simply connected space form and applications to free boundary problems. Indiana Univ. Math. J. 48(4), 1357–1394 (1999)MathSciNetCrossRefGoogle Scholar 26. Petersen, P.: Riemannian Geometry. Graduate Texts in Mathematics, vol. 171, 2nd edn. Springer, New York (2006)zbMATHGoogle Scholar 27. Ritoré, M.: Applications of compactness results for harmonic maps to stable constant mean curvature surfaces. Math. Z. 226(3), 465–481 (1997)MathSciNetCrossRefGoogle Scholar 28. Ritoré, M., Ros, A.: Stable constant mean curvature tori and the isoperimetric problem in three space forms. Comment. Math. Helv. 67, 293–305 (1992)MathSciNetCrossRefGoogle Scholar 29. Ritoré, M., Ros, A.: The spaces of index one minimal surfaces and stable constant mean curvature surfaces embedded in flat three manifolds. Trans. Am. Math. Soc. 348, 391–410 (1996)MathSciNetCrossRefGoogle Scholar 30. Ros, A.: Compact hypersurfaces with higher order mean curvatures. Revista Matemática Iberoamericana 3, 447–453 (1987)MathSciNetCrossRefGoogle Scholar 31. Ros, A.: The Willmore conjecture in the real projective space. Math. Res. Lett. 6, 487–493 (1999)MathSciNetCrossRefGoogle Scholar 32. Ros, A.: The isoperimetric problem. In: Proceedings of Clay Research Institution Summer School (2001)Google Scholar 33. Schoen, R., Simon, L.: A new proof of the regularity theorem for rectifiable currents which minimize parametric elliptic functionals. Indiana Univ. Math. J. 31(3), 415–434 (1982)MathSciNetCrossRefGoogle Scholar 34. Simon, L.: Lectures on geometric measure theory. In: Proceedings of the Centre for Mathematical Analysis, Australian National University (1983)Google Scholar 35. Topping, P.M.: Lectures on the Ricci flow, L.M.S. Lecture note series 325 C.U.P. (2006)Google Scholar 36. Torralbo, F., Urbano, F.: Compact stable constant mean curvature surfaces in homogeneous 3-manifolds. Indiana Univ. Math. J. 61(3), 1129–1156 (2012)MathSciNetCrossRefGoogle Scholar 37. White, B.: A local regularity theorem for mean curvature flow. Ann. Math. (2) 161(3), 1487–1519 (2005)MathSciNetCrossRefGoogle Scholar Copyright information © The Author(s) 2018 Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. Authors and Affiliations Celso Viana1Email authorView author's OrcID profile1.University College London UCL Union BuildingLondonUK


This is a preview of a remote PDF: https://link.springer.com/content/pdf/10.1007%2Fs00208-018-1792-7.pdf

Celso Viana. The isoperimetric problem for lens spaces, Mathematische Annalen, 2018, 1-23, DOI: 10.1007/s00208-018-1792-7