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

Chao Xia; Jinchuan Bai

REVIEW 3 major objections 4 minor 23 references

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

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every closed embedded λ-self-expander in flat space is a round sphere centered at the origin.

desk verdict The main result is real and important, but the proof of Theorem 1.1 has a repairable gap: it cites the wrong theorem and ignores the pole. read the letter →

arxiv 2608.08548 v2 pith:FXROPO7W submitted 2026-08-09 math.DG

Jinchuan Bai , Chao Xia This is my paper · ORCID

classification math.DG MSC 53C4253C2153C24

keywords weightedmeancurvatureself-expandersHeintze-KarcherinequalityAlexandrov-typetheoremwarpedproductmanifoldsradialdensityanti-Gaussiantotalumbilicity

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

In a Riemannian manifold carrying a radial density, the paper asks what a closed embedded hypersurface with constant weighted mean curvature must look like. It proves that, in a broad class of warped product spaces satisfying a weighted curvature condition, such a hypersurface must be one of two explicit shapes: a coordinate slice, or a totally umbilical hypersurface lying where the density potential is constant. The flagship case is flat space $\mathbb{R}^{m+1}$ with the anti-Gaussian density $e^{|x|^2/4}$: there, a closed embedded $\lambda$-self-expander, meaning a surface solving $H + \tfrac12\langle x,\nu\rangle = \lambda$, must be a round sphere centered at the origin. This matters because self-expanders describe how mean curvature flow can emerge from conical singularities, and the theorem sharply restricts the closed expanders that can occur.

What carries the argument

The central object is the compatibility quantity $C_{\lambda,\varphi}=V''+\bigl((m-1)\lambda'/\lambda-\varphi'\bigr)V'+T_{\lambda,\kappa_N}V+2\varphi'\lambda' V/\lambda$, where $V=m\lambda'-\varphi'\lambda$ and $T_{\lambda,\kappa_N}$ encodes the Ricci curvature of the fiber $N$. Nonnegativity of $C_{\lambda,\varphi}$ is exactly the weighted sub-static condition (5), which guarantees via Lemma 2.5 that the ratio $H_\varphi/V$ is monotone nondecreasing under the inward normal flow in the conformal metric $\hat g=V^{-2}\bar g$. The proof flows each hypersurface inward at speed $V$, bounds the evolution of $H_\varphi/V$ pointwise, integrates along the flow, and uses a weighted coarea formula to convert the boundary integral into the volume integral of the inequality. Equality in the pointwise Cauchy–Schwarz estimate at the initial surface then forces total umbilicity together with a degeneracy condition that yields the two rigidity alternatives.

What would settle it

Search numerically in $\mathbb{R}^3$ with the density $e^{|x|^2/4}$ for a smooth closed embedded surface satisfying $H + \tfrac12\langle x,\nu\rangle = \lambda$ for some constant $\lambda$ that is not a round sphere centered at the origin; the theorem asserts that no such surface exists for any $\lambda$.

Watch

Extended reading notes

Core claim

The paper establishes a weighted Heintze–Karcher inequality for closed embedded hypersurfaces in warped products $N^m\times[0,\bar r)$ with metric $dr^2+\lambda(r)^2 g_N$ and density $e^{-\varphi(r)}$. If the compatibility quantity $C_{\lambda,\varphi}$ defined by (15) is nonnegative, then any smooth closed embedded hypersurface with $H_\varphi>0$ satisfies an integral lower bound relating the boundary integral of $V/H_\varphi$ to the weighted volume of the enclosed domain, where $V=m\lambda'-\varphi'\lambda$. Equality forces the hypersurface to be either a coordinate slice $N\times\{r_0\}$ or a totally umbilical hypersurface contained in the region where $\varphi$ is constant. In the flat case $\lambda(r)=r$, $\varphi(r)=-r^2/4$, the quantity $C_{\lambda,\varphi}$ is identically zero, so the inequality applies, and a weighted Minkowski identity shows that any closed embedded $\lambda$-self-expander saturates it. The equality analysis then makes the surface totally umbilical, and the expander equation $H+\tfrac12\langle x,\nu\rangle=\lambda$ forces the center of the sphere to be the origin.

Load-bearing premise

The argument hinges on the curvature condition $C_{\lambda,\varphi}\ge 0$, which keeps $H_\varphi/V$ monotone along the normal flow; for the flat anti-Gaussian expander case this condition holds identically, but for the general warped-product theorems it is a restrictive structural assumption, and if it fails the monotonicity that produces the inequality may fail as well.

Editorial extensions

If this is right

Every closed embedded $\lambda$-self-expander in $\mathbb{R}^{m+1}$ with the anti-Gaussian density is a round sphere centered at the origin, for every real constant $\lambda$.
In warped product manifolds with radial density satisfying the structural conditions, any closed embedded constant-weighted-mean-curvature hypersurface is either a coordinate slice or a totally umbilical hypersurface where the density potential is constant.
The weighted Heintze–Karcher inequality gives a concrete lower bound on the boundary integral $\int_\Sigma V/H_\varphi\,d\sigma_\varphi$ in terms of the weighted volume of the enclosed domain, with a complete equality characterization.
The $\lambda=0$ case is included: closed embedded self-expanders in flat space are centered round spheres, which constrains the closed models available for flows emerging from conical singularities.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

For densities where $C_{\lambda,\varphi}$ is strictly positive rather than zero, the evolution inequality is strict, so the same proof should yield strict inequality in the weighted Heintze–Karcher bound and a quantitative closeness-to-rigidity statement for hypersurfaces nearly satisfying the constant weighted mean curvature equation; this is not asserted in the paper.
The conformal-metric normal flow is not tied to the closed case, so a natural testable extension is a capillary or free-boundary version of the inequality for hypersurfaces with boundary meeting a supporting surface at a constant weighted angle.
If the monotonicity assumption $\varphi'\le 0$ is dropped, condition (11) is used in several steps, so constructing a radial weight with $\varphi'>0$ and a non-slice $\varphi$-CMC hypersurface would delimit the theorem; the paper does not treat that regime.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The main theorem is real and the paper is worth refereeing, but the printed proof of Theorem 1.1 has a gap the authors should fix: after verifying C_{λ,φ}=0 in Euclidean space, they write that the result follows from Theorem 4.1. It doesn't. Theorem 4.1 is the Heintze-Karcher inequality; it says nothing about constant weighted mean curvature. The correct step is to invoke Theorem 4.3 (the Alexandrov-type rigidity theorem), whose hypotheses are satisfied, or to combine the Minkowski identity (Lemma 2.2) with the equality case of Theorem 4.1. The ingredients are all in the paper, so this is a repairable citation error rather than a mathematical flaw.

There is a second, smaller omission: Theorem 4.1 and 4.3 are stated for hypersurfaces contained in N×(0, bar r), avoiding the pole. Theorem 1.1 does not exclude a closed embedded λ-self-expander passing through the origin. The proof doesn't say how to handle r=0. Again likely fixable by approximation or by extending the flow argument, but it should be written.

What is genuinely new: the weighted Heintze-Karcher inequality for warped products with radial density, the structural condition C_{λ,φ}≥0, and the resulting Alexandrov-type theorem for φ-CMC hypersurfaces. The Euclidean application, giving the classification of closed embedded λ-self-expanders as centered spheres, resolves a question that previous work only settled under extra assumptions. The normal-flow proof is detailed and self-contained; the addendum on simultaneous work by Johne-Silini is honest.

The only other soft spot is minor: the cut-locus contribution in Theorem 4.2 is treated tersely, and there are a few typos. I don't think they affect the argument.

Bottom line: the central claim is new and likely correct, and the proof strategy is sound. The gaps in Theorem 1.1's final paragraph are expository, but they are load-bearing in the sense that the printed proof does not establish the rigidity conclusion as written. With a revised final section, this is a strong contribution. I'd send it to a serious referee and likely accept after minor revision.

Referee Report

3 major / 4 minor

Summary. The paper proves a weighted Heintze–Karcher inequality for smooth closed embedded hypersurfaces in a class of warped product manifolds with radial density, under a structural condition C_{λ,φ} ≥ 0 that encodes a weighted sub-static inequality. It uses this inequality to prove an Alexandrov-type theorem for constant weighted mean curvature (φ-CMC) hypersurfaces, and applies the result to the anti-Gaussian Euclidean density ρ = e^{|x|^2/4}, concluding that every smooth closed embedded λ-self-expander is a round sphere centered at the origin.

Significance. If the results are correct, the paper gives a unified treatment of rigidity for φ-CMC hypersurfaces in weighted warped products and settles a natural question for λ-self-expanders in Euclidean space. The structural condition C_{λ,φ} is explicit, the anti-Gaussian application is a genuinely checkable special case with C_{λ,φ}=0, and the paper is self-contained in its main analytic steps. The authors also acknowledge simultaneous independent work, which is appropriate. No machine-checked proofs or code are included; the contribution is analytic.

major comments (3)

[Section 4, proof of Theorem 1.1] The final sentence "Hence the result follows immediately from Theorem 4.1" is not justified as written. Theorem 4.1 is an integral inequality with an equality characterization; it does not by itself imply that a constant-weighted-mean-curvature hypersurface attains equality. To reach the rigidity conclusion one must either invoke Theorem 4.3, whose proof uses Lemma 2.2 to force equality in the Heintze–Karcher inequality, or explicitly use Lemma 2.2 and the weighted divergence theorem to show ∫Σ V/H_φ dσ_φ = ∫Ω W dμ_φ before applying the equality case of Theorem 4.1. This missing step also provides the proof that H_φ > 0, which Theorem 4.1 requires but Theorem 1.1 does not assume.
[Theorem 1.1 and Theorem 4.3, case (C1')] Both Theorem 1.1 and Theorem 4.3 in case (C1') allow the hypersurface to pass through the pole r=0, whereas Theorem 4.1 is stated only for Σ ⊂ N×(0, bar r). The proof does not explain how to handle a hypersurface intersecting {r=0}. Since the normal-flow and coarea argument excludes that set, the authors should either prove a limiting or approximation argument, or add an explicit hypothesis excluding the pole, or show from the expander/CMC equation that such an intersection cannot occur.
[Theorem 4.2, Eq. (35)] The estimate for the terminal term in the proof of Theorem 4.2, displayed as (35), asserts that the cut-locus contribution to the liminf in (27) is nonnegative and that the area formula applies on N_0 ∩ ∂Ω. This is not proved in the manuscript. Because the equality case and hence Theorem 4.3 in case (C1) depend on this estimate, the argument should be completed or a precise reference supplied.

minor comments (4)

[Section 3] Proposition 3.1 and Lemma 3.1 are numbered identically; the numbering should be corrected.
[Proof of Theorem 1.1] The displayed computation of T_{λ,κ_N} is garbled: for λ(r)=r and κ_N=1, the quantity T_{λ,κ_N} is 0 by the special formula on page 5, but the expression "(m−1)−r·0−(m−1)/r^2" is not identically zero. Please correct the computation.
[Lemma 3.1 proof] The line "Moreover, by (8) and 11, −φ′(r)/r ≥ 0" should state the nonnegativity of −φ′(r)λ′(r)/λ(r) (or an equivalent expression), rather than a quantity that depends only on φ′ and r.
[Introduction] There are minor English issues, e.g., "we prove Alexandrov-type theorem for constant weighted mean curvature hypersurfaces" should read "an Alexandrov-type theorem for constant weighted mean curvature hypersurfaces."

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Heintze–Karcher inequality and its equality rigidity are proved in-paper, and the Euclidean expander result is a direct specialization, not an assumed conclusion.

full rationale

The paper's derivation chain is self-contained. Section 2 defines the structural quantities V, W, and C_{\lambda,\phi} in (13)–(15), then proves Lemmas 2.1–2.5 from the warped-product connection formulas and the Ricci lower bound (9); no target classification is assumed. Section 3 derives the normal-flow evolution inequality for H_\phi/V using Lemmas 2.3 and 2.5, and Section 4 integrates it with the weighted coarea formula to prove the weighted Heintze–Karcher inequalities Theorems 4.1 and 4.2, including their equality cases. The equality analysis is carried out inside Section 4 by the Cauchy–Schwarz equality condition in Lemma 2.3 and the pointwise rigidity in Lemma 3.1, so the 'slice or totally umbilical' alternative is proved, not imported. Theorem 4.3 then uses only the in-paper weighted Minkowski identity (Lemma 2.2) and the weighted divergence theorem to force equality in the Heintze–Karcher inequality, thereby deriving the Alexandrov-type rigidity for \phi-CMC hypersurfaces. For Theorem 1.1, the paper explicitly verifies the Euclidean data \lambda(r)=r, \phi(r)=-r^2/4, computes C_{\lambda,\phi}=0, and the conclusion is a specialization of the in-paper equality case; in the anti-Gaussian setting the 'region where \phi is constant' alternative is empty because \phi'=-r/2 vanishes only at r=0, so the remaining alternative is a coordinate slice, i.e., a round sphere centered at the origin. The final line 'Hence the result follows immediately from Theorem 4.1' is compressed and does not spell out the equality-forcing step or the r=0 limiting argument, which the skeptic correctly identifies as a completeness issue; however, this is a proof-gap concern, not circularity, because Theorem 4.1's equality case is proved in the same paper and does not take the desired sphere as an input. Self-citations such as Li–Xia [18] and related works [13,14,23] are contextual or motivational and are not load-bearing for any inequality or rigidity statement used in the proof. No circular step can be exhibited.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper's theorems are conditional on the structural conditions (C1)-(C5); the central Euclidean result uses the specific lambda and phi with C sub lambda phi equal to zero. No free parameters or invented entities. The main external input is the Ricci curvature lower bound on the fiber N.

assumptions (5)

domain assumption The fiber N is a closed Riemannian manifold satisfying Ric_N >= (m-1) kappa_N g_N.
This Ricci lower bound is used in Lemma 2.4 to estimate the ambient Bakry-Emery Ricci tensor and in Lemma 2.5 to derive the weighted sub-static inequality.
domain assumption The warping function lambda and potential phi satisfy conditions (C1)-(C4) or (C1') and (C2)-(C5), with lambda' > 0 and phi' <= 0.
These are the hypotheses of Theorems 1.2-1.4; they ensure V > 0, W > 0, and the monotonicity of the normal flow.
domain assumption C sub lambda phi >= 0, equation (15), equivalently the weighted sub-static condition (5) holds.
This is the structural assumption that makes Lemma 2.5 and Lemma 3.1 valid; it is the key to the Heintze-Karcher inequality.
standard math Standard cut-locus and coarea theorems apply to the bg-normal exponential map.
Used in Theorems 4.1 and 4.2 to show the flow sweeps the domain and to convert the flow integral to a volume integral.
domain assumption For Theorem 1.1, the model is lambda(r) = r, phi(r) = -r^2/4, giving C sub lambda phi = 0.
This specifies the anti-Gaussian density and makes the Euclidean space a special case of the warped product construction.

how reviews work

0 comments

Cite this review

Pith. "Pith review of An Alexandrov-type theorem in warped product manifolds with radial density." pith.science (2026). https://pith.science/paper/FXROPO7W

@misc{pith2026260808548,
  author       = {Pith},
  title        = {Pith review of: An Alexandrov-type theorem in warped product manifolds with radial density},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FXROPO7W}},
  note         = {Machine review of arXiv:2608.08548}
}

abstract

In this paper, we establish a Heintze--Karcher inequality for closed embedded hypersurfaces in a class of warped product manifolds endowed with radial density. As a consequence, we prove Alexandrov-type theorem for constant weighted mean curvature hypersurfaces in such spaces. In particular, we prove that a closed embedded $\lambda$-self-expander in the Euclidean space must be a round sphere centered at the origin.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 22 canonical work pages

[1]

A. D. Aleksandrov. Uniqueness theorems for surfaces in the large. I.Vestnik Leningrad. Univ., 11(19):5–17, 1956

work page 1956
[2]

Some rigidity properties forλ-self-expanders.Nonlinear Anal., 230:113230, 2023

Saul Ancari and Xu Cheng. Some rigidity properties forλ-self-expanders.Nonlinear Anal., 230:113230, 2023

work page 2023
[3]

The space of asymptotically conical self-expanders of mean curvature flow.Math

Jacob Bernstein and Lu Wang. The space of asymptotically conical self-expanders of mean curvature flow.Math. Ann., 380(1–2):175–230, 2021

work page 2021
[4]

The equality case in the substatic Heintze– Karcher inequality.Arch

Stefano Borghini, Mattia Fogagnolo, and Andrea Pinamonti. The equality case in the substatic Heintze– Karcher inequality.Arch. Ration. Mech. Anal., 248(6):108, 2024

work page 2024
[5]

Constant mean curvature surfaces in warped product manifolds.Publ

Simon Brendle. Constant mean curvature surfaces in warped product manifolds.Publ. Math. Inst. Hautes ´Etudes Sci., 117:247–269, 2013

work page 2013
[6]

Chambers

Gregory R. Chambers. Proof of the log-convex density conjecture.J. Eur. Math. Soc. (JEMS), 21(4):1179– 1210, 2019

work page 2019
[7]

Completeλ-hypersurfaces of weighted volume-preserving mean cur- vature flow.Calc

Qing-Ming Cheng and Guoxin Wei. Completeλ-hypersurfaces of weighted volume-preserving mean cur- vature flow.Calc. Var. Partial Differential Equations, 57(2):32, 2018

work page 2018
[8]

Colding and II Minicozzi, William P

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

work page 2012

Show all 23 references

[9]

Generic uniqueness of expanders with vanishing relative entropy.Math

Alix Deruelle and Felix Schulze. Generic uniqueness of expanders with vanishing relative entropy.Math. Ann., 377(3–4):1095–1127, 2020

2020
[10]

Minimal cones and self-expanding solutions for mean curvature flows.Math

Qi Ding. Minimal cones and self-expanding solutions for mean curvature flows.Math. Ann., 376(1–2):359– 405, 2020

2020
[11]

On the isoperimetric problem for radial log-convex densities.Calc

Alessio Figalli and Francesco Maggi. On the isoperimetric problem for radial log-convex densities.Calc. Var. Partial Differential Equations, 48(3–4):447–489, 2013

2013
[12]

A general comparison theorem with applications to volume estimates for submanifolds.Ann

Ernst Heintze and Hermann Karcher. A general comparison theorem with applications to volume estimates for submanifolds.Ann. Sci. ´Ecole Norm. Sup. (4), 11(4):451–470, 1978

1978
[13]

Alexandrov’s theorem for anisotropic capillary hypersurfaces in the half-space.Arch

Xiaohan Jia, Guofang Wang, Chao Xia, and Xuwen Zhang. Alexandrov’s theorem for anisotropic capillary hypersurfaces in the half-space.Arch. Ration. Mech. Anal., 247(2):Paper No. 25, 19, 2023

2023
[14]

Heintze-Karcher inequality for anisotropic free boundary hypersurfaces in convex domains.J

Xiaohan Jia, Guofang Wang, Chao Xia, and Xuwen Zhang. Heintze-Karcher inequality for anisotropic free boundary hypersurfaces in convex domains.J. Math. Study, 57(3):243–258, 2024

2024
[15]

Alexandrov theorem for constant weighted mean curvature surfaces.arXiv preprint arXiv:2608.05119, 2026

Florian Johne and Lauro Silini. Alexandrov theorem for constant weighted mean curvature surfaces.arXiv preprint arXiv:2608.05119, 2026

2026 arXiv
[16]

A. V. Kolesnikov and R. I. Zhdanov. On isoperimetric sets of radially symmetric measures. InConcen- tration, functional inequalities and isoperimetry, volume 545 ofContemp. Math., pages 123–154. Amer. Math. Soc., Providence, RI, 2011

2011
[17]

New Heintze–Karcher type inequalities in sub-static warped product manifolds.arXiv preprint arXiv:2504.15109, 2025

Haizhong Li, Yong Wei, and Botong Xu. New Heintze–Karcher type inequalities in sub-static warped product manifolds.arXiv preprint arXiv:2504.15109, 2025

2025 arXiv
[18]

An integral formula and its applications on sub-static manifolds.J

Junfang Li and Chao Xia. An integral formula and its applications on sub-static manifolds.J. Differential Geom., 113(3):493–518, 2019

2019
[19]

Manifolds with density.Notices Amer

Frank Morgan. Manifolds with density.Notices Amer. Math. Soc., 52(8):853–858, 2005

2005
[20]

Robert C. Reilly. Applications of the Hessian operator in a Riemannian manifold.Indiana Univ. Math. J., 26(3):459–472, 1977

1977
[21]

Compact hypersurfaces with constant higher order mean curvatures.Rev

Antonio Ros. Compact hypersurfaces with constant higher order mean curvatures.Rev. Mat. Iberoam., 3(3):447–453, 1987

1987
[22]

Rosales, A

C. Rosales, A. Ca˜ nete, V. Bayle, and F. Morgan. On the isoperimetric problem in Euclidean space with density.Calc. Var. Partial Differential Equations, 31:27–46, 2008

2008
[23]

Capillary hypersurfaces, Heintze-Karcher’s inequality and Zermelo’s navi- gation.Calc

Guofang Wang and Chao Xia. Capillary hypersurfaces, Heintze-Karcher’s inequality and Zermelo’s navi- gation.Calc. Var. Partial Differential Equations, 63(9):Paper No. 226, 17, 2024. (J.B.)School of Mathematical Sciences, Xiamen University, 361005, Xiamen, P. R. China Email add...

2024

Pith tools

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

[1] [1]

A. D. Aleksandrov. Uniqueness theorems for surfaces in the large. I.Vestnik Leningrad. Univ., 11(19):5–17, 1956

work page 1956

[2] [2]

Some rigidity properties forλ-self-expanders.Nonlinear Anal., 230:113230, 2023

Saul Ancari and Xu Cheng. Some rigidity properties forλ-self-expanders.Nonlinear Anal., 230:113230, 2023

work page 2023

[3] [3]

The space of asymptotically conical self-expanders of mean curvature flow.Math

Jacob Bernstein and Lu Wang. The space of asymptotically conical self-expanders of mean curvature flow.Math. Ann., 380(1–2):175–230, 2021

work page 2021

[4] [4]

The equality case in the substatic Heintze– Karcher inequality.Arch

Stefano Borghini, Mattia Fogagnolo, and Andrea Pinamonti. The equality case in the substatic Heintze– Karcher inequality.Arch. Ration. Mech. Anal., 248(6):108, 2024

work page 2024

[5] [5]

Constant mean curvature surfaces in warped product manifolds.Publ

Simon Brendle. Constant mean curvature surfaces in warped product manifolds.Publ. Math. Inst. Hautes ´Etudes Sci., 117:247–269, 2013

work page 2013

[6] [6]

Chambers

Gregory R. Chambers. Proof of the log-convex density conjecture.J. Eur. Math. Soc. (JEMS), 21(4):1179– 1210, 2019

work page 2019

[7] [7]

Completeλ-hypersurfaces of weighted volume-preserving mean cur- vature flow.Calc

Qing-Ming Cheng and Guoxin Wei. Completeλ-hypersurfaces of weighted volume-preserving mean cur- vature flow.Calc. Var. Partial Differential Equations, 57(2):32, 2018

work page 2018

[8] [8]

Colding and II Minicozzi, William P

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

work page 2012