All preprints

Preprint · v3

Sharp Schrödinger inequalities for embedded hypersurfaces

Free PDF · 23 pages · 0.74 MB

Abstract

Let n≥2n\ge2, let hh denote the second fundamental form, and put Δ=−div∇\Delta=-\operatorname{div}\nabla. Every closed connected smooth embedded minimal hypersurface Mn⊂𝕊n+1M^n\subset\mathbb S^{n+1} which is not totally geodesic satisfies Δ+|h|2≥n\Delta+|h|^2\ge n in quadratic-form sense on H1(M)H^1(M). In particular, ∫M|h|2dvg≥nVol(M)\int_M |h|^2\,dv_g\ge n\operatorname{Vol}(M), as conjectured by Perdomo, with equality precisely for minimal Clifford hypersurfaces.

Let Q>0Q>0 be self-adjoint on ℝn+1\mathbb R^{n+1}, and put a=λmin(Q)a=\lambda_{\min}(Q) and F(x)=12⟨Qx,x⟩F(x)=\frac12\langle Qx,x\rangle. On a hypersurface with unit normal ν\nu, write dμF=e−Fdvgd\mu_F=e^{-F}dv_g, ΔF=Δ+⟨∇F,∇⟩\Delta_F=\Delta+\langle\nabla F,\nabla\rangle and U=|h|2+⟨Qν,ν⟩U=|h|^2+\langle Q\nu,\nu\rangle. Every connected complete smooth properly embedded hypersurface Mn⊂ℝn+1M^n\subset\mathbb R^{n+1} without boundary, stationary for the weighted area e−Fdvge^{-F}dv_g and not a hyperplane, satisfies ΔF+U≥2a\Delta_F+U\ge2a in quadratic-form sense on Cc∞(M)C_c^\infty(M) in L2(M,dμF)L^2(M,d\mu_F). Its weighted volume is finite, and ∫MUdμF≥2aμF(M)\int_M U\,d\mu_F\ge2a\mu_F(M). Equality in this average inequality holds precisely for the cylinders {x+y:x∈E,|x|=p/a,y∈E⊥}\{x+y:x\in E,\ |x|=\sqrt{p/a},\ y\in E^\perp\}, where 1≤p≤n1\le p\le n, EE is a linear subspace of ker(Q−aId)\ker(Q-a\operatorname{Id}) and dimE=p+1\dim E=p+1. For Q=12IdQ=\frac12\operatorname{Id}, this gives the Gaussian average-curvature inequalities conjectured by Li and Zhao.

In the spherical case, Morse index n+3n+3 characterizes the minimal Clifford hypersurfaces. Every smooth entire graph stationary for the quadratic density in a QQ-eigendirection with eigenvalue β≤2a\beta\le2a is a hyperplane through the origin.

MSC 2020

53C42
Differential geometry of immersions (minimal, prescribed curvature, tight, etc.)
58J50
Spectral problems; spectral geometry; scattering theory on manifolds
53E10
Flows related to mean curvature
35J10
Schrödinger operator, Schrödinger equation

Mathematics Subject Classification 2020

Record

Version DOI
10.5281/zenodo.24120103
All versions
10.5281/zenodo.22999023
Subjects
Minimal hypersurface; self-shrinker; contact curvature; Schrödinger operator; Gaussian density; rigidity
Language
English

Cite this paper

Anass Nifa. Sharp Schrödinger inequalities for embedded hypersurfaces. Preprint, Zenodo, v3 (2026). doi:10.5281/zenodo.24120103

References

As listed in the manuscript bibliography.

  1. [1]

    B. Andrews, Pinching estimates and motion of hypersurfaces by curvature functions, J. reine angew. Math. 608 (2007), 17–33; arXiv:math/0402311v1.

    arXiv v1
  2. [2]

    B. Andrews, Noncollapsing in mean-convex mean curvature flow, Geom. Topol. 16 (2012), 1413–1418.

  3. [3]

    B. Andrews, X. Han, H. Li and Y. Wei, Non-collapsing for hypersurface flows in the sphere and hyperbolic space, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 14 (2015), 331–338.

  4. [4]

    B. Andrews and M. Langford, Two-sided non-collapsing curvature flows, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 15 (2016), 543–560; arXiv:1310.0717v2.

    arXiv v2
  5. [5]

    B. Andrews, M. Langford and J. McCoy, Non-collapsing in fully non-linear curvature flows, Ann. Inst. H. Poincaré C Anal. Non Linéaire 30 (2013), 23–32.

  6. [6]

    B. Andrews and H. Li, Embedded constant mean curvature tori in the three-sphere, J. Differential Geom. 99 (2015), 169–189; arXiv:1204.5007v3.

    arXiv v3
  7. [7]

    S. Brendle, Embedded minimal tori in S³ and the Lawson conjecture, Acta Math. 211 (2013), 177–190.

  8. [8]

    S. Brendle, A sharp bound for the inscribed radius under mean curvature flow, Invent. Math. 202 (2015), 217–237; arXiv:1309.1459.

    arXiv
  9. [9]

    S. Brendle and R. Tsiamis, Eigenvalue estimates on shrinkers, to appear in Amer. J. Math.; arXiv:2402.11803v3 (2026).

    arXiv v3
  10. [10]

    H.-D. Cao and H. Li, A gap theorem for self-shrinkers of the mean curvature flow in arbitrary codimension, Calc. Var. Partial Differential Equations 46 (2013), 879–889; arXiv:1101.0516.

    arXiv
  11. [11]

    T. E. Cecil, Isoparametric and Dupin hypersurfaces, SIGMA 4 (2008), 062, 28 pp.; doi:10.3842/SIGMA.2008.062.

    DOI
  12. [12]

    I. Chavel, Eigenvalues in Riemannian Geometry, Pure and Applied Mathematics 115, Academic Press, Orlando, 1984.

  13. [13]

    H. Chen and P. Wang, On the index of minimal hypersurfaces in 𝕊ⁿ⁺¹ with λ₁ < n, preprint, arXiv:2405.10843v1 (2024).

    arXiv v1
  14. [14]

    X. Cheng, T. Mejia and D. Zhou, Stability and compactness for complete f-minimal surfaces, Trans. Amer. Math. Soc. 367 (2015), 4041–4059; arXiv:1210.8076v1.

    arXiv v1
  15. [15]

    X. Cheng, T. Mejia and D. Zhou, Simons-type equation for f-minimal hypersurfaces and applications, J. Geom. Anal. 25 (2015), 2667–2686; arXiv:1305.2379v1.

    arXiv v1
  16. [16]

    S. S. Chern, M. do Carmo and S. Kobayashi, Minimal submanifolds of a sphere with second fundamental form of constant length, in Functional Analysis and Related Fields, Springer-Verlag, Berlin, 1970, pp. 59–75.

  17. [17]

    X. Cheng, M. Vieira and D. Zhou, Volume growth of complete submanifolds in gradient Ricci solitons with bounded weighted mean curvature, Int. Math. Res. Not. IMRN 2021, no. 16, 12748–12777; doi:10.1093/imrn/rnz355; arXiv:1909.05724v1.

    DOI · arXiv v1
  18. [18]

    X. Cheng and D. Zhou, Volume estimate about shrinkers, Proc. Amer. Math. Soc. 141 (2013), 687–696.

  19. [19]

    T. H. Colding and W. P. Minicozzi II, Generic mean curvature flow I; generic singularities, Ann. of Math. (2) 175 (2012), 755–833.

  20. [20]

    Q. Ding and Y. L. Xin, Volume growth, eigenvalue and compactness for self-shrinkers, Asian J. Math. 17 (2013), 443–456.

  21. [21]

    Q. Ding and Y. L. Xin, The rigidity theorems of self shrinkers, Trans. Amer. Math. Soc. 366 (2014), 5067–5085; arXiv:1105.4962.

    arXiv
  22. [22]

    Q. Ding, Y. L. Xin and L. Yang, The rigidity theorems of self shrinkers via Gauss maps, Adv. Math. 303 (2016), 151–174; arXiv:1203.1096v1.

    arXiv v1
  23. [23]

    J.-H. Eschenburg, Local convexity and nonnegative curvature—Gromov’s proof of the sphere theorem, Invent. Math. 84 (1986), 507–522.

  24. [24]

    L. C. Evans and R. F. Gariepy, Measure Theory and Fine Properties of Functions, revised edition, CRC Press, Boca Raton, 2015.

  25. [25]

    J. Ge and F. Li, A lower bound for L² length of second fundamental form on minimal hypersurfaces, Proc. Amer. Math. Soc. 150 (2022), 2671–2684; arXiv:2103.07747v3.

    arXiv v3
  26. [26]

    A. Hurtado, V. Palmer and C. Rosales, Parabolicity criteria and characterization results for submanifolds of bounded mean curvature in model manifolds with weights, Nonlinear Anal. 192 (2020), 111681; arXiv:1805.10055.

    arXiv
  27. [27]

    D. Impera and M. Rimoldi, Stability properties and topology at infinity of f-minimal hypersurfaces, Geom. Dedicata 178 (2015), 21–47.

  28. [28]

    T. Kato, Perturbation Theory for Linear Operators, second edition, Grundlehren der mathematischen Wissenschaften 132, Springer-Verlag, Berlin, 1976.

  29. [29]

    H. B. Lawson, Jr., Local rigidity theorems for minimal hypersurfaces, Ann. of Math. (2) 89 (1969), 187–197.

  30. [30]

    J. M. Lee, Introduction to Smooth Manifolds, second edition, Graduate Texts in Mathematics 218, Springer, New York, 2013.

  31. [31]

    D. Lenz, P. Stollmann and I. Veselić, The Allegretto–Piepenbrink theorem for strongly local Dirichlet forms, Doc. Math. 14 (2009), 167–189; doi:10.4171/DM/269.

    DOI
  32. [32]

    F. Li and Y. Zhao, Gaussian-weighted curvature gaps for self-shrinkers, preprint, arXiv:2606.14360v1 (2026).

    arXiv v1
  33. [33]

    F. Li and Y. Zhao, The rigidity theorems for self-shrinkers in the mean curvature flow, preprint, arXiv:2607.04297v3 (2026).

    arXiv v3
  34. [34]

    C. Mantegazza, G. Mascellani and G. Uraltsev, On the distributional Hessian of the distance function, Pacific J. Math. 270 (2014), 151–166.

  35. [35]

    L. I. Nicolaescu, Lectures on the Geometry of Manifolds, 3rd ed., World Scientific, Singapore, 2021.

  36. [36]

    O. M. Perdomo, On the average of the scalar curvature of minimal hypersurfaces of spheres with low stability index, Illinois J. Math. 48 (2004), 559–565.

  37. [37]

    O. M. Perdomo, Rigidity of minimal hypersurfaces of spheres with two principal curvatures, Arch. Math. (Basel) 82 (2004), 180–184; doi:10.1007/s00013-003-4834-6.

    DOI
  38. [38]

    Y. Pinchover and K. Tintarev, A ground state alternative for singular Schrödinger operators, J. Funct. Anal. 230 (2006), 65–77; arXiv:math/0411658v1.

    arXiv v1
  39. [39]

    R. Schoen, L. Simon and S.-T. Yau, Curvature estimates for minimal hypersurfaces, Acta Math. 134 (1975), 275–288.

  40. [40]

    J. Simons, Minimal varieties in Riemannian manifolds, Ann. of Math. (2) 88 (1968), 62–105.

  41. [41]

    F. Urbano, Minimal surfaces with low index in the three-dimensional sphere, Proc. Amer. Math. Soc. 108 (1990), 989–992.

  42. [42]

    L. Wang, A Bernstein type theorem for self-similar shrinkers, Geom. Dedicata 151 (2011), 297–303.

  43. [43]

    C. Wang and P. Wang, On embedded minimal hypersurfaces in Sⁿ⁺¹ with symmetries, preprint, arXiv:2010.16261v1 (2020).

    arXiv v1