Existence of Conical Higher cscK Metrics on a Minimal Ruled Surface
Pith reviewed 2026-05-19 13:20 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [§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.
- [§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)
- [§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.
- [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
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
-
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
-
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
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
-
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.
-
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
free parameters (1)
- cone angles
axioms (1)
- domain assumption Standard Kähler geometry and momentum construction assumptions from prior literature
invented entities (1)
-
top log Bando-Futaki invariant
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
top log Bando-Futaki invariant … conjectural linear relationship between the cone angles
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
-
[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]
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]
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]
Springer, 2004, ISBN 978-3-540-00832-2, DOI 10.1007/978-3-642-57739-0
-
[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]
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]
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]
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]
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]
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]
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]
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]
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]
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
work page 2012
-
[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]
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]
Akira Fujiki.Remarks on Extremal K¨ ahler Metrics on Ruled Manifolds. Nagoya Math. Jour.126(1992), 89-101, DOI 10.1017/S0027763000004001
-
[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]
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]
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]
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]
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]
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]
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]
Chi Li.Remarks on LogarithmicK-Stability. Commun. Contemp. Math.17(2015), no. 2, art. no. 1450020, DOI 10.1142/S0219199714500205
-
[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]
Long Li.Subharmonicity of Conic Mabuchi’s Functional. I. Ann. Inst. Fourier, Grenoble68(2018), no. 2, 805-845, DOI 10.5802/aif.3178
-
[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]
Masaki Maruyama.On Automorphism Groups of Ruled Surfaces. Jour. Math. Kyoto Univ.11(1971), no. 1, 89-112, DOI 10.1215/kjm/1250523688
-
[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]
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]
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]
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]
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]
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
work page 2024
-
[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]
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]
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]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[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]
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]
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]
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...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.