REVIEW 2 major objections 4 minor 1 cited by
Alexandrov Theorem for constant weighted mean curvature surfaces
T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read This paper proves that, in expander space with a log-convex radial weight, any closed embedded hypersurface with nonzero constant weighted mean curvature must be a round sphere centered at the origin, and it extends the conclusion to…
desk verdict The expander-weight Alexandrov theorem is solid and the main proof holds up; the advertised generalization is a sketch with real gaps in the appendix. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the weighted Heintze–Karcher inequality (Theorem 4.1): for a closed embedded hypersurface $\Sigma$ with $H_\rho>0$ bounding $\Omega$ in expander space, $$\int_\$\Omega$ (n+1+2\$\alpha$|x|^2)\,d\lambda_\rho \le \int_\Sigma \frac{n+2\$\alpha$|x|^2}{H_\rho}\,d\sigma_\rho,$$ with equality only for a sphere centered at the origin. The proof flows the hypersurface by parallel surfaces with respect to the conformal metric $g=\phi^{-2}\delta$, where $\phi(x)=n+2\alpha|x|^2$, using the normal exponential map and segment-domain properties of the enclosed region. Complementing this is a pointwise trace identity (Lemma 3.2) relating $|h|^2$, $H_\rho$, and $|x|^2$; its nonnegative right-hand side vanishes exactly on centered spheres, which is what turns equality in the Heintze–Karcher inequality into the rigidity conclusion.
What would settle it
Take a smooth closed embedded hypersurface in expander space that is not a centered sphere and compute the inward normal exponential map with respect to the conformal metric $g=\phi^{-2}\delta$, where $\phi(x)=n+2\alpha|x|^2$. If any point of the enclosed region is not reached by a unique inward normal geodesic segment, or if a focal point appears before the region is covered, then the foliation property (Proposition 4.2) fails and the paper's proof of the Heintze–Karcher inequality would no longer apply to that surface.
Extended reading notes
Core claim
The central claim is that closed embedded hypersurfaces with constant nonzero weighted mean curvature are rigid in a wide class of weighted spaces. In expander space, Theorem 1.1 states that for $n\ge2$ and $\alpha>0$, a closed, connected, embedded submanifold of $(\mathbb{R}^{n+1},\delta,e^{\alpha|x|^2}d\lambda)$ with constant weighted mean curvature $H_\rho\neq0$ must be a round sphere centered at the origin. Theorem 1.2 generalizes this to simply connected spaces of constant nonpositive curvature $\kappa\le0$ with a radially symmetric weight $\rho(x)=e^{\psi(r(x))}$, provided $\psi'(r)\ge0$ and a certain differential quantity $A_\kappa(r)\ge0$; the conclusion is that the hypersurface is a geodesic sphere centered at the origin. The argument enforces equality in the weighted Heintze–Karcher inequality, and the equality case forces the hypersurface to be totally umbilic with zero tangential position, hence a centered sphere.
Load-bearing premise
The proof assumes that, in the conformal metric, flowing the hypersurface inward along normal geodesics produces a smooth nested family of surfaces that fills the entire enclosed region without gaps or self-overlaps; if this foliation property fails, the integration-by-coarea step that proves the Heintze–Karcher inequality collapses.
Editorial extensions
If this is right
- In expander space, closed embedded $\lambda$-self-expanders with $\lambda\neq0$ are exactly round spheres centered at the origin, sharpening the known rigidity picture for self-similar solutions to mean curvature flow.
- For any radially symmetric weight satisfying $A_\kappa(r)\ge0$ in Euclidean or hyperbolic space of nonpositive curvature, the only closed embedded constant-weighted-mean-curvature hypersurfaces are geodesic spheres centered at the origin.
- The weighted Heintze–Karcher inequality provides a sharp weighted-volume bound in terms of weighted area and weighted mean curvature, with equality characterizing centered spheres.
- The trace inequality of Lemma 3.2 detects centered spheres through vanishing of a nonnegative identity; this mechanism fails for the shrinker weight $e^{-\alpha|x|^2}$, consistent with known non-round examples of compact $\lambda$-hypersurfaces.
- The method yields a general template: a weighted Minkowski formula plus a weighted Heintze–Karcher inequality with a sharp equality case implies an Alexandrov-type rigidity theorem.
Reading between the lines
- Editorial inference: the same proof scheme could plausibly extend to other rotationally symmetric warped products, provided an analogous trace decomposition stays nonnegative and the conformal normal exponential map still foliates the enclosed region, but this is not established in the paper.
- Editorial inference: the differential inequality $A_\kappa(r)\ge0$ may be close to necessary for the method, since the paper notes that asymptotically linear weights such as $\psi(r)=\sqrt{1+r^2}$ violate it and could be natural candidates where non-spherical constant-weighted-mean-curvature surfaces might exist.
- Editorial inference: one could test the sharpness of the method by checking the sign of the trace decomposition for the marginal weight $\psi(r)=\sqrt{1+r^2}$ in Euclidean space; a sign change would predict where the rigidity conclusion might break down.
- Editorial inference: if the foliation property used in the proof fails for a concrete embedded surface, the Heintze–Karcher inequality might still hold, but a different proof would be needed; the paper does not address such cases.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an Alexandrov-type rigidity theorem for closed embedded hypersurfaces with nonzero constant weighted mean curvature in Euclidean space with the expander weight ρ=exp(α|x|^2). The proof combines a weighted Minkowski identity (Lemma 3.1), a new trace inequality for the second fundamental form (Lemma 3.2), and a weighted Heintze–Karcher inequality (Theorem 4.1) obtained by flowing Σ by parallel surfaces in the conformal metric g=φ^{-2}δ. Theorem 1.1 states that such a hypersurface is a round sphere centered at the origin. The paper further announces Theorem 1.2, extending the result to radially symmetric weights in simply connected space forms of nonpositive curvature, with the proof relegated to two appendices that are explicitly labeled a sketch. An addendum discloses simultaneous independent work by Bai and Xia.
Significance. Theorem 1.1 is a clean and nontrivial result: it gives an Alexandrov theorem for λ-self expanders with λ≠0 under no convexity or pinching assumption, and the proof is essentially self-contained, relying on explicit pointwise identities rather than a moving-plane argument. The conformal-flow method and the trace inequality are elegant and likely to be reusable. The generalization announced in Theorem 1.2, if fully proved, would be a substantial extension to a large class of radially symmetric log-convex weights in hyperbolic space. At present, however, the advertised generalization rests on a sketch whose equality case and a key limiting argument are not established, so the paper's central solid contribution is the Euclidean expander theorem.
major comments (2)
- [Appendix A, Theorem A.3] The equality case in Theorem A.3 is asserted but never proved: the proof is labeled a sketch and, after deriving the differential inequality for ∂_t H_ρ, it stops with 'The conclusion follows by integration...' and contains no argument that equality in (10) forces equality in Lemma A.2 and in the discarded nonnegative terms. Since Theorem 1.2 is derived from Theorem A.3 in the same way Theorem 1.1 is derived from Theorem 4.1, the advertised Alexandrov theorem for general weights is not established as written.
- [Appendix B, equation (11)] The limiting step after equation (11) is not justified: inequality (11) is stated for s∈(a,b) with a>0, yet the text divides by s>0 and sends s to 0, which is outside the admissible interval. The conclusion that d/dr(r^{n+1}ψ'(r)) evaluated at r=a is ≤0 therefore does not follow from the displayed inequality; as a result the claim that A_0≥0 implies log-convexity is not proved. This matters because the introduction advertises the class of weights as log-convex weights and because the monotonicity of D(r) and the strict positivity of ψ'(r) on (a,b) are used in the same argument.
minor comments (4)
- [Section 4, Proposition 4.2] The segment-domain properties are imported from Brendle [6, Proposition 3.1] without a sentence verifying the hypotheses for the conformal metric g=φ^{-2}δ; since Ω is the bounded component enclosed by the closed embedded hypersurface, Ω is compact and φ=n+2α|x|^2 is smooth and bounded away from zero there, so the application is plausible but should be stated explicitly.
- [Theorem 1.2 and Section 4] There are several typographical errors: 'wegithed' in Theorem 1.2, 'Morevoer' in Section 4, and 'satisties' in Proposition 4.5; the title also has an odd spacing in 'CUR V ATURE'.
- [Appendix B] The proof uses the 'regularity assumption ψ'(0)=0' although ψ is introduced as a function on (0,∞) in Theorem 1.2; if this condition follows from smoothness of the radially symmetric weight at the origin, that implication should be stated.
- [Lemma 3.2] In the equality characterization, the step from total umbilicity to 'Σ is a sphere' uses the classical classification of closed totally umbilical hypersurfaces in Euclidean space; a citation or one-line justification would make the proof self-contained.
Circularity Check
No circularity: the expander-space Alexandrov theorem is derived from fresh integral identities and an external Heintze–Karcher argument; Appendix gaps are incompleteness, not circularity.
full rationale
The central claim, Theorem 1.1, is derived without assuming its conclusion. The proof combines the weighted Minkowski identity (Lemma 3.1), the pointwise trace inequality for the expander weight (Lemma 3.2), and the weighted Heintze–Karcher inequality (Theorem 4.1). The Heintze–Karcher inequality is proved by an evolving-family argument using parallel surfaces with respect to the conformal metric g = phi^{-2} delta, importing the segment-domain properties as Proposition 3.1 of Brendle's external work [6]. The equality case is reduced to equality in the explicitly proved pointwise identity of Lemma 3.2, which forces a centered round sphere. No parameter is fitted, no data subset is used to produce a renamed prediction, and no load-bearing result is justified only by a self-citation. The only self-citations are contextual: equation (2) is compared with [7] (which includes one current author) but is not used in the proof of the main theorem, and [29] is cited only for motivation regarding the isoperimetric problem. The generalization in Theorem 1.2 rests on Appendix A, which is explicitly labeled a sketch and omits the equality-case argument, and Appendix B contains a limiting step that is not justified as written; however, these are gaps in proof completeness or correctness risk, not circularity, because the stated assumptions do not include the target classification and no conclusion is smuggled in by definition.
Assumptions & free parameters
assumptions (4)
- standard math Jordan-Brouwer separation theorem for a closed embedded hypersurface: Sigma bounds a bounded domain Omega with a well-defined outward normal.
- standard math Segment-domain properties of the normal exponential map for a closed hypersurface in a conformal metric, quoted from Brendle [6, Proposition 3.1].
- standard math Evolution equations for a normal flow of hypersurfaces in Euclidean and constant curvature spaces, cited as Huisken-Polden [18].
- domain assumption Smoothness of the radial weight at the origin gives psi-prime(0) = 0.
Cite this review
Pith. "Pith review of Alexandrov Theorem for constant weighted mean curvature surfaces." pith.science (2026). https://pith.science/paper/7IFSYYO5
@misc{pith2026260805119,
author = {Pith},
title = {Pith review of: Alexandrov Theorem for constant weighted mean curvature surfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/7IFSYYO5}},
note = {Machine review of arXiv:2608.05119}
}
abstract
We prove a Heintze--Karcher type inequality for a large class of log-convex weights in Euclidean and Hyperbolic spaces. As a consequence we obtain an Alexandrov theorem for $\lambda$-self expanders.
Forward citations
Cited by 1 Pith paper
-
An Alexandrov-type theorem in warped product manifolds with radial density
Every closed embedded lambda-self-expander in Euclidean space is a round sphere centered at the origin, proved through a new weighted Heintze-Karcher inequality.
Reference graph
Works this paper leans on
-
[1]
A. D. Aleksandrov,Uniqueness theorems for surfaces in the large. I–III,Vestn. Leningr. Univ., Mat. Mekh. Astron. 11, 5–17 (1956)
work page 1956
-
[2]
S. Ancari and X. Cheng,Some rigidity properties forλ-self-expanders, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 230, Id/No 113230, 17 p. (2023)
work page 2023
-
[3]
An Alexandrov-type theorem in warped product manifolds with radial density
J. Bai and C. Xia,An Alexandrov-type theorem in warped product manifolds with radialy density, arXiv:2608.08548
-
[4]
M. Batista, M. P. Cavalcanta and J. Pyo,Some isoperimetric inequalities and eigenvalue estimates in weighted manifolds, J. Math. Anal. Appl. 419, 617–629 (2014)
work page 2014
-
[5]
S. Borghini, M. Fogagnolo and A. Pinamonti,The equality case in the substatic Heintze-Karcher inequality, Arch. Ration. Mech. Anal., 248, No. 108, 26p. (2024)
work page 2024
-
[6]
Brendle,Constant mean curvature surfaces in warped product manifolds,Publ
S. Brendle,Constant mean curvature surfaces in warped product manifolds,Publ. Math., Inst. Hautes Étud. Sci. 117, 247–269 (2013) 16 FLORIAN JOHNE AND LAURO SILINI
work page 2013
-
[7]
S. Brendle, S. Hirsch and F. Johne, A generalization of Geroch’s conjecture, Commun. Pure Appl. Math. 77, 441–456 (2024)
work page 2024
-
[8]
Chambers, Proof of the log-convex density conjecture, J
G. Chambers, Proof of the log-convex density conjecture, J. Eur. Math. Soc. (JEMS) 21, 2301–2332 (2019)
work page 2019
Show all 32 references
-
[9]
Cheng and G
Q.-M. Cheng and G. Wei,Examples of compactλ-hypersurfaces in Euclidean spaces, Sci. China, Math. 64, 155-166 (2021)
2021
-
[10]
Cheng, J
Q.-M. Cheng, J. Lai and G. Wei,Examples of compact embedded convexλ-hypersurfaces, J. Funct. Anal. 286, No 110211, 15 p. (2024)
2024
-
[11]
Colding and W
T. Colding and W. Minicozzi,Generic mean curvature flow. I: Generic singularities,Ann. Math. (2) 175, 755-833, 2012
2012
-
[12]
Fogagnolo and A
M. Fogagnolo and A. Pinamonti,New integral estimates in substatic Riemannian manifolds and the Alexandrov theorem, J. Math. Pures Appl. (9), 163, 299–317 (2022)
2022
-
[13]
Hopf,Über Flächen mit einer Relation zwischen den Hauptkrümmungen,Math
H. Hopf,Über Flächen mit einer Relation zwischen den Hauptkrümmungen,Math. Nachr. 4, 232–249 (1951)
1951
-
[14]
Hopf,Differential Geometry in the Large
H. Hopf,Differential Geometry in the Large. Seminar lectures New York University 1946 and Stanford University 1956,Springer, Lect. Notes Math. 1000 (1989)
1989
-
[15]
Hsiang,Generalized rotational hypersurfaces of constant mean curvature in the euclidean spaces
W.-Y. Hsiang,Generalized rotational hypersurfaces of constant mean curvature in the euclidean spaces. I,J. Differ. Geom. 17, 337–356 (1982)
1982
-
[16]
Hsiang, Z.-H
W.-Y. Hsiang, Z.-H. Teng and W.-C.Yu,Examples of constant mean curvature immersions of the 3-sphere into Euclidean 4-space,Proc. Natl. Acad. Sci. USA 79, 3931–3932 (1982)
1982
-
[17]
Huisken,Asymptotic behavior for singularities of the mean curvature flow,J
G. Huisken,Asymptotic behavior for singularities of the mean curvature flow,J. Differ. Geom. 31, 285–299 (1990)
1990
-
[18]
Huisken and A
G. Huisken and A. Polden,Geometric evolution equations for hypersurfaces,Lecture Notes from Cetraro 1996, Springer, 45–84 (1999)
1999
-
[19]
Jellett,Sur la surface dont la courbure moyenne est constante,Journal de Mathématiques Pures et Ap- pliquées 18, 163–167 (1853)
J.-H. Jellett,Sur la surface dont la courbure moyenne est constante,Journal de Mathématiques Pures et Ap- pliquées 18, 163–167 (1853)
-
[20]
Li and C
J. Li and C. Xia,An integral formula and its applications on sub-static manifolds, J. Differ. Geom., 113, 493–518 (2019)
2019
-
[21]
J. M. Lee,Introduction to Riemannian manifolds,2nd edition, Grad. Texts Math., Springer, volume 176 (2018)
2018
-
[22]
Liebmann,Ueber die Verbiegung der geschlossenen Flächen positiver Krümmung,Math
H. Liebmann,Ueber die Verbiegung der geschlossenen Flächen positiver Krümmung,Math. Ann. 53, 81—112 (1900)
1900
-
[23]
Montiel and A
S. Montiel and A. Ros,Compact hypersurfaces: The Alexandrov theorem for higher order mean curvatures, Differential geometry. A symposium in honour of Manfredo do Carmo, 279–296 (1991)
1991
-
[24]
Morgan,Manifolds with density, Notices Am
F. Morgan,Manifolds with density, Notices Am. Math. Soc. 52, 853–858 (2005)
2005
-
[25]
Petersen,Riemannian Geometry,3rd edition, Grad
P. Petersen,Riemannian Geometry,3rd edition, Grad. Texts Math., Springer, volume 171 (2016)
2016
-
[26]
Reilly,Applications of the Hessian operator in a Riemannian manifold,Indiana Univ
R. Reilly,Applications of the Hessian operator in a Riemannian manifold,Indiana Univ. Math. J. 26, 459–472 (1977)
1977
-
[27]
Ros,Compact hypersurfaces with constant higher order mean curvatures,Rev
A. Ros,Compact hypersurfaces with constant higher order mean curvatures,Rev. Math. Ibreoam. 3, 447–453 (1987)
1987
-
[28]
Ros,Compact hypersurfaces with constant scalar curvature and a congruence theorem,J
A. Ros,Compact hypersurfaces with constant scalar curvature and a congruence theorem,J. Differ. Geom. 27, 215–220 (1988)
1988
-
[29]
Silini,Approaching the isoperimetric problem inH m C via the hyperbolic log-convex density conjecture,Calc
L. Silini,Approaching the isoperimetric problem inH m C via the hyperbolic log-convex density conjecture,Calc. Var. Partial Differ. Equ. 63:11, 27p. (2024)
2024
-
[30]
Simons,Minimal varities in Riemannian manifolds,Ann
J. Simons,Minimal varities in Riemannian manifolds,Ann. Math. (2) 88, 62–105 (1968)
1968
-
[31]
Stone,A density function and the structure of singularities of the mean curvature flow, Calc
A. Stone,A density function and the structure of singularities of the mean curvature flow, Calc. Var. Partial Differ. Equ. 2, 443–480 (1994)
1994
-
[32]
Wente,Counterexample to a conjecture of H
H. Wente,Counterexample to a conjecture of H. Hopf,Pac. J. Math 121, 193–243 (1986) Mathematisches Institut, Universität Freiburg, Ernst-Zermelo Str. 1, 79104 Freiburg, Germany Email address:florian.johne@math.uni-freiburg.de Institute of Science and Technology Austria (ISTA),...
1986
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.