REVIEW 2 major objections 5 minor 25 references
On compact Riemannian manifolds with convex boundary and Ricci curvature bounded from below
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper conjectures that a uniqueness theorem for a nonlinear Neumann problem forces the boundary of a nonnegatively curved, strictly convex manifold to have area at most that of the standard sphere, and proves this in dimension 3.
desk verdict A solid dimension-three result and an honest conjectural program, but the bridge from the PDE conjecture to the area bound rests on an unproved compactness step. 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 mechanism is the semilinear Neumann boundary-value problem (2.1), $\Delta u=0$ in $M$, $\partial u/\partial\nu + \lambda u = u^q$ on $\partial M$, together with its variational formulation as the minimizer of the quotient $((q-1)\int_M |\nabla u|^2 + \int_{\partial M} u^2)/(\int_{\partial M} |u|^{q+1})^{2/(q+1)}$. If the conjectured uniqueness holds, the minimizer is constant, giving the sharp trace inequality (2.2); letting $q \nearrow n/(n-2)$ and feeding the result into the conformally invariant energy $E_g(u)$ yields $Q(M,\partial M,g) \ge 2(n-1)|\partial M|^{1/(n-1)}$, hence $|\partial M| \le |S^{n-1}|$. In dimension 3 the unconditional proof instead chains three standard estimates: the first boundary eigenvalue satisfies $\lambda_1(\Sigma) \ge n-1$; in dimension 3 the boundary is a sphere and its area is at most $8\pi/\lambda_1(\Sigma)$; and the mean-curvature volume inequality $\int_{\partial M} 1/H \ge nV/(n-1)$ converts area control into $V \le 4\pi/3$. Underpinning the eigenvalue and volume estimates is the standard Hessian integral identity, used throughout the paper.
What would settle it
Construct a compact Riemannian manifold with Ric ≥ 0 and second fundamental form ≥ 1 on the boundary, and exhibit on it a nonconstant positive solution of $\Delta u = 0$ in $M$, $\partial u/\partial\nu + \lambda u = u^q$ on $\partial M$, for some subcritical $1<q<n/(n-2)$ and some $\lambda \le 1/(q-1)$. Such an example would refute Conjecture 1 directly, and by the paper's variational implication it would also kill the boundary-area bound $|\partial M| \le |S^{n-1}|$.
Extended reading notes
Core claim
At the center of the paper is Conjecture 1: on any compact Riemannian manifold $(M^n,g)$ with $\mathrm{Ric} \ge 0$ and second fundamental form $\Pi \ge 1$ on the boundary, every positive solution of $\Delta u = 0$ in $M$, $\partial u/\partial\nu + \lambda u = u^q$ on $\partial M$, with $1 < q \le n/(n-2)$ and $0 < \lambda \le 1/(q-1)$, must be constant, unless $q = n/(n-2)$, $M$ is isometric to the unit ball $B^n$, and $u$ is one of the displayed functions $u_a(x) = [ (2/(n-2))(1-|a|^2)/(1+|a|^2|x|^2 - 2x\cdot a) ]^{(n-2)/2}$ for some $a \in B^n$. The paper proves that this analytic conjecture implies Conjecture 2, the sharp boundary-area bound $|\partial M| \le |S^{n-1}|$, through a variational argument: uniqueness of the minimizer yields a sharp trace Sobolev inequality, whose critical limit feeds into the conformal quotient and forces the area bound. Unconditionally, Theorem 7 establishes in dimension 3 that $A(\Sigma) \le 4\pi$ and $V(M) \le 4\pi/3$, with equality forcing $M$ to be isometric to $B^3$, by combining the first-eigenvalue bound $\lambda_1(\Sigma) \ge n-1$ with the sphere-eigenvalue area inequality and the mean-curvature volume inequality. The paper also proves topological rigidity: $\mathrm{Ric} \ge 0$ with strictly convex boundary forces $H^1(M) = 0$, and in dimension 3 the boundary must be a topological sphere. For $\mathrm{Ric} \ge n-1$ with convex boundary it conjectures $|\Sigma| \le |S^{n-1}|$ with the hemisphere as the unique extremal, and proves this under the stronger hypothesis $\sec \ge 1$.
Load-bearing premise
The reasoning that turns the uniqueness conjecture into a boundary-area bound assumes, without proof or citation, that for every exponent below the critical value the minimization problem involved actually has a smooth positive solution; if that existence step fails, the area conclusion does not follow from the conjecture alone.
Editorial extensions
If this is right
- If Conjecture 1 holds, then the boundary area inequality $|\partial M| \le |S^{n-1}|$ holds in every dimension n, with equality implying the unit ball.
- In dimension 3 the area bound $A(\Sigma) \le 4\pi$ and volume bound $V(M) \le 4\pi/3$ hold unconditionally, and equality in either forces $M$ to be isometric to the unit ball $B^3$.
- Under Ric ≥ 0 and strictly convex boundary, the first cohomology group $H^1(M)$ vanishes; in dimension 3 the boundary is a topological sphere, so higher-genus boundary components are impossible.
- Under the stronger curvature condition $\sec \ge 1$ with convex boundary, the boundary area bound $|\Sigma| \le |S^{n-1}|$ holds and equality forces the hemisphere $S^n_+$.
- For positive Ricci curvature (Ric ≥ n−1) and convex boundary, the conjectured sharp bound $|\Sigma| \le |S^{n-1}|$ remains open, but a rigidity theorem already forces the hemisphere when the boundary is isometric to $S^{n-1}$.
Reading between the lines
- Beyond the paper: a proof of Conjecture 1 would turn inequality (2.2) into a sharp trace-embedding theorem valid on every manifold with Ric ≥ 0 and Π ≥ 1, which could sharpen known comparisons involving quasi-local mass and the conformal invariant.
- Beyond the paper: the topological vanishing results suggest that, under Ric ≥ 0 and strict boundary convexity, higher-dimensional boundaries may be severely restricted in topology; a natural next step is to investigate whether all Betti numbers beyond the first must vanish, or whether the sphere is forced.
- Beyond the paper: because the unproved existence step is the only gap between Conjecture 1 and Conjecture 2, a direct variational proof of subcritical attainment for the trace quotient would isolate the PDE uniqueness as the sole remaining conjecture.
- Beyond the paper: a computational search on warped-product metrics such as $B^2 \times_f \Sigma$ could look for nonconstant positive solutions at subcritical exponent q, offering a concrete test of Conjecture 1 before a full proof is attempted.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a new analytic route to sharp bounds on the boundary area and volume of compact Riemannian manifolds with nonnegative Ricci curvature and boundary second fundamental form at least 1. The central idea is Conjecture 1, a uniqueness statement for positive harmonic functions satisfying the nonlinear Neumann condition ∂ν u + λu = u^q, and the paper shows that Conjecture 1 implies Conjecture 2, namely |∂M| ≤ |S^{n−1}|. The proof of this implication passes through a Sobolev-type quotient, inequality (2.2), and the type-II Yamabe quotient. The paper also proves several partial results: in dimension 3 it establishes the sharp area bound A(Σ) ≤ 4π and volume bound V(M) ≤ 4π/3 with equality rigidity (Theorem 7), using Reilly-formula eigenvalue estimates, a topological classification of the boundary, Hersch's inequality, and Ros's volume comparison. Additional propositions cover positive Ricci curvature, sectional curvature bounds, and vanishing of H^1 under Ricci lower bounds.
Significance. If Conjecture 1 is true, the paper gives an attractive and plausible bridge from a semilinear PDE uniqueness theorem to a sharp isoperimetric statement for the boundary, and the partial results already establish a nontrivial three-dimensional case. The fully proved results in Section 4 are derived from standard tools (Reilly's formula, Hersch's inequality, Bishop-Gromov, Obata-type rigidity) and appear correct. The paper is honest about the conjectural nature of the main premise, and the conditional implication is a genuine deduction rather than a reformulation. The main value is the proposed strategy and the dimension-three theorem; however, the manuscript currently has two load-bearing gaps: an unproved minimizer-existence step in Section 2 and an unstated or unjustified connectedness assumption in the topological argument used for Theorem 7.
major comments (2)
- [Section 2, after Theorem 4] The sentence introducing the minimization problem asserts that the infimum of [(q−1)∫_M |∇u|^2 + ∫_{∂M} u^2] / (∫_{∂M} |u|^{q+1})^{2/(q+1)} is achieved by a smooth positive function satisfying (2.1) with λ = 1/(q−1), for each 1 < q < n/(n−2). This existence/regularity statement is neither proved nor cited, and it is load-bearing: it is the bridge from Conjecture 1 to inequality (2.2) and hence to Conjecture 2. The gap is likely repairable by the direct method using the compact trace embedding H^1(M) into L^{q+1}(∂M) in this range, together with the strong maximum principle and elliptic regularity up to the boundary; one must also explain the rescaling that normalizes the Lagrange multiplier to the value appearing in (2.1). As written, however, the chain 'Conjecture 1 ⇒ (2.2) ⇒ Conjecture 2' has an unproved step. This gap does not affect the proof of Theorem 7, which does not use this Sobolev quotient.
- [Section 3, Corollary 1, and Section 4, Theorem 7] Corollary 1 concludes that Σ is topologically a sphere from H^1(Σ)=0. This is valid only if Σ is connected; if ∂M is allowed to have several components, H^1(Σ)=0 only says that each component is a sphere. The proof of Theorem 7 then applies Hersch's inequality A(Σ) ≤ 8π/λ1(Σ), which for a disconnected surface is not the correct bound: applied componentwise it gives a total area bound of 4π times the number of components. Thus either the statement of Theorem 7 (and Conjecture 2) should include the hypothesis that ∂M is connected, or the paper should justify that Ric ≥ 0 and Π ≥ 1 force ∂M to be connected. The theorems in Section 1 explicitly assume 'a connected boundary Σ', so the omission is conspicuous and needs to be resolved.
minor comments (5)
- [Section 3, after Proposition 5] The sentence 'We now prove the first part of Proposition 3' should refer to Proposition 4, since the assumptions are Ric ≥ −(n−1) and H ≥ n−1 rather than the hypotheses of Proposition 3.
- [Section 4, proof of Proposition 7] The displayed identity '∫_Σ |∇u|^2 = ∫_Σ fχ' should be '∫_M |∇u|^2 = ∫_Σ fχ'; the current formula has the wrong domain on the left-hand side.
- [Section 4, proof of Proposition 8] In the Gauss equation display, RΣ appears on both sides of the equality; one of the two curvature tensors should be the ambient curvature tensor of M.
- [Section 3, proof of Proposition 4] In the n = 3 case, the step 'by the Hopf lemma u must be a positive constant' uses a maximum principle for the drift operator Δu + 2φ^{−1}⟨∇u,∇φ⟩ ≥ 0 that is not stated, and the subsequent deduction that ρ is smooth everywhere with |∇ρ| ≡ 1 from equality in (3.1) is terse; more detail would improve readability and rigor.
- [Throughout, Section 2 and Section 4] The paper alternates between 'with boundary Σ' and 'with a connected boundary Σ'. Since the connectedness assumption is used implicitly in the proof of Theorem 7, it should be stated explicitly in the statements of Conjecture 1, Conjecture 2, and Theorem 7, or a proof of connectedness should be supplied.
Circularity Check
No significant circularity: the conditional implication and the proved results rest on independent external theorems.
full rationale
The paper's central claims are an open uniqueness conjecture (Conjecture 1) and the explicit conditional implication Conjecture 1 ⇒ Conjecture 2. This implication is genuine: the quotient is minimized, and the Euler–Lagrange equation (2.1) with λ = 1/(q−1) is an input to Conjecture 1, not an output obtained from the conclusion. The asserted existence of a smooth positive minimizer for 1 < q < n/(n−2) is standard (compact trace embedding plus elliptic regularity), but it is not proved; this is a gap in presentation, not a circular definition or a fitted parameter renamed as a prediction. The main proved result, Theorem 7, uses independent external results: Xia's Proposition 6 (Reilly-based eigenvalue estimate), Hersch's area bound, Ros's volume comparison, and the in-paper topological Corollary 1. Self-citations to Miao–Wang, Hang–Wang, and the author's surface result are contextual or cite prior rigidity theorems whose assumptions do not include the target area bounds; they are not used to define Conjecture 2 into existence. The chain Conjecture 1 ⇒ inequality (2.2) ⇒ Conjecture 2 is a genuine mathematical implication, and Proposition 8's equality case relies on Theorem 8 [HW], a published rigidity result with different assumptions not containing the Proposition's conclusion. Thus no load-bearing step reduces by construction to its own inputs.
Assumptions & free parameters
assumptions (5)
- standard math Reilly's formula for functions on compact manifolds with boundary
- standard math Hodge theory for harmonic 1-forms with relative and absolute boundary conditions
- standard math Hersch's eigenvalue-area bound and Ros's integral inequality for mean curvature
- domain assumption Existence and smoothness of minimizers for the subcritical boundary Sobolev quotient in inequality (2.2)
- domain assumption Support-sense distance estimate Delta rho at most -(n-1) under Ric at least -(n-1) and H at least n-1
Cite this review
Pith. "Pith review of On compact Riemannian manifolds with convex boundary and Ricci curvature bounded from below." pith.science (2026). https://pith.science/paper/EAJ3MWTA
@misc{pith2026190803069,
author = {Pith},
title = {Pith review of: On compact Riemannian manifolds with convex boundary and Ricci curvature bounded from below},
year = {2026},
howpublished = {\url{https://pith.science/paper/EAJ3MWTA}},
note = {Machine review of arXiv:1908.03069}
}
read the original abstract
We propose a new approach to the study of compact Riemannian manifolds with nonnegative Ricci curvature and strictly convex boundary or positive Ricci curvature and convex boundary. Several conjectures are formulated. Some partial results that support these conjectures are established.
Reference graph
Works this paper leans on
-
[1]
T. Aubin, \' E quations diff\' e rentielles non lin\' e aires et probl\` e me de Yamabe concernant la courbure scalaire. J. Math. Pures Appl. (9) 55 (1976), no. 3, 269--296
work page 1976
-
[2]
Beckner, Sharp Sobolev inequalities on the sphere and the Moser-Trudinger inequality
W. Beckner, Sharp Sobolev inequalities on the sphere and the Moser-Trudinger inequality. Ann. of Math. (2) 138 (1993), no. 1, 213--242
work page 1993
-
[3]
Bidaut-V\' e ron, Marie-Fran c oise; V\' e ron, Laurent Nonlinear elliptic equations on compact Riemannian manifolds and asymptotics of Emden equations. Invent. Math. 106 (1991), no. 3, 489--539
work page 1991
-
[4]
S. Brendle; F. C. Marques; A.Neves, Deformations of the hemisphere that increase scalar curvature. Invent. Math. 185 (2011), no. 1, 175--197
work page 2011
-
[5]
Cherrier, Probl\` e mes de Neumann non lin\' e aires sur les vari\' e t\' e s riemanniennes
P. Cherrier, Probl\` e mes de Neumann non lin\' e aires sur les vari\' e t\' e s riemanniennes. J. Funct. Anal. 57 (1984), no. 2, 154--206
work page 1984
- [6]
-
[7]
Escobar, The Yamabe problem on manifolds with boundary
J. Escobar, The Yamabe problem on manifolds with boundary. J. Differential Geom. 35 (1992), no. 1, 21--84
work page 1992
-
[8]
J. Escobar, Conformal deformation of a Riemannian metric to a scalar flat metric with constant mean curvature on the boundary. Ann. of Math. (2) 136 (1992), no. 1, 1--50
work page 1992
Show all 25 references
-
[9]
Fraser; M
A. Fraser; M. M.-C. Li, Compactness of the space of embedded minimal surfaces with free boundary in three-manifolds with nonnegative Ricci curvature and convex boundary. J. Differential Geom. 96 (2014), no. 2, 183--200
2014
-
[10]
F. Hang; X. Wang, Rigidity theorems for compact manifolds with boundary and positive Ricci curvature. J. Geom. Anal. 19 (2009), no. 3, 628--642
2009
-
[11]
Hersch, Quatre propri\' e t\' e s isop\' e rim\' e triques de membranes sph\' e riques homog\` e nes
J. Hersch, Quatre propri\' e t\' e s isop\' e rim\' e triques de membranes sph\' e riques homog\` e nes. C. R. Acad. Sci. Paris S\' e r. A-B 270 (1970), A1645--A1648
1970
-
[12]
Ilias, In\' e galit\' e s de Sobolev et r\' e sultats d'isolement pour les applications harmoniques
S. Ilias, In\' e galit\' e s de Sobolev et r\' e sultats d'isolement pour les applications harmoniques. J. Funct. Anal. 139 (1996), no. 1, 182--195
1996
-
[13]
Marques; A
F. Marques; A. Neves, Rigidity of min-max minimal spheres in three-manifolds. Duke Math. J. 161 (2012), no. 14, 2725--2752
2012
-
[14]
Meeks; L
W. Meeks; L. Simon; S.-T. Yau, Embedded minimal surfaces, exotic spheres, and manifolds with positive Ricci curvature. Ann. of Math. (2) 116 (1982), no. 3, 621-659
1982
-
[15]
P. Miao; X. Wang, Boundary effect of Ricci curvature. J. Differential Geom. 103 (2016), no. 1, 59--82
2016
-
[16]
Reilly, Applications of the Hessian operator in a Reimannian manifold, Indiana Math
R. Reilly, Applications of the Hessian operator in a Reimannian manifold, Indiana Math. J. 26 (1977), no. 3, 459-472
1977
-
[17]
Ros, Compact hypersurfaces with constant higher order mean curvatures
A. Ros, Compact hypersurfaces with constant higher order mean curvatures. Rev. Mat. Iberoamericana 3 (1987), no. 3-4, 447--453
1987
-
[18]
Schoen; S.-T
R. Schoen; S.-T. Yau, Lectures on Differential Geometry, International press, 1994
1994
-
[19]
Shi; L.-F
Y. Shi; L.-F. Tam, Positive mass theorem and the boundary behaviors of compact manifolds with nonnegative scalar curvature J. Differ. Geom. 62 79--125
-
[20]
Shi; L.-F
Y. Shi; L.-F. Tam, Rigidity of compact manifolds and positivity of quasi-local mass. Classical Quantum Gravity 24 (2007), no. 9, 2357--2366
2007
-
[21]
Toponogov, Evaluation of the length of a closed geodesic on a convex surface, Dokl
V. Toponogov, Evaluation of the length of a closed geodesic on a convex surface, Dokl. Akad. Nauk SSSR 124 (1959), 282--284
1959
-
[22]
Wang, On conformally compact Einstein manifolds
X. Wang, On conformally compact Einstein manifolds. Math. Res. Lett. 8 (2001), no. 5-6, 671--688
2001
-
[23]
Wang, Uniqueness results on surfaces with boundary
X. Wang, Uniqueness results on surfaces with boundary. Calc. Var. Partial Differential Equations 56 (2017), no. 3, Art. 87, 11 pp
2017
-
[24]
Wang; S.-T
M.-T. Wang; S.-T. Yau, A generalization of Liu-Yau's quasi-local mass. Comm. Anal. Geom. 15 (2007), no. 2, 249--282
2007
-
[25]
Xia, Rigidity of compact manifolds with boundary and nonnegative Ricci curvature
C. Xia, Rigidity of compact manifolds with boundary and nonnegative Ricci curvature. Proc. Amer. Math. Soc. 125 (1997), no. 6, 1801-1806
1997
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.