Pith. sign in

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 →

arxiv 2608.05119 v2 pith:7IFSYYO5 submitted 2026-08-05 math.DG

classification math.DG MSC 53C4253E10
keywords AlexandrovtheoremconstantweightedmeancurvatureHeintze–Karcherinequalityself-expanderslog-convexweightsMinkowskiformulasradiallysymmetricdensitiesmanifolds
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper aims to classify closed embedded hypersurfaces with constant weighted mean curvature in weighted Euclidean and hyperbolic space. Its main result says that in expander space $(\mathbb{R}^{n+1},\delta,e^{\alpha|x|^2}d\lambda)$ with $\alpha>0$, every such hypersurface with $H_\rho=H+2\alpha\langle x,\nu\rangle\neq0$ is a round sphere centered at the origin. A second theorem extends this rigidity to hyperbolic space and to radially symmetric weights whose defining function $\psi$ satisfies a differential inequality $A_\kappa(r)\ge0$. The proof works by combining a weighted Minkowski identity with a new weighted Heintze–Karcher inequality; if true, it gives a sharp rigidity statement for $\lambda$-self-expanders and for a natural class of isoperimetric weights.

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.

Watch

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 extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

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)
  1. [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.
  2. [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)
  1. [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.
  2. [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'.
  3. [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.
  4. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 4 assumptions · 0 invented entities

The central proof adds no fitted parameters and creates no new entities. It relies on standard theorems: the Jordan-Brouwer separation theorem, segment-domain properties of the normal exponential map, and the standard evolution equations for normal hypersurface flows. Appendix B additionally assumes smoothness of the weight at the origin. The appendix proof of the general theorem is a sketch, so readers must supply missing details before treating Theorem 1.2 as fully established.

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.
    Used in Section 4 to define Omega and the orientation for the Heintze-Karcher inequality.
  • 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].
    The proof of the weighted Heintze-Karcher inequality relies on Phi mapping the segment domain onto Omega and the smoothness of parallel surfaces.
  • standard math Evolution equations for a normal flow of hypersurfaces in Euclidean and constant curvature spaces, cited as Huisken-Polden [18].
    Used in Proposition 4.4 and Appendix A to evolve the weighted mean curvature along the conformal flow.
  • domain assumption Smoothness of the radial weight at the origin gives psi-prime(0) = 0.
    Appendix B's contradiction argument assumes psi-prime(0) = 0 when integrating from 0; this is not stated as a hypothesis of Theorem 1.2 but holds for smooth weights at the origin.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. An Alexandrov-type theorem in warped product manifolds with radial density

    math.DG 2026-08 accept novelty 7.0 of 10

    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

32 extracted references · 32 canonical work pages · cited by 1 Pith paper

  1. [1]

    A. D. Aleksandrov,Uniqueness theorems for surfaces in the large. I–III,Vestn. Leningr. Univ., Mat. Mekh. Astron. 11, 5–17 (1956)

  2. [2]

    Ancari and X

    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)

  3. [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. [4]

    Batista, M

    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)

  5. [5]

    Borghini, M

    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)

  6. [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

  7. [7]

    Brendle, S

    S. Brendle, S. Hirsch and F. Johne, A generalization of Geroch’s conjecture, Commun. Pure Appl. Math. 77, 441–456 (2024)

  8. [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)

Show all 32 references
  1. [9]

    Cheng and G

    Q.-M. Cheng and G. Wei,Examples of compactλ-hypersurfaces in Euclidean spaces, Sci. China, Math. 64, 155-166 (2021)

  2. [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)

  3. [11]

    Colding and W

    T. Colding and W. Minicozzi,Generic mean curvature flow. I: Generic singularities,Ann. Math. (2) 175, 755-833, 2012

  4. [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)

  5. [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)

  6. [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)

  7. [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)

  8. [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)

  9. [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)

  10. [18]

    Huisken and A

    G. Huisken and A. Polden,Geometric evolution equations for hypersurfaces,Lecture Notes from Cetraro 1996, Springer, 45–84 (1999)

  11. [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)

  12. [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)

  13. [21]

    J. M. Lee,Introduction to Riemannian manifolds,2nd edition, Grad. Texts Math., Springer, volume 176 (2018)

  14. [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)

  15. [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)

  16. [24]

    Morgan,Manifolds with density, Notices Am

    F. Morgan,Manifolds with density, Notices Am. Math. Soc. 52, 853–858 (2005)

  17. [25]

    Petersen,Riemannian Geometry,3rd edition, Grad

    P. Petersen,Riemannian Geometry,3rd edition, Grad. Texts Math., Springer, volume 171 (2016)

  18. [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)

  19. [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)

  20. [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)

  21. [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)

  22. [30]

    Simons,Minimal varities in Riemannian manifolds,Ann

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

  23. [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)

  24. [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),...

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.