Skip to main content
Article
Licensed
Unlicensed Requires Authentication

Minimal hypersurfaces in manifolds of Ricci curvature bounded below

Published/Copyright: August 27, 2022

Abstract

In this paper, we study the angle estimate of distance functions from minimal hypersurfaces in manifolds of Ricci curvature bounded from below using Colding’s method in [T. H. Colding, Ricci curvature and volume convergence, Ann. of Math. (2) 145 1997, 3, 477–501]. With Cheeger–Colding theory, we obtain the Laplacian comparison for limits of distance functions from minimal hypersurfaces in the version of Ricci limit space. As an application, if a sequence of minimal hypersurfaces converges to a metric cone C Y × n - k ( 2 k n ) in a non-collapsing metric cone C X × n - k obtained from ambient manifolds of almost nonnegative Ricci curvature, then we can prove a Frankel property for the cross section Y of CY. Namely, Y has only one connected component in X.

Award Identifier / Grant number: 11871156

Award Identifier / Grant number: 11922106

Funding statement: The author is partially supported by NSFC 11871156 and NSFC 11922106.

A Appendix I

For each integer i 1 , let ( X i , d i ) be a sequence of compact metric spaces. Let ( X , d ) be a compact metric space such that there is a sequence of ϵ i -Gromov–Hausdorff approximations Φ i : X i X for some sequence ϵ i 0 . For each i, let f i be a function on X i . For a function f on X , we say that f i f if f i ( x i ) f ( x ) for any x X and any sequence x i X i with x i x . We further assume that all the functions f i are Lipschitz with lim sup i ( sup X i | f i | + 𝐋𝐢𝐩 f i ) < .

Lemma A.1.

There are a subsequence i and a Lipschitz function f on X with Lip f lim sup i Lip f i such that f i f .

Proof.

Let δ k > 0 be a sequence of numbers with δ k 0 as k . For each k, let { y k , j } j = 1 m k be a finite δ k -net of X . For each j { 1 , , m 1 } , let x i , j X i be a sequence converging to y 1 , j as i . Then there is a subsequence { 1 i } of { i } such that f 1 i ( x 1 i , j ) converges to a number t 1 , j . For each j { 1 , , m 2 } and for any sequence x 1 i , j X 1 i , j converging as i to y 2 , j , there is a subsequence { 2 i } of { 1 i } such that f 2 i ( x 2 i , j ) converges to a number t 2 , j . Continue the procedure to get a sequence of functions { f k i } i , k 1 such that { ( k + 1 ) i } is a subsequence of { k i } , and for any y k , j and X k i x k i , j y k , j , lim i f k i ( x k i , j ) converges to t k , j as i .

From lim sup i 𝐋𝐢𝐩 f i < , for y k , j = y k , j there holds t k , j = t k , j . We define a function f on k 1 1 j m k { y k , j } by letting f ( y k , j ) = t k , j . From

lim sup i 𝐋𝐢𝐩 f i < ,

for any sequence X k i x k i , j y k , j we have

lim i f k i ( x k i , j ) = lim i f k i ( x k i , j ) = f ( y k , j ) .

Moreover, for any y , y k 1 1 j N k { y k , j } it follows that

| f ( y ) - f ( y ) | ( lim sup i 𝐋𝐢𝐩 f i ) d ( y , y ) .

For any y X , there is a sequence { y i } k 1 1 j N k { y k , j } with y i y , and we define f ( y ) = lim i f ( y i ) . From the above inequality, the definition of the function f ( y ) is independent of the particular choice of y i . Then 𝐋𝐢𝐩 f lim sup i 𝐋𝐢𝐩 f i and f ( y ) = lim i f i i ( y i ) for any y i X i i with y i y . ∎

For each integer i 1 , let E i be a closed set in X i . Suppose that Φ i ( E i ) converges in the Hausdorff sense to a closed set E in X . From the triangle inequality, one has

| ρ E ( x ) - ρ E ( y ) | d ( x , y ) for any  x , y X .

In other words, ρ E has the Lipschitz constant 𝐋𝐢𝐩 ρ E 1 on X .

Lemma A.2.

For any point x X and any sequence x i X i with x i x as i , we have ρ E i ( x i ) ρ E ( x ) .

Proof.

The proof is routine. For each x X , there is a point y E so that

d ( x , y ) = ρ E ( x ) .

Let y i E i with y i y . Then for any sequence x i X i with x i x , there holds

(A.1) ρ E ( x ) = d ( x , y ) = lim i d i ( x i , y i ) lim sup i ρ E i ( x i ) .

On the other hand, there is a point z i E i so that ρ E i ( x i ) = d i ( x i , z i ) . Suppose there is a sequence i such that lim inf i ρ E i ( x i ) = lim i ρ E i ( x i ) . Then there is a subsequence i ′′ of i such that z i ′′ z E . Hence

(A.2) lim inf i ρ E i ( x i ) = lim i d i ( x i , z i )
= lim i ′′ d i ′′ ( x i ′′ , z i ′′ )
= d ( x , z ) ρ E ( x ) .

Combining (A.1) and (A.2), we complete the proof. ∎

B Appendix II

Let R i 0 be a sequence with the property that R i as i . Let B R i ( p i ) be a sequence of ( n + 1 ) -dimensional smooth geodesic balls with Ricci curvature - n R i - 2 such that ( B R i ( p i ) , p i ) converges to a metric cone ( 𝐂 , 𝐨 ) in the pointed Gromov–Hausdorff sense. Suppose lim inf i n + 1 ( B 1 ( p i ) ) > 0 , and for some integer 1 k n there is a k-dimensional compact metric space X such that 𝐂 = C X × n - k , where CX is a metric cone with the vertex o of the cross section X.

For any point x X and r , t > 0 , let B r ( t x ) be the ball of radius r and centered at t x C X in CX, let r ( t x ) denote the metric ball in t X = B t ( o ) with the radius r and centered at tx, and set

𝒞 r ( x ) { t ξ C X : ξ r ( x ) , | t - 1 | < r 2 } .

For | t - 1 | < r 2 and 0 < r 1 , with Cauchy inequality we get

t 2 + 1 - 2 t cos ( t r ) = ( t - 1 ) 2 + 4 t sin 2 ( t r 2 )
( t - 1 ) 2 + 4 π 2 t 3 r 2 r 2 ( ( t - 1 ) 2 + 2 t 2 π 2 )
r 2 9 ( ( t - 1 ) 2 + t 2 + 8 ( t - 1 ) 2 + t 2 8 )
r 2 9 ( ( t - 1 ) 2 + t 2 + 2 t ( t - 1 ) )
= r 2 9 .

Hence from (6.3) we have B r / 3 ( x ) 𝒞 r ( x ) for all r ( 0 , 1 ] . Moreover, for | t - 1 | < r 2 and 0 < r 1

( t - 1 ) 2 + 4 t sin 2 ( t r 2 ) ( t - 1 ) 2 + t 3 r 2 r 2 4 + ( 1 + r 2 ) 3 r 2 4 r 2 ,

which implies 𝒞 r ( x ) B 2 r ( x ) for all r ( 0 , 1 ] . In all, we have

(B.1) B r / 3 ( x ) 𝒞 r ( x ) B 2 r ( x ) for all  r ( 0 , 1 ] .

For each r ( 0 , 1 ) , from the co-area formula (6.2)

(B.2) k + 1 ( 𝒞 r ( x ) ) = 0 k ( B t ( o ) 𝒞 r ( x ) ) 𝑑 t
= 1 - r 2 1 + r 2 k ( t r ( x ) ) 𝑑 t
= 1 - r 2 1 + r 2 t k k ( r ( x ) ) 𝑑 t
= 1 k + 1 ( ( 1 + r 2 ) k + 1 - ( 1 - r 2 ) k + 1 ) k ( r ( x ) ) .

Combining (B.1), (B.2) and the Bishop–Gromov volume comparison, there is a constant c k 1 depending only on k such that

(B.3) k ( R ( x ) ) c k R k r k k ( r ( x ) ) for each  0 < r R 1 .

Let ϕ be a Lipschitz function on X, and let λ be a Lipschitz function on [ 0 , ) . Put

f ( t ξ ) = λ ( t ) ϕ ( ξ ) for each  t ξ C X  with  ξ X .

From (2.2) and (6.3), we have

Lip ϕ ( ξ ) = lim sup η ξ , η ξ | ϕ ( ξ ) - ϕ ( η ) | d X ( ξ , η ) .

and

(B.4) ( Lip f ) 2 ( t ξ ) = lim sup τ η t ξ , τ η t ξ | f ( t ξ ) - f ( τ η ) | 2 d C X ( t ξ , τ η ) 2
= lim sup τ t , η ξ , τ η t ξ | λ ( t ) ϕ ( ξ ) - λ ( τ ) ϕ ( η ) | 2 t 2 + τ 2 - 2 t τ cos d X ( ξ , η ) .

Note that

| λ ( t ) ϕ ( ξ ) - λ ( τ ) ϕ ( η ) | 2 = | λ ( t ) ϕ ( ξ ) - λ ( τ ) ϕ ( ξ ) | 2 + | λ ( τ ) ϕ ( ξ ) - λ ( τ ) ϕ ( η ) | 2
+ 2 ( λ ( t ) ϕ ( ξ ) - λ ( τ ) ϕ ( ξ ) ) ( λ ( τ ) ϕ ( ξ ) - λ ( τ ) ϕ ( η ) ) .

Let

τ - t = sin θ ( τ - t ) 2 + t τ d X ( ξ , η ) 2 ,

and

t τ d X ( ξ , η ) = cos θ ( τ - t ) 2 + t τ d X ( ξ , η ) 2 for  θ [ 0 , 2 π ) .

Note that

t 2 + τ 2 - 2 t τ cos d X ( ξ , η ) = ( t - τ ) 2 + t τ d X ( ξ , η ) 2 + t τ O ( d X ( ξ , η ) 3 ) .

For the fixed θ, we have

(B.5) | λ ( t ) - λ ( τ ) | 2 | ϕ | 2 ( ξ ) + | ϕ ( ξ ) - ϕ ( η ) | 2 λ 2 ( τ ) t 2 + τ 2 - 2 t τ cos d X ( ξ , η )
    + 2 ( λ ( t ) - λ ( τ ) ) ( ϕ ( ξ ) - ϕ ( η ) ) ϕ ( ξ ) λ ( τ ) t 2 + τ 2 - 2 t τ cos d X ( ξ , η )
( λ ( t ) ) 2 ϕ 2 ( ξ ) sin 2 θ + λ 2 ( t ) t 2 cos 2 θ ( Lip ϕ ) 2 ( ξ )
    + 2 λ ( t ) λ ( t ) t ϕ ( ξ ) sin θ cos θ Lip ϕ ( ξ )
= ( λ ( t ) ϕ ( ξ ) sin θ + λ ( t ) t cos θ Lip ϕ ( ξ ) ) 2

as ( τ - t ) 2 + t τ d X ( ξ , η ) 2 0 . From (B.4)–(B.5), for every t ξ V we have

(B.6) ( Lip f ) 2 ( t ξ ) = sup θ [ 0 , 2 π ) ( λ ( t ) ϕ ( ξ ) sin θ + λ ( t ) t cos θ Lip ϕ ( ξ ) ) 2
= λ 2 ( t ) t 2 ( Lip ϕ ) 2 ( ξ ) + ( λ ( t ) ) 2 ϕ 2 ( ξ )
= λ 2 ( t ) t 2 | d ϕ | 2 ( ξ ) + ( λ ( t ) ) 2 ϕ 2 ( ξ ) ,

where d ϕ is the differential of ϕ on X defined below (6.5).

From the Poincaré inequality (2.5) and the proof of [21, Theorem 1], it follows that

(B.7) 𝒞 r ( x ) | f - 𝒞 r ( x ) f | q c k r q 𝒞 r ( x ) | d f | q

for any x X , r ( 0 , 1 ] , q 1 , where c k is a general constant depending only on k. From the co-area formula (6.2), if f ( t ξ ) = ϕ ( ξ ) for each t ξ t X with ξ X , then we have

(B.8) 𝒞 r ( x ) f = 1 k + 1 ( 𝒞 r ( x ) ) 1 - r 2 1 + r 2 ( t r ( x ) f ) 𝑑 t
= 1 k + 1 ( 𝒞 r ( x ) ) 1 - r 2 1 + r 2 ( t k r ( x ) ϕ ) 𝑑 t
= 1 k ( r ( x ) ) r ( x ) ϕ
= r ( x ) ϕ .

With (B.6), substituting (B.8) into (B.7) gives

(B.9) r ( x ) | ϕ - r ( x ) ϕ | q c k r q r ( x ) | d ϕ | q

for any q 1 .

References

[1] U. Abresch and D. Gromoll, On complete manifolds with nonnegative Ricci curvature, J. Amer. Math. Soc. 3 (1990), no. 2, 355–374. 10.1090/S0894-0347-1990-1030656-6Search in Google Scholar

[2] W. K. Allard, On the first variation of a varifold, Ann. of Math. (2) 95 (1972), 417–491. 10.2307/1970868Search in Google Scholar

[3] L. Ambrosio, N. Fusco and D. Pallara, Functions of bounded variation and free discontinuity problems, Oxford Math. Monogr., The Clarendon, Oxford 2000. 10.1093/oso/9780198502456.001.0001Search in Google Scholar

[4] L. Ambrosio, N. Gigli and G. Savaré, Metric measure spaces with Riemannian Ricci curvature bounded from below, Duke Math. J. 163 (2014), no. 7, 1405–1490. 10.1215/00127094-2681605Search in Google Scholar

[5] K. Bacher and K.-T. Sturm, Localization and tensorization properties of the curvature-dimension condition for metric measure spaces, J. Funct. Anal. 259 (2010), no. 1, 28–56. 10.1016/j.jfa.2010.03.024Search in Google Scholar

[6] J. Cheeger, Differentiability of Lipschitz functions on metric measure spaces, Geom. Funct. Anal. 9 (1999), no. 3, 428–517. 10.1007/s000390050094Search in Google Scholar

[7] J. Cheeger and T. H. Colding, Lower bounds on Ricci curvature and the almost rigidity of warped products, Ann. of Math. (2) 144 (1996), no. 1, 189–237. 10.2307/2118589Search in Google Scholar

[8] J. Cheeger and T. H. Colding, On the structure of spaces with Ricci curvature bounded below. I, J. Differential Geom. 46 (1997), no. 3, 406–480. 10.4310/jdg/1214459974Search in Google Scholar

[9] J. Cheeger and T. H. Colding, On the structure of spaces with Ricci curvature bounded below. II, J. Differential Geom. 54 (2000), no. 1, 13–35. 10.4310/jdg/1214342145Search in Google Scholar

[10] J. Cheeger and T. H. Colding, On the structure of spaces with Ricci curvature bounded below. III, J. Differential Geom. 54 (2000), no. 1, 37–74. 10.4310/jdg/1214342146Search in Google Scholar

[11] S. Y. Cheng and S. T. Yau, Differential equations on Riemannian manifolds and their geometric applications, Comm. Pure Appl. Math. 28 (1975), no. 3, 333–354. 10.1002/cpa.3160280303Search in Google Scholar

[12] T. H. Colding, Ricci curvature and volume convergence, Ann. of Math. (2) 145 (1997), no. 3, 477–501. 10.2307/2951841Search in Google Scholar

[13] T. H. Colding and A. Naber, Sharp Hölder continuity of tangent cones for spaces with a lower Ricci curvature bound and applications, Ann. of Math. (2) 176 (2012), no. 2, 1173–1229. 10.4007/annals.2012.176.2.10Search in Google Scholar

[14] Q. Ding, Area-minimizing hypersurfaces in manifolds of Ricci curvature bounded below, preprint (2021), https://arxiv.org/abs/2107.11074. Search in Google Scholar

[15] Q. Ding, Poincaré inequality on minimal graphs over manifolds and applications, preprint (2021), https://arxiv.org/abs/2111.04458. Search in Google Scholar

[16] Q. Ding, Liouville type theorems and Hessian estimates for special Lagrangian equations, Math. Ann. (2022), 10.1007/s00208-022-02430-8. 10.1007/s00208-022-02430-8Search in Google Scholar

[17] Q. Ding, J. Jost and Y. L. Xin, Existence and non-existence of area-minimizing hypersurfaces in manifolds of non-negative Ricci curvature, Amer. J. Math. 138 (2016), no. 2, 287–327. 10.1353/ajm.2016.0009Search in Google Scholar

[18] M. Erbar, K. Kuwada and K.-T. Sturm, On the equivalence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces, Invent. Math. 201 (2015), no. 3, 993–1071. 10.1007/s00222-014-0563-7Search in Google Scholar

[19] T. Frankel, On the fundamental group of a compact minimal submanifold, Ann. of Math. (2) 83 (1966), 68–73. 10.2307/1970471Search in Google Scholar

[20] E. Giusti, Minimal surfaces and functions of bounded variation, Monogr. Math. 80, Birkhäuser, Basel 1984. 10.1007/978-1-4684-9486-0Search in Google Scholar

[21] P. Hajł asz and P. Koskela, Sobolev met Poincaré, Mem. Amer. Math. Soc. 145 (2000), no. 688, 1–101. 10.1090/memo/0688Search in Google Scholar

[22] E. Heintze and H. Karcher, A general comparison theorem with applications to volume estimates for submanifolds, Ann. Sci. Éc. Norm. Supér. (4) 11 (1978), no. 4, 451–470. 10.24033/asens.1354Search in Google Scholar

[23] S. Honda, Ricci curvature and almost spherical multi-suspension, Tohoku Math. J. (2) 61 (2009), no. 4, 499–522. 10.2748/tmj/1264084497Search in Google Scholar

[24] S. Honda, Ricci curvature and convergence of Lipschitz functions, Comm. Anal. Geom. 19 (2011), no. 1, 79–158. 10.4310/CAG.2011.v19.n1.a4Search in Google Scholar

[25] S. Honda, Harmonic functions on asymptotic cones with Euclidean volume growth, J. Math. Soc. Japan 67 (2015), no. 1, 69–126. 10.2969/jmsj/06710069Search in Google Scholar

[26] C. Ketterer, Cones over metric measure spaces and the maximal diameter theorem, J. Math. Pures Appl. (9) 103 (2015), no. 5, 1228–1275. 10.1016/j.matpur.2014.10.011Search in Google Scholar

[27] T. Rajala, Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm, J. Funct. Anal. 263 (2012), no. 4, 896–924. 10.1016/j.jfa.2012.05.006Search in Google Scholar

[28] L. Simon, Lectures on geometric measure theory, Australian National University, Canberra 1983. Search in Google Scholar

[29] E. M. Stein, Singular integrals and differentiability properties of functions, Princeton Math. Ser. 30, Princeton University, Princeton 1970. 10.1515/9781400883882Search in Google Scholar

[30] N. Wickramasekera, A sharp strong maximum principle and a sharp unique continuation theorem for singular minimal hypersurfaces, Calc. Var. Partial Differential Equations 51 (2014), no. 3–4, 799–812. 10.1007/s00526-013-0695-4Search in Google Scholar

Received: 2021-09-07
Revised: 2022-06-20
Published Online: 2022-08-27
Published in Print: 2022-10-01

© 2022 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 30.4.2026 from https://www.degruyterbrill.com/document/doi/10.1515/crelle-2022-0050/html?lang=en
Scroll to top button