Pith. sign in

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 →

arxiv 1908.03069 v2 pith:EAJ3MWTA submitted 2019-08-08 math.DG

classification math.DG MSC 53C2153C2435J61
keywords RiccicurvaturelowerboundconvexboundarysecondfundamentalformsemilinearNeumannproblemharmonicfunctionsareaestimatefirsteigenvaluerigiditytheorem
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 proposes a bridge from a uniqueness conjecture about a semilinear Neumann problem to sharp geometric bounds on the boundary of a compact manifold with nonnegative Ricci curvature and strictly convex boundary. The central equation asks for a positive harmonic function u satisfying ∂u/∂ν + λu = u^q on the boundary; the conjecture is that for 0 < λ ≤ 1/(q−1) the only positive solutions are constant, except when the manifold is the unit ball and u belongs to an explicit rational family at the critical exponent. The author shows that this uniqueness conjecture implies a purely geometric bound: the boundary area cannot exceed that of the standard sphere |$S^{{n−1}}$|. In dimension 3 the paper proves the bound unconditionally, together with the volume bound V(M) ≤ 4π/3, and identifies the unit ball as the unique equality case. It also establishes topological restrictions—vanishing first cohomology under strict convexity, and a sphere boundary in dimension 3—and states a parallel conjecture for positive Ricci curvature with the hemisphere as the extremal manifold.

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}|$.

Watch

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

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

  • 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.
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 / 5 minor

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

0 steps flagged · score 0.0 of 10

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

The central claims rest on a bundle of standard Riemannian tools, namely Hodge theory, Reilly's formula, Hersch and Ros inequalities, and Bishop-Gromov comparison, plus two less-standard asserted steps: the existence of a smooth minimizer for the subcritical boundary quotient in Section 2, and the support-sense distance comparison in Proposition 5. No free parameters are fitted to external data, and no new geometric or physical entities are introduced.

assumptions (5)
  • standard math Reilly's formula for functions on compact manifolds with boundary
    Used in Propositions 6 and 7 without proof.
  • standard math Hodge theory for harmonic 1-forms with relative and absolute boundary conditions
    Provides the isomorphisms H^1(M,Sigma) congruent to H^1_R(M) and H^1(M) congruent to H^1_A(M) in Proposition 1.
  • standard math Hersch's eigenvalue-area bound and Ros's integral inequality for mean curvature
    External theorems quoted for Theorem 7.
  • domain assumption Existence and smoothness of minimizers for the subcritical boundary Sobolev quotient in inequality (2.2)
    Asserted in Section 2 without proof or citation; load-bearing for the implication Conjecture 1 implies Conjecture 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
    Quoted as classic methods in Proposition 5; no derivation or precise reference is given.

how reviews work

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

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Aubin, \' E quations diff\' e rentielles non lin\' e aires et probl\` e me de Yamabe concernant la courbure scalaire

    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

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

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

  4. [4]

    Brendle; F

    S. Brendle; F. C. Marques; A.Neves, Deformations of the hemisphere that increase scalar curvature. Invent. Math. 185 (2011), no. 1, 175--197

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

  6. [6]

    Choi; A.N

    H.I. Choi; A.N. Wang, A first eigenvalue estimate for minimal hypersurfaces. J.\ Diff. Geom. 18 (1983), 559-562

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

  8. [8]

    Escobar, Conformal deformation of a Riemannian metric to a scalar flat metric with constant mean curvature on the boundary

    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

Show all 25 references
  1. [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

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

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

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

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

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

  7. [15]

    P. Miao; X. Wang, Boundary effect of Ricci curvature. J. Differential Geom. 103 (2016), no. 1, 59--82

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

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

  10. [18]

    Schoen; S.-T

    R. Schoen; S.-T. Yau, Lectures on Differential Geometry, International press, 1994

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

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

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

  14. [22]

    Wang, On conformally compact Einstein manifolds

    X. Wang, On conformally compact Einstein manifolds. Math. Res. Lett. 8 (2001), no. 5-6, 671--688

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

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

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

Pith tools

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