Recognition: 2 theorem links
· Lean TheoremOn weighted extremal K\"ahler metrics
Pith reviewed 2026-05-12 01:07 UTC · model grok-4.3
The pith
Weighted extremal Kähler metrics extend Calabi's notion to include Kähler-Ricci solitons and Sasaki-Einstein metrics as special cases.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The notion of weighted extremal Kähler metrics extends the classical notion of Calabi's extremal Kähler metrics, but includes many well-studied objects in Kähler geometry such as Kähler-Ricci solitons and Sasaki-Einstein metrics. After explaining how this notion grew out, the paper surveys recent works concerning the YTD conjecture on weighted extremal Kähler metrics.
What carries the argument
The weighted extremal condition, obtained by modifying the classical extremal vector field or moment map with a positive weight function on the manifold.
If this is right
- Existence of a weighted extremal metric is equivalent to a suitable notion of stability in the YTD sense.
- Known existence theorems for Kähler-Ricci solitons and Sasaki-Einstein metrics become special cases of the general theory.
- Any new existence result proved in the weighted setting immediately applies to the included classical objects.
Where Pith is reading between the lines
- A full resolution could produce new Sasaki-Einstein metrics on toric or quasiregular manifolds where direct methods have stalled.
- The weighted framework might adapt to related problems such as constant scalar curvature metrics with prescribed weights.
- Low-dimensional explicit examples with simple weights could serve as computational tests of the stability condition.
Load-bearing premise
That the weighted extremal condition forms a coherent and natural extension that meaningfully unifies the listed geometric objects without requiring additional unstated restrictions on the weight function or manifold.
What would settle it
A Kähler manifold with a chosen weight function on which the weighted Futaki invariant vanishes but no weighted extremal metric exists would falsify the conjecture.
read the original abstract
The notion of weighted extremal K\"ahler metrics extends the classical notion of Calabi's extremal K\"ahler metrics, but includes many well-studied objects in K\"ahler geometry such as K\"ahler-Ricci solitons and Sasaki-Einstein metrics. In this paper, after explaining how this notion grew out, we will try to survey recent works concerning the YTD conjecture on weighted extremal K\"ahler metrics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript is a survey that traces the origins of the weighted extremal Kähler metric condition as a generalization of Calabi's extremal Kähler metrics. It explains how this notion naturally incorporates several well-studied objects in Kähler geometry, including Kähler-Ricci solitons and Sasaki-Einstein metrics, and then surveys recent literature on the Yau-Tian-Donaldson (YTD) conjecture in the weighted setting.
Significance. If the exposition accurately captures the cited results, the survey would provide a useful consolidation of how the weighted extremal framework unifies disparate geometric objects and organizes progress toward the associated YTD conjecture. This could serve as a reference point for researchers working on extremal metrics and related stability questions in Kähler geometry.
Simulated Author's Rebuttal
We thank the referee for their careful reading and positive assessment of the manuscript. The report correctly identifies the survey's scope as tracing the development of weighted extremal Kähler metrics and reviewing progress on the associated YTD conjecture. We are pleased that the referee recommends acceptance.
Circularity Check
Expository survey with no load-bearing derivations or predictions
full rationale
The manuscript is explicitly a survey that explains the historical growth of the weighted extremal Kähler metrics notion from Calabi's classical extremal metrics and summarizes existing literature on the associated YTD conjecture. It advances no original theorems, proofs, equations, or quantitative claims. Consequently there are no derivation chains, fitted parameters, self-definitions, or self-citation load-bearing steps that could reduce to the paper's own inputs. All referenced results are external to the present text.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearThe notion of weighted extremal Kähler metrics extends the classical notion of Calabi's extremal Kähler metrics... weighted scalar curvature S_v(ω) := v(μ_ω)S(ω) + 2Δ_ω v(μ_ω) + ⟨g_ω, μ_ω^* Hess(v)⟩
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclearTheorem 6.3 (Boucksom-Jonsson): existence of cscK metric ⇔ ˆK-polystable ⇔ uniformly ˆK-polystable
Reference graph
Works this paper leans on
-
[1]
V. Apostolov, D. M. J. Calderbank and P. Gauduchon : Ambitoric geometry II: extremal toric surfaces and Einstein 4-orbifolds. Ann. Sci. ´Ec. Norm. Sup´ er. (4) 48 (2015), no. 5, 1075–1112
work page 2015
-
[2]
V. Apostolov, D.M.J. Calderbank and E. Legendre : Weighted K-stability of polarized varieties and extremality of Sasaki manifolds. Adv. Math. 391 (2021), Paper No. 107969, 63 pp
work page 2021
-
[3]
V. Apostolov, S. Jubert and A. Lahdili : Weighted K-stability and coercivity with applications to extremal Kahler and Sasaki metrics. Geom. Topol. 27 (2023), no. 8, 3229–3302. 11
work page 2023
-
[4]
V. Apostolov and G. Maschler, Conformally K¨ ahler, Einstein-Maxwell geometry, J. Eur. Math. Soc., 21(2019), no. 5, 1319–1360
work page 2019
-
[5]
Aubin : Equations du type de Monge-Amp` ere sur les vari´ et´ es k¨ ahl´ eriennes compactes, C
T. Aubin : Equations du type de Monge-Amp` ere sur les vari´ et´ es k¨ ahl´ eriennes compactes, C. R. Acad. Sci. Paris,283, 119-121 (1976)
work page 1976
-
[6]
E. Bedford and B. A. Taylor, A new capacity for plurisubharmonic functions, Acta Math. 149 (1982), p. 1–40
work page 1982
-
[7]
L. B´ erard-Bergery, Lionel . Sur de nouvelles vari´ et´ es riemanniennes d’Einstein. (French) [Some new Einstein Riemannian manifolds] Institut ´Elie Cartan, 6, 1–60, Inst. ´Elie Cartan, 6, Univ. Nancy, Nancy, 1982
work page 1982
-
[8]
Berman: K-polystability of Q-Fano varieties admitting K¨ ahler-Einstein metrics, Invent
R.J. Berman: K-polystability of Q-Fano varieties admitting K¨ ahler-Einstein metrics, Invent. Math., 203(2016), 973–1025
work page 2016
- [9]
- [10]
- [11]
- [12]
-
[13]
Berndtsson, Curvature of vector bundles associated to holomorphic fibrations, Ann
B. Berndtsson, Curvature of vector bundles associated to holomorphic fibrations, Ann. of Math. (2) 169 (2009), no. 2, 531–560
work page 2009
-
[14]
H. Blum, Y. Liu, C. Xu and Z. Zhuang : The existence of the K¨ ahler-Ricci soliton degenera- tion. Forum of Mathematics, Pi (2023), Vol. 11:e9 1–28
work page 2023
-
[15]
S. Boucksom, P. Eyssidieux, V. Guedj and A. Zeriahi : Monge-Amp` ere equations in big cohomology classes. Acta Math., 205 (2010), 199–262
work page 2010
-
[16]
S. Boucksom, T. Hisamoto and M. Jonsson : Uniform K-stability and asymptotics of energy functionals in K¨ ahler geometry. J. Eur. Math. Soc. 21, 2905–2944
-
[17]
S. Boucksom and M. Jonsson : On the Yau-Tian-Donaldson conjecture for weighted cscK metrics. Preprint 2025, arXiv:2509.15016
-
[18]
S. Boucksom, M. Jonsson and A. Trusiani: Weighted extremal k¨ ahler metrics on resolutions of singularities, Comm. Pure Appl. Math. 79(2026), 1073–1148
work page 2026
-
[19]
Calabi : Extremal K¨ ahler metrics II, Differential geometry and complex analysis, (I
E. Calabi : Extremal K¨ ahler metrics II, Differential geometry and complex analysis, (I. Chavel and H.M. Farkas eds.), 95-114, Springer-Verlag, Berline-Heidelberg-New York, (1985)
work page 1985
-
[20]
Chen : On the lower bound of the Mabuchi energy and its application, Int
X.X. Chen : On the lower bound of the Mabuchi energy and its application, Int. Math. Res. Not. (2000), no. 12, 607–623
work page 2000
-
[21]
X. Chen and J. Cheng. On the constant scalar curvature K¨ ahler metrics (II)—Existence results. J. Amer. Math. Soc. 34 (2021), 937–1009
work page 2021
-
[22]
X. X. Chen, S. K. Donaldson, S. Sun : K¨ ahler-Einstein metric on Fano manifolds. III: limits with cone angle approaches 2πand completion of the main proof, J. Amer. Math. Soc.28, 235–278 (2015)
work page 2015
-
[23]
X.-X. Chen, C. Lebrun, and B. Weber : On conformally K¨ ahler, Einstein manifolds. J. Amer. Math. Soc. 21 (2008), no. 4, 1137–1168
work page 2008
-
[24]
X. X. Chen, S. Sun and B. Wang : K¨ ahler-Ricci flow, K¨ ahler-Einstein metric, and K-stability. Geom. Topol. 22 (2018), no. 6, 3145-3173
work page 2018
-
[25]
J. Chu, V. Tosatti, and B. Weinkove :C 1,1 regularity for degenerate complex Monge-Amp` ere equations and geodesic rays. Comm. Partial Differential Equations, 43(2018), 292–312
work page 2018
-
[26]
Darvas : The Mabuchi completion of the space of K¨ ahler potentials
T. Darvas : The Mabuchi completion of the space of K¨ ahler potentials. Amer. J. Math. 139 (2017), 1275–1313
work page 2017
-
[27]
T. Darvas and K. Zhang : A YTD correspondence for constant scalar curvature metrics. Preprint arXiv:2509.15173
-
[28]
V. Datar and G. Sz´ ekelyhidi: K¨ ahler-Einstein metrics along the smooth continuity method. Geom. Funct. Anal. 26 (2016), no. 4, 975–1010
work page 2016
-
[29]
E. Di Nezza, S. Jubert and A. Lahdili. Weighted cscK metrics (II): a continuity method. J. reine angew. Math. 832 (2026), 255–296
work page 2026
-
[30]
Donaldson : Scalar curvature and stability of toric varieties, J
S.K. Donaldson : Scalar curvature and stability of toric varieties, J. Differential Geometry, 62(2002), 289-349
work page 2002
-
[31]
Donaldson : Lower bounds on the Calabi functional, J
S.K. Donaldson : Lower bounds on the Calabi functional, J. Differential Geometry, 70(2005), 453-472. 12
work page 2005
-
[32]
Futaki : On coupled K¨ ahler-Einstein metrics and weighted solitons on Fano manifolds
A. Futaki : On coupled K¨ ahler-Einstein metrics and weighted solitons on Fano manifolds. Submitted to Surveys in Differential Geometry
-
[33]
A. Futaki and H. Ono : Volume minimization and Conformally K¨ ahler, Einstein-Maxwell geometry, J. Math. Soc. Japan. Vol. 70, No. 4 (2018) pp. 1493–1521
work page 2018
-
[34]
A. Futaki and H. Ono : Conformally Einstein-Maxwell K¨ ahler metrics and the structure of the automorphisms, Math. Zeit. 292(2019), 571–589
work page 2019
-
[35]
A. Futaki and H. Ono : Volume minimization and obstructions to solving some problems in K¨ ahler geometry, ICCM Notices, 6(2018), 51–60
work page 2018
- [36]
-
[37]
V. Guedj and A. Zeriahi, The weighted Monge-Amp` ere energy of quasiplurisubharmonic functions, J. Funct. Anal. 250 (2007), 442–482
work page 2007
- [38]
- [39]
- [40]
-
[41]
Hashimoto : Relative uniform K-stability over models implies existence of extremal met- rics
Y. Hashimoto : Relative uniform K-stability over models implies existence of extremal met- rics. Math. Z. 312, 109 (2026)
work page 2026
-
[42]
Inoue : The moduli space of Fano manifolds with K¨ ahler-Ricci solitons
E. Inoue : The moduli space of Fano manifolds with K¨ ahler-Ricci solitons. Adv. Math. 357 (2019), 106841, 65 pp
work page 2019
-
[43]
Inoue : Constantµ-scalar curvature K¨ ahler metric–formulation and foundational results
E. Inoue : Constantµ-scalar curvature K¨ ahler metric–formulation and foundational results. J. Geom. Anal. 32 (2022), no. 5, Paper No. 145, 53 pp
work page 2022
-
[44]
C. Koca and C. W. Tønnesen-Friedman, Strongly Hermitian Einstein- Maxwell solutions on ruled surfaces, Ann. Glob. Annl. Geom., 50, 29–46, (2016)
work page 2016
-
[45]
Lahdili, K¨ ahler metrics with constant weighted scalar curvature and weighted K-stability, Proc
A. Lahdili, K¨ ahler metrics with constant weighted scalar curvature and weighted K-stability, Proc. London Math. Soc., (2019)119, 1065–1114
work page 2019
-
[46]
LeBrun: The Einstein-Maxwell equations, K¨ ahler metrics, and Hermitian geometry, J
C. LeBrun: The Einstein-Maxwell equations, K¨ ahler metrics, and Hermitian geometry, J. Geom. Phys., 91, 163–171, (2015)
work page 2015
-
[47]
LeBrun, The Einstein-Maxwell equations and conformally K¨ ahler geometry, Commun
C. LeBrun, The Einstein-Maxwell equations and conformally K¨ ahler geometry, Commun. Math. Phys., 344, 621–653 (2016)
work page 2016
-
[48]
Li : G-uniform stability and K¨ ahler-Einstein metrics on Fano varieties
C. Li : G-uniform stability and K¨ ahler-Einstein metrics on Fano varieties. Invent. Math. 227 (2022), 661–744
work page 2022
-
[49]
Li : Geodesic rays and stability in the cscK problem
C. Li : Geodesic rays and stability in the cscK problem. Ann. Sci. ´Ec. Norm. Sup´ er. (4) 55 (2022), 1529–1574
work page 2022
-
[50]
Li : Notes on weighted K¨ ahler-Ricci solitons and application to Ricci-flat K¨ ahler cone metrics
C. Li : Notes on weighted K¨ ahler-Ricci solitons and application to Ricci-flat K¨ ahler cone metrics. Preprint, arXiv:2107.02088
- [51]
-
[52]
Y. Liu, C. Xu and Z. Zhuang : Finite generation for valuations computing stability thresholds and applications to K-stability. Ann. of Math. 196(2022), 507–566
work page 2022
-
[53]
Mabuchi : K-energy maps integrating Futaki invariants, Tohoku Math
T. Mabuchi : K-energy maps integrating Futaki invariants, Tohoku Math. J.,38, 245-257 (1987)
work page 1987
-
[54]
D. Martelli, J. Sparks and S.-T. Yau : Sasaki-Einstein manifolds and volume minimisation, Comm. Math. Phys. 280 (2008), no. 3, 611–673
work page 2008
-
[55]
Odaka : A generalization of the Ross-Thomas slope theory
Y. Odaka : A generalization of the Ross-Thomas slope theory. Osaka J. Math. 50 (2013), no. 1, p. 171–185
work page 2013
-
[56]
Page : A compact rotating gravitational instanton, Phys
D. Page : A compact rotating gravitational instanton, Phys. Lett. B 79 (1978), 235-238
work page 1978
-
[57]
D.H. Phong and J. Sturm : Test configurations for K-stability and geodesic rays. J. Symp. Geom. 5(2007), 221–247
work page 2007
-
[58]
D.H. Phong and J. Sturm : The Dirichlet problem for degenerate complex Monge-Amp` ere equations. Comm. Anal. Geom., 18(2010), 145–170
work page 2010
-
[59]
J. Ross and D. Witt Nystr¨ om : Analytic test configurations and geodesic rays. J. Symplectic Geom., 12(2014), 125–169
work page 2014
-
[60]
Sj¨ ostr¨ om Dyrefelt : K-semistability of cscK manifolds with transcendental cohomology class, J
Z. Sj¨ ostr¨ om Dyrefelt : K-semistability of cscK manifolds with transcendental cohomology class, J. Geom. Anal. 28 (2018), no. 4, 2927–2960
work page 2018
-
[61]
Stoppa : K-stability of constant scalar curvature K¨ ahler manifolds, Adv
J. Stoppa : K-stability of constant scalar curvature K¨ ahler manifolds, Adv. Math., 221 (2009), 1397–1408. 13
work page 2009
-
[62]
Tian : K¨ ahler-Einstein metrics with positive scalar curvature, Invent
G. Tian : K¨ ahler-Einstein metrics with positive scalar curvature, Invent. Math.,130, 1-37 (1997)
work page 1997
-
[63]
Tian: K-stability and K¨ ahler-Einstein metrics
G. Tian: K-stability and K¨ ahler-Einstein metrics. Comm. Pure Appl. Math.68, no. 7: 1085– 1156 (2015)
work page 2015
-
[64]
G. Tian and X.-H. Zhu : A new holomorphic invariant and uniqueness of K¨ ahler-Ricci solitons, Comment. Math. Helv. 77(2002), 297-325
work page 2002
-
[65]
Viza de Souza : Conformally K¨ ahler, Einstein-Maxwell metrics on Hirzebruch surfaces
I. Viza de Souza : Conformally K¨ ahler, Einstein-Maxwell metrics on Hirzebruch surfaces. Ann. Global Anal. Geom. 59.2 (2021), 263–284
work page 2021
-
[66]
Wang : Height and GIT weight, Math
X.-W. Wang : Height and GIT weight, Math. Res. Lett. 19 (2012), no. 4, 909-926
work page 2012
-
[67]
Yau : On Calabi’s conjecture and some new results in algebraic geometry, Proc
S.-T. Yau : On Calabi’s conjecture and some new results in algebraic geometry, Proc. Nat. Acad. Sci. USA,74, 1798-1799 (1977)
work page 1977
- [68]
-
[69]
Yau : Nonlinear analysis in geometry
S.T. Yau : Nonlinear analysis in geometry. Enseign. Math. 33 (1987), 109–158. Yau Mathematical Sciences Center, Tsinghua University, Haidian District, Beijing 100084, China Email address:futaki@tsinghua.edu.cn 14
work page 1987
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.