Pith. sign in

REVIEW 1 minor 37 references

On a continuity method for Dirichlet problem of Hessian equations

T0 review · 0 major / 1 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read A continuity method solves the Dirichlet problem for Hessian equations on Riemannian manifolds by constructing admissible functions with Morse theory in the type 2 case and approximating type 1 equations accordingly.

desk verdict The paper claims a continuity method that uses Morse theory to build admissible functions for type 2 Hessian equations on manifolds without subsolutions, then approximates type 1 cases. read the letter →

arxiv 2606.12193 v1 pith:D32SXGMT submitted 2026-06-10 math.AP

Rirong Yuan This is my paper
classification math.AP
keywords HessianequationsDirichletproblemcontinuitymethodMorsetheoryRiemannianmanifoldsadmissiblefunctionstype1and2fullynonlinearPDE
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 develops a continuity method for the Dirichlet problem of Hessian equations on Riemannian manifolds, defined via eigenvalues of the Hessian and a given pair (f, Γ). In the type 2 case it constructs admissible functions using Morse theory and solves the problem without extra assumptions on the boundary or subsolution. It then uses the characterization of the pair to approximate type 1 equations by families of type 2 equations. A sympathetic reader would care because the approach removes common technical restrictions that previously limited existence results for these fully nonlinear equations.

What carries the argument

The characterization of the pair (f, Γ) that permits Morse-theoretic construction of admissible functions for type 2 equations and approximation of type 1 equations by type 2 families.

What would settle it

A concrete pair (f, Γ) for which the Morse theory step produces no admissible functions or for which the family of type 2 solutions fails to converge to a solution of the type 1 equation.

Watch

Extended reading notes

Core claim

In the type 2 case, admissible functions are constructed using Morse theory, and the Dirichlet problem is solved without any additional assumptions on the boundary or the subsolution. Building on this characterization of the pair, type 1 equations are approximated by a family of type 2 equations.

Load-bearing premise

The pair (f, Γ) admits a characterization that permits both the Morse-theoretic construction of admissible functions in the type 2 case and the approximation of type 1 equations by type 2 equations.

Editorial extensions

If this is right

  • Solutions exist for the Dirichlet problem of type 2 Hessian equations on any Riemannian manifold without boundary or subsolution restrictions.
  • Type 1 Hessian equations admit solutions obtained as limits of solutions to approximating type 2 equations.
  • The continuity method yields existence for a larger class of pairs (f, Γ) than methods requiring explicit subsolutions.

Reading between the lines

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

  • The same characterization might allow the method to handle other fully nonlinear equations whose admissible sets are symmetric cones.
  • Existence for type 1 problems on manifolds could be reduced systematically to type 2 problems in other geometric settings.
  • The approximation step suggests a possible numerical strategy of solving sequences of type 2 problems to reach type 1 solutions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 1 minor

Summary. The manuscript develops a continuity method for the Dirichlet problem of Hessian equations on Riemannian manifolds. The approach rests on a characterization of the pair (f, Γ) that, in the type 2 case, permits construction of admissible functions via Morse theory followed by solution of the Dirichlet problem without extra assumptions on the boundary or subsolution; the same characterization then allows approximation of type 1 equations by a family of type 2 equations.

Significance. If the central claims hold, the work would remove longstanding auxiliary assumptions in the type 2 setting and supply a systematic approximation route from type 1 to type 2, thereby enlarging the class of solvable Hessian equations on manifolds. The explicit use of Morse theory to produce admissible functions, when combined with a continuity method, represents a potentially useful technical bridge between topological and analytic techniques in fully nonlinear elliptic theory.

minor comments (1)
  1. The abstract states the existence of the method and the removal of assumptions but supplies no proof sketches, estimates, or verification steps; the full manuscript must be consulted to evaluate the central claims.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive summary of our manuscript. The report does not list any specific major comments, so we have no individual points to address. We are happy to provide additional clarifications or expansions if the editor or referee requests them in a subsequent round.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained

full rationale

The abstract and method description rely on an external characterization of the pair (f, Γ) combined with Morse theory to construct admissible functions for type 2 cases, followed by approximation for type 1. No equations, definitions, or self-citations are presented that reduce the existence result to a fitted input, self-definition, or load-bearing prior result by the same authors. The continuity method is described as building on independent techniques without internal reduction to its own inputs.

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

Based solely on the abstract, the argument rests on standard background results in differential geometry and elliptic PDE theory; no free parameters, new entities, or ad-hoc axioms are visible.

assumptions (2)
  • domain assumption Morse theory applies to the construction of admissible functions on the given Riemannian manifold.
    Invoked for the type 2 case in the abstract.
  • domain assumption The pair (f, Γ) possesses a characterization allowing approximation of type 1 equations by type 2 equations.
    Stated as the foundation for the continuity method.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On a continuity method for Dirichlet problem of Hessian equations." pith.science (2026). https://pith.science/paper/D32SXGMT

@misc{pith2026260612193,
  author       = {Pith},
  title        = {Pith review of: On a continuity method for Dirichlet problem of Hessian equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D32SXGMT}},
  note         = {Machine review of arXiv:2606.12193}
}
abstract

In this paper, we develop a continuity method for the Dirichlet problem of Hessian equations on Riemannian manifolds. Such equations, introduced by Caffarelli, Nirenberg and Spruck, are defined in terms of the eigenvalues of the Hessian and a given pair $(f,\Gamma)$, where $f$ is a symmetric function defined in a symmetric cone $\Gamma\subset\mathbb{R}^n$, and $\Gamma$ specifies the set of admissible eigenvalues for the solution. Our method combines techniques from Morse theory with a characterization of the pair $(f,\Gamma)$. More precisely, in the type 2 case, we first construct admissible functions using Morse theory, and then solve the Dirichlet problem without any additional assumptions on the boundary or the subsolution. Building on this characterization of the pair, we can approximate the type 1 equation by a family of type 2 equations.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

37 extracted references · 9 canonical work pages

  1. [1]

    Springer Mono- graphs in Mathematics

    Thierry Aubin.Some nonlinear problems in Riemannian geometry. Springer Mono- graphs in Mathematics. Springer-Verlag, Berlin, 1998

    1998

  2. [2]

    The Dirichlet problem for nonlinear second-order elliptic equations

    Luis Angel Caffarelli, Louis Nirenberg, and Joel Spruck. The Dirichlet problem for nonlinear second-order elliptic equations. III. Functions of the eigenvalues of the Hes- sian.Acta Math., 155(3-4):261–301, 1985

    1985

  3. [3]

    The space of K¨ ahler metrics.J

    Xiuxiong Chen. The space of K¨ ahler metrics.J. Differential Geom., 56(2):189–234, 2000

    2000

  4. [4]

    Dinew and S

    S. Dinew and S. Kolodziej. Liouville and Calabi-Yau type theorems for complex Hes- sian equations.Amer. J. Math., 139(2):403–415, 2017

    2017

  5. [5]

    Form-type Calabi-Yau equations.Math

    Jixiang Fu, Zhizhang Wang, and Damin Wu. Form-type Calabi-Yau equations.Math. Res. Lett., 17(5):887–903, 2010. A CONTINUITY METHOD FOR THE DIRICHLET PROBLEM 17

    2010

  6. [6]

    Trudinger.Elliptic partial differential equations of second order

    David Gilbarg and Neil S. Trudinger.Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition

    2001

  7. [7]

    The Dirichlet problem for a class of fully nonlinear elliptic equations.Comm

    Bo Guan. The Dirichlet problem for a class of fully nonlinear elliptic equations.Comm. Partial Differential Equations, 19(3-4):399–416, 1994

    1994

  8. [8]

    Complete conformal metrics of negative Ricci curvature on compact mani- folds with boundary.Int

    Bo Guan. Complete conformal metrics of negative Ricci curvature on compact mani- folds with boundary.Int. Math. Res. Not. IMRN, pages Art. ID rnn 105, 25, 2008

    2008

Show all 37 references
  1. [9]

    Second-order estimates and regularity for fully nonlinear elliptic equations on Riemannian manifolds.Duke Math

    Bo Guan. Second-order estimates and regularity for fully nonlinear elliptic equations on Riemannian manifolds.Duke Math. J., 163(8):1491–1524, 2014

    2014

  2. [10]

    The Dirichlet problem for fully nonlinear elliptic equations on Riemannian manifolds.Adv

    Bo Guan. The Dirichlet problem for fully nonlinear elliptic equations on Riemannian manifolds.Adv. Math., 415:Paper No. 108899, 32, 2023

    2023

  3. [11]

    Boundary-value problems onS n for surfaces of constant Gauss curvature.Ann

    Bo Guan and Joel Spruck. Boundary-value problems onS n for surfaces of constant Gauss curvature.Ann. of Math. (2), 138(3):601–624, 1993

    1993

  4. [12]

    A class of curvature type equations.Pure Appl

    Pengfei Guan and Xiangwen Zhang. A class of curvature type equations.Pure Appl. Math. Q., 17(3):865–907, 2021

    2021

  5. [13]

    Gursky and Jeff A

    Matthew J. Gursky and Jeff A. Viaclovsky. A fully nonlinear equation on four- manifolds with positive scalar curvature.J. Differential Geom., 63(1):131–154, 2003

    2003

  6. [14]

    Reese Harvey and H

    F. Reese Harvey and H. Blaine Lawson, Jr. Dirichlet duality and the nonlinear Dirich- let problem on Riemannian manifolds.J. Differential Geom., 88(3):395–482, 2011

    2011

  7. [15]

    A second order estimate for complex Hessian equations on a compact K¨ ahler manifold.Math

    Zuoliang Hou, Xi-Nan Ma, and Damin Wu. A second order estimate for complex Hessian equations on a compact K¨ ahler manifold.Math. Res. Lett., 17(3):547–561, 2010

    2010

  8. [16]

    N. M. Ivochkina. Classical solvability of the Dirichlet problem for the Monge-Amp` ere equation. volume 131, pages 72–79. 1983. Questions in quantum field theory and statistical physics, 4

    1983

  9. [17]

    N. V. Krylov. Boundedly inhomogeneous elliptic and parabolic equations in a domain. Izv. Akad. Nauk SSSR Ser. Mat., 47(1):75–108, 1983

    1983

  10. [18]

    On some conformally invariant fully nonlinear equations

    Aobing Li and Yanyan Li. On some conformally invariant fully nonlinear equations. Comm. Pure Appl. Math., 56(10):1416–1464, 2003

    2003

  11. [19]

    On the Dirichlet problems for symmetric function equations of the eigenvalues of the complex Hessian.Asian J

    Song-Ying Li. On the Dirichlet problems for symmetric function equations of the eigenvalues of the complex Hessian.Asian J. Math., 8(1):87–106, 2004

    2004

  12. [20]

    Some existence results for fully nonlinear elliptic equations of Monge- Amp` ere type.Comm

    Yanyan Li. Some existence results for fully nonlinear elliptic equations of Monge- Amp` ere type.Comm. Pure Appl. Math., 43(2):233–271, 1990

    1990

  13. [21]

    Milnor.Topology from the differentiable viewpoint

    John W. Milnor.Topology from the differentiable viewpoint. University Press of Vir- ginia, Charlottesville, VA, 1965. Based on notes by David W. Weaver

    1965

  14. [22]

    Aeppli cohomology classes associated with Gauduchon metrics on com- pact complex manifolds.Bull

    Dan Popovici. Aeppli cohomology classes associated with Gauduchon metrics on com- pact complex manifolds.Bull. Soc. Math. France, 143(4):763–800, 2015

    2015

  15. [23]

    Fully non-linear elliptic equations on compact Hermitian mani- folds.J

    G´ abor Sz´ ekelyhidi. Fully non-linear elliptic equations on compact Hermitian mani- folds.J. Differential Geom., 109(2):337–378, 2018

    2018

  16. [24]

    Hermitian metrics, (n−1, n−1) forms and Monge-Amp` ere equations.J

    Valentino Tosatti and Ben Weinkove. Hermitian metrics, (n−1, n−1) forms and Monge-Amp` ere equations.J. Reine Angew. Math., 755:67–101, 2019

    2019

  17. [25]

    Trudinger

    Neil S. Trudinger. On the Dirichlet problem for Hessian equations.Acta Math., 175(2):151–164, 1995

    1995

  18. [26]

    Hessian equations on compact Riemannian manifolds

    John Urbas. Hessian equations on compact Riemannian manifolds. InNonlinear prob- lems in mathematical physics and related topics, II, volume 2 ofInt. Math. Ser. (N. Y.), pages 367–377. Kluwer/Plenum, New York, 2002

    2002

  19. [27]

    Regularity of fully non-linear elliptic equations on Hermitian manifolds

    Rirong Yuan. Regularity of fully non-linear elliptic equations on Hermitian manifolds. arXiv:2203.03439, 2022

    2022

  20. [28]

    Regularity of fully non-linear elliptic equations on Hermitian manifolds

    Rirong Yuan. Regularity of fully non-linear elliptic equations on Hermitian manifolds. II.arXiv:2001.09238, 2020

    2001

  21. [29]

    On the partial uniform ellipticity and complete conformal metrics with prescribed curvature functions on manifolds with boundary.arXiv:2011.08580, 2020

    Rirong Yuan. On the partial uniform ellipticity and complete conformal metrics with prescribed curvature functions on manifolds with boundary.arXiv:2011.08580, 2020. 18 RIRONG YUAN

    2011

  22. [30]

    The partial uniform ellipticity and prescribed problems on the conformal classes of complete metrics.arXiv:2203.13212, 2022

    Rirong Yuan. The partial uniform ellipticity and prescribed problems on the conformal classes of complete metrics.arXiv:2203.13212, 2022

    2022

  23. [31]

    An extension of prescribed problems on the conformal classes of complete metrics.arXiv:2304.12835, 2023

    Rirong Yuan. An extension of prescribed problems on the conformal classes of complete metrics.arXiv:2304.12835, 2023

    2023

  24. [32]

    Fully non-linear elliptic equations on complex manifolds

    Rirong Yuan. Fully non-linear elliptic equations on complex manifolds. arXiv:2404.12350, 2024

    2024

  25. [33]

    Fully nonlinear equations for some prescribed curvature problems on Hermitian manifolds.arXiv:2405.10771, 2024

    Rirong Yuan. Fully nonlinear equations for some prescribed curvature problems on Hermitian manifolds.arXiv:2405.10771, 2024

    2024

  26. [34]

    Notes on conformal metrics of negative curvature on manifolds with boundary.J

    Rirong Yuan. Notes on conformal metrics of negative curvature on manifolds with boundary.J. Math. Study, 57(3):373–378, 2024

    2024

  27. [35]

    The structure of fully nonlinear equations and its applications to pre- scribed problems on complete conformal metrics.arXiv:2503.18757, 2025

    Rirong Yuan. The structure of fully nonlinear equations and its applications to pre- scribed problems on complete conformal metrics.arXiv:2503.18757, 2025

    2025

  28. [36]

    The Dirichlet problem for degenerate fully nonlinear elliptic equations on Riemannian manifolds.Proc

    Rirong Yuan. The Dirichlet problem for degenerate fully nonlinear elliptic equations on Riemannian manifolds.Proc. Amer. Math. Soc., 153(9):3931–3946, 2025

    2025

  29. [37]

    The existence of negatively curved metrics on locally conformally flat manifolds with boundary.arXiv:2510.17536, 2025

    Rirong Yuan. The existence of negatively curved metrics on locally conformally flat manifolds with boundary.arXiv:2510.17536, 2025. School of Mathematics, South China University of Technology, Guangzhou 510641, China Email address:yuanrr@scut.edu.cn

    2025

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.