arxiv: 2605.08789 · v1 · submitted 2026-05-09 · 🧮 math.DG · math.AG

Recognition: 2 theorem links

· Lean Theorem

On coupled K\"ahler-Einstein metrics and weighted solitons on Fano manifolds

Akito Futaki

Authors on Pith no claims yet

Pith reviewed 2026-05-12 01:07 UTC · model grok-4.3

classification 🧮 math.DG math.AG

keywords Fano manifoldsKähler-Einstein metricscoupled metricsweighted solitonsK-polystabilityexistence criteriaKähler geometry

0 comments

The pith

Existence of coupled Kähler-Einstein metrics and weighted solitons on Fano manifolds equals generalized K-polystability.

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

The paper surveys two natural generalizations of Kähler-Einstein metrics on Fano manifolds: coupled Kähler-Einstein metrics and weighted solitons. It establishes that their existence is equivalent to algebraic conditions extending the K-polystability criterion used in the standard case. This equivalence connects geometric existence questions to algebraic geometry in the same way the classical result does. The survey reviews the proofs of these equivalences and recent advances that follow from them.

Core claim

Just as for ordinary Kähler-Einstein metrics, the existence of coupled Kähler-Einstein metrics and of weighted solitons on Fano manifolds is equivalent to algebraic conditions that generalize the K-polystability condition. The survey outlines the recent developments that establish this equivalence in both settings.

What carries the argument

Generalized K-polystability conditions, which act as the algebraic criterion equivalent to existence for the coupled metrics and weighted solitons.

Load-bearing premise

The algebraic conditions used truly generalize K-polystability so that they detect every obstruction to existence.

What would settle it

A Fano manifold where the generalized algebraic stability condition is satisfied yet no coupled Kähler-Einstein metric or weighted soliton exists.

read the original abstract

We consider coupled K\"ahler-Einstein metrics and weighted solitons on Fano manifolds. These are natural generalizations of K\"ahler-Einstein metrics. As in the case of K\"ahler-Einstein metrics, the existence is known to be equivalent to algebraic conditions which generalize the K-polystability. In this survey, we outline recent developments for these two cases.

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.

Desk Editor's Note private letter to a colleague

Futaki's survey collects the known stability equivalences for coupled Kähler-Einstein metrics and weighted solitons on Fano manifolds but adds no new theorems or proofs.

read the letter

This is a survey that recaps how existence of coupled Kähler-Einstein metrics and weighted solitons on Fano manifolds is equivalent to algebraic conditions that extend K-polystability, in the same way the classical Kähler-Einstein case works. The author lays out the parallels and points to the recent papers that established these equivalences. That framing is straightforward and keeps the focus on the structural similarities across the different metric types. The organization could help someone who needs a compact map of the literature without chasing every reference separately. The main limitation is that nothing here is original. The equivalences are treated as already known from prior work, so the paper's role is synthesis rather than derivation or resolution of open questions. If the exposition stays mostly descriptive and does not add fresh simplifications or flag remaining technical gaps in the generalizations, the contribution stays modest. No internal contradictions or unsupported claims jump out from the abstract and framing, and the citations appear to track back to the standard references on K-stability. This is the sort of note that would interest people already working on canonical metrics and stability conditions for Fano varieties. It is not essential for the broader field, but it could serve as a convenient reference. I would send it for peer review so the exposition and coverage can be checked by specialists; the topic is established enough to merit that step even though the paper itself does not push new results.

Referee Report

0 major / 1 minor

Summary. The manuscript is a survey outlining recent developments on coupled Kähler-Einstein metrics and weighted solitons on Fano manifolds. It states that the existence of these metrics and solitons is equivalent to algebraic conditions that generalize K-polystability, in direct analogy with the standard Kähler-Einstein metrics.

Significance. This survey is significant in that it consolidates results on generalizations of the Yau-Tian-Donaldson conjecture to coupled and weighted settings. By presenting the equivalences as established in the cited literature, it offers a useful reference point for the field, assuming the summaries are accurate.

minor comments (1)

[Abstract] The claim regarding the equivalence to algebraic conditions would be strengthened by including specific citations to the papers establishing these equivalences for the coupled and weighted cases.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. We appreciate the recognition of the survey's value in consolidating results on generalizations of the Yau-Tian-Donaldson conjecture.

Circularity Check

0 steps flagged

No circularity; survey summarizes external literature without new derivations

full rationale

This is a survey paper that outlines recent developments on coupled Kähler-Einstein metrics and weighted solitons, explicitly attributing the key equivalence between existence and generalized K-polystability to prior literature rather than deriving it internally. No equations, predictions, or first-principles results are introduced that could reduce to fitted parameters, self-definitions, or self-citation chains by construction. The manuscript contains no load-bearing steps that rely on the paper's own inputs; all central claims are presented as established externally. This is the standard case of a self-contained survey against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This is a survey paper; no new free parameters, axioms, or invented entities are introduced in the provided abstract. All technical content is drawn from prior literature.

pith-pipeline@v0.9.0 · 5347 in / 966 out tokens · 55453 ms · 2026-05-12T01:07:27.385055+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

existence ... equivalent to algebraic conditions which generalize the K-polystability
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

weighted v-soliton ... Ric(ω)−ω = √−1 ∂∂ log v(μ_ω)

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

71 extracted references · 71 canonical work pages

[1]

Apostolov, D.M.J

V. Apostolov, D.M.J. Calderbank and E. Legendre : Weighted K-stability of polarized va- rieties and extremality of Sasaki manifolds. Adv. Math. 391 (2021), Paper No. 107969, 63 pp

work page 2021
[2]

Apostolov, S

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

work page 2023
[3]

Apostolov and G

V. Apostolov and G. Maschler, Conformally K¨ ahler, Einstein-Maxwell geometry, J. Eur. Math. Soc., 21(2019), no. 5, 1319–1360

work page 2019
[4]

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
[5]

Bando and T

S. Bando and T. Mabuchi : Uniqueness of Einstein K¨ ahler metrics modulo connected group actions, Algebraic Geometry, Sendai 1985, Adv. Stud. Pure Math., vol 10, North-Holland, Amsterdam and Kinokuniya, Tokyo, (1987). 24

work page 1985
[6]

Bedford and B

E. Bedford and B. A. Taylor, A new capacity for plurisubharmonic functions, Acta Math. 149 (1982), p. 1–40

work page 1982
[7]

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
[8]

Berman, S

R. Berman, S. Boucksom, V. Guedj, A. Zeriahi : A variational approach to complex Monge- Amp` ere equations. Publ. Math. Inst. Hautes´tudes Sci. 117(2013), 179–245

work page 2013
[9]

Berman, S

R. Berman, S. Boucksom and M. Jonsson : A variational approach to the Yau-Tian-Donaldson conjecture. J. Amer. Math. Soc., 34(2021), 605-652

work page 2021
[10]

Berman, T

R.J. Berman, T. Darvas and C. Lu : Regularity of weak minimizers of theK-energy and applications to properness andK-stability. Ann. Sci. ´Ec. Norm. Sup´ er. 53(2020), 267–289

work page 2020
[11]

Berndtsson : A Brunn-Minkowski type inequality for Fano manifolds and some uniqueness theorems in K¨ ahler geometry

B. Berndtsson : A Brunn-Minkowski type inequality for Fano manifolds and some uniqueness theorems in K¨ ahler geometry. Invent. Math. 200 (2015), no. 1, 149-200

work page 2015
[12]

Blum : Math 7800 : K-stability, available on line

H. Blum : Math 7800 : K-stability, available on line. https://haroldblum.github.io/KstabilityNotes.pdf

work page
[13]

Blum and M

H. Blum and M. Jonsson : Thresholds, valuations, and K-stability, Adv. Math. 365(2020), 107062, 57

work page 2020
[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]

Blum and C

H. Blum and C. Xu : Uniqueness of K-polystable degenerations of Fano varieties, Ann. of Math. 190 (2019), 609–656

work page 2019
[16]

Boucksom, P

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
[17]

Boucksom, T

S. Boucksom, T. Hisamoto and M. Jonsson: Uniform K-stability, Duistermaat-Heckman measures and singularities of pairs, Ann. Inst. Fourier (Grenoble), Universit´ e de Grenoble. Annales de l’Institut Fourier, 67(2017), 743–841

work page 2017
[18]

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
[19]

H.-D. Cao, X. Sun, S.-T. Yau and Y. Zhang : On deformations of Fano manifolds. Math. Ann. 383 (2022), no. 1-2, 809–836

work page 2022
[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. 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
[22]

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
[23]

Darvas : The Mabuchi geometry of finite energy classes, Adv

T. Darvas : The Mabuchi geometry of finite energy classes, Adv. Math. 285(2015), 182–219

work page 2015
[24]

Darvas : Geometric pluripotential theory on K¨ ahler manifolds, In Advances in complex geometry, volume 735 of Contemp

T. Darvas : Geometric pluripotential theory on K¨ ahler manifolds, In Advances in complex geometry, volume 735 of Contemp. Math., pages 1–104. Amer. Math. Soc., Providence, RI, 2019

work page 2019
[25]

Darvas and Y

T. Darvas and Y. Rubinstein : Tian’s properness conjectures and Finsler geometry of the space of K¨ ahler metrics, J. Amer. Math. Soc. 30 (2017), no. 2, 347–387

work page 2017
[26]

Datar and G

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
[27]

Fujita.: Optimal bounds for the volumes of K¨ ahler-Einstein Fano manifolds

K. Fujita.: Optimal bounds for the volumes of K¨ ahler-Einstein Fano manifolds. Amer. J. Math. 140(2018), 391–414

work page 2018
[28]

Fujita : A valuative criterion for uniform K-stability of Q-Fano varieties

K. Fujita : A valuative criterion for uniform K-stability of Q-Fano varieties. J. Reine Angew. Math. 751(2019), 309–338

work page 2019
[29]

Fujita and Y

K. Fujita and Y. Hashimoto, On the coupled Ding stability and the Yau–Tian–Donaldson correspondence for Fano manifolds. Preprint 2024, arXiv:2412.04028

work page arXiv 2024
[30]

Fujita and Y

K. Fujita and Y. Odaka : On the K-stability of Fano varieties and anticanonical divisors. Tohoku Math. J. 70(2018), 511–521

work page 2018
[31]

Futaki : An obstruction to the existence of Einstein K¨ ahler metrics, Invent

A. Futaki : An obstruction to the existence of Einstein K¨ ahler metrics, Invent. Math.73, 437-443 (1983)

work page 1983
[32]

Futaki and S

A. Futaki and S. Morita : Invariant polynomials of the automorphism group of a compact complex manifold, J. Diff. Geom.,21, 135–142 (1985)

work page 1985
[33]

Futaki, K¨ ahler-Einstein Metrics and Integral Invariants

A. Futaki, K¨ ahler-Einstein Metrics and Integral Invariants. Lecture Notes in Mathematics,

work page
[34]

iv+140 pp

Springer-Verlag, Berlin, 1988. iv+140 pp. 25

work page 1988
[35]

Futaki : Asymptotic Chow semi-stability and integral invariants, Intern

A. Futaki : Asymptotic Chow semi-stability and integral invariants, Intern. J. Math.,15, 967-979, (2004)

work page 2004
[36]

20(2024), 903–921

Akito Futaki, Deformations of Fano manifolds with weighted solitons, Pure and Applied Mathematics Quarterly. 20(2024), 903–921

work page 2024
[37]

Futaki, X

A. Futaki, X. Sun and Y. Y. Zhang : Hodge Laplacian and geometry of Kuranishi family of Fano manifolds. To appear in Kyoto J. Math., arXiv2212.04110

work page arXiv
[38]

Futaki and Y

A. Futaki and Y. Zhang : Coupled Sasaki-Ricci solitons. Science China Math., 64(2021), 1447–1462

work page 2021
[39]

Futaki and Y

A. Futaki and Y. Y. Zhang : Residue formula for an obstruction to Coupled K¨ ahler-Einstein metrics. J. Math. Soc. Japan. 73(2021), 389–401

work page 2021
[40]

Guedj and A

V. Guedj and A. Zeriahi, The weighted Monge-Amp` ere energy of quasiplurisubharmonic functions, J. Funct. Anal. 250 (2007), 442–482

work page 2007
[41]

Han and C

J. Han and C. Li : On the Yau-Tian-Donaldson conjecture for generalized K¨ ahler-Ricci soliton equations, Comm. Pure Appl. Math., 76(2023), 1793–1867

work page 2023
[42]

Hisamoto: Stability and coercivity for toric polarizations

T. Hisamoto: Stability and coercivity for toric polarizations. arXiv:1610.07998 v2

work page arXiv
[43]

Hultgren : Coupled K¨ ahler-Ricci solitons on toric manifolds

J. Hultgren : Coupled K¨ ahler-Ricci solitons on toric manifolds. Anal. PDE 12 (2019), no. 8, 2067–2094

work page 2019
[44]

Hultgren and D

J. Hultgren and D. Witt Nystr¨ om : Coupled K¨ ahler-Einstein metrics. Int. Math. Res. Not. IMRN 2019, no. 21, 6765–6796

work page 2019
[45]

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
[46]

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
[47]

Kodaira : Complex manifolds and deformation of complex structures

K. Kodaira : Complex manifolds and deformation of complex structures. Translated from the Japanese by Kazuo Akao. With an appendix by Daisuke Fujiwara. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 283. Springer-Verlag, New York, 1986. x+465 pp

work page 1986
[48]

Kodaira and D

K. Kodaira and D. C. Spencer : On deformations of complex analytic structures. I, II, Ann. of Math. (2), 67 (1958), pp. 328–466

work page 1958
[49]

Kuranishi : New proof for the existence of locally complete families of complex structures

M. Kuranishi : New proof for the existence of locally complete families of complex structures. 1965 Proc. Conf. Complex Analysis (Minneapolis, 1964) pp. 142–154 Springer, Berlin

work page 1965
[50]

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
[51]

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
[52]

LeBrun and R.S

C. LeBrun and R.S. Simanca : On the K¨ ahler class of extremal metrics, in Geometry and Global Analysis, Kotake, Nishikawa and Schoen, eds. pp. 255–271, Tohoku University, 1994

work page 1994
[53]

Li : K-semistability is equivariant volume minimization, Duke Math

C. Li : K-semistability is equivariant volume minimization, Duke Math. J. 166 (2017), 3147– 3218

work page 2017
[54]

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
[55]

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

work page arXiv
[56]

Li and C

C. Li and C. Xu : Special test configuration and K-stability of Fano varieties. Ann. of Math. 180 (2014), 197–232

work page 2014
[57]

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
[58]

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
[59]

Matsushima : Sur la structure du groupe d’hom´ eomorphismes analytiques d’une certaine vari´ et´ e kaehl´ erienne, Nagoya Math

Y. Matsushima : Sur la structure du groupe d’hom´ eomorphismes analytiques d’une certaine vari´ et´ e kaehl´ erienne, Nagoya Math. J.,11, 145-150 (1957)

work page 1957
[60]

Morrow and K

J. Morrow and K. Kodaira : Complex manifolds. Holt, Rinehart and Winston, Inc., New York-Montreal, Que.-London, 1971. vii+192 pp

work page 1971
[61]

Phong and J

D.H. Phong and J. Sturm : Test configurations for K-stability and geodesic rays. J. Symp. Geom. 5, 221–247 (2007)

work page 2007
[62]

Rollin, S

Y. Rollin, S. Simanca and C. Tipler : Deformation of extremal metrics, complex manifolds and the relative Futaki invariant. Math. Z. 273 (2013), no. 1-2, 547–568. 26

work page 2013
[63]

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
[64]

Sun : Deformation of canonical metrics I

X. Sun : Deformation of canonical metrics I. Asian J. Math. 16 (2012), no. 1, 141–155

work page 2012
[65]

Sun and S.-T

X. Sun and S.-T. Yau : Deformation of K¨ ahler-Einstein metrics. Surveys in geometric analysis and relativity, 467-489, Adv. Lect. Math. (ALM), 20, Int. Press, Somerville, MA, 2011

work page 2011
[66]

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
[67]

Xu : K-stability of Fano varieties, preprint, https://web.math.princeton.edu/ chenyang/Kstabilitybook.pdf

C. Xu : K-stability of Fano varieties, preprint, https://web.math.princeton.edu/ chenyang/Kstabilitybook.pdf

work page
[68]

Pure Appl

S.-T.Yau : On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge- Amp` ere equation I, Comm. Pure Appl. Math. 31(1978), 339–441

work page 1978
[69]

Zhang : A quantization proof of the uniform Yau-Tian-Donaldson conjecture, J

K. Zhang : A quantization proof of the uniform Yau-Tian-Donaldson conjecture, J. Eur. Math. Soc. 26 (2024), 4763–4778

work page 2024
[70]

Zhang : Reduced delta invariant and K¨ ahler-Einstein metrics

K. Zhang : Reduced delta invariant and K¨ ahler-Einstein metrics. Peking Math. J., published online 2024. https://doi.org/10.1007/s42543-024-00093-9

work page doi:10.1007/s42543-024-00093-9 2024
[71]

Zhang : Geometric Quantization of Classical Metrics on the Moduli Space of Canonical Metrics

Y. Zhang : Geometric Quantization of Classical Metrics on the Moduli Space of Canonical Metrics. Thesis (Ph.D.), Lehigh University. 2014. 85 pp. Yau Mathematical Sciences Center, Tsinghua University, Haidian district, Beijing 100084, China Email address:futaki@tsinghua.edu.cn 27

work page 2014