Pith. sign in

REVIEW 4 major objections 4 minor 25 references

Hypersurfaces of constant sum Hessian curvature in Hyperbolic space

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

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

Pith's one-line read The paper proves a conditional interior curvature estimate for hypersurfaces with constant sum Hessian curvature in hyperbolic space, and uses it to solve the asymptotic Plateau problem under that condition.

desk verdict A genuine but partial curvature estimate for a new sum Hessian curvature function, conditional on an unproved lower bound on sigma_n that is not a consequence of admissibility. read the letter →

arxiv 2507.22375 v3 pith:SCMUTXRM submitted 2025-07-30 math.DG

Jianbo Yang , Yueming Lu This is my paper
classification math.DG MSC 53C4235J60
keywords asymptoticPlateauproblemhyperbolicspacesumHessiancurvatureestimatesequationsfullynonlinearPDEhypersurfacesprincipalcurvatures
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 works on the asymptotic Plateau problem in hyperbolic space: given a prescribed boundary at infinity, find a complete hypersurface whose principal curvatures satisfy a fixed symmetric equation. For the sum-Hessian operator $S_n(\kappa) = \sigma_{n-1}(\kappa) + \alpha \sigma_n(\kappa)$, the missing step has been an a priori interior curvature estimate valid for all $\sigma \in (0,n)$. The paper proves such an estimate for any $C^4$ vertical graph solving the equation, assuming the extra condition that $\sigma_n(\kappa)$ is bounded below by a known constant. Because the estimate is in hand, the paper also obtains a complete hypersurface with the prescribed boundary under the same condition.

What carries the argument

The central object is the sum-Hessian operator $S_n(\kappa)=\sigma_{n-1}(\kappa)+\alpha\sigma_n(\kappa)$ on the admissible cone $\tilde\Gamma_n = \Gamma_{n-1} \cap \{\lambda : S_n(\lambda)>0\}$, where the operator is elliptic. The carrying mechanism is the maximum-principle computation with the test function $Q=\ln\kappa_1 - N\ln\nu_{n+1}$, where $\kappa_1$ is the largest principal curvature and $\nu_{n+1}$ measures the graph's tilt; a curvature perturbation is used when $\kappa_1$ is not simple. Two ingredients do the heavy lifting: a concavity inequality for $S_n$ that cancels the negative third-order terms, and the extra hypothesis $\sigma_n(\kappa)>-A$, which controls the second-order term $-\kappa_1\sigma_{n-1}$ that would otherwise spoil the estimate.

What would settle it

Build a sequence of admissible vertical graphs over the unit ball, each satisfying $S_n(\kappa)=\sigma$ with uniformly bounded boundary curvature, such that the product of principal curvatures tends to $-\infty$ while the largest interior curvature tends to $+\infty$; such a sequence would show the extra lower-bound condition is indispensable.

Watch

Extended reading notes

Core claim

Theorem 1.1 is the central discovery: if $\Sigma \subset \mathbb{H}^{n+1}$ is a $C^4$ vertical graph over a bounded smooth domain $\Omega \subset \mathbb{R}^n$ with nonnegative mean curvature, satisfies $S_n(\kappa) = \sigma_{n-1}(\kappa)+\alpha\sigma_n(\kappa)=\sigma$ with $\sigma\in(0,n)$ and $\kappa\in\tilde\Gamma_n$, and if $\sigma_n(\kappa)>-A$ for some $A>0$, then the maximum of $|\kappa_i|$ over $\Sigma$ is bounded by a constant depending only on $n$, $\Omega$, $A$, $\alpha$, and $\sigma$, plus the boundary maximum of $|\kappa_i|$. The proof maximizes the test function $Q=\ln\kappa_1 - N\ln\nu_{n+1}$ at an interior point; after cancellation of fourth- and third-order terms, the harmful second-order term $-\kappa_1\sigma_{n-1}$ is controlled exactly by the hypothesized lower bound on $\sigma_n$. The paper then records that the same estimate feeds the standard existence scheme to produce a complete hypersurface with boundary $\Gamma$, under the same extra condition.

Load-bearing premise

The load-bearing premise is that the product of all principal curvatures is bounded below by a known constant along the solution; the paper assumes such a constant exists rather than deriving it from the equation or the boundary data.

Editorial extensions

If this is right

  • Any admissible graph satisfying the equation and the lower-bound condition has all principal curvatures bounded in terms of the data and the boundary curvature.
  • The asymptotic Plateau problem for $S_n$ has a solution whenever the lower-bound condition holds, for every $\sigma \in (0,n)$ and every $\alpha>0$.
  • The estimate is a priori, so it applies uniformly to families of solutions and is available as a compactness tool.
  • Together with boundary estimates, the interior estimate completes the standard two-step existence proof for this curvature function.

Reading between the lines

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

  • Removing the lower-bound assumption would make the existence theorem unconditional; the paper explicitly leaves that as the open problem, and a proof of an automatic lower bound from the equation would be the natural completion.
  • The same test function and concavity inequality are likely adaptable to $S_k(\kappa)=\sigma_{k-1}(\kappa)+\alpha\sigma_k(\kappa)$ for $2\le k\le n-1$, a family the paper names as a further direction.
  • A possible way to test the necessity of the condition is to study radial or rotationally symmetric examples numerically, where the equation becomes an ODE and the lower bound on the curvature product can be checked explicitly.
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.

Referee Report

4 major / 4 minor

Summary. The paper studies the asymptotic Plateau problem in hyperbolic space for the curvature function S_n = sigma_{n-1} + alpha sigma_n, seeking complete hypersurfaces with prescribed boundary at infinity. Theorem 1.1 states an interior curvature estimate for C^4 vertical graphs over a bounded domain satisfying S_n(kappa) = sigma with kappa in the admissible cone tildeGamma_n, under the additional hypothesis sigma_n(kappa) > -A. Theorem 1.2 asserts existence of complete hypersurfaces under the same condition. The proof uses a test function Q = ln kappa_1 - N ln nu_{n+1}, a curvature perturbation argument, the Li-Ren concavity inequality, and maximum principle estimates.

Significance. If the estimate were established unconditionally, it would be a meaningful contribution to the Guan-Spruck program for sum Hessian curvature and a natural complement to recent work on sigma_k equations. The paper brings modern tools, especially the Li-Ren concavity inequality, to bear on a difficult fully nonlinear curvature estimate, and it usefully identifies the troublesome term involving kappa_1 sigma_{n-1}. However, the advertised result is conditional: the lower bound sigma_n > -A is imposed on the solution and is not derived from the boundary data or the equation, and Section 1.3 explicitly concedes that the unconditional problem remains open. As a result, Theorem 1.2 is not an existence theorem for prescribed boundary data in the form stated, and the main estimate is a conditional statement whose practical applicability depends on an unproved hypothesis.

major comments (4)
  1. [§1.2, Theorem 1.2] The statement of Theorem 1.2 is circular as written. The hypothesis "if there exists a constant A > 0 such that sigma_n(kappa) > -A" refers to the principal curvatures of the sought solution, not to the data (Gamma, sigma, alpha). In that formulation the theorem says essentially that if a solution satisfying an additional bound exists, then a solution exists; it does not establish existence for any prescribed boundary. Section 1.3 concedes that the problem without this additional condition remains open. The authors should restate Theorem 1.2 as a genuinely conditional result and explain how A would be obtained, or they should remove the existence claim from the abstract and introduction.
  2. [§3, Eqs. (3.16)-(3.17)] The lower-bound hypothesis sigma_n(kappa) > -A is load-bearing and is never derived. At (3.16) the term ((kappa_1+1)/kappa_1) sum_i S^{ii}_n kappa_i is rewritten as ((kappa_1+1)/kappa_1)[(n-1)sigma_{n-1} + n alpha sigma_n] and then bounded below only because sigma_n > -A is assumed. Without this bound, the same term can be as negative as -C kappa_1 in the admissible cone; for n = 2 the family kappa_1 = t, kappa_2 = (sigma - t)/(1 + alpha t) lies in tildeGamma_2 and satisfies S_2 = sigma while sigma_2 -> -infinity as t -> infinity. Thus the estimate controls the maximum only for solutions that are already assumed to satisfy an unproved lower bound. The authors' own outline of proof in Section 1.3 confirms that no mechanism is provided for producing A from Omega and Gamma.
  3. [§3, transition from (3.15) to (3.16)] The passage from (3.15) to (3.16) via Lemma 2.3 is not justified in adequate detail. Lemma 2.3 asserts nonnegativity of a quadratic form that includes the term kappa_1 K (sum_j S^{jj}_n xi_j)^2, and the proof must specify the vector xi, the parameter epsilon, and how the leftover K-term is absorbed or discarded. As presented, the negative fourth-order terms involving S^{pp,qq}_n and the positive terms C sum_{i neq 1} S^{ii}_n (nabla_1 h_{ii})^2 / kappa_1^2 are simply omitted from (3.16). A referee cannot verify the claimed cancellation or inequality without a precise invocation of Lemma 2.3.
  4. [§3, Eq. (3.13)] The derivation of inequality (3.13), which controls the third-order terms, contains unclear and apparently incorrect algebra. The expression after the second equality uses denominators involving kappa_1 - tilde{kappa}_i and then introduces the term 2 sum_{1 < i <= m} S^{11}_n (nabla_i h_{11})^2 / (kappa_1 (kappa_1 - tilde{kappa}_1)); but for i > 1 and i <= m, one has tilde{kappa}_i = kappa_1 - 1, while tilde{kappa}_1 = kappa_1, so that kappa_1 - tilde{kappa}_1 = 0. The subsequent line "= (2 kappa_1 - 1) sum ... + ..." is not derived from the preceding expression, and the notation "a + b - 2/(a-b)" is ambiguous. Since (3.13) is a key step in eliminating the bad third-order terms, this argument must be rewritten carefully with a consistent definition of tilde{kappa}_i.
minor comments (4)
  1. [§2.2, Lemma 2.4] The statement of Lemma 2.4 is garbled and should be rewritten. The string "C <= nu_{n+1} <= 1, where nu_{n+1} = 1/sqrt(1+|Du|^2), sum_i u_i^2/u^2 = 1 - (nu_{n+1})^2 <= 1" mixes several different identities and is not parseable; also, the proof later relies on a positive lower bound for nu_{n+1}, so the intended hypotheses need to be stated clearly.
  2. [§3, Eq. (3.13)] The displayed formula "a+b-2/(a-b)" should presumably read "(a+b-2)/(a-b)"; as written, the ambiguity makes the subsequent inequality impossible to check.
  3. [§1 and §3] The range of sigma is inconsistent: the abstract and the main theorems use sigma in (0,n), while the introduction and Eq. (1.1) state sigma in (0,1). This should be harmonized.
  4. [§3, proof of Theorem 1.1] The proof begins by assuming that Q attains its maximum at an interior point, but it does not explicitly discuss the case where the maximum occurs on the boundary. Since the final estimate includes a boundary term, a sentence explaining that the boundary case is immediate would improve clarity.

Circularity Check

2 steps flagged · score 5.0 of 10

Theorem 1.2's existence claim is conditioned on sigma_n(kappa) > -A, a property of the very solution it seeks; the paper concedes the unconditional problem is open, so the existence conclusion presupposes its own hypothesis while Theorem 1.1 remains an independent conditional estimate.

  1. self definitional [Section 1.2, Theorem 1.2 (page 3-4)]
    "Theorem 1.2. For n ≥ 2, let Γ = ∂Ω, where Ω is a bounded smooth domain in R^n with nonnegative mean curvature and σ ∈ (0, n). If there exists a constant A > 0 such that σ_n(κ) > −A, then there exists a complete hypersurface Σ in H^{n+1} satisfying S_n(κ) = σ, ∂Σ = Γ."

    The hypothesis σ_n(κ) > −A refers to the principal curvatures of the very hypersurface whose existence is the conclusion; the theorem therefore concludes existence only for a solution that already possesses the hypothesized bound. The paper supplies no mechanism that produces A from the data Ω, σ, α, and Section 1.3 concedes that 'the problem 1.1 for the case f = S_n, K = Γ̃_n without imposing any additional conditions remains open.' Since the derivation of Theorem 1.2 passes through Theorem 1.1's estimate, which is itself conditional on σ_n > −A for the relevant (approximating) solutions, the derived existence claim inherits its own unproved hypothesis: the conditional statement does not solve the asymptotic Plateau problem as an unconditional existence theorem.

  2. other [Section 3, equations (3.16) to (3.17)]
    "By Lemma 2.1 and σ_n > −A, we have ((κ_1+1)/κ_1) Σ_i S^{ii}_n κ_i = ((κ_1+1)/κ_1) [(n−1)σ_{n−1} + nασ_n] ≥ −nα((κ_1+1)/κ_1) A ≥ −Cκ_1."

    This is the only point where the imposed lower bound is actually consumed: it converts the term ((κ_1+1)/κ_1)nασ_n, which can be unbounded below, into the absorbable −Cκ_1 so that the absorption in (3.20)–(3.21) goes through. The bound is not derived from S_n = σ and κ ∈ Γ̃_n — for n = 2, λ = (t, (σ−t)/(1+αt)) lies in Γ̃_2 with S_2 = σ yet σ_2 → −∞ — and Section 1.3 says the problem without it 'remains open.' So this is a genuine extra hypothesis, not a consequence of the equation; its necessity is exactly what makes Theorem 1.2 conditional on its own conclusion, although the estimate itself is an honest conditional statement rather than a fitted or renamed prediction.

full rationale

Derivation chain analysis: Theorem 1.1 is a conditional a priori interior curvature estimate for solutions of S_n(κ) = σ, κ ∈ Γ̃_n, under the extra hypothesis σ_n(κ) > −A. Its proof is genuinely computational: the test function Q (a technique taken from Lu [14]) is combined with the external Li–Ren concavity inequality (Lemma 2.3, [24]) and standard Ricci/Codazzi identities, with the bad third-order terms handled by explicit algebra (claim (3.13)). No data is fitted, no quantity is renamed as a prediction, and no known result is relabelled; the estimate's content is independent of its inputs. The citation to Lu [14] is a device citation, not a load-bearing theorem, so it does not constitute circularity. The circularity issue is confined to Theorem 1.2. As stated, its hypothesis 'there exists A such that σ_n(κ) > −A' quantifies over the principal curvatures of the hypersurface whose existence is the theorem's conclusion; the existence claim is therefore conditional on a property of the sought object. The roadmap for Theorem 1.2 is the Guan–Spruck continuity argument powered by Theorem 1.1's estimate, and that estimate is available only when σ_n > −A holds along the approximating solutions — precisely the condition the paper cannot produce. Section 1.3 states explicitly that the problem without 'imposing any additional conditions' remains open, and the usage at (3.16)–(3.17) shows the bound is genuinely consumed (without it the term is unbounded below; admissibility plus the equation does not imply the bound, e.g. n = 2, λ_1 = t, λ_2 = (σ−t)/(1+αt)). Because the paper is transparent about this limitation and does not claim the unconditional case, the circularity is partial and confined to the existence claim; the central estimate retains independent mathematical content, so the score is moderate rather than high.

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

No free parameters fitted to data appear; the input parameters alpha, sigma, A, and the geometric data are part of the problem. The load-bearing external inputs are the concavity inequality of Li-Ren and the ellipticity bound of Li-Wang-Ren, plus the extra lower-bound assumption on sigma_n.

assumptions (4)
  • domain assumption Lemma 2.2: in tildeGamma_n, S_ii^n(lambda) >= theta S_n(lambda)/lambda_i for i<=n-1
    Quoted from Li-Wang-Ren [23]; used in equation (3.21) to convert S_11 kappa_1^2 into theta sigma kappa_1. If false, the final bound fails.
  • domain assumption Lemma 2.3 (Li-Ren concavity inequality): lambda_1 [(K sum_j S_jj xi_j)^2 - S^{pp,qq}_n xi_p xi_q] - S_11 xi_1^2 + (1+epsilon) sum_{j>1} S_jj xi_j^2 >= 0 for all xi
    Quoted from [24]; invoked in the transition from (3.15) to (3.16) to discard the mixed second-order terms. This is the key external inequality and is not proved in the paper.
  • ad hoc to paper Hypothesis sigma_n(kappa)>-A for some A>0
    Introduced in Theorem 1.1 and used at (3.17) to control -kappa_1 sigma_{n-1}; the authors state the unconditional problem remains open.
  • standard math Standard maximum principle and curvature perturbation technique
    Used in the proof of Theorem 1.1 to handle non-differentiability when kappa_1 has multiplicity greater than one; standard in the field.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hypersurfaces of constant sum Hessian curvature in Hyperbolic space." pith.science (2026). https://pith.science/paper/SCMUTXRM

@misc{pith2026250722375,
  author       = {Pith},
  title        = {Pith review of: Hypersurfaces of constant sum Hessian curvature in Hyperbolic space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SCMUTXRM}},
  note         = {Machine review of arXiv:2507.22375}
}
abstract

In this paper, we study the asymptotic Plateau problem in hyperbolic space for constant sum Hessian curvature. More precisely, given a asymptotic boundary $\Gamma$, one seeks a complete hypersurface $\Sigma$ in $\mathbb{H}^{n+1}$ satisfying $\sigma_{n-1}(\kappa)+\alpha\sigma_{n}(\kappa)=\sigma\in (0,n),\,\,\partial \Sigma=\Gamma$ where $\alpha$ is a non-negative number.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

25 extracted references · 24 canonical work pages

  1. [1]

    M. T. Anderson,Complete minimal varieties in hyperbolic space, Invent. Math. 69 (1982), no. 3, 477–494

    work page 1982

  2. [2]

    M. T. Anderson,Complete minimal hypersurfaces in hyperbolicn-manifolds, Comment. Math. Helv. 58 (1983), no. 2, 264–290

    work page 1983

  3. [3]

    Tonegawa,Existence and regularity of constant mean curvature hypersurfaces in hyperbolic space, Math

    Y. Tonegawa,Existence and regularity of constant mean curvature hypersurfaces in hyperbolic space, Math. Z. 221 (1996), no. 4, 591–615

    work page 1996

  4. [4]

    Lin,On the Dirichlet problem for minimal graphs in hyperbolic space, Invent

    F.-H. Lin,On the Dirichlet problem for minimal graphs in hyperbolic space, Invent. Math. 96 (1989), no. 3, 593–612

    work page 1989

  5. [5]

    Lin,Erratum: On the Dirichlet problem for minimal graphs in hyperbolic space, Invent

    F.-H. Lin,Erratum: On the Dirichlet problem for minimal graphs in hyperbolic space, Invent. Math. 187 (2012), no. 3, 755-757

    work page 2012

  6. [6]

    Nelli and J

    B. Nelli and J. Spruck,On the existence and uniqueness of constant mean curvature hypersur- faces in hyperbolic space, Geometric analysis and the calculus of variations, 253–266, Int. Press, Cambridge, MA, 1996

    work page 1996

  7. [7]

    Guan and J

    B. Guan and J. Spruck,Hypersurfaces of constant mean curvature in hyperbolic space with prescribed asymptotic boundary at infinity, Amer. J. Math. 122 (2000), no. 5, 1039–1060. 14 JIANBO YANG AND YUEMING LU

    work page 2000

  8. [8]

    Labourie,Probl` eme de Minkowski et surfaces ` a courbure constante dans les vari´ et´ es hyper- boliques, Bull

    F. Labourie,Probl` eme de Minkowski et surfaces ` a courbure constante dans les vari´ et´ es hyper- boliques, Bull. Soc. Math. France 119 (1991), no. 3, 307–325

    work page 1991

Show all 25 references
  1. [9]

    Rosenberg and J

    H. Rosenberg and J. Spruck,On the existence of convex hypersurfaces of constant Gauss cur- vature in hyperbolic space, J. Differential Geom. 40 (1994), no. 2, 379–409

    1994

  2. [10]

    Guan and J

    B. Guan and J. Spruck,Convex hypersurfaces of constant curvature in hyperbolic space, Sur- veys in geometric analysis and relativity, 241–257, Adv. Lect. Math. (ALM), 20, Int. Press, Somerville, MA, 2011

    2011

  3. [11]

    B. Guan, J. Spruck and M. Szapiel,Hypersurfaces of constant curvature in hyperbolic space. I, J. Geom. Anal. 19 (2009), no. 4, 772–795

    2009

  4. [13]

    Guan and J

    B. Guan and J. Spruck,Hypersurfaces of constant curvature in hyperbolic space. II, J. Eur. Math. Soc. (JEMS) 12 (2010), no. 3, 797–817

    2010

  5. [14]

    Lu,On the asymptotic Plateau problem in hyperbolic space, Proc

    S. Lu,On the asymptotic Plateau problem in hyperbolic space, Proc. Amer. Math. Soc. 151 (2023), no. 12, 5443-5451

    2023

  6. [15]

    Wang,Curvature estimates for hypersurfaces of constant curvature in hyperbolic space, arXiv:2205.13739

    B. Wang,Curvature estimates for hypersurfaces of constant curvature in hyperbolic space, arXiv:2205.13739

    arXiv

  7. [16]

    Wang,Hypersurfaces of constant scalar curvature in hyperbolic space with prescribed asymp- totic boundary at infinity, arXiv:2408.07656

    B. Wang,Hypersurfaces of constant scalar curvature in hyperbolic space with prescribed asymp- totic boundary at infinity, arXiv:2408.07656

    arXiv

  8. [17]

    Wang,Curvature estimates for hypersurfaces of constant curvature in hyperbolic space II, arXiv:2505.00760

    B. Wang,Curvature estimates for hypersurfaces of constant curvature in hyperbolic space II, arXiv:2505.00760

    arXiv

  9. [18]

    D. Chen, Z. Sui, L. Sun,Asymptotic Plateau problem for2-convex hypersurface inH 4, arXiv:2506.00565

  10. [19]

    Ren and Z

    C. Ren and Z. Wang,On the curvature estimates for Hessian equations, Amer. J. Math. 141 (2019), no. 5, 1281–1315

    2019

  11. [20]

    Ren and Z

    C. Ren and Z. Wang,The global curvature estimate for then−2Hessian equation, Cal. Var. Par. Diff. Equ. 62(2023) no.9: 239

    2023

  12. [21]

    Shankar and Y

    R. Shankar and Y. Yuan,Hessian estimates for the sigma-2equation in dimension four, Ann. of Math. 201 (2025), no. 2, 489–513

    2025

  13. [22]

    Hong and R

    H. Hong and R. Zhang,Curvature estimates for semi-convex solutions of asymptotic Plateau problem inH n+1, arXiv:2408.09428

    arXiv

  14. [23]

    C. Li, C. Ren and Z. Wang,Curvature estimates for convex solutions of some fully nonlinear Hessian-type equations., Calc. Var. Partial Differential Equations. 58(2019), no. 188, 32

    2019

  15. [24]

    Li and C

    P. Li and C. Ren,Pogorelov typeC 2 estimates for sum Hessian equations, arXiv:2504.06711

    arXiv

  16. [25]

    B. Guan, J. Spruck and L. Xiao,Interior curvature estimates and the asymptotic plateau problem in hyperbolic space, J. Differential Geom. 96 (2014), no. 2, 201–222

    2014

  17. [26]

    Chu,A simple proof of curvature estimate for convex solution ofk-Hessian equation, Proc

    J. Chu,A simple proof of curvature estimate for convex solution ofk-Hessian equation, Proc. Amer. Math. Soc. 149 (2021), no. 8, 3541–3552. College of Science, Harbin University of Science and Technology, 52 Xuefu Road, Harbin, 150080, Heilongjiang Province, China. Email addres...

    2021

Pith tools

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