pith. sign in

arxiv: 2505.19257 · v3 · submitted 2025-05-25 · 🧮 math.DG · math.CV

Existence of Conical Higher cscK Metrics on a Minimal Ruled Surface

Pith reviewed 2026-05-19 13:20 UTC · model grok-4.3

classification 🧮 math.DG math.CV
keywords conical metricshigher cscKruled surfacemomentum constructionBando-Futaki invariantpolyhomogeneousKähler geometry
0
0 comments X

The pith

Conical singularities along special divisors yield higher cscK metrics in every Kähler class on minimal ruled surfaces.

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

On pseudo-Hirzebruch surfaces, which are minimal ruled surfaces with two special divisors, higher cscK metrics do not exist in any Kähler class according to the top Bando-Futaki invariant. The paper demonstrates that permitting conical singularities along at least one of these divisors allows the momentum construction to produce such metrics in each Kähler class. These constructed metrics are polyhomogeneous and the higher cscK equation is interpreted globally using currents of integration along the divisors. The introduction of the top log Bando-Futaki invariant leads to a conjectural linear relationship between the cone angles at the two divisors.

Core claim

By extending the momentum construction to allow conical singularities along the zero and infinity divisors, conical higher cscK metrics exist in every Kähler class on these surfaces, satisfying the polyhomogeneous condition and the equation interpreted via currents of integration along the divisors.

What carries the argument

The momentum construction on ruled surfaces, extended to conical polyhomogeneous metrics satisfying the higher cscK equation via currents.

If this is right

  • Conical higher cscK metrics can be constructed explicitly in all Kähler classes.
  • The metrics are polyhomogeneous at the conical singularities.
  • The higher cscK equation holds globally when interpreted with integration currents along the special divisors.
  • A top log Bando-Futaki invariant can be defined and used to relate the cone angles conjecturally.

Where Pith is reading between the lines

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

  • The allowance of conical singularities bypasses the obstruction from the standard Bando-Futaki invariant.
  • This approach might generalize to other complex surfaces or manifolds where smooth canonical metrics are obstructed.
  • Testing the conjectural linear relationship between cone angles could yield specific values that make the metrics exist for given classes.

Load-bearing premise

The momentum construction extends to produce polyhomogeneous conical metrics satisfying the higher cscK equation when the equation is interpreted using currents of integration along the divisors.

What would settle it

A direct computation showing that for some Kähler class the constructed metric does not satisfy the higher cscK equation or fails the polyhomogeneous regularity condition.

read the original abstract

A higher extremal K\"ahler metric is defined (motivated by analogy with the definition of an extremal K\"ahler metric) as one whose top Chern form equals a smooth function multiplied by its volume form such that the gradient of the function is a holomorphic vector field. A special case of this is a higher cscK metric which is defined (again by analogy with the definition of a cscK metric) as one whose top Chern form is a constant multiple of its volume form or equivalently whose top Chern form is harmonic. In our previous paper on higher extremal K\"ahler metrics we had looked at a certain class of minimal ruled surfaces called as pseudo-Hirzebruch surfaces all of which contain two special divisors (viz. the zero and infinity divisors) and serve as example manifolds in the momentum construction which is used for producing explicit examples of the above-mentioned kinds of canonical metrics. We had proven that every K\"ahler class on such a surface admits a higher extremal K\"ahler metric which is not higher cscK and we had further proven by using the top Bando-Futaki invariant that higher cscK metrics do not exist in any K\"ahler class on the surface. In this paper we will see that if we allow our metrics to develop conical singularities along at least one of the two special divisors then we do get conical higher cscK metrics in each K\"ahler class by the momentum construction. We will show that our constructed metrics satisfy the polyhomogeneous condition for conical K\"ahler metrics and we will interpret the conical higher cscK equation globally on the surface in terms of the currents of integration along the two divisors. We will introduce the top $\log$ Bando-Futaki invariant and then employ it to arrive at a certain conjectural linear relationship between the cone angles of the conical singularities along the two divisors.

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 claims that on pseudo-Hirzebruch surfaces (minimal ruled surfaces with two special divisors), conical higher cscK metrics exist in every Kähler class when conical singularities are allowed along at least one divisor. Using the momentum construction, the authors produce explicit examples, verify the polyhomogeneous condition for conical Kähler metrics, interpret the higher cscK equation globally via currents of integration along the divisors, introduce the top log Bando-Futaki invariant, and obtain a conjectural linear relation between the two cone angles.

Significance. If the central construction and the conjectural relation hold, the work supplies the first explicit conical higher cscK metrics on these surfaces, directly complementing the authors' prior non-existence theorem for smooth higher cscK metrics. The adaptation of the momentum construction to the conical setting and the current-theoretic global interpretation constitute concrete advances in the study of singular canonical Kähler metrics on ruled surfaces.

major comments (2)
  1. [§5] §5 (introduction of the top log Bando-Futaki invariant): the vanishing condition required for the constructed metric to satisfy the higher cscK equation in the current sense is reduced to a conjectural linear relation between the cone angles. Because the relation is explicitly labeled conjectural and no independent verification or direct computation of the top Chern form (in the distributional sense) is supplied for general Kähler classes, the existence claim for arbitrary classes rests on an unproven necessary condition rather than a completed verification of the equation.
  2. [§3] §3 (momentum construction for conical metrics): the extension from the smooth case to polyhomogeneous conical metrics is asserted to satisfy the higher cscK equation via currents, yet the manuscript does not exhibit an explicit check that the top Chern form equals a constant multiple of the volume form plus the appropriate current terms supported on the divisors; this verification is load-bearing for the global interpretation stated in the abstract.
minor comments (2)
  1. [§2] The notation for the cone angles and the precise definition of the top log Bando-Futaki invariant should be collected in a single preliminary subsection for easier reference.
  2. [Introduction] Figure 1 (or the diagram of the ruled surface) would benefit from explicit labels for the zero and infinity sections and the conical loci.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough reading of the manuscript and for the constructive major comments. We address each point below and outline the revisions we will make to strengthen the presentation and verification of the results.

read point-by-point responses
  1. Referee: [§5] §5 (introduction of the top log Bando-Futaki invariant): the vanishing condition required for the constructed metric to satisfy the higher cscK equation in the current sense is reduced to a conjectural linear relation between the cone angles. Because the relation is explicitly labeled conjectural and no independent verification or direct computation of the top Chern form (in the distributional sense) is supplied for general Kähler classes, the existence claim for arbitrary classes rests on an unproven necessary condition rather than a completed verification of the equation.

    Authors: We appreciate the referee drawing attention to the status of the conjectural relation. The top log Bando-Futaki invariant is computed explicitly from the momentum construction on pseudo-Hirzebruch surfaces, yielding the linear relation between cone angles as the necessary condition for the higher cscK equation to hold in the sense of currents. While the relation is presented as conjectural, it follows directly from the vanishing requirement of this invariant. To address the concern about independent verification, we will add to the revised manuscript an explicit distributional computation of the top Chern form for the constructed polyhomogeneous metrics in general Kähler classes, confirming that it coincides with a constant multiple of the volume form plus the appropriate current terms supported on the divisors precisely when the angle relation holds. This will provide the completed verification requested. revision: yes

  2. Referee: [§3] §3 (momentum construction for conical metrics): the extension from the smooth case to polyhomogeneous conical metrics is asserted to satisfy the higher cscK equation via currents, yet the manuscript does not exhibit an explicit check that the top Chern form equals a constant multiple of the volume form plus the appropriate current terms supported on the divisors; this verification is load-bearing for the global interpretation stated in the abstract.

    Authors: We thank the referee for this observation on the need for an explicit check. The momentum construction supplies an explicit Kähler potential via the momentum profile function, which permits direct computation of all curvature forms. The polyhomogeneous expansion at the conical divisors is already established in §3. In the revision we will insert a detailed calculation showing that the top Chern current, obtained as the wedge product of the curvature forms, equals the constant multiple of the volume form plus the integration currents along the two special divisors. This explicit verification will support the global current-theoretic interpretation of the conical higher cscK equation. revision: yes

Circularity Check

2 steps flagged

Existence claim for conical higher cscK metrics rests on self-cited prior non-existence result plus conjectural angle relation from newly introduced log invariant

specific steps
  1. self citation load bearing [Abstract]
    "In our previous paper on higher extremal Kähler metrics we had looked at a certain class of minimal ruled surfaces called as pseudo-Hirzebruch surfaces all of which contain two special divisors (viz. the zero and infinity divisors) and serve as example manifolds in the momentum construction which is used for producing explicit examples of the above-mentioned kinds of canonical metrics. We had proven that every Kähler class on such a surface admits a higher extremal Kähler metric which is not higher cscK and we had further proven by using the top Bando-Futaki invariant that higher cscK metrics "

    The non-existence of smooth higher cscK metrics is imported wholesale from the author's own prior paper; the present conical existence result is positioned as the direct counterpart once singularities are allowed, so the contrast and the applicability of the same momentum construction both depend on the self-citation for their foundational justification.

  2. fitted input called prediction [Abstract (final sentence)]
    "We will introduce the top log Bando-Futaki invariant and then employ it to arrive at a certain conjectural linear relationship between the cone angles of the conical singularities along the two divisors."

    The higher cscK condition is enforced by requiring the newly defined invariant to vanish; this vanishing is converted into a linear relation on the cone angles that is then used to select the parameters inside the momentum construction. The resulting metric therefore satisfies the equation by the choice of angles that makes the invariant zero, rendering the 'existence' a direct consequence of the fitting step rather than an independent prediction.

full rationale

The derivation proceeds by applying the momentum construction (carried over from the author's prior work on the same surfaces) to produce candidate conical metrics, then invoking a top log Bando-Futaki invariant to impose a linear relation on cone angles that is explicitly labeled conjectural. While the construction itself is explicit and the polyhomogeneous/current interpretation is stated directly, the load-bearing step that guarantees the higher cscK equation holds reduces to the vanishing condition derived from the self-cited Bando-Futaki framework rather than an independent verification or external benchmark. This produces moderate circularity without rendering the entire argument tautological.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 1 invented entities

The central claim rests on the extension of the momentum construction to conical settings and the well-definedness of the top log Bando-Futaki invariant; these are not independently verified in the abstract.

free parameters (1)
  • cone angles
    The angles of conical singularities along the zero and infinity divisors are parameters in the construction whose specific values are related by the conjectural linear relation.
axioms (1)
  • domain assumption Standard Kähler geometry and momentum construction assumptions from prior literature
    Invoked throughout the abstract for defining higher cscK and performing the construction on pseudo-Hirzebruch surfaces.
invented entities (1)
  • top log Bando-Futaki invariant no independent evidence
    purpose: To arrive at a conjectural linear relationship between the cone angles
    Newly introduced in this paper to handle the conical case; no independent evidence provided in abstract.

pith-pipeline@v0.9.0 · 5884 in / 1463 out tokens · 37261 ms · 2026-05-19T13:20:34.917475+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · 1 internal anchor

  1. [1]

    Takahiro Aoi, Yoshinori Hashimoto and Kai Zheng.On UniformlogK-Stability for Constant Scalar Curvature K¨ ahler Cone Metrics. Commun. Anal. Geom.33(2025), no. 3, 701-767, DOI 10.4310/CAG.250730175404

  2. [2]

    Kodai Math

    Shigetoshi Bando.An Obstruction for Chern Class Forms to be Harmonic. Kodai Math. Jour.29(2006), no. 3, 337-345, DOI 10.2996/kmj/1162478766

  3. [3]

    Barth, Klaus Hulek, Chris A

    Wolf P. Barth, Klaus Hulek, Chris A. M. Peters and Antonius Van de Ven.Compact Complex Surfaces (Second Enlarged Edition). Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge: A Series of Modern Surveys in Mathematics. Vol

  4. [4]

    Springer, 2004, ISBN 978-3-540-00832-2, DOI 10.1007/978-3-642-57739-0

  5. [5]

    Alan Taylor.A New Capacity for Plurisubharmonic Functions

    Eric Bedford and B. Alan Taylor.A New Capacity for Plurisubharmonic Functions. Act. Math.149(1982), 1-40, DOI 10.1007/BF02392348

  6. [6]

    Alan Taylor.The Dirichlet Problem for a Complex Monge-Amp` ere Equation

    Eric Bedford and B. Alan Taylor.The Dirichlet Problem for a Complex Monge-Amp` ere Equation. Invent. Math.37(1976), no. 1, 1-44, DOI 10.1007/BF01418826

  7. [7]

    S´ ebastien Boucksom, Philippe Eyssidieux, Vincent Guedj and Ahmed Zeriahi.Monge-Amp` ere Equations in Big Cohomology Classes. Act. Math.205(2010), no. 2, 199-262, DOI 10.1007/s11511-010-0054-7

  8. [8]

    Simon Brendle.Ricci Flat K¨ ahler Metrics with Edge Singularities. Intnat. Math. Res. Not.2013(2013), no. 24, 5727-5766, DOI 10.1093/imrn/rns228

  9. [9]

    Buchdahl.On Compact K¨ ahler Surfaces

    Nicholas P. Buchdahl.On Compact K¨ ahler Surfaces. Ann. Inst. Fourier, Grenoble49(1999), no. 1, 287-302, DOI 10.5802/aif.1674

  10. [10]

    Seminar on Differential Geometry: Collection of Papers Presented at Seminars in 1979-80, Sponsored by IAS and NSF (Annals of Mathematics Studies

    Eugenio Calabi.Extremal K¨ ahler Metrics. Seminar on Differential Geometry: Collection of Papers Presented at Seminars in 1979-80, Sponsored by IAS and NSF (Annals of Mathematics Studies. Vol. 102) (ed. Shing-Tung Yau). Ann. Math. Stud. vol. 102, Princeton Univ. Press, Univ. Tokyo Press, 1982, p. 259-290, ISBN 0-691-08268-5, DOI 10.1515/9781400881918-016

  11. [11]

    Eugenio Calabi.Extremal K¨ ahler Metrics. II. Differential Geometry and Complex Analysis: A Volume Dedicated to the Memory of Harry Ernest Rauch (eds. Isaac Chavel and Hershel M. Farkas). Springer, 1985, p. 95-114, ISBN 978-3-642- 69828-6, DOI 10.1007/978-3-642-69828-6 8

  12. [12]

    Fr´ ed´ eric Campana, Henri Guenancia and Mihai P˘ aun.Metrics with Cone Singularities along Normal Crossing Divisors and Holomorphic Tensor Fields. Ann. Scient. ´Ecol. Norm. Sup´ er. s´ er. 4,46(2013), no. 6, 879-916, DOI 10.24033/asens.2205

  13. [13]

    Datar.Canonical K¨ ahler Metrics with Cone Singularities

    Ved V. Datar.Canonical K¨ ahler Metrics with Cone Singularities. Ph.D. Dissert., Grad. Schl. Rutgers Univ. (2014), DOI 10.7282/T3571996

  14. [14]

    Online OpenContent Book, Inst

    Jean-Pierre Demailly.Complex Analytic and Differential Geometry. Online OpenContent Book, Inst. Fourier, Univ. Greno- ble Alpes, 2012, URLhttps://www-fourier.ujf-grenoble.fr/ ~demailly/manuscripts/agbook.pdf

  15. [15]

    Donaldson.K¨ ahler Metrics with Cone Singularities along a Divisor

    Simon K. Donaldson.K¨ ahler Metrics with Cone Singularities along a Divisor. Essays in Mathematics and Its Applications: In Honor of Stephen Smale’s 80 th Birthday (eds. Panos M. Pardalos and Themistocles M. Rassias). Springer, 2012, p. 49-79, ISBN 978-3-642-28821-0, DOI 10.1007/978-3-642-28821-0 4

  16. [16]

    Gregory Edwards.Metric Contraction of the Cone Divisor by the Conical K¨ ahler-Ricci Flow. Math. Ann.374(2019), no. 3-4, 1525-1557, DOI 10.1007/s00208-018-1701-0

  17. [17]

    Nagoya Math

    Akira Fujiki.Remarks on Extremal K¨ ahler Metrics on Ruled Manifolds. Nagoya Math. Jour.126(1992), 89-101, DOI 10.1017/S0027763000004001

  18. [18]

    Akito Futaki.An Obstruction to the Existence of Einstein K¨ ahler Metrics. Invent. Math.73(1983), no. 3, 437-443, DOI 10.1007/BF01388438

  19. [19]

    Yoshinori Hashimoto.Scalar Curvature and Futaki Invariant of K¨ ahler Metrics with Cone Singularities along a Divisor. Ann. Inst. Fourier, Grenoble69(2019), no. 2, 591-652, DOI 10.5802/aif.3252

  20. [20]

    Hwang.On Existence of K¨ ahler Metrics with Constant Scalar Curvature

    Andrew D. Hwang.On Existence of K¨ ahler Metrics with Constant Scalar Curvature. Osaka Jour. Math.31(1994), no. 3, 561-595, DOI 10.18910/7621

  21. [21]

    Hwang and Michael A

    Andrew D. Hwang and Michael A. Singer.A Momentum Construction for Circle-Invariant K¨ ahler Metrics. Trans. Amer. Math. Soc.354(2002), no. 6, 2285-2325, DOI 10.1090/S0002-9947-02-02965-3

  22. [22]

    Jeffres, Rafe R

    Thalia D. Jeffres, Rafe R. Mazzeo and Yanir A. Rubinstein.K¨ ahler-Einstein Metrics with Edge Singularities (With an Appendix by Chi Li and Yanir A. Rubinstein and an Appendix after Gang Tian). Ann. Math.183(2016), no. 1, 95-176, DOI 10.4007/annals.2016.183.1.3. EXISTENCE OF CONICAL HIGHER CSCK METRICS ON A MINIMAL RULED SURFACE 61

  23. [23]

    Julien Keller and Kai Zheng.Construction of Constant Scalar Curvature K¨ ahler Cone Metrics. Proc. London Math. Soc. 117(2018), no. 3, 527-573, DOI 10.1112/plms.12132

  24. [24]

    Ahc` ene Lamari.Le Cˆ one K¨ ahl´ erien d’une Surface(French) [The K¨ ahler Cone of a Surface]. Jour. Math. Pur. Appl.78 (1999), no. 3, 249-263, DOI 10.1016/S0021-7824(98)00005-1

  25. [25]

    Chi Li.Remarks on LogarithmicK-Stability. Commun. Contemp. Math.17(2015), no. 2, art. no. 1450020, DOI 10.1142/S0219199714500205

  26. [26]

    Haozhao Li.Extremal K¨ ahler Metrics and Energy Functionals on Projective Bundles. Ann. Glob. Anal. Geom.41(2012), 423-445, DOI 10.1007/s10455-011-9292-y

  27. [27]

    Long Li.Subharmonicity of Conic Mabuchi’s Functional. I. Ann. Inst. Fourier, Grenoble68(2018), no. 2, 805-845, DOI 10.5802/aif.3178

  28. [28]

    Feng Luo and Gang Tian.Liouville Equation and Spherical Convex Polytopes. Proc. Amer. Math. Soc.116(1992), no. 4, 1119-1129, DOI 10.1090/S0002-9939-1992-1137227-5

  29. [29]

    Masaki Maruyama.On Automorphism Groups of Ruled Surfaces. Jour. Math. Kyoto Univ.11(1971), no. 1, 89-112, DOI 10.1215/kjm/1250523688

  30. [30]

    Vamsi Pritham Pingali.A Note on Higher Extremal Metrics. Trans. Amer. Math. Soc.370(2018), no. 10, 6995-7010, DOI 10.1090/tran/7416

  31. [31]

    Rubinstein and Kewei Zhang.Angle Deformation of K¨ ahler-Einstein Edge Metrics on Hirzebruch Surfaces

    Yanir A. Rubinstein and Kewei Zhang.Angle Deformation of K¨ ahler-Einstein Edge Metrics on Hirzebruch Surfaces. Pur. Appl. Math. Quart.18(2022), no. 1, 343-366, DOI 10.4310/PAMQ.2022.v18.n1.a11

  32. [32]

    Enrico Schlitzer and Jacopo Stoppa.Examples of dHYM Connections in a Variable Background. Cand. Jour. Math. First View (2023), 1-29, DOI 10.4153/S0008414X23000561

  33. [33]

    Pacific Jour

    Liangming Shen.Smooth Approximation of Conic K¨ ahler Metric with Lower Ricci Curvature Bound. Pacific Jour. Math. 284(2016), no. 2, 455-474, DOI 10.2140/pjm.2016.284.455

  34. [34]

    Rajas Sandeep Sompurkar.Existence of Higher Extremal K¨ ahler Metrics on a Minimal Ruled Surface. Bull. Sci. Math.189 (2023), art. no. 103345, DOI 10.1016/j.bulsci.2023.103345

  35. [35]

    Rajas Sandeep Sompurkar.The Momentum Construction Method for Higher Extremal K¨ ahler and Conical Higher cscK Metrics. Ph.D. Thesis, Dept. Math. Facult. Sci. IISc Bengaluru (2024), URIhttps://etd.iisc.ac.in/handle/2005/6676

  36. [36]

    Jian Song and Xiaowei Wang.The Greatest Ricci Lower Bound, Conical Einstein Metrics and Chern Number Inequality. Geom. Topol.20(2016), no. 1, 49-102, DOI 10.2140/gt.2016.20.49

  37. [37]

    Graduate Studies in Mathematics

    G´ abor Sz´ ekelyhidi.An Introduction to Extremal K¨ ahler Metrics. Graduate Studies in Mathematics. Vol. 152. Grad. Stud. Math. vol. 152, Amer. Math. Soc., 2014, ISBN 978-1-4704-1047-6, DOI 10.1090/gsm/152

  38. [38]

    G´ abor Sz´ ekelyhidi.Extremal Metrics andK-Stability. Ph.D. Thesis, Dept. Math. Facult. Natr. Sci. Imperial Colg., Univ. London (2006), arXiv Preprint (2006), arXiv Identifier arXiv:math/0611002 [math.DG]

  39. [39]

    Tønnesen-Friedman.Extremal K¨ ahler Metrics on Minimal Ruled Surfaces

    Christina W. Tønnesen-Friedman.Extremal K¨ ahler Metrics on Minimal Ruled Surfaces. Jour. Rein. Angew. Math.502 (1998), 175-197, DOI 10.1515/crll.1998.086

  40. [40]

    Marc Troyanov.Prescribing Curvature on Compact Surfaces with Conical Singularities. Trans. Amer. Math. Soc.324 (1991), no. 2, 793-821, DOI 10.1090/S0002-9947-1991-1005085-9

  41. [41]

    Yuanqi Wang.Smooth Approximations of the Conical K¨ ahler-Ricci Flows. Math. Ann.365(2016), 835-856, DOI 10.1007/s00208-015-1263-3

  42. [42]

    Current Trends in Analysis and Its Appli- cations: Proceedings of the 9 th ISAAC Congress, Krak´ ow, 2013 (Trends in Mathematics: Research Perspectives) (eds

    Kai Zheng.K¨ ahler Metrics with Cone Singularities and Uniqueness Problem. Current Trends in Analysis and Its Appli- cations: Proceedings of the 9 th ISAAC Congress, Krak´ ow, 2013 (Trends in Mathematics: Research Perspectives) (eds. Vladimir V. Mityushev and Michael V. Ruzhansky). Trend. Math. Res. Pers., Birkh¨ auser, Springer, 2015, p. 395-408, ISBN 97...