The isoperimetric problem for lens spaces

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.


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: where L and A stand for the length and the enclosed area of a simple closed curve γ : S 1 → 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], Communicated by F.C. Marques. 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, S n+1 , R n+1 and 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 S 2 × S 1 with the standard product metric can be found in Ref. [25]. For other homogeneous manifolds with certain product structure, such as H 2 × R, H 2 × S 1 , and S n × R, see [16,24,25] respectively. The case S 1 × R n is also treated in Ref. [25] and they show that when n ≥ 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 × 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 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 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 S 3 by a finite group of isometries that are isomorphic to Z p but which also depend on q. They are, along with S 2 × 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 ≥ 2. This implication does not readily apply to L( p, q) when q = 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 ≥ p 0 and every q ≥ 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 RP 3 , to L(3, 1) and L (3,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 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 S 3 ε . This is a well known one parameter family of homogeneous metrics on the 3-sphere. The parameter ε measures the size of the Hopf fibers; the case ε = 1 corresponds to the round metric. When ε is not too small, spheres are the only solutions of the isoperimetric problem. When ε 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 S 3 ε with ε → 0, we prove: Theorem 1.3 There exists ε 0 > 0 such that for every ε < ε 0 the isoperimetric surfaces in the Berger spheres S 3 ε are either rotationally invariant spheres or tori.
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 < vol(M) there exists an isoperimetric region satisfying | | = t. Moreover, = ∂ is smooth up to a closed set of Hausdorff dimension n − 7.

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 φ : n → 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, φ is stable cmc if for every f ∈ C ∞ ( ) with compact support such that f d = 0, we have N is an unit normal vector field along and A is the second fundamental form of the immersion φ. The mean curvature of , denoted by H , is defined by 2 H = 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 R n+1 , S n+1 and 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.   Proof The first statement follows from the previous theorem since Ric M = 2. Let φ * : π 1 ( ) → π 1 (M) be the induced map in fundamental groups. As K = K er(φ * ) has finite index there exists a finite covering ψ : → such that I m ψ * = K and φ • ψ * = 0. This means there exists a lifting of this map into S 3 and we denote it by φ : → S 3 . It follows that 1 + H 2 | | ≤ |G| 2π . If φ is not an embedding, then φ is not embedding either. By the work of Li and Yau [18] the Willmore energy of the immersed surface , i.e. W( ) = 1 + H 2 dvol , is strictly greater 1 than 8π . Therefore, if |G| ≤ 4, we obtain a contradiction and φ is an embedding. Moreover, for closed surfaces with genus greater than or equal to 1 in S 3 the Willmore conjecture, recently proved in Ref. [19], states that W( ) ≥ 2π 2 . Let ∪ l i=1 i be the pre-image of by the universal covering map, then Therefore, if |G| ≤ 6, then l = 1 and |G| ≥ π . In particular, if |G| = 2 or 3, then there exist no stable cmc surface with g( ) ≥ 2.

Definition 2.2
For each r ∈ (0, π 2 ) we define the Clifford Torus T r as: Every flat torus with constant mean curvature in 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
⊂ L(3, q), q = 1, 2, be in the conditions of the corollary. By Proposition 2.3, g( ) = 0 or 1. If g( ) = 0, then it follows from the Hopf holomorphic quadratic differential that is totally umbilical. If g( ) = 1, then it is proved in Ref. [28] that is flat.

Isoperimetric profile
The isoperimetric properties of M can be encapsulated in a single function called the isoperimetric profile. This is the function 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 be an isoperimetric region in M such that | | = v for some v ∈ (0, Vol(M)).

The function I M has left and right derivatives (I M ) − (v) and (I M ) + (v). In addition, if
H is the mean curvature of = ∂ in the direction of the inward unit vector, then (2.5) The second derivative also exists but weakly in the sense of comparison functions. More precisely, we say f ≤ h weakly at x 0 if there exists a smooth function g such In this sense we have 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 V be the variation t = ex p (t N ) of reparametrized in terms of the enclosed volume v(t). In addition, let φ(t) (resp. φ(v)) be the area of t (resp. v ). By the first variation formula for the area and volume we have On the other hand, the second derivative of area for general variations implies the following: Hence, in the sense of comparison functions, (2.6) follows from:

The Isoperimetric problem in the lens Spaces
In order to define the lens spaces, we first recall the round three sphere as: Fix p, q integers with the following property 1 ≤ q < p and gcd( p, q) = 1. Let Z p be the group Z/ pZ acting on S 3 as follows: The group Z p acts freely and properly discontinuously on S 3 . The orbit space S 3 /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 : can be extended naturally to L( p, q). Indeed, the group Z p acts on the set of Hopf fibers through the cyclic action of p = e The Hopf fibration for L( p, q) is then defined as h : L( p, q) → S 2 (1/2)/ p . The set S 2 (1/2)/ p is a two dimensional orbifold with conical singularities at the north and south pole when q = 1. The pre-image of these singularities are called the critical fibers of h.
The preimage of horizontal slices of S 2 (1/2)/ 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).

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 : The symmetrization consists of associating to each set of finite perimeter R ⊂ L( p, 1) the set Sym(R) in the product manifold S 2 ( 1 2 ) × S 1 ( 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 . Applying the classification of the isoperimetric problem on S 2 ( 1 2 ) × S 1 ( 1 p ), [25], we conclude that In particular, the minimal Clifford torus is isoperimetric in L( p, 1) for every p ≥ 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] which is a manifold having co-dimension two singularities.

Some aspects of lens spaces
For every x ∈ L( p, q) the injectivity radius of L( p, q) at x satisfies inj x L( p, q) ≥ π p , with equality only at points in the critical fibers. Indeed, for θ = e 2πi p we have: However, is not true in general that inj(L( p, q), for a constant C which is independent of p, q and x ∈ L( p, q).
We show that the injectivity radius at points far away from the critical fibres are O( 1 k ). If the round metric is scaled by the factor k 2 , then we have the Riemannian submersion: The fibers have constant length 2π except the critical fibres which have length 2π p . The right hand side will converge, as k → ∞, to S 1 × R. It follows from the coarea formula for Riemannian submersions that the volume of the geodesic ball B 4π (x k ) in L(k 2 , k + 1), k 2 g 0 , x k is bounded from below. Therefore, by Cheeger's inequality, Lemma 51 in Ref. [26], the injectivity radius of the sequence L(k 2 , k + 1), k 2 g 0 , x k is bounded from below. This sequence converges to a flat T 2 × R.
/Z p (x, y) for some constant C > 0 independent of p, q. Thus intrinsic and extrinsic distances on T π 4 /Z p are equivalent.
Without loss of generality, let's assume that diameter L( p,q) (T π 4 /Z p ) ≥ 1. Hence, under the rescaled metric λ 2 p g S 3 , the extrinsic diameter of T π 4 /Z p is greater than or equal to λ p . Let γ p (t) be a geodesic segment realizing the intrinsic diameter of T π 4 /Z p . Thus, we can find disjoint balls Therefore, there exists i 0 ∈ {1, . . . , [λ p ] + 1} such that: The first inequality follows from the Monotonicity Formula, Proposition 6.1 in the Appendix, applied to T π 4 ⊂ (L( p, q), λ 2 p g S 3 , x). This finishes the proof of the lemma.
Let's use the notation Z q p to represent the group Z p acting on S 3 and its dependence on the parameter q. By using the toroidal coordinate system for S 3 , the action of Z q p on T r corresponds to the following action on R 2 : In these coordinates , the Z q p orbit at the point (z 0 , w 0 ) = ϕ(Z × Z) ∈ T r is given by: (1) For every (z 0 , w 0 ) ∈ T r , ϕ r (Orbit p l ,q l (z 0 , w 0 )) is becoming dense on T r as l → ∞.
Proof To prove the lemma it is enough to consider (z 0 , w 0 ) ∈ T π 4 . If there is a subsequence for which the diameter of T π 4 /Z q p is going to zero as p → ∞, then ϕ π 4 (Orbit p,q (z 0 , w 0 )) is clearly becoming dense on T π 4 and item 1 is proved. Let us consider now the case where the diameter of T π 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 In particular, there exist k p , m p , n p ∈ Z such that Therefore, there exists (m 0 , n 0 ) ∈ B C (0) ∩ Z × Z ⊂ R 2 such that (k p − pm p , k p q − n p p) = (m 0 , n 0 ) infinitely often and m 2 0 +n 2 0 2 p is the Euclidean injectivity radius of T π 4 /Z p at (z 0 , w 0 ) for this subsequence. Hence, the sub-orbit generated by the trans- It follows that the Orbit p,q (z 0 , w 0 ) is contained in a union of equidistant lines parallel to the one described above by homogeneity. Modulo Z × Z the number of such lines is finite, let's denote it by b p . Modulo Z × Z there are p b p points of Orbit p,q (z 0 , w 0 ) in each of these lines. Hence, Therefore, b p divides m 0 and is independent of p. In other words, ϕ π

Cheeger-Gromov convergence
A sequence of pointed Riemannian manifolds 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 R 3 /G is the rank of the subgroup of translations in G. (L( p, q), p 2 g S 3 , x p ) be a sequence of lens spaces. There exists a flat 3-manifold (M, δ, x ∞ ) of rank at most one such that after passing to some subsequence (L( p, q), p 2 g S 3 , x p )

Lemma 3.4 Let
Proof Since (L( p, q), p 2 g S 3 ) has constant curvature converging to zero and inj(L( p, q), p 2 g S 3 ) ≥ π , the Cheeger-Gromov Compactness Theorem [35, Theo- δ) is an orientable flat 3-manifold. Every non-compact flat 3-manifold is finitely covered by either S 1 × R 2 or T 2 × 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 /Z p by T r . Let T r p be the Clifford torus through x p enclosing a region r p . Under the scaling by λ p = p 2 we have that | r p | = 2π 2 p 2 sin 2 (r p ). If lim p→∞ | r p | < ∞, then lim p→∞ |T r p | = 2π 2 p sin(2r p ) < ∞. Moreover, the second fundamental form A r p of T r p satisfies lim p→∞ |A r p | 2 = lim p→∞ 1 p 2 ( cos 2 (r p ) sin 2 (r p ) + sin 2 (r p ) cos 2 (r p ) ) < ∞. The critical fiber T 0 ⊂ r p is distant from x p by O( 1 p ) since r p is converging to a compact region in M. Instead of using base points x p we choose new base points y p ∈ T 0 ; it follows that (L( p, q), p 2 g S 3 , y p ) → (N , δ, y ∞ ) and rank(N ) = rank(M). We claim that rank of N is at most one: Let's assume now that lim p→∞ | r p | = ∞, consequently lim p→∞ |T r p | = ∞ and lim p→∞ |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 ∂r is orthogonal to T r for every r and it is well defined on L( p, q) − {T 0 ∪ T π 2 }. Let γ (r ) be the geodesic whose velocity is ∂r and such that γ (r p ) = x p . Consider K r p ,R = {x ∈ T r : d L( p,q) (x, γ (r )) ≤ R p and |r −r p | ≤ R p }. By the triangle inequality K r p ,R ⊂ B 2R (x p ) under the metric p 2 g S 3 . Applying the coarea formula for f (r ) = p r, |∇ f | p 2 g S 3 = 1, we obtain: 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 (γ (u 0 )) ∩ T u 0 | p 2 g S 3 ≥ cR. The latter implies that B R (γ (u 0 )) ∩ T u 0 = T u 0 , which is a contradiction since |T u 0 | p 2 g S 3 → ∞.
We conclude that V ol(B 2R ) ≥ cR 2 and rank of M is at most one.

Proof of Theorem 1.1
Lemma 4.1 Let (L( p, q), p 2 g S 3 , x p ) → (M, δ, x ∞ ) be as in Lemma 3.4 and let p be an isoperimetric surface in L( p, q) such that x p ∈ p and g( p ) ≥ 1 . There exists a constant C > 0 such that |A p | p 2 g S 3 ≤ C.
Proof Let y p ∈ p ⊂ L( p, q) be such that |A p |(y p ) = max p |A p | 2 and define λ p = max p |A p |(y p ). Arguing by contradiction, let's assume that λ p p → ∞. In local coordinates around y p we consider the surface p = λ p p on the Euclidean ball B λ p π 10 p (0) endowed with the rescaled metric λ 2 p g S 3 . Therefore, (B λ p π 10 p (0), λ 2 p g S 3 , y p ) converges to (R 3 , δ, 0) as p → ∞. The surface p now has the property that max p |A p (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 ⊂ R 3 , the convergence is in the sense of graphs and with multiplicity one. Moreover, is also stable, i.e.: If is compact, then it has to be a round sphere by Alexandrov's Theorem, which is a contradiction since strong convergence preserves topology. If 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 d dr In particular, | ∩ B r (x)| ≥ πr 2 . As is properly embedded, it has infinite extrinsic diameter and the claim follows. Therefore, is totally geodesic by Da Silveira's Theorem 6.6 in the Appendix, which is a contradiction since max |A| = 1.
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 ε 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
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 ≤ v * . The value of v * is computed by solving the following system of equations: 2π 2 p sin 2 (r ) = 2π s − π sin(2s) and 2π 2 p sin(2r ) = 4π sin 2 (s).
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 ≤ π p ; another way to see this is by recalling that the injectivity radius of L( p, 1) is π p at every point. Therefore, I L( p,q) (v p ) ≤ C p 2 . Let p be an isoperimetric surface with genus g( p ) ≥ 1 and satisfying I L( p,q) (v p ) = | p |. By Lemma 4.1 the sequence { p } p∈N has bounded second fundamental form in (L( p, q), p 2 g S 3 , x p ); thus, it strongly converges to a properly embedded surface of finite area in some orientable flat three manifold (M, δ) 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 Area( ∩ B r (x)) ≥ Cr 2 for every x ∈ . Hence, the extrinsic diameter of is bounded. As is properly embedded, is closed. It follows that the pre-image of in R 3 is contained in a solid cylinder. Hence, 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( ) = 0 or 1. From the strong compactness for isoperimetric surfaces, see Corollary 6.4 in the Appendix, we conclude that g( p ) = 0 or 1, v p = v * and the existence of the desired ε p > 0.
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 v such that if is an isoperimetric surface enclosing volume v ∈ [ v, π 2 p ], then 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 is the Clifford torus enclosing a volume equal to v, then The claim will follow by exploring the weak differential equation for I L( p,q) . From (2.7) we have Let be an isoperimetric surface such that I L( p,q) (t * ) = | |. If v is the unit normal variation of parametrized by the enclosed volume, then we define h(v) = Area( v ). Since h ≥ I L( p,q) , we have that φ 1 = f − h has also a local maximum point at t * . Hence, φ 1 (t * ) = 0, i.e., H r = H , and φ 1 (t * ) ≤ 0. Applying Eq. (2.7) for h together with the Gauss equation and the Gauss-Bonnet theorem we obtain: Therefore, g( ) = 1 and 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 p of genus g ≥ 2 for each p. By the claim above, we may assume that p divides L( p, q) in two regions of equal volume. We consider pointed manifolds (L( p, q), p 2 g S 3 , x p ) with base points x p belonging to p . By the Cheeger-Gromov compactness theorem, (L( p, q), where (M, δ) is a flat three manifold. The inclusion of p into M through the diffeomorphism φ p is still denoted by 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 Z q p orbit of a point is contained in a finite number (independent of p) integral curves of a vector field X (z, w) = (m 0 √ −1 z, n 0 √ −1 w) ∈ X (S 3 ). We claim that the injectivity radius of L( p, q) at every point is O( 1 p ). Indeed, let Orbit p,q (z 0 , w 0 ) be the orbit of (z 0 , w 0 ) ∈ S 3 with respect to Z q p . As before, p b points of Orbit p,q (z 0 , w 0 ) lie on the curve β(t) = ψ(z 0 , w 0 , t). Here, ψ is the one parameter family of diffeomorphisms associated to X : When ordered according the orientation of β(t), those points determine a piecewise closed geodesic γ p (t) with γ p (0) = (z 0 , w 0 ). As p → ∞, γ p (t) converges to β(t).
The claim now follows from: After extracting a subsequence, Lemma 3.4, implies that where (M, δ, x ∞ ) is a flat three manifold of rank at most one. By (4. The curves t → β(t) = ψ(x, t) represent integral curves of X through x ∈ L( p, q); they have bounded geodesic curvature and H 1 (β) = O( 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 X |X | ∈ X ( p ) has a zero since g( p ) ≥ 2. Hence, we can choose the base points x p to satisfy g S 3 ( X |X | (x p ), N (x p )) = ±1, here N is the unit normal vector of p . Lemma 4.3 There exists a properly embedded surface ∞ ⊂ M such that ( p , x p ) → ( ∞ , x ∞ ) with multiplicity one. Moreover, ∞ is totally geodesic and perpendicular to the standard fibers of M.
Proof By Lemma 4.1 the sequence of isoperimetric surfaces ( p , x p ) ⊂ (L( p, q), p 2 g S 3 , x p ) has uniformly bounded second fundamental form. Applying the strong compactness theorem for isoperimetric surfaces, Corollary 6.4, we conclude that p converges smoothly and with multiplicity one to a properly embedded stable cmc surface ∞ ⊂ S 1 ×R 2 . If lim inf p→∞ | p | p 2 g S 3 < ∞, then the monotonicity formula, Proposition 6.1, implies that the extrinsic diameter of p and ∞ are bounded. This is impossible since the sequence p separates L( p, q) in two regions of the same volume that goes to infinity as p → ∞. Therefore, ∞ 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 ∞ is totally geodesic. As g S 3 ( X |X | (x p ), N (x p )) = ±1, we conclude that ∞ is orthogonal to the standard fibers of M.

Fig. 1 Compact support deformation of ∞
We claim that ∞ separates M. If it does not separate, then there exists a loop γ intersecting ∞ at a single point. As p → ∞ with multiplicity one, the same conclusion holds for p , which contradicts the fact that p separates L( p, q). Therefore,

Claim This configuration cannot be a limit of isoperimetric surfaces.
We regard M as a slab in R 3 with height 2π . Now, we construct a deformation of ∞ which decreases its area as follows. First, we cut off the k solid cylinders obtained from the intersection of ∞ 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 σ 2i and σ 2i−1 , then the radius r is given by:

The boundary of this new region is denoted by ∞ and
Ar ea( If R is large enough, then ∞ has less area than ∞ . This is impossible since the strong multiplicity one convergence allow us to carry out this deformation of ∞ to p which contradicts the fact that p is an isoperimetric surface. Case II: There is a subsequence p → ∞ where the Z q p 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 { p } p∈N ⊂ S 3 .

Berger spheres
Let g 0 be the round metric on S 3 and J the vector field on S 3 defined as J (z, w) = ( √ −1 z, √ −1 w). Recall that J is tangent to the fibers of the Hopf fibration h : The Berger metrics are Riemannian metrics g ε on S 3 defined as: The Riemannian manifolds (S 3 , g ε ) are called the Berger spheres, they are denoted by S 3 ε . Geometrically, the metric g ε shrinks the Hopf fibers to have length 2π ε. 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 S 3 ε admits a holomorphic quadratic differential. In particular, every cmc sphere in S 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 ε 1 > 0 with the following property: if ε ∈ [ε 1 , 1], then every stable constant mean curvature surface in S 3 ε has genus zero or one. Moreover, if ε 2 ∈ [ 1 3 , 1], then these stable cmc surfaces are totally umbilical spheres or the minimal Clifford torus, the latter only occurring when ε 2 = 1 3 . In particular, rotationally invariant spheres are the only solutions of the isoperimetric problem in S 3 ε for ε 2 ∈ [ 1 3 , 1]. Theorem 5.1 There exists ε 0 > 0 such that for every ε < ε 0 the isoperimetric surfaces in the Berger spheres S 3 ε are either rotationally invariant spheres or tori.

Remark 5.2
It follows from the works [21,25] that the minimal Clifford torus S 3 ε is isoperimetric for every ε ≤ 1 2 .
Proof of Theorem 1.2 Arguing by contradiction, let us assume the existence of a sequence ε → 0 such that for every ε there exists an isoperimetric surface ε in S 3 ε with g( ε ) ≥ 2. We rescale the metric g ε of S 3 ε by the factor λ ε = 1 ε 2 . The Hopf fibers have constant length equal to 2π under the new metric λ ε g ε . It follows that the injective radius of S 3 ε at a point p is equal to inj p S 3 ε = π for every p ∈ S 3 ε . Since h is a local trivial fibration, we have that for each p ε ∈ S 3 ε there exist a neighbourhood V of h( p ε ) and a diffeomorphism φ ε : δ in the C ∞ topology. Therefore, in the sense of Cheeger-Gromov we have: We pick the points p ε ∈ ε with the property that g ε (J , N ε )( p ε ) = ± ε, this means J and N ε are parallel at p ε . These points exist by the Poincaré-Hopf index theorem. By Lemma 4.1 the inclusion of ε in S 1 ×R 2 , φ * ε (ε −2 g ε ) has the following property: There exists C > 0 such that sup ε |A ε | ≤ C for every ε.
By the strong compactness theorem for isoperimetric surfaces, Corollary 6.4 in the Appendix, we can extract a subsequence, { ε n }, which converges with multiplicity one to a properly embedded surface ∞ ⊂ (S 1 × R 2 , δ).
If Ar ea( ∞ ) < ∞, then the monotonicity formula, Proposition 6.1, implies that ∞ is compact. We apply Theorem 6.5 to conclude that ∞ is either a round sphere or torus. This is impossible since we have strong convergence and g( ε ) = 2 or 3. Therefore, ∞ is a complete non-compact surface with infinite area. Moreover, ∞ is also a stable CMC surface in S 1 × R 2 : It follows from Theorem 6.6 that ∞ is totally geodesic. By the choice of p ε we conclude that ∞ is orthogonal to the S 1 fibers of S 1 × R 2 . Since ∞ separates S 1 × R 2 , we also conclude that ∞ 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.
Let be a CMC surface in a closed manifold M 3 . The density of at x is given by for every x ∈ M and r < ρ, then its second fundamental form is uniformly bounded, i.e., |A | ≤ C.
Let { n } n∈N be a sequence of surfaces in a manifold M. We say that n converge to in the sense of graphs if near any point p ∈ and for large n the surface n is locally a graph over an open set of T p and these graphs converge smoothly to the graph of . In addition, we say that { n } satisfy local area bounds if there exist r > 0 and C > 0 such that | n ∩ B r (x)| ≤ C for every x ∈ M.
A hypersurface is said to be weakly embedded if it admits only tangential self intersections. Proposition 6.3 Let { n } ⊂ (M, g n ) be a sequence of embedded surfaces with constant mean curvature satisfying local area bounds and such that sup n |A n | ≤ C. Let's assume that g n converges to a metric δ in the C ∞ topology. If { n } n=1 has an accumulation point, then we can extract a subsequence that converges to a properly weakly embedded cmc surface in (M, δ).
Sketch of the Proof Let's first recall the constant mean curvature equation for graphs. If is a surface with constant mean curvature H in (M, g), then can be written locally as a graph over a neighbourhood U p ⊂ T p : In coordinates g i j := 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 n , i.e., E i = e i + u x i e 3 = T l i e l . The induced metric h is expressed by h i j = h(E i , E j ). A simple computation gives: We also have where k ml are the Christoffel symbols of g. Therefore, Finally, the mean curvature equation is written as: Since h i j = T l i T m j g ml and T 3 i = u x i , then |h i j | ≤ C 1 (g i j , u x i , u x j ). The Eq. (6.2) is uniformly elliptic as long as |∇u|, |∇ 2 u| < C.
Let p ∈ M be an accumulation point for the sequence { n }. By the upper bound on the second fundamental form, sup n |A n | < C, there exists r 0 = r 0 (C) such that for every q ∈ B r 0 ( p) ∩ n we have that n ∩ B r 0 (q) is locally a graph u n over a neighbourhood U q ⊂ T q n . Moreover, there exists C 2 = C 2 (C) > 0 for which max{∇u n , ∇ 2 u n } ≤ C 2 . As |g n − δ| C 2,α → 0, the Schauder estimates for solutions of elliptic equations, see [13], imply that u n have C 2,α estimates on B r 0 /2 (q), i.e., |u n | C 2,α ≤ C 3 (|H n | + |u n |). Therefore, u n , ∇u n , ∇ 2 u n are uniformly bounded and equicontinuous.
As { n } n∈N satisfy local area bounds, then | n ∩ B(r 0 /2)(y)| ≤ C 4 . On the other hand, the monotonicity formula, Proposition 6.1, gives that | j n ∩ B r 0 (y)| ≥ C 5 r 2 0 , where j n is a connected component of n ∩ B r . It follows that the number of components of n ∩ B r 0 /2 ( p) is finite and independent of n. By the Arzelà-Ascoli theorem we can extract a subsequence for which {u j n } converges to u for every j. Moreover, u also satisfies the constant mean curvature equation (6.2). As the set of accumulation points of { n } is compact in B R ( p) we can cover this set by finite balls B r 0 ( p k ) with k = 1, . . . , N . Repeating the arguments in each of these balls and applying a diagonal argument we obtain a properly immersed surface on B R ( p) ⊂ M with constant mean curvature H . Since the surfaces n are embedded, it follows that does not cross itself though it may have tangential self-intersections. Therefore, is properly weakly embedded in M.
Corollary 6.4 Let ( n , x n ) ⊂ (M n , g n , x n ) be a sequence of isoperimetric surfaces with |A n | ≤ 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 ⊂ (M, g, x) such that n → in the sense of graphs and the convergence is with multiplicity one.
Sketch of the Proof First we remark that { n } satisfy local area bounds. Indeed, Area( n ∩ B r ( p)) ≤ 2|∂ B r ( p)|. By Proposition 6.3 we only need to rule out possibly multiplicities for the convergence n → and points where fails to be embedded. If the multiplicity of the limit is bigger than two, then n ∩ 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 δ is the Euclidean metric, then 1 C δ ≤ g n ≤ Cδ and 1 C Area δ ≤ Area g n ≤ C Area δ . Thus, if h r , then Ar ea g n ( n ) ≤ Ar ea g n ( n ) − C 1 r 2 + C 2 rh < Area g n ( n ).
The deformation needed for the multiplicity two case is shown in Fig. 3. The constraint on the enclosed volume implies that 4 3 π R 3 ≈ πr 2 h. Hence, if h r , then Ar ea( n ) ≤ Ar ea( n ) − C 1 r 2 + C 2 r h − C 3 R 2 + C 4 R 2 < Ar ea( n ).
The construction to deal with points where has tangential self intersections is similar to the multiplicity two case. The corollary now follows since these constructions contradict the fact that n is isoperimetric for every n. Theorem 6.5 (Korevaar-Kusner-Solomon [17]) If is a complete cmc surface properly embedded in a solid cylinder in R 3 , then is rotationally symmetric with respect to a line parallel to the axis of the cylinder. Theorem 6.6 (Da Silveira [11]) Let ( , ds 2 ) be a complete orientable surface conformally equivalent to a compact Riemann surface punctured at a finite number of points. Let L = + q be an operator on satisfying q ≥ 0 and q ≡ 0. If has infinite area, then there exists a piecewise smooth function f : → R with compact support such that − f L f d < 0 and f d = 0.