Pith. sign in

REVIEW 2 major objections 2 minor 61 references

Positive holomorphic sectional curvature on rational surfaces

T0 review · 2 major / 2 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read Every manifold obtained from a projective toric manifold by blowing up points admits a Kähler metric with positive holomorphic sectional curvature.

desk verdict Zhang finishes the rational surface case of Yau's problem by extending Hitchin's positive HSC metrics to all blow-ups of toric manifolds, but the degeneration transfer step looks like the part that needs the most checking. read the letter →

arxiv 2606.23333 v1 pith:2CBNOCT2 submitted 2026-06-22 math.DG math.AGmath.CV

Shiyu Zhang This is my paper · ORCID
classification math.DGmath.AGmath.CV
keywords holomorphicsectionalcurvatureKählermetricsrationalsurfacestoricmanifoldsblow-upsDelzantconstructionpositive
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 establishes that projective toric manifolds carry Kähler metrics of positive holomorphic sectional curvature coming from Delzant's construction. It then shows that this positivity persists when the manifold is deformed through a one-parameter family whose general fiber is any finite sequence of point blow-ups of the original toric manifold. Because every rational surface arises this way, the result supplies the missing direction in Hitchin's 1975 theorem and settles the surface case of Yau's problem on curvature characterization.

What carries the argument

A smooth projective family over the disk whose special fiber is a projective toric manifold and whose general fibers are the desired blow-ups, together with the toric Kähler metric on the special fiber.

What would settle it

An explicit rational surface whose Kähler metrics all have some holomorphic sectional curvature less than or equal to zero, or a direct calculation showing that the Delzant toric metric on some projective toric surface fails to have HSC>0 everywhere.

Watch

Extended reading notes

Core claim

Every projective manifold X obtained from a projective toric manifold by a finite sequence of blow-ups at points admits a Kähler metric with HSC>0. This statement applies to all rational surfaces and therefore completes Hitchin's result, resolving the complex surface case of a problem of Yau.

Load-bearing premise

Positivity of holomorphic sectional curvature on the special fiber of the degeneration transfers to the nearby smooth fibers.

Editorial extensions

If this is right

  • All rational surfaces carry Kähler metrics with HSC>0.
  • The converse to Hitchin's theorem holds in the Kähler setting for surfaces.
  • The surface case of Yau's listed problem on curvature positivity is settled.
  • Positivity of HSC on toric manifolds extends to their point blow-ups via degeneration.

Reading between the lines

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

  • The same degeneration technique could be tested on other birational classes where a toric model is known to exist.
  • It would be natural to ask whether the resulting metrics can be chosen to satisfy additional curvature conditions simultaneously.
  • Higher-dimensional analogues would require checking whether the transfer of positivity still holds after more complicated blow-up sequences.
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

2 major / 2 minor

Summary. The paper claims that every projective manifold X obtained from a projective toric manifold by a finite sequence of point blow-ups admits a Kähler metric with positive holomorphic sectional curvature (HSC>0). This includes all rational surfaces and completes Hitchin's 1975 result on the converse direction. The proof has two ingredients: (i) the Delzant toric Kähler metric on any projective toric manifold has HSC>0, and (ii) for any such X a smooth projective family π:𝒳→ℂ exists with 𝒳_t ≃ X for t≠0 and 𝒳_0 toric, allowing positivity to transfer from the special fiber.

Significance. If the result holds, it resolves the complex-surface case of Yau's problem on characterizing manifolds admitting Kähler metrics with positive HSC, giving a complete curvature characterization of rational surfaces. The toric positivity statement (ingredient i) is a concrete, checkable advance on Delzant metrics; the degeneration construction supplies an explicit family that could in principle support a continuity argument.

major comments (2)
  1. [Abstract (second ingredient)] Abstract (second ingredient): the existence of the smooth family π:𝒳→ℂ with toric special fiber does not by itself imply that a metric with HSC>0 on 𝒳_0 can be deformed to metrics with HSC>0 on 𝒳_t (t≠0). HSC positivity is an open condition, but the Kähler metrics on the fibers must be chosen so that their curvature tensors vary continuously and remain positive; the manuscript must supply either an explicit deformation of the Delzant metric or a continuity-method argument controlling the curvature along the family.
  2. [Proof of the degeneration (ingredient ii)] The transfer step is load-bearing for the central claim that every blow-up of a toric manifold admits HSC>0. Without a detailed continuity or deformation argument in the proof of ingredient (ii), the reduction from the toric case to the general rational surface remains incomplete.
minor comments (2)
  1. [Abstract] Clarify whether the toric positivity result (ingredient i) is stated only for surfaces or for higher-dimensional projective toric manifolds; the abstract claims the latter but the application is to surfaces.
  2. [Abstract] Notation: the family is written π:𝒳→ℂ; confirm that the total space is smooth and that the fibers are projective for all t, including t=0.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments correctly identify that the transfer of HSC positivity along the degeneration requires an explicit argument beyond the mere existence of the family. We address each point below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract (second ingredient)] Abstract (second ingredient): the existence of the smooth family π:𝒳→ℂ with toric special fiber does not by itself imply that a metric with HSC>0 on 𝒳_0 can be deformed to metrics with HSC>0 on 𝒳_t (t≠0). HSC positivity is an open condition, but the Kähler metrics on the fibers must be chosen so that their curvature tensors vary continuously and remain positive; the manuscript must supply either an explicit deformation of the Delzant metric or a continuity-method argument controlling the curvature along the family.

    Authors: We agree that the family construction alone is insufficient and that a continuity argument controlling the curvature must be supplied. The full manuscript contains a sketch of such an argument (deforming the Delzant metric continuously in the space of Kähler metrics on the total space while using openness of HSC>0 in C^{2} topology), but it is not presented with sufficient detail or estimates. We will add an explicit subsection in Section 4 that constructs the deformed metrics fiberwise and verifies that the curvature remains positive for small t. revision: yes

  2. Referee: [Proof of the degeneration (ingredient ii)] The transfer step is load-bearing for the central claim that every blow-up of a toric manifold admits HSC>0. Without a detailed continuity or deformation argument in the proof of ingredient (ii), the reduction from the toric case to the general rational surface remains incomplete.

    Authors: We concur that the transfer argument is central and that the current presentation of ingredient (ii) is too brief. The reduction relies on a continuity method along the family; we will expand the proof to include the necessary estimates showing that the holomorphic sectional curvature stays positive under the deformation, thereby completing the argument from the toric case to the blown-up surfaces. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: toric positivity proved directly; degeneration family constructed explicitly without self-referential reduction.

full rationale

The derivation rests on two explicit steps: (1) direct proof that Delzant toric metrics have HSC>0, and (2) explicit construction of a smooth projective family with toric special fiber. Neither step reduces by definition or fit to its own output; no self-citations are load-bearing, no parameters are fitted then renamed as predictions, and no ansatz is smuggled via prior work. The positivity transfer is a claimed mathematical consequence of the family, not a tautology. This is the normal case of a self-contained argument.

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

Abstract-only review; no explicit free parameters, invented entities, or ad-hoc axioms visible. Relies on standard facts from toric geometry and Kähler metrics whose details are not supplied.

assumptions (1)
  • domain assumption The toric Kähler metric arising from Delzant's construction on a projective toric manifold has HSC>0
    First main ingredient stated in abstract; if false the reduction fails.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Positive holomorphic sectional curvature on rational surfaces." pith.science (2026). https://pith.science/paper/2CBNOCT2

@misc{pith2026260623333,
  author       = {Pith},
  title        = {Pith review of: Positive holomorphic sectional curvature on rational surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2CBNOCT2}},
  note         = {Machine review of arXiv:2606.23333}
}
abstract

In 1975, Hitchin proved that any compact complex surface admitting a K\"ahler metric with positive holomorphic sectional curvature $HSC>0$ is rational. Conversely, he constructed such metrics on all Hirzebruch surfaces $\mathbb{F}_k$, as a first step towards characterizing rational surfaces by the existence of a K\"ahler metric with suitable curvature positivity. In this paper, we prove that every projective manifold $X$ obtained from a projective toric manifold by a finite sequence of blow-ups at points admits a K\"ahler metric with $HSC>0$. This statement applies to all rational surfaces and therefore completes Hitchin's result, resolving the complex surface case of a problem of Yau listed in "Open Problems in Geometry". The proof has two main ingredients. First, we prove that the toric K\"ahler metric on a projective toric manifold arising from Delzant's construction has $HSC>0$. Second, via a one-parameter degeneration, we construct, for any such $X$, a smooth projective family $\pi:\mathcal X\to\mathbb C$ such that $\mathcal X_t\simeq X$ for $t\ne0$, while $\mathcal X_0$ is a projective toric manifold.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

61 extracted references · 3 canonical work pages

  1. [1]

    Abreu,Kähler geometry of toric manifolds in symplectic coordinates, inSymplectic and Contact Topology: Interactions and Perspectives, Fields Inst

    M. Abreu,Kähler geometry of toric manifolds in symplectic coordinates, inSymplectic and Contact Topology: Interactions and Perspectives, Fields Inst. Commun.35, Amer. Math. Soc., 2003, 1–24

    2003

  2. [2]

    Alvarez, G

    A. Alvarez, G. Heier and F. Zheng,On projectivized vector bundles and positive holomorphic sectional curvature, Proc. Amer. Math. Soc.146(2018), no. 7, 2877–2882

    2018

  3. [3]

    Audin, A

    M. Audin, A. Cannas da Silva and E. Lerman,Symplectic Geometry of Integrable Hamiltonian Systems, Advanced Courses in Mathematics CRM Barcelona, Birkhäuser, 2003

    2003

  4. [4]

    M. F. Atiyah and R. Bott,The Yang–Mills equations over Riemann surfaces, Philos. Trans. Roy. Soc. London Ser. A308(1983), no. 1505, 523–615

    1983

  5. [5]

    Audin,Torus Actions on Symplectic Manifolds, Progress in Mathematics93, Birkhäuser, 2004

    M. Audin,Torus Actions on Symplectic Manifolds, Progress in Mathematics93, Birkhäuser, 2004

    2004

  6. [6]

    W. P. Barth, K. Hulek, C. A. M. Peters and A. Van de Ven,Compact Complex Surfaces, second enlarged edition, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, Vol. 4, Springer, Berlin, 2004

    2004

  7. [7]

    Boucksom, J.-P

    S. Boucksom, J.-P. Demailly, M. Păun and T. Peternell,The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension, J. Algebraic Geom.22(2013), no. 2, 201–248

    2013

  8. [8]

    G. M. Brown,The sign of scalar curvature on Kähler blowups, arXiv:2405.12189, 2024

    work page arXiv 2024

Show all 61 references
  1. [9]

    Campana,Connexité rationnelle des variétés de Fano, Ann

    F. Campana,Connexité rationnelle des variétés de Fano, Ann. Sci. Éc. Norm. Supér. (4)25(1992), no. 5, 539–545

    1992

  2. [10]

    Cannas da Silva,Lectures on Symplectic Geometry, Lecture Notes in Mathematics1764, Springer, corrected second printing, 2008

    A. Cannas da Silva,Lectures on Symplectic Geometry, Lecture Notes in Mathematics1764, Springer, corrected second printing, 2008

    2008

  3. [11]

    Cox,What is a toric variety?, Contemporary Mathematics334(2003), 203–223

    D. Cox,What is a toric variety?, Contemporary Mathematics334(2003), 203–223

    2003

  4. [12]

    D. A. Cox, J. B. Little and H. K. Schenck,Toric Varieties, Graduate Studies in Mathematics124, American Mathematical Society, 2011

    2011

  5. [13]

    Delzant,Hamiltoniens périodiques et images convexes de l’application moment, Bull

    T. Delzant,Hamiltoniens périodiques et images convexes de l’application moment, Bull. Soc. Math. France116(1988), 315–339

    1988

  6. [14]

    I. V. Dolgachev,Classical Algebraic Geometry: A Modern View, Cambridge University Press, 2012

    2012

  7. [15]

    Fulton,Introduction to Toric Varieties, Annals of Mathematics Studies131, Princeton University Press, 1993

    W. Fulton,Introduction to Toric Varieties, Annals of Mathematics Studies131, Princeton University Press, 1993

    1993

  8. [16]

    I. M. Gelfand, M. M. Kapranov and A. V. Zelevinsky,Discriminants, Resultants, and Multidimen- sional Determinants, Mathematics: Theory & Applications, Birkhäuser Boston, 1994. 22 SHIYU ZHANG

    1994

  9. [17]

    Guillemin and S

    V. Guillemin and S. Sternberg,Geometric quantization and multiplicities of group representations, Invent. Math.67(1982), no. 3, 515–538

    1982

  10. [18]

    Guillemin,Kähler structures on toric varieties,J

    V. Guillemin,Kähler structures on toric varieties,J. Differential Geom.40(1994), 285–309

    1994

  11. [19]

    Harbourne,Iterated blow-ups and moduli for rational surfaces, inAlgebraic Geometry, Sundance 1986, Lecture Notes in Math.1311, Springer, 1988, 101–117

    B. Harbourne,Iterated blow-ups and moduli for rational surfaces, inAlgebraic Geometry, Sundance 1986, Lecture Notes in Math.1311, Springer, 1988, 101–117

    1986

  12. [20]

    Hartshorne,Algebraic Geometry, Graduate Texts in Mathematics52, Springer, 1977

    R. Hartshorne,Algebraic Geometry, Graduate Texts in Mathematics52, Springer, 1977

    1977

  13. [21]

    Heier and B

    G. Heier and B. Wong,On projective Kähler manifolds of partially positive curvature and rational connectedness, Doc. Math.25(2020), 219–238

    2020

  14. [22]

    Hitchin,On the curvature of rational surfaces, inDifferential geometry, Proc

    N. Hitchin,On the curvature of rational surfaces, inDifferential geometry, Proc. Sympos. Pure Math., Vol. XXVII, Part 2, Amer. Math. Soc., 1975, 65–80

    1975

  15. [23]

    N. J. Hitchin, A. Karlhede, U. Lindström and M. Roček,Hyper-Kähler metrics and supersymmetry, Comm. Math. Phys.108(1987), no. 4, 535–589

    1987

  16. [24]

    Itoh,Geometry of anti-self-dual connections and Kuranishi map, J

    M. Itoh,Geometry of anti-self-dual connections and Kuranishi map, J. Math. Soc. Japan40(1988), no. 1, 9–33

    1988

  17. [25]

    Kobayashi,Submersions of CR submanifolds, Tohoku Math

    S. Kobayashi,Submersions of CR submanifolds, Tohoku Math. J. (2)39(1987), no. 1, 95–100

    1987

  18. [26]

    Kobayashi,Differential Geometry of Complex Vector Bundles, Publications of the Mathematical Society of Japan15, Iwanami Shoten and Princeton University Press, 1987

    S. Kobayashi,Differential Geometry of Complex Vector Bundles, Publications of the Mathematical Society of Japan15, Iwanami Shoten and Princeton University Press, 1987

    1987

  19. [27]

    Stability theorems for complex structures, Ann

    K.KodairaandD.C.Spencer,On deformations of complex analytic structures, III. Stability theorems for complex structures, Ann. of Math. (2)71(1960), no. 1, 43–76

    1960

  20. [28]

    S. L. Kleiman,Multiple-point formulas I: Iteration, Acta Math.147(1981), 13–49

    1981

  21. [29]

    A. W. Knapp,Lie Groups Beyond an Introduction, 2nd ed., Progress in Mathematics140, Birkhäuser, 2002

    2002

  22. [30]

    S. L. Kleiman, R. Piene and I. Tyomkin,Enriques diagrams, arbitrarily near points, and Hilbert schemes, Rend. Lincei Mat. Appl.22(2011), no. 4, 411–451

    2011

  23. [31]

    Kollár, Y

    J. Kollár, Y. Miyaoka and S. Mori,Rationally connected varieties, J. Algebraic Geom.1(1992), no. 3, 429–448

    1992

  24. [32]

    C. Li, C. Zhang and X. Zhang,Mean curvature positivity and rational connectedness, Adv. Math. 483(2025), 110673

    2025

  25. [33]

    Manikandan,On holomorphic sectional curvature of Kähler quotients, Arch

    S. Manikandan,On holomorphic sectional curvature of Kähler quotients, Arch. Math.120(2023), 331–338

    2023

  26. [34]

    Marsden and A

    J. Marsden and A. Weinstein,Reduction of symplectic manifolds with symmetry, Rep. Math. Phys. 5(1974), 121–130

    1974

  27. [35]

    Matsumura,On the image of MRC fibrations of projective manifolds with semi-positive holomor- phic sectional curvature, Pure Appl

    S. Matsumura,On the image of MRC fibrations of projective manifolds with semi-positive holomor- phic sectional curvature, Pure Appl. Math. Q.16(2020), no. 5, 1419–1439

    2020

  28. [36]

    Matsumura,On projective manifolds with semi-positive holomorphic sectional curvature, Amer

    S. Matsumura,On projective manifolds with semi-positive holomorphic sectional curvature, Amer. J. Math.144(2022), no. 3, 747–777

    2022

  29. [37]

    Matsumura,Open problems on structure of positively curved projective varieties, Ann

    S. Matsumura,Open problems on structure of positively curved projective varieties, Ann. Fac. Sci. Toulouse Math. (6)31(2022), no. 3, 1011–1029

    2022

  30. [38]

    Matsumura,A survey of structure theorems for varieties with non-negative curvature in complex geometry, to appear in Sugaku Expositions

    S. Matsumura,A survey of structure theorems for varieties with non-negative curvature in complex geometry, to appear in Sugaku Expositions

  31. [39]

    Matsumura,Fundamental groups of compact Kähler manifolds with semi-positive holomorphic sectional curvature,arXiv preprint arXiv:2502.00367 (2025)

    S. Matsumura,Fundamental groups of compact Kähler manifolds with semi-positive holomorphic sectional curvature,arXiv preprint arXiv:2502.00367 (2025)

    2025

  32. [40]

    McDuff and D

    D. McDuff and D. Salamon,Introduction to Symplectic Topology, Oxford University Press, 2017

    2017

  33. [41]

    K. R. Meyer,Symmetries and integrals in mechanics, inDynamical Systems, Academic Press, 1973, 259–272

    1973

  34. [42]

    M. S. Narasimhan and C. S. Seshadri,Stable and unitary vector bundles on a compact Riemann surface, Ann. of Math. (2)82(1965), no. 3, 540–567

    1965

  35. [43]

    Mori,Projective manifolds with ample tangent bundles, Ann

    S. Mori,Projective manifolds with ample tangent bundles, Ann. of Math. (2)110(1979), no. 3, 593–606

    1979

  36. [44]

    Ni,The fundamental group, rational connectedness and the positivity of Kähler manifolds, J

    L. Ni,The fundamental group, rational connectedness and the positivity of Kähler manifolds, J. Reine Angew. Math.774(2021), 267–299

    2021

  37. [45]

    Ni and F

    L. Ni and F. Zheng,Positivity and the Kodaira embedding theorem, Geom. Topol.26(2022), no. 6, 2491–2505. POSITIVE HOLOMORPHIC SECTIONAL CUR V ATURE ON RATIONAL SURF ACES 23

    2022

  38. [46]

    Oda,Convex Bodies and Algebraic Geometry: An Introduction to the Theory of Toric Varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete15, Springer, 1988

    T. Oda,Convex Bodies and Algebraic Geometry: An Introduction to the Theory of Toric Varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete15, Springer, 1988

    1988

  39. [47]

    O’Neill,The fundamental equations of a submersion, Michigan Math

    B. O’Neill,The fundamental equations of a submersion, Michigan Math. J.13(1966), 459–469

    1966

  40. [48]

    Roé,Varieties of clusters and Enriques diagrams, Math

    J. Roé,Varieties of clusters and Enriques diagrams, Math. Proc. Cambridge Philos. Soc.137(2004), no. 1, 69–94

    2004

  41. [49]

    Rogov,Non-algebraic deformations of flat Kähler manifolds, Math

    V. Rogov,Non-algebraic deformations of flat Kähler manifolds, Math. Res. Lett.29(2022), no. 4, 1229–1250

    2022

  42. [50]

    Siu and S.-T

    Y.-T. Siu and S.-T. Yau,Compact Kähler manifolds of positive bisectional curvature, Invent. Math. 59(1980), no. 2, 189–204

    1980

  43. [51]

    Sumihiro,Equivariant completion, J

    H. Sumihiro,Equivariant completion, J. Math. Kyoto Univ.14(1974), no. 1, 1–28

    1974

  44. [52]

    Tosatti and X.-K

    V. Tosatti and X.-K. Yang,An extension of a theorem of Wu–Yau, J. Differential Geom.107(2017), no. 3, 573–579

    2017

  45. [53]

    Weinstein,Lectures on Symplectic Manifolds, CBMS Regional Conference Series in Mathematics 29, American Mathematical Society, 1977

    A. Weinstein,Lectures on Symplectic Manifolds, CBMS Regional Conference Series in Mathematics 29, American Mathematical Society, 1977

    1977

  46. [54]

    Math.204(2016), no

    D.WuandS.-T.Yau,Negative holomorphic sectional curvature and positive canonical bundle, Invent. Math.204(2016), no. 2, 595–604

    2016

  47. [55]

    Yang,RC-positivity, rational connectedness and Yau’s conjecture, Camb

    X. Yang,RC-positivity, rational connectedness and Yau’s conjecture, Camb. J. Math.6(2018), no. 2, 183–212

    2018

  48. [56]

    Yang and F

    B. Yang and F. Zheng,Hirzebruch manifolds and positive holomorphic sectional curvature, Ann. Inst. Fourier (Grenoble)69(2019), no. 6, 2589–2634

    2019

  49. [57]

    Yau,On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation, I, Comm

    S.-T. Yau,On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation, I, Comm. Pure Appl. Math.31(1978), no. 3, 339–411

    1978

  50. [58]

    Yau,A review of complex differential geometry, inSeveral complex variables and complex geometry, Part 2(Santa Cruz, CA, 1989), Proc

    S.-T. Yau,A review of complex differential geometry, inSeveral complex variables and complex geometry, Part 2(Santa Cruz, CA, 1989), Proc. Sympos. Pure Math.52, Amer. Math. Soc., 1991, 619–625

    1989

  51. [59]

    Yau,Open problems in geometry, inDifferential geometry: partial differential equations on manifolds, Proc

    S.-T. Yau,Open problems in geometry, inDifferential geometry: partial differential equations on manifolds, Proc. Sympos. Pure Math.54, Part 1, Amer. Math. Soc., 1993, 1–28

    1993

  52. [60]

    Zhang and X

    S. Zhang and X. Zhang,Compact Kähler manifolds with partially semi-positive curvature, Trans. Amer. Math. Soc., to appear

  53. [61]

    Zhang and X

    S. Zhang and X. Zhang,On the structure of compact Kähler manifolds with nonnegative holomorphic sectional curvature, arXiv:2311.18779v4. University of Science and Technology of China, Hefei, 230026, China Email address:shiyu123@mail.ustc.edu.cn

Pith tools

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