pith. sign in

arxiv: 2605.01179 · v1 · submitted 2026-05-02 · 🧮 math.DG · math.AP

Poincar\'e type J-equation

Xiuxiong Chen , Yulun Xu This is my paper

Pith reviewed 2026-05-09 18:53 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords J-equationPoincaré type singularitiesKähler metricscontinuity pathsubsolutionsK-energydivisorKähler surfaces
0
0 comments X

The pith

A two-parameter continuity path characterizes solvability of the J-equation for Kähler metrics with Poincaré-type singularities along a divisor.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors introduce a two-parameter continuity path that deforms the J-equation to handle Kähler metrics singular along a divisor D with simple normal crossings or self-intersections. This path lets them prove that solvability holds exactly when certain continuity conditions are met, extending earlier smooth-case results. On Kähler surfaces the classical subsolution condition from the smooth setting is enough to guarantee a Poincaré-type solution for any smooth divisor. The work also shows that existence of such a singular solution implies a solution exists on the divisor itself and that the K-energy stays bounded below when the class satisfies an ampleness condition and the manifold has no negative curves.

Core claim

We introduce a two-parameter continuity path for the J-equation and use it to characterize the solvability of the J-equation for Kähler metrics with Poincaré type singularities along a divisor D, allowing simple normal crossings and self-intersections. On Kähler surfaces, we show that the classical subsolution condition in the smooth setting implies solvability in the Poincaré type setting for any smooth divisor D. As a consequence, if X contains no curves of negative self-intersections and K_X[D] is ample, then the K-energy is bounded from below on any Poincaré type Kähler class. In the smooth divisor case, we further analyze the asymptotic behavior of solutions near D, and show that the J-

What carries the argument

The two-parameter continuity path, a deformation that interpolates between a solvable reference equation and the target J-equation while tracking singularities along D.

If this is right

  • On any Kähler surface the smooth-case subsolution condition is sufficient for existence of a Poincaré-type solution.
  • When the surface has no negative self-intersection curves and K_X[D] is ample, the K-energy is bounded below in every Poincaré-type class.
  • Existence of a Poincaré-type solution implies a solution to the J-equation exists on the divisor D itself.
  • The asymptotic expansion of the solution near D is explicitly controlled by the geometry of the normal bundle.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method may adapt to divisors with more complicated singularities if the continuity parameters can still be controlled.
  • The boundedness of K-energy supplies a new stability criterion for singular Kähler classes that could be checked algebraically.
  • On surfaces the result closes the gap between smooth and singular solvability, suggesting the same gap may close in higher dimensions once suitable subsolutions are found.

Load-bearing premise

The two-parameter path can be continued all the way to the target equation without running into obstructions other than those already controlled by the subsolution condition.

What would settle it

A concrete Kähler surface with smooth divisor D where the classical subsolution holds yet no Poincaré-type solution to the J-equation exists.

read the original abstract

We introduce a two-parameter continuity path for the J-equation and use it to characterize the solvability of the J-equation for K\"ahler metrics with Poincar\'e type singularities along a divisor $D$, allowing simple normal crossings and self-intersections. On K\"ahler surfaces, we show that the classical subsolution condition in the smooth setting implies solvability in the Poincar\'e type setting for any smooth divisor $D$. As a consequence, if $X$ contains no curves of negative self-intersections and $K_X[D]$ is ample, then the K-energy is bounded from below on any Poincar\'e type K\"ahler class. In the smooth divisor case, we further analyze the asymptotic behavior of solutions near $D$, and show that existence of a Poincar\'e type solution implies existence of a solution to the J-equation on $D$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces a two-parameter continuity path for the J-equation and employs it to characterize solvability of the J-equation for Kähler metrics with Poincaré-type singularities along a divisor D, permitting simple normal crossings and self-intersections. On Kähler surfaces the classical subsolution condition from the smooth setting is shown to imply solvability in the Poincaré-type setting for any smooth divisor D. As a consequence, if X contains no curves of negative self-intersection and K_X[D] is ample then the K-energy is bounded from below on any Poincaré-type Kähler class. In the smooth-divisor case the paper further analyzes the asymptotic behavior of solutions near D and shows that existence of a Poincaré-type solution implies existence of a solution to the J-equation on D.

Significance. If the results hold, the work supplies a concrete extension of solvability criteria for the J-equation into the Poincaré-type singular regime, together with a new two-parameter deformation that may give improved control over obstructions. The surface case yields an explicit transfer of the smooth subsolution condition and a boundedness statement for the K-energy under natural positivity assumptions; the asymptotic analysis near D adds information on the singular behavior of solutions. These contributions are potentially useful for questions of stability and canonical metrics in the presence of divisors.

major comments (2)
  1. [§3] §3 (definition of the two-parameter path): the openness and closedness arguments for the continuity path rely on a priori estimates in weighted Hölder spaces adapted to the divisor. When D has self-intersections the local model ceases to be a product, yet the manuscript does not supply an explicit barrier or maximum-principle argument that yields parameter-independent bounds at the crossing loci; this step is load-bearing for the claim that the classical subsolution condition transfers without new obstructions.
  2. [§4] §4 (surface case): the proof that the smooth subsolution implies solvability in the Poincaré-type setting asserts uniform control of the linearized operator up to the target equation. The text does not verify that the Evans-Krylov or Schauder estimates remain valid in the weighted spaces once the background metric degenerates like |z|^{2β} near crossing points; without this verification the transfer from the smooth to the singular setting remains incomplete.
minor comments (2)
  1. Notation for the two continuity parameters is introduced without a compact summary table; a short table listing the deformation of the right-hand side and the background class would improve readability.
  2. The statement that existence on D follows from existence of a Poincaré-type solution on X is asserted but the reduction step is only sketched; a one-paragraph outline of the restriction argument would clarify the logic.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. We address each major comment below and will make the necessary revisions to clarify the arguments.

read point-by-point responses

  1. Referee: [§3] §3 (definition of the two-parameter path): the openness and closedness arguments for the continuity path rely on a priori estimates in weighted Hölder spaces adapted to the divisor. When D has self-intersections the local model ceases to be a product, yet the manuscript does not supply an explicit barrier or maximum-principle argument that yields parameter-independent bounds at the crossing loci; this step is load-bearing for the claim that the classical subsolution condition transfers without new obstructions.

    Authors: We agree that an explicit construction of the barrier function at the crossing loci would strengthen the presentation. In the current manuscript, the a priori estimates are obtained by applying the maximum principle to a suitable function involving the potential and its derivatives, with the weights chosen to control the behavior near the intersections. However, to make the parameter-independence fully transparent, we will add a detailed construction of the barrier in the revised version, adapting the standard techniques for conical singularities to the crossing points using local coordinates where the divisor is defined by z1 z2 =0 or similar. This will confirm that no new obstructions arise. revision: yes

  2. Referee: [§4] §4 (surface case): the proof that the smooth subsolution implies solvability in the Poincaré-type setting asserts uniform control of the linearized operator up to the target equation. The text does not verify that the Evans-Krylov or Schauder estimates remain valid in the weighted spaces once the background metric degenerates like |z|^{2β} near crossing points; without this verification the transfer from the smooth to the singular setting remains incomplete.

    Authors: The weighted Hölder spaces are defined precisely so that the degeneration of the metric is compensated by the weights, allowing the standard Evans-Krylov theory for fully nonlinear elliptic equations and Schauder estimates for the linearized operator to apply directly, as the operator remains uniformly elliptic in these spaces. We will include a short verification or reference to the appropriate literature on elliptic regularity in weighted spaces for metrics with Poincaré-type singularities in the revision to address this point explicitly. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent continuity method

full rationale

The paper introduces a two-parameter continuity path as an analytical tool to characterize solvability of the J-equation in the Poincaré-type setting, including for divisors with simple normal crossings and self-intersections. The abstract states that this path is used to show that the classical smooth subsolution condition implies solvability on Kähler surfaces, and derives consequences for the K-energy. No load-bearing steps reduce by the paper's own equations to fitted inputs, self-definitions, or self-citation chains; the path and associated estimates are presented as newly constructed and independent of the target result. The derivation chain is self-contained against external benchmarks such as the smooth-case subsolution condition.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract does not specify any free parameters, additional axioms, or invented entities beyond standard concepts in Kähler geometry such as divisors, Kähler classes, and the J-equation itself.

pith-pipeline@v0.9.0 · 5446 in / 1212 out tokens · 53131 ms · 2026-05-09T18:53:47.947249+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

39 extracted references · 7 canonical work pages

  1. [1]

    T. Aubin. Equations du type Monge-Ampere sur les varietes kahleriennes compactes. CR Acad. Sci. Paris S´ er. AB 283 (1976): 119-121

    1976

  2. [2]

    H. Auvray. The space of Poincar´ e type K¨ ahler metrics on the complement of a divisor. Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) 2017.722 (2017): 1-64

    2017

  3. [3]

    H. Auvray. Asymptotic properties of extremal K¨ ahler metrics of Poincar´ e type. Proceedings of the London Mathematical Society 115.4 (2017): 813-853

    2017

  4. [4]

    H. Auvray. Metrics of Poincar´ e type with constant scalar curvature: a topological constraint. Journal of the London Mathematical Society 87.2 (2013): 607-621

    2013

  5. [5]

    Apostolov, H

    V. Apostolov, H. Auvray, and L. M. Sektnan. Extremal K¨ ahler Poincar´ e type metrics on toric vari- eties. The Journal of Geometric Analysis 31.2 (2021): 1223-1290

    2021

  6. [6]

    Berndtsson

    R.Berman, and B. Berndtsson. Convexity of theK-energy on the space of K¨ ahler metrics and unique- ness of extremal metrics. Journal of the American Mathematical Society 30.4 (2017): 1165-1196

    2017

  7. [7]

    Bando, T

    S. Bando, T. Mabuchi. Uniqueness of Einstein K¨ ahler metrics modulo connected group actions. Algebraic geometry, Sendai, 1985. Vol. 10. Mathematical Society of Japan, 1987. 11-41

    1985

  8. [8]

    X.X. Chen. The space of K¨ ahler metrics. Journal of Differential Geometry 56.2 (2000): 189-234

    2000

  9. [9]

    X.X. Chen. On the existence of constant scalar curvature K¨ ahler metric: a new perspective. Annales math´ ematiques du Qu´ ebec 42.2 (2018): 169-189

    2018

  10. [10]

    X.X. Chen. On the lower bound of the Mabuchi energy and its application. International Mathe- matics Research Notices 2000.12 (2000): 607-623

    2000

  11. [11]

    Chen, J.R

    X.X. Chen, J.R. Cheng. On the constant scalar curvature K¨ ahler metrics (I)—A priori estimates. Journal of the American Mathematical Society 34.4 (2021): 909-936

    2021

  12. [12]

    Chen, J.R

    X.X. Chen, J.R. Cheng. On the constant scalar curvature K¨ ahler metrics (II)—Existence results. Journal of the American Mathematical Society 34.4 (2021): 937-1009

    2021

  13. [13]

    X.X. Chen, S. Donaldson, S. Sun. K¨ ahler-Einstein metrics on Fano manifolds. I: Approximation of metrics with cone singularities. Journal of the American Mathematical Society 28.1 (2015): 183-197

    2015

  14. [14]

    X.X. Chen, S. Donaldson, S. Sun. K¨ ahler-Einstein metrics on Fano manifolds. II: Limits with cone angle less than 2π. Journal of the American Mathematical Society 28.1 (2015): 199-234

    2015

  15. [15]

    X.X. Chen, S. Donaldson, S. Sun. K¨ ahler-Einstein metrics on Fano manifolds. III: Limits as cone angle approaches 2πand completion of the main proof. Journal of the American Mathematical Society 28.1 (2015): 235-278

    2015

  16. [16]

    X.X. Chen, L. Li, M. Paun. Approximation of weak geodesics and subharmonicity of Mabuchi energy. arXiv preprint arXiv:1409.7896 (2014)

    work page arXiv 2014

  17. [17]

    Cheng, Y.L

    J.R. Cheng, Y.L. Xu. Viscosity solution to complex Hessian equations on compact Hermitian man- ifolds. Journal of Functional Analysis 289.5 (2025): 110936

    2025

  18. [18]

    G. Chen. The J-equation and the supercritical deformed Hermitian–Yang–Mills equation. Inven- tiones mathematicae 225.2 (2021): 529-602

    2021

  19. [19]

    Collins, Y

    T.C. Collins, Y. Li. Complete Calabi–Yau metrics in the complement of two divisors. Duke Mathe- matical Journal 173.18 (2024): 3559-3604

    2024

  20. [20]

    Donaldson

    S.K. Donaldson. Moment maps and diffeomorphisms. Asian Journal of Mathematics 3 (1999): 1-16

    1999

  21. [21]

    Donaldson

    S.K. Donaldson. Symmetric spaces, K¨ ahler geometry and Hamiltonian dynamics. American Math- ematical Society Translations: Series 2 (1999): 13-33

    1999

  22. [22]

    Y. Feng. Examples of Toric Scalar-flat K¨ ahler Surfaces with Mixed-type Ends: Y. Feng. The Journal of Geometric Analysis 36.1 (2026): 39

    2026

  23. [23]

    Gaffney A special Stokes’s theorem for complete Riemannian manifolds

    M. Gaffney A special Stokes’s theorem for complete Riemannian manifolds. Ann. of Math. (2) 60 (1954), 140-145. 40 XIUXIONG CHEN, YULUN XU

    1954

  24. [24]

    B. Guo, J. Song. Sup-slopes and sub-solutions for fully nonlinear elliptic equations. arXiv preprint arXiv:2405.03074 (2024)

    work page arXiv 2024

  25. [25]

    A. Lamari. Le cˆ one k¨ ahl´ erien d’une surface. Journal de math´ ematiques pures et appliqu´ ees 78.3 (1999): 249-263

    1999

  26. [26]

    Lejmi, G

    M. Lejmi, G. Sz´ ekelyhidi. The J-flow and stability. Advances in mathematics 274 (2015): 404-431

    2015

  27. [27]

    L. Sektnan. Blowing up extremal Poincar´ e type manifolds. Mathematical Research Letters 30.1 (2023): 185-238

    2023

  28. [28]

    J. Song. Nakai-Moishezon criterions for complex Hessian equations. arXiv preprint arXiv:2012.07956 (2020)

    work page arXiv 2012

  29. [29]

    J. Song, B. Weinkove. On the convergence and singularities of the J-Flow with applications to the Mabuchi energy. Communications on Pure and Applied Mathematics 61.2 (2008): 210-229

    2008

  30. [30]

    W. Sun. On a class of fully nonlinear elliptic equations on closed Hermitian manifolds II:L ∞ estimate. Communications on Pure and Applied Mathematics 70.1 (2017): 172-199

    2017

  31. [31]

    Extremal metrics and K-stability (PhD thesis)

    G. Sz´ ekelyhidi. Extremal metrics and K-stability (PhD thesis), arXiv:math/0611002

    work page Pith review arXiv

  32. [32]

    G. Tian, S. T. Yau, Existence of K¨ ahler–Einstein metrics on complete K¨ ahler manifolds and their applications to algebraic geometry, in: Mathematical aspects of string theory (San Diego 1986), Adv. Ser. Math. Phys. 1, World Scientific, Singapore (1987), 574–628

    1986

  33. [33]

    G. Tian, S. T. Yau. Complete K¨ ahler manifolds with zero Ricci curvature. I. Journal of the American Mathematical Society (1990): 579-609

    1990

  34. [34]

    Tosatti, B

    V. Tosatti, B. Weinkove. Estimates for the complex Monge-Ampere equation on Hermitian and balanced manifolds. (2010): 19-40

    2010

  35. [35]

    Weinkove

    B. Weinkove. Convergence of the J-flow on K¨ ahler surfaces. Communications in Analysis and Ge- ometry 12.4 (2004): 949-965

    2004

  36. [36]

    X. Xia. On Weighted Twisted K-Energy and Its Applications. arXiv preprint arXiv:2602.20302 (2026)

    work page arXiv 2026

  37. [37]

    Y. Xu, K. Zheng. The uniqueness of Poincar´ e type constant scalar curvature K¨ ahler metric. arXiv preprint arXiv:2410.14130 (2024)

    work page arXiv 2024

  38. [38]

    Y. Xu. The uniqueness of Poincar´ e type extremal K¨ ahler metric. arXiv preprint arXiv:2504.08203 (2025)

    work page arXiv 2025

  39. [39]

    On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp` ere equation, I

    S.T.Yau. On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge-Amp` ere equation, I. Communications on pure and applied mathematics 31.3 (1978): 339-411

    1978