Total absolute curvature and rigidity of surfaces in Cartan-Hadamard manifolds
Pith reviewed 2026-05-07 17:48 UTC · model grok-4.3
The pith
Closed surfaces with minimal total absolute curvature in Cartan-Hadamard 3-manifolds bound flat convex bodies.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Closed immersed surfaces in Cartan-Hadamard 3-manifolds that minimize total absolute curvature bound flat convex bodies. The proof proceeds by an isometric embedding construction that uses holonomy to realize the surface as the boundary of a convex body in a space of non-positive curvature, after which Pogorelov's theory of surfaces with bounded extrinsic curvature implies that the body must be flat.
What carries the argument
The total absolute curvature functional on closed immersed surfaces, minimized globally inside a Cartan-Hadamard 3-manifold, with the minimizer shown to bound a flat convex body via holonomy-based isometric embedding and Pogorelov's theory.
If this is right
- Minimal total absolute curvature surfaces are necessarily convex and bound regions of zero sectional curvature.
- The Chern-Lashof rigidity statement holds verbatim in every three-dimensional Cartan-Hadamard manifold.
- Convex hulls of closed curves in these manifolds satisfy new regularity properties derived from the same comparison techniques.
- Schur-type comparison theorems hold for curves, relating their curvature to geodesic curvature in the ambient space.
Where Pith is reading between the lines
- The result suggests that curvature-minimizing surfaces remain rigid even when the ambient space is allowed to have variable negative curvature.
- One could test whether the same conclusion persists for surfaces that are merely locally minimizing or for higher-dimensional submanifolds.
- The holonomy construction may adapt to other variational problems involving total curvature in spaces of bounded geometry.
Load-bearing premise
The surface is closed and immersed, and its total absolute curvature is the smallest possible among all such surfaces in the given manifold.
What would settle it
Exhibiting a closed immersed surface in some Cartan-Hadamard 3-manifold whose total absolute curvature is smaller than that of any surface bounding a flat convex body, or producing a minimal-curvature surface for which the holonomy embedding fails to yield a flat interior.
read the original abstract
We show that closed surfaces with minimal total absolute curvature in Cartan-Hadamard 3-manifolds bound flat convex bodies. This generalizes Chern-Lashof's theorem for surfaces in Euclidean space and solves a problem posed by Gromov in 1985. Our proof is based on an isometric embedding construction via holonomy, and uses Pogorelov's theory of surfaces with bounded extrinsic curvature. Along the way, we obtain a regularity result for convex hulls and a Schur-type comparison theorem for curves in Cartan-Hadamard manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that any closed immersed surface of globally minimal total absolute curvature in a 3-dimensional Cartan-Hadamard manifold bounds a flat convex body. This generalizes the classical Chern-Lashof theorem from Euclidean 3-space and resolves a 1985 question of Gromov. The argument proceeds by constructing an isometric embedding of the surface into R^3 via holonomy, then invoking Pogorelov's theory of surfaces with bounded extrinsic curvature to obtain convexity and flatness of the enclosed region. Additional results include a regularity theorem for convex hulls and a Schur-type comparison theorem for curves in Cartan-Hadamard manifolds.
Significance. If the central claim holds, the result is a substantial advance in global differential geometry: it extends a classical rigidity theorem to the non-positively curved setting and supplies a new holonomy-reduction technique that may apply to other comparison problems. The auxiliary regularity and comparison statements are of independent interest and strengthen the paper's contribution. The approach relies on classical tools (Chern-Lashof, Pogorelov) in a novel way rather than introducing ad-hoc parameters or self-referential constructions.
major comments (2)
- [Proof of the main theorem (holonomy embedding and Pogorelov application)] The reduction step that transfers Pogorelov's theory from R^3 to the image of the holonomy embedding requires explicit verification that the extrinsic curvature bound remains controlled and that the convexity notion is preserved when the original ambient sectional curvatures are only ≤0. If the comparison estimates used to bound the second fundamental form fail to carry over verbatim, the conclusion that the enclosed body is flat does not follow.
- [Section on the Schur-type comparison theorem] The Schur-type comparison theorem for curves is invoked to control total curvature minimality, but the statement should clarify whether the comparison constant depends on the ambient curvature bound or remains uniform; any dependence would affect the global minimality assumption used in the rigidity conclusion.
minor comments (2)
- [Introduction] The introduction should state Gromov's original problem verbatim so that readers can see precisely which formulation is being solved.
- [Notation and preliminaries] Notation for total absolute curvature should be fixed once at the beginning and used consistently; several passages switch between integral and pointwise expressions without comment.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and indicate the revisions we will make.
read point-by-point responses
-
Referee: [Proof of the main theorem (holonomy embedding and Pogorelov application)] The reduction step that transfers Pogorelov's theory from R^3 to the image of the holonomy embedding requires explicit verification that the extrinsic curvature bound remains controlled and that the convexity notion is preserved when the original ambient sectional curvatures are only ≤0. If the comparison estimates used to bound the second fundamental form fail to carry over verbatim, the conclusion that the enclosed body is flat does not follow.
Authors: We thank the referee for highlighting the need for explicit verification in this reduction. The holonomy embedding is constructed to be an isometric immersion into Euclidean 3-space, preserving lengths, angles, and the total absolute curvature. Because the ambient manifold has non-positive sectional curvature, the standard comparison theorems imply that the second fundamental form of the surface satisfies bounds at least as strong as those in the Euclidean case; in particular, the extrinsic curvature remains controlled by the same quantities that appear in the Euclidean Chern-Lashof theory. Convexity of the enclosed region is likewise preserved under the isometric embedding, since the image lies in flat space and the original surface bounds a region whose boundary curvature is controlled. We will add a short lemma (or a dedicated paragraph in the proof) that records these comparison estimates explicitly, thereby making the transfer from Pogorelov's theorem fully transparent. revision: partial
-
Referee: [Section on the Schur-type comparison theorem] The Schur-type comparison theorem for curves is invoked to control total curvature minimality, but the statement should clarify whether the comparison constant depends on the ambient curvature bound or remains uniform; any dependence would affect the global minimality assumption used in the rigidity conclusion.
Authors: The referee is correct that the dependence of the constant must be stated clearly. The Schur-type theorem we prove compares curves in the Cartan-Hadamard manifold with curves in the Euclidean plane; the resulting constant is uniform and independent of any specific upper bound on sectional curvature, provided only that the curvature is non-positive. This uniformity follows directly from the fact that non-positive curvature can only decrease the total curvature relative to the flat comparison, so the worst-case constant is attained when the ambient curvature is zero. We will revise the statement of the theorem and the paragraph immediately following it to record this independence explicitly. revision: yes
Circularity Check
No significant circularity; derivation relies on external classical results
full rationale
The paper's central claim generalizes the Chern-Lashof theorem via an isometric embedding construction using holonomy and an application of Pogorelov's theory of surfaces with bounded extrinsic curvature. Both are external classical results with no reduction of the target statement to fitted parameters, self-definitions, or load-bearing self-citations within the paper. The derivation chain remains independent of its own inputs, consistent with the reader's assessment of score 1.0 and the absence of any quoted equations or steps that collapse by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Cartan-Hadamard manifolds have non-positive sectional curvature and are simply connected
- domain assumption Pogorelov's theory applies to surfaces with bounded extrinsic curvature in these manifolds
Reference graph
Works this paper leans on
-
[1]
M. Aigner and G. M. Ziegler,Proofs from The Book, Springer-Verlag, Berlin, 1999. Including illustrations by Karl H. Hofmann, Corrected reprint of the 1998 original. MR1723092↑11
work page 1999
-
[2]
A. D. Aleksandrov and V. A. Zalgaller,Intrinsic geometry of surfaces, Translated from the Russian by J. M. Danskin. Translations of Mathematical Monographs, Vol. 15, American Mathematical Society, Providence, R.I., 1967. MR0216434↑8
work page 1967
-
[3]
S. Alexander, V. Kapovitch, and A. Petrunin,Alexandrov meets Kirszbraun, Proceedings of the Gökova Geometry-Topology Conference 2010, 2011, pp. 88–109. MR2931882↑17
work page 2010
-
[4]
236, American Mathematical Society, Providence, RI, [2024]©2024
,Alexandrov geometry—foundations, Graduate Studies in Mathematics, vol. 236, American Mathematical Society, Providence, RI, [2024]©2024. MR4734965↑11, 12
work page 2024
-
[5]
S. B. Alexander and R. L. Bishop,Comparison theorems for curves of bounded geodesic curvature in metric spaces of curvature bounded above, Differential Geom. Appl.6(1996), no. 1, 67–86. MR1384880↑11 20 M. GHOMI, J.A. HOISINGTON, M. RAFF AELLI, AND J.I. STA VROULAKIS
work page 1996
-
[6]
A.D.Alexandrov,Convex polyhedra,SpringerMonographsinMathematics,Springer-Verlag,Berlin,
-
[7]
Translated from the 1950 Russian edition by N. S. Dairbekov, S. S. Kutateladze and A. B. Sossinsky, With comments and bibliography by V. A. Zalgaller and appendices by L. A. Shor and Yu. A. Volkov. MR2127379 (2005j:52002)↑9
work page 1950
-
[8]
W. Ambrose and I. M. Singer,A theorem on holonomy, Trans. Amer. Math. Soc.75(1953), 428–
work page 1953
-
[9]
W. Ballmann,Vector bundles and connections, Lecture notes, Universität Bonn (2022).https: //people.mpim-bonn.mpg.de/hwbllmnn/archiv/conncurv1999.pdf.↑6
work page 2022
-
[10]
W. Ballmann, M. Gromov, and V. Schroeder,Manifolds of nonpositive curvature, Progress in Math- ematics, vol. 61, Birkhäuser Boston, Inc., Boston, MA, 1985. MR823981↑1, 2, 17
work page 1985
-
[11]
Boman,Differentiability of a function and of its compositions with functions of one variable, Math
J. Boman,Differentiability of a function and of its compositions with functions of one variable, Math. Scand.20(1967), 249–268. MR237728↑7
work page 1967
-
[12]
Borbély,On the smoothness of the convex hull in negatively curved manifolds, J
A. Borbély,On the smoothness of the convex hull in negatively curved manifolds, J. Geom.54 (1995), no. 1-2, 3–14. MR1358270↑2, 3, 4
work page 1995
-
[13]
A. A. Borisenko, A. Yu. Vesnin, and N. M. Ivochkina,On the 100th anniversary of the birth of Alekse˘ ı Vasil′evich Pogorelov, Uspekhi Mat. Nauk74(2019), no. 6(450), 171–193. MR4036778↑10
work page 2019
- [14]
-
[15]
M. R. Bridson and A. Haefliger,Metric spaces of non-positive curvature, Grundlehren der mathe- matischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer- Verlag, Berlin, 1999. MR1744486↑17, 18
work page 1999
- [16]
-
[17]
P. Cannarsa and C. Sinestrari,Semiconcave functions, Hamilton-Jacobi equations, and optimal control, Progress in Nonlinear Differential Equations and their Applications, vol. 58, Birkhäuser Boston, Inc., Boston, MA, 2004. MR2041617↑3
work page 2004
-
[18]
J. Cantarella, R. B. Kusner, and J. M. Sullivan,On the minimum ropelength of knots and links, Invent. Math.150(2002), no. 2, 257–286. MR1933586↑11
work page 2002
-
[19]
T. E. Cecil and S.-S. Chern (eds.),Tight and taut submanifolds, Mathematical Sciences Re- search Institute Publications, vol. 32, Cambridge University Press, Cambridge, 1997. MR1486867 (98f:53001)↑1, 19
work page 1997
-
[20]
J. Cheeger and D. Gromoll,On the structure of complete manifolds of nonnegative curvature, Ann. of Math. (2)96(1972), 413–443. MR0309010↑4
work page 1972
-
[21]
S. S. Chern,Curves and surfaces in Euclidean space, Studies in Global Geometry and Analysis, 1967, pp. 16–56. MR212744↑11
work page 1967
-
[22]
S.-S. Chern and R. K. Lashof,On the total curvature of immersed manifolds, Amer. J. Math.79 (1957), 306–318. MR0084811↑1, 11, 18
work page 1957
-
[23]
K. Cieliebak, Y. Eliashberg, and N. Mishachev,Introduction to theh-principle, Graduate Studies in Mathematics, vol. 239, American Mathematical Society, Providence, RI, [2024]©2024. Second edition [of 1909245]. MR4677522↑9
work page 2024
-
[24]
C. Epstein,The theorem of A. Schur in hyperbolic space, Preprint Princeton University (1985). http://www2.math.upenn.edu/~cle/papers/SchursLemma.pdf.↑11
work page 1985
-
[25]
H. Federer,Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag New York Inc., New York, 1969. MR0257325↑19
work page 1969
-
[26]
Ghomi,Convexity and rigidity of hypersurfaces in Cartan-Hadamard manifolds, Asian J
M. Ghomi,Convexity and rigidity of hypersurfaces in Cartan-Hadamard manifolds, Asian J. Math. 29(2025), no. 6, 761–772.↑1, 2, 4, 5, 11, 16, 17
work page 2025
-
[27]
M. Ghomi and R. Howard,Tangent cones and regularity of real hypersurfaces, J. Reine Angew. Math.697(2014), 221–247. MR3281655↑2, 3
work page 2014
-
[28]
M. Ghomi and J. Spruck,Total curvature and the isoperimetric inequality in Cartan-Hadamard manifolds, J. Geom. Anal.32(2022), no. 2, Paper No. 50, 54pp. MR4358702↑2, 3, 9, 10, 17, 18 TOTAL ABSOLUTE CUR V ATURE AND RIGIDITY OF SURF ACES 21
work page 2022
-
[29]
,Minkowski inequality in Cartan-Hadamard manifolds, Int. Math. Res. Not. IMRN20 (2023), 17892–17910. MR4659867↑2
work page 2023
-
[30]
,Rigidity of nonpositively curved manifolds with convex boundary, Proc. Amer. Math. Soc. 151(2023), no. 11, 4935–4940. MR4634894↑1, 17
work page 2023
-
[31]
M.GhomiandJ.I.Stavroulakis,A local isoperimetric inequality for balls with nonpositive curvature, Int. Math. Res. Not. IMRN6(2026), rnag043.↑2
work page 2026
- [32]
-
[33]
M. Ghomi and J. Wenk,Shortest closed curve to inspect a sphere, J. Reine Angew. Math.781 (2021), 57–84. MR4343095↑11
work page 2021
-
[34]
R. E. Greene and H. Wu,On the subharmonicity and plurisubharmonicity of geodesically convex functions, Indiana Univ. Math. J.22(1972/73), 641–653. MR0422686↑9
work page 1972
-
[35]
,Gap theorems for noncompact Riemannian manifolds, Duke Math. J.49(1982), no. 3, 731–756. MR672504↑17
work page 1982
-
[36]
M. Gromov,Lectures on immersions with controlled curvatures, arXiv:2511.01796 (2025).https: //arxiv.org/abs/2511.01796.↑11
-
[37]
P. Guan and Y. Li,The Weyl problem with nonnegative Gauss curvature, J. Differential Geom.39 (1994), no. 2, 331–342. MR1267893↑9
work page 1994
- [38]
-
[39]
Howard,Schur type comparison theorems for affine curves, J
R. Howard,Schur type comparison theorems for affine curves, J. Geom.115(2024), no. 1, Paper No. 3, 23. MR4679441↑11
work page 2024
-
[40]
Kleiner,An isoperimetric comparison theorem, Invent
B. Kleiner,An isoperimetric comparison theorem, Invent. Math.108(1992), no. 1, 37–47. MR1156385↑2, 18
work page 1992
-
[41]
B. R. Kloeckner and G. Kuperberg,The Cartan-Hadamard conjecture and the Little Prince, Rev. Mat. Iberoam.35(2019), no. 4, 1195–1258. MR3988083↑2
work page 2019
-
[42]
N. H. Kuiper,OnC 1-isometric imbeddings. I, II, Indag. Math.17(1955), 545–556, 683–689. Nederl. Akad. Wetensch. Proc. Ser. A58. MR75640↑9
work page 1955
-
[43]
,Minimal total absolute curvature for immersions, Invent. Math.10(1970), 209–238. MR0267597↑19
work page 1970
-
[44]
U. Lang and V. Schroeder,Kirszbraun’s theorem and metric spaces of bounded curvature, Geom. Funct. Anal.7(1997), no. 3, 535–560. MR1466337↑2, 17
work page 1997
-
[45]
López,The theorem of Schur in the Minkowski plane, J
R. López,The theorem of Schur in the Minkowski plane, J. Geom. Phys.61(2011), no. 1, 342–346. MR2747005↑11
work page 2011
-
[46]
A. Lytchak and A. Petrunin,About every convex set in any generic Riemannian manifold, J. Reine Angew. Math.782(2022), 235–245. MR4360005↑4
work page 2022
-
[47]
L. F. McAuley,A topological Reeb-Milnor-Rosen theorem and characterizations of manifolds, Bull. Amer. Math. Soc.78(1972), 82–84. MR287524↑19
work page 1972
-
[48]
R. A. E. Mendes,Diameter and focal radius of submanifolds, Ann. Global Anal. Geom.68(2025), no. 2, Paper No. 4, 6. MR4927774↑11
work page 2025
-
[49]
Milnor,Differential topology, Lectures on Modern Mathematics, Vol
J. Milnor,Differential topology, Lectures on Modern Mathematics, Vol. II, 1964, pp. 165–183. MR178474↑19
work page 1964
-
[50]
Nash,C 1 isometric imbeddings, Ann
J. Nash,C 1 isometric imbeddings, Ann. of Math. (2)60(1954), 383–396. MR0065993 (16,515e)↑9
work page 1954
-
[51]
Ni,A Schur’s theorem via a monotonicity and the expansion module, J
L. Ni,A Schur’s theorem via a monotonicity and the expansion module, J. Reine Angew. Math. 805(2023), 101–114. MR4669033↑11
work page 2023
-
[52]
M. R. Pakzad,Convexity of weakly regular surfaces of distributional nonnegative intrinsic curvature, J. Funct. Anal.287(2024), no. 11, Paper No. 110616, 24. MR4790894↑10
work page 2024
-
[53]
Convex surfaces with minimal total curvature in Cartan-Hadamard 3- space
A. Petrunin,Answer to “Convex surfaces with minimal total curvature in Cartan-Hadamard 3- space”, mathoverflow.net (2022).http://mathoverflow.net/questions/423877.↑2
work page 2022
-
[54]
A. Petrunin and S. Z. Barrera,What is differential geometry: curves and surfaces, arXiv:2012.11814 (2022).↑11 22 M. GHOMI, J.A. HOISINGTON, M. RAFF AELLI, AND J.I. STA VROULAKIS
-
[55]
A. V. Pogorelov,Extrinsic geometry of convex surfaces, American Mathematical Society, Provi- dence, R.I., 1973. Translated from the Russian by Israel Program for Scientific Translations, Trans- lations of Mathematical Monographs, Vol. 35. MR0346714 (49 #11439)↑2, 10, 11
work page 1973
-
[56]
Yu. G. Reshetnyak,Non-expansive maps in a space of curvature no greater thanK, Sibirsk. Mat. Ž.9(1968), 918–927 [English translation in Siberian Math. J.9(1968), 683–687]. MR0244922↑2, 11
work page 1968
-
[57]
Ritoré,Isoperimetric inequalities in Riemannian manifolds, Progress in Mathematics, vol
M. Ritoré,Isoperimetric inequalities in Riemannian manifolds, Progress in Mathematics, vol. 348, Birkhäuser/Springer, Cham, [2023]©2023. MR4676392↑2
work page 2023
-
[58]
W. Rudin,Principles of mathematical analysis, Third, International Series in Pure and Applied Mathematics, McGraw-Hill Book Co., New York-Auckland-Düsseldorf, 1976. MR385023↑16
work page 1976
-
[59]
G. T. Sallee,Stretching chords of space curves, Geometriae Dedicata2(1973), 311–315. MR336560 ↑11
work page 1973
-
[60]
R. Schneider,Convex bodies: the Brunn-Minkowski theory, expanded, Encyclopedia of Mathematics and its Applications, vol. 151, Cambridge University Press, Cambridge, 2014. MR3155183↑12
work page 2014
-
[61]
V. Schroeder and M. Strake,Local rigidity of symmetric spaces of nonpositive curvature, Proc. Amer. Math. Soc.106(1989), no. 2, 481–487. MR929404↑1, 17
work page 1989
-
[62]
Seshadri,An elementary approach to gap theorems, Proc
H. Seshadri,An elementary approach to gap theorems, Proc. Indian Acad. Sci. Math. Sci.119 (2009), no. 2, 197–201. MR2526423↑17
work page 2009
-
[63]
Solanes,Total absolute curvature and tight submanifolds in hyperbolic space, J
G. Solanes,Total absolute curvature and tight submanifolds in hyperbolic space, J. Lond. Math. Soc. (2)75(2007), no. 2, 420–430. MR2340236↑19
work page 2007
-
[64]
J. Strantzen and J. Brooks,A chord-stretching map of a convex loop is an isometry, Geom. Dedicata 41(1992), no. 1, 51–62. MR1147501↑11, 17
work page 1992
-
[65]
J. M. Sullivan,Curves of finite total curvature, Discrete differential geometry, 2008, pp. 137–161. MR2405664↑11, 12
work page 2008
-
[66]
T. J. Willmore and B. A. Saleemi,The total absolute curvature of immersed manifolds, J. London Math. Soc.41(1966), 153–160. MR185553↑2 School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 Email address:ghomi@math.gatech.edu URL:www.math.gatech.edu/~ghomi Dept. of Mathematics, Rose-Hulman Inst. of Technology, Terre Haute, IN 47803 Emai...
work page 1966
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.