Pith. sign in

REVIEW 3 major objections 3 minor 78 references

For every n-dimensional klt Fano variety, the Miyaoka–Yau Chern-number inequality holds up to a correction term controlled by the square of (1−δ), with equality on weighted projective spaces; the same mechanism works equivariantly for Kähle

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · deepseek-v4-flash

2026-08-01 03:15 UTC pith:QKNCI4NL

load-bearing objection A genuinely new, sharp δ-controlled Miyaoka–Yau inequality with a clean short proof — once you accept the imported slope estimates, which are contemporaneous, unverified preprints. the 3 major comments →

arxiv 2607.25181 v1 pith:QKNCI4NL submitted 2026-07-28 math.AG math.CVmath.DG

The Miyaoka-Yau inequality and the delta invariant for Fano varieties

classification math.AG math.CVmath.DG MSC 14J4514C1732Q2032Q26
keywords Miyaoka–Yau inequalityFano varietiesdelta invariantK-stabilityKähler–Ricci solitonsequivariant Chern classesweighted delta invariantklt singularities
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper's central claim is that the Miyaoka–Yau inequality, classically known when a Fano variety is K-semistable or admits a Kähler–Einstein metric, holds universally in a corrected form governed by the delta invariant δ. For any n-dimensional projective klt Fano variety, (2(n+1)ĉ₂ − n c₁²)·c₁^{n−2} is bounded below by −n(1−min{1,δ})²·c₁ⁿ, so the only possible violation of the classical inequality is a defect quadratic in how far δ is from 1. The bound is sharp: weighted projective spaces P(1,…,1,b) attain equality while failing the classical inequality. The same proof, phrased with equivariant Chern classes and the weighted delta invariant, yields an equivariant version, and as a consequence the equivariant Miyaoka–Yau inequality holds for every smooth Fano manifold admitting a Kähler–Ricci soliton — in particular for toric Fano manifolds.

Core claim

On the paper's own terms, the discovery is that the Miyaoka–Yau inequality is controlled by the delta invariant rather than by K-semistability. For every n-dimensional projective klt Fano variety X, with ĉ₂(X) the orbifold second Chern class, (2(n+1)ĉ₂(X) − n c₁(X)²)·c₁(X)^{n−2} ≥ −n(1−δ′(X))²·c₁(X)ⁿ, where δ′(X)=min{1,δ(X)} and δ(X) is the delta invariant, equivalently the greatest Ricci lower bound. The inequality is sharp: P(1,…,1,b) gives equality while violating the un-corrected inequality. The equivariant counterpart replaces the usual Chern classes by torus-equivariant Chern classes and the delta invariant by the weighted delta invariant; in particular, a smooth Fano manifold admittin

What carries the argument

The load-bearing object is the canonical extension sheaf V, the reflexive sheaf in 0→O_X→V→T_X→0 whose extension class is a multiple of c₁(X) chosen from the delta invariant. The argument reduces the Chern-number inequality to two ingredients concerning V: a lower bound on its minimal slope (degree per unit rank) of the form µ_min(V) ≥ δ′(X)/(n+1)·c₁(X)ⁿ, and a discriminant inequality that bounds 2(n+1)c₂−n c₁² from below in terms of the spread between the maximal and minimal slopes. In the equivariant/soliton setting, slopes are taken with respect to the weight v(µ)=e^{⟨µ,ξ⟩}; algebraic equivariant intersection theory is used so that the second equivariant Chern class is defined for torsion

Load-bearing premise

The entire theorem rests on the quoted slope estimate for the canonical extension sheaf of a klt Fano variety, µ_min(V) ≥ δ′(X)/(n+1)·c₁(X)ⁿ, and the paper's own appendix proof of that estimate is explicitly incomplete because it omits the asymptotic bounds for two terms (Term (I) and Term (III)).

What would settle it

Compute the two omitted limits in the appendix (the asymptotic behaviour of Term (I) and Term (III) as ε,t→0): if either limit is non-zero, the appendix proof collapses and Theorem 1.1 depends entirely on the external slope estimate. Independently, one can test the theorem's output on the explicit toric Fano fourfold of Example 7.4, where both sides are computed exactly and the predicted inequality holds.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • K-semistable Fano varieties satisfy the classical Miyaoka–Yau inequality, since δ′=1; the new theorem contains that known case.
  • The bound cannot be improved in general: the weighted projective spaces P(1,…,1,b) attain equality and at the same time fail the classical inequality.
  • Every smooth Fano manifold admitting a Kähler–Ricci soliton satisfies the equivariant Miyaoka–Yau inequality; in particular, all toric Fano manifolds do.
  • When the soliton is a Kähler–Einstein metric (ξ=0), the equivariant statement reduces to the usual Miyaoka–Yau inequality.
  • Equality in the non-equivariant theorem forces the canonical extension sheaf to be either slope-semistable or to have a Harder–Narasimhan filtration of length two whose destabilizing subsheaf has rank one.

Where Pith is reading between the lines

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

  • The quadratic dependence on (1−δ′) is likely structural: any invariant that bounds the minimal slope of the canonical extension sheaf should enter the Chern-number defect through the same square, because the discriminant inequality is quadratic in the slope gap.
  • The equivariant framework makes the inequality computable from moment-polytope data; a toric classification of equality cases beyond P(1,…,1,b) is now a combinatorial question the paper leaves open.
  • If the same slope-lower-bound input is established for log Fano pairs or for other weights, the same two-step proof would produce Miyaoka–Yau-type inequalities in those settings without new geometric ideas.
  • A natural open question is whether equality in the soliton inequality characterizes equivariantly projectively flat manifolds or weighted projective spaces; the paper does not address this.

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

3 major / 3 minor

Summary. The paper establishes a Miyaoka-Yau-type inequality for arbitrary n-dimensional projective klt Fano varieties, with a defect controlled by the delta invariant: (2(n+1)c^_2 - n c_1^2).c_1^{n-2} >= -n(1-min{1,delta})^2.c_1^n. The inequality is sharp, with equality on weighted projective spaces P(1,...,1,b). It also develops an equivariant version for smooth Fano G-manifolds, replacing Chern classes and delta invariant by equivariant Chern classes and weighted delta invariant, and derives as a corollary the equivariant Miyaoka-Yau inequality for every smooth Fano manifold admitting a Kahler-Ricci soliton. The proof strategy follows Tian's canonical extension sheaf: it combines a slope estimate for this sheaf (quoted from [XZ26] in the klt case and from [HL26] in the soliton setting) with a suitable Langer inequality. The internal composition from these slope estimates to the Chern-number inequalities is short and checkable. Examples and computations are supplied, including an explicit verification for the blow-up of CP^2 at a point.

Significance. If the external slope estimates are correct, the paper gives a substantial unification: when min{1,delta(X)}=1 it recovers the known Miyaoka-Yau inequality for K-semistable Fano varieties, while for K-unstable Fanos it provides a sharp quantitative defect. The equivariant extension to Kahler-Ricci solitons is new and naturally complements recent work of Hallam-Lahdili and Inoue. The paper is honest about its dependencies, and the numerical examples are concrete. The main weakness is that the load-bearing slope estimates are not fully proved in the manuscript: Theorem 7.1 is quoted from a contemporaneous preprint, its alternative proof in Appendix A explicitly omits key analytic estimates, and the equivariant part may rely on a different stability notion. These issues are local to the imports but central for the claimed theorems.

major comments (3)
  1. [§7.1, Theorem 7.1; Appendix A.0.8, Claim A.6] The proof of Theorem 1.1 rests on Theorem 7.1, quoted from [XZ26, Lemma 5.9], a contemporaneous preprint not verified in this paper. The alternative proof in Appendix A is incomplete: Claim A.6 asserts limits for Term (I) and Term (III), but §A.0.8 says 'The estimates of Term (I) and Term (III) are the same as in [DGP24] ... We therefore omit the proof.' These terms control the singular contributions on the resolution, and without them inequality (A.3) is not established. Since Theorem 1.1 is central, readers cannot verify the main theorem from the manuscript alone. The authors should either supply a complete proof of Claim A.6 or state Theorem 1.1 as explicitly conditional on [XZ26] with a precise statement of the imported result.
  2. [§6.1, Theorem 6.2; Remark 3.10] Theorem 1.2 depends on Theorem 6.2, quoted from [HL26, Theorems 7.1/7.2]. However, Remark 3.10 explicitly states that the paper does not know whether its v-semistability (Definition 3.9) agrees with [HL26, Definition 5.3]. Since Theorem 6.2 is stated in [HL26]'s framework, applying it to the present setup requires a comparison lemma or a proof of Theorem 6.2. Without this, the equivariant Miyaoka-Yau inequality may not follow from the quoted result. This is load-bearing for Theorem 1.2 and Corollary 1.3.
  3. [§5.2, Corollary 5.2] Corollary 5.2, the Bogomolov-Gieseker inequality for exponential weights, is asserted without proof ('...hence we omit the proof'). The exponential weight is obtained as a limit of polynomial weights, and v-semistability is not obviously preserved under this approximation. Semistability is not an open condition in the weight in any evident way, so the limiting argument requires justification. This inequality is used in Theorem 5.3(2) for the equivariant Langer inequality and hence feeds into Theorem 1.2. The omitted proof should be supplied.
minor comments (3)
  1. [§1 and §7] The notation for the orbifold second Chern class is inconsistent: the abstract uses hat c_2, while the main text often uses bc_2. Please unify the notation and define it once in the introduction.
  2. [Example 7.4] The value delta(X)=500/767 is quoted from [ZZ22, Theorem 1.1]. Since this example is used to illustrate that the Miyaoka-Yau inequality fails while the delta bound holds, a short indication of the computation or a more precise reference to the formula would help the reader verify the arithmetic.
  3. [Appendix B, Claim B.5] The proof of Claim B.5 uses concavity of g(lambda)=f(lambda)^(1/(n-1)) from the Brunn-Minkowski inequality; this is stated without a reference. The appendix is speculative and not load-bearing, but a reference would improve readability.

Circularity Check

0 steps flagged

No circularity: the Chern-number inequality is derived from external slope estimates and a Langer inequality; no equation consumes its own conclusion.

full rationale

The derivation chain is non-circular. Theorem 1.1 is obtained by feeding the klt Tian slope estimate (Theorem 7.1, quoted from [XZ26, Lemma 5.9]) into the klt Langer inequality [IMM25, Prop. 3.4]: the inequality (2(n+1)ĉ2(X)−n c1(X)^2)·c1(X)^{n−2} ≥ −n(1−δ'(X))^2·c1(X)^n is derived from bounds on µ_max, µ_min of the canonical extension sheaf. The delta invariant enters only as the slope bound's input; the output is a combination of Chern numbers, not a restatement of the input. The proof of the quoted slope estimate is not completed in Appendix A (Claim A.6: 'The estimates of Term (I) and Term (III) are the same as in [DGP24, The term (I) and (III)]. We therefore omit the proof.'), but an omitted proof is a verifiability gap, not a circular loop. The self-citations [IMM25, IJZ25] are co-authored by Iwai but are published, parameter-free external results and are not used to assert the paper's own conclusion; the central claim does not reduce to them by construction. Theorem 1.2 has the same architecture: it imports [HL26, Theorems 7.1/7.2] and uses [DJ25, Theorem 1.2] for δ'_v; the paper's own equivariant Bogomolov–Gieseker inequality (Corollary 5.2) is stated with proof omitted, but it is presented as a consequence of Theorem 4.3 by a limiting argument, not as a disguised form of the Miyaoka–Yau inequality. No fitted parameter is renamed as a prediction and no uniqueness theorem is imported from the authors.

Axiom & Free-Parameter Ledger

0 free parameters · 7 axioms · 0 invented entities

No parameters are fitted to data: the δ-invariant is an input invariant; the soliton parameter a ≈ −0.5276195 in Example 6.3 is determined by the soliton equation, not chosen to make the inequality hold. No new postulates in the physicists' sense are introduced: the new objects (v-slopes, weighted equivariant intersection numbers, the canonical extension with class √(2πν)c₁) are explicitly defined constructions, not entities invoked to explain the result. The heaviest load is carried by the two external slope estimates (XZ26 for klt, HL26 for solitons) and by the published klt Langer inequality (IMM25).

axioms (7)
  • domain assumption Assumption 2.1: quotient (X×U)/G exists as a scheme for the G-actions considered; for tori this follows from condition (3) of [EG98, Prop. 23].
    Standing technical assumption for the equivariant-Chow machinery; standard for torus actions but stated, not proved.
  • ad hoc to paper klt Tian slope estimate for the canonical extension sheaf V: µ_min(V) ≥ δ′(X)/(n+1)·c₁(X)^n (Theorem 7.1 = [XZ26, Lemma 5.9]).
    Core input of Theorem 1.1, imported from a contemporaneous preprint; Appendix A's alternative proof omits the key asymptotic estimates (Claim A.6, Terms I and III).
  • ad hoc to paper Soliton slope estimates for the canonical extension sheaf under Ric_v ω ≥ γω (Theorem 6.2 = [HL26, Theorems 7.1–7.2]).
    Core input of Theorem 1.2; quoted from Hallam–Lahdili with a reduction proof.
  • domain assumption δ′(X) is the greatest Ricci lower bound ([CRZ19, BBJ21]); δ′_v(X) is the greatest weighted Ricci lower bound ([DJ25, Theorem 1.2], eq. (1.3)).
    Converts the algebraic δ-invariant into the curvature condition needed by the analytic slope estimates.
  • domain assumption Canonical normalization of v: (c₁^T(X)·e^{ĉ₁(X)})^T(ξ) = n(e^{ĉ₁(X)})^T(ξ), eq. (1.2).
    Explicit hypothesis of Theorem 1.2; automatic for Kähler–Ricci soliton moment maps.
  • domain assumption Orbifold second Chern class Ĉ₂(X) is well-defined for klt varieties ([Kaw92, GKPT19, GK20]).
    Needed for the statement of Theorem 1.1 on singular varieties.
  • domain assumption Langer's inequality for klt varieties ([IMM25, Proposition 3.4]).
    Published with proof; converts the slope gap into the Chern-number bound; co-authored by one of the present authors but independently established.

pith-pipeline@v1.3.0-alltime-deepseek · 59 in / 20538 out tokens · 163066 ms · 2026-08-01T03:15:00.090329+00:00 · methodology

0 comments
read the original abstract

We establish the following Miyaoka-Yau inequality for any $n$-dimensional klt Fano variety $X$, possibly K-unstable, in terms of its delta invariant: $$ \left(2(n+1)\widehat{c}_2(X)-n c_1(X)^2\right)\cdot c_1(X)^{n-2} \ge -n \left(1-\min\{1,\delta(X)\}\right)^2 \cdot c_1(X)^n. $$ Furthermore, inspired by recent work of Inoue and Hallam-Lahdili, we formulate and prove an equivariant version of this inequality in the soliton setting, in which the Chern classes and the delta invariant are replaced by the equivariant Chern classes and the weighted delta invariant, respectively. As a consequence, we obtain the equivariant Miyaoka-Yau inequality for every smooth Fano manifold admitting a K\"ahler-Ricci soliton.

discussion (0)

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

Reference graph

Works this paper leans on

78 extracted references · 5 linked inside Pith

  1. [1]

    Atiyah and Raoul Bott

    Michael F. Atiyah and Raoul Bott. The moment map and equivariant cohomology. Topology , 23:1--28, 1984

  2. [2]

    On F ano foliations

    Carolina Araujo and St\' e phane Druel. On F ano foliations. Adv. Math. , 238:70--118, 2013

  3. [3]

    Weighted K -stability and coercivity with applications to extremal K \"a hler and Sasaki metrics

    Vestislav Apostolov, Simon Jubert, and Abdellah Lahdili. Weighted K -stability and coercivity with applications to extremal K \"a hler and Sasaki metrics. Geom. Topol. , 27(8):3229--3302, 2023

  4. [4]

    a hler Ricci solitons to Calabi - Yau K \

    Vestislav Apostolov, Abdellah Lahdili, and Eveline Legendre. From K \"a hler Ricci solitons to Calabi - Yau K \"a hler cones. In Real and complex geometry. In honour of Paul Gauduchon , pages 1--40. Cham: Springer, 2025

  5. [5]

    The \(K\) -energy map, almost Einstein K \"a hler metrics and an inequality of the Miyaoka type

    Shigetoshi Bando. The \(K\) -energy map, almost Einstein K \"a hler metrics and an inequality of the Miyaoka type. T \^o hoku Math. J. (2) , 39:231--235, 1987

  6. [6]

    a hler- Einstein metrics and the K \

    Robert J. Berman, Sebastien Boucksom, Philippe Eyssidieux, Vincent Guedj, and Ahmed Zeriahi. K \"a hler- Einstein metrics and the K \"a hler - Ricci flow on log Fano varieties. J. Reine Angew. Math. , 751:27--89, 2019

  7. [7]

    Berman, S \'e bastien Boucksom, and Mattias Jonsson

    Robert J. Berman, S \'e bastien Boucksom, and Mattias Jonsson. A variational approach to the Yau - Tian - Donaldson conjecture. J. Am. Math. Soc. , 34(3):605--652, 2021

  8. [8]

    Heat kernels and Dirac operators

    Nicole Berline, Ezra Getzler, and Mich \`e le Vergne. Heat kernels and Dirac operators . Grundlehren Text Edit. Berlin: Springer, paperback ed. edition, 2004

  9. [9]

    Uniform \(K\) -stability, Duistermaat - Heckman measures and singularities of pairs

    S \'e bastien Boucksom, Tomoyuki Hisamoto, and Mattias Jonsson. Uniform \(K\) -stability, Duistermaat - Heckman measures and singularities of pairs. Ann. Inst. Fourier , 67(2):743--841, 2017

  10. [10]

    Thresholds, valuations, and K -stability

    Harold Blum and Mattias Jonsson. Thresholds, valuations, and K -stability. Adv. Math. , 365:57, 2020. Id/No 107062

  11. [11]

    A non- Archimedean approach to K -stability

    S \'e bastien Boucksom and Mattias Jonsson. A non- Archimedean approach to K -stability. II : Divisorial stability and openness. J. Reine Angew. Math. , 805:1--53, 2023

  12. [12]

    The existence of the K \"a hler - Ricci soliton degeneration

    Harold Blum, Yuchen Liu, Chenyang Xu, and Ziquan Zhuang. The existence of the K \"a hler - Ricci soliton degeneration. Forum Math. Pi , 11:28, 2023. Id/No e9

  13. [13]

    Optimal destabilization of K -unstable Fano varieties via stability thresholds

    Harold Blum, Yuchen Liu, and Chuyu Zhou. Optimal destabilization of K -unstable Fano varieties via stability thresholds. Geom. Topol. , 26(6):2507--2564, 2022

  14. [14]

    Limits of solutions to the K \"a hler - Ricci flow

    Huai-Dong Cao. Limits of solutions to the K \"a hler - Ricci flow. J. Differ. Geom. , 45(2):257--272, 1997

  15. [15]

    Equality in the M iyaoka- Y au inequality and uniformization of non-positively curved klt pairs

    Beno\^it Claudon, Patrick Graf, and Henri Guenancia. Equality in the M iyaoka- Y au inequality and uniformization of non-positively curved klt pairs. C. R. Math. Acad. Sci. Paris , 362:55--81, 2024

  16. [16]

    Collins, Tomoyuki Hisamoto, and Ryosuke Takahashi

    Tristan C. Collins, Tomoyuki Hisamoto, and Ryosuke Takahashi. The inverse Monge - Amp \`e re flow and applications to K \"a hler - Einstein metrics. J. Differ. Geom. , 120(1):51--95, 2022

  17. [17]

    Positivity of the logarithmic cotangent and Shafarevich - Viehweg conjecture

    Beno \^ t Claudon. Positivity of the logarithmic cotangent and Shafarevich - Viehweg conjecture. In S\'eminaire Bourbaki. Volume 2015/2016. Expos\'es 1104--1119. Avec table par noms d'auteurs de 1948/49 \`a 2015/16 , pages 27--63, ex. Paris: Soci \'e t \'e Math \'e matique de France (SMF), 2017

  18. [18]

    Some characterizations of complex space forms in terms of C hern classes

    Bang-yen Chen and Koichi Ogiue. Some characterizations of complex space forms in terms of C hern classes. Quart. J. Math. Oxford Ser. (2) , 26(104):459--464, 1975

  19. [19]

    Cheltsov, Yanir A

    Ivan A. Cheltsov, Yanir A. Rubinstein, and Kewei Zhang. Basis log canonical thresholds, local intersection estimates, and asymptotically log del Pezzo surfaces. Sel. Math., New Ser. , 25(2):36, 2019. Id/No 34

  20. [20]

    a hler- Ricci flow, K \

    Xiuxiong Chen, Song Sun, and Bing Wang. K \"a hler- Ricci flow, K \"a hler - Einstein metric, and K -stability. Geom. Topol. , 22(6):3145--3173, 2018

  21. [21]

    Space of Ricci flows

    Xiuxiong Chen and Bing Wang. Space of Ricci flows. I . Commun. Pure Appl. Math. , 65(10):1399--1457, 2012

  22. [22]

    Space of Ricci flows

    Xiuxiong Chen and Bing Wang. Space of Ricci flows. II . Part A : Moduli of singular Calabi - Yau spaces. Forum Math. Sigma , 5:103, 2017. Id/No e32

  23. [23]

    Space of Ricci flows

    Xiuxiong Chen and Bing Wang. Space of Ricci flows. II . Part B : Weak compactness of the flows. J. Differ. Geom. , 116(1):1--123, 2020

  24. [24]

    Analytic methods in algebraic geometry , volume 1 of Surveys of Modern Mathematics

    Jean-Pierre Demailly. Analytic methods in algebraic geometry , volume 1 of Surveys of Modern Mathematics . International Press, Somerville, MA; Higher Education Press, Beijing, 2012

  25. [25]

    Uniform stability of twisted constant scalar curvature K \"a hler metrics

    Ruadha \' Dervan. Uniform stability of twisted constant scalar curvature K \"a hler metrics. Int. Math. Res. Not. , 2016(15):4728--4783, 2016

  26. [26]

    A decomposition theorem for \( Q \) - Fano K \"a hler - Einstein varieties

    St \'e phane Druel, Henri Guenancia, and Mihai P a un. A decomposition theorem for \( Q \) - Fano K \"a hler - Einstein varieties. C. R., Math., Acad. Sci. Paris , 362(S1):93--118, 2024

  27. [27]

    Numerical invariants for weighted csck metrics, 2025

    Thibaut Delcroix and Simon Jubert. Numerical invariants for weighted csck metrics, 2025. Preprint arXiv:2503.01680

  28. [28]

    S. K. Donaldson. Lower bounds on the Calabi functional. J. Differ. Geom. , 70(3):453--472, 2005

  29. [29]

    Equivariant intersection theory ( With an appendix by Angelo Vistoli : The Chow ring of \( M _2\) )

    Dan Edidin and William Graham. Equivariant intersection theory ( With an appendix by Angelo Vistoli : The Chow ring of \( M _2\) ). Invent. Math. , 131(3):595--644, 1998

  30. [30]

    Riemann- Roch for equivariant Chow groups

    Dan Edidin and William Graham. Riemann- Roch for equivariant Chow groups. Duke Math. J. , 102(3):567--594, 2000

  31. [31]

    On the K -stability of Fano varieties and anticanonical divisors

    Kento Fujita and Yuji Odaka. On the K -stability of Fano varieties and anticanonical divisors. T \^o hoku Math. J. (2) , 70(4):511--521, 2018

  32. [32]

    Toward criteria for K -stability of log fano pairs

    Kento Fujita. Toward criteria for K -stability of log fano pairs. In Proceedings of the 64th Algebra Symposium , pages 196--208, 2019

  33. [33]

    Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]

    William Fulton. Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)] . Springer-Verlag, Berlin, 1984

  34. [34]

    Finite quotients of three-dimensional complex tori

    Patrick Graf and Tim Kirschner. Finite quotients of three-dimensional complex tori. Ann. Inst. Fourier (Grenoble) , 70(2):881--914, 2020

  35. [35]

    Movable curves and semistable sheaves

    Daniel Greb, Stefan Kebekus, and Thomas Peternell. Movable curves and semistable sheaves. Int. Math. Res. Not. IMRN , 2016(2):536--570, 2016

  36. [36]

    Projective flatness over klt spaces and uniformisation of varieties with nef anti-canonical divisor

    Daniel Greb, Stefan Kebekus, and Thomas Peternell. Projective flatness over klt spaces and uniformisation of varieties with nef anti-canonical divisor. J. Algebraic Geom. , 31(3):467--496, 2022

  37. [37]

    The M iyaoka- Y au inequality and uniformisation of canonical models

    Daniel Greb, Stefan Kebekus, Thomas Peternell, and Behrouz Taji. The M iyaoka- Y au inequality and uniformisation of canonical models. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 52(6):1487--1535, 2019

  38. [38]

    On the spectrum of the equivariant cohomology ring

    Mark Goresky and Robert MacPherson. On the spectrum of the equivariant cohomology ring. Can. J. Math. , 62(2):262--283, 2010

  39. [39]

    Chern classes in D eligne cohomology for coherent analytic sheaves

    Julien Grivaux. Chern classes in D eligne cohomology for coherent analytic sheaves. Mathematische Annalen , 347:249--284, 2010

  40. [40]

    Guillemin and Shlomo Sternberg

    Victor W. Guillemin and Shlomo Sternberg. Supersymmetry and equivariant de Rham theory. With reprint of two seminal notes by Henri Cartan . Berlin: Springer, 1999

  41. [41]

    Orbifold stability and M iyaoka- Y au inequality for minimal pairs

    Henri Guenancia and Behrouz Taji. Orbifold stability and M iyaoka- Y au inequality for minimal pairs. Geom. Topol. , 26(4):1435--1482, 2022

  42. [42]

    Semistability of the tangent sheaf of singular varieties

    Henri Guenancia. Semistability of the tangent sheaf of singular varieties. Algebr. Geom. , 3(5):508--542, 2016

  43. [43]

    Algebraic geometry

    Robin Hartshorne. Algebraic geometry . Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977

  44. [44]

    On the limit of spectral measures associated to a test configuration of a polarized K \"a hler manifold

    Tomoyuki Hisamoto. On the limit of spectral measures associated to a test configuration of a polarized K \"a hler manifold. J. Reine Angew. Math. , 713:129--148, 2016

  45. [45]

    Geometric flow, multiplier ideal sheaves and optimal destabilizer for a Fano manifold

    Tomoyuki Hisamoto. Geometric flow, multiplier ideal sheaves and optimal destabilizer for a Fano manifold. J. Geom. Anal. , 33(8):30, 2023. Id/No 265

  46. [46]

    The geometry of moduli spaces of sheaves

    Daniel Huybrechts and Manfred Lehn. The geometry of moduli spaces of sheaves . Cambridge: Cambridge University Press, 2nd ed. edition, 2010

  47. [47]

    On the Yau - Tian - Donaldson conjecture for generalized K \"a hler - Ricci soliton equations

    Jiyuan Han and Chi Li. On the Yau - Tian - Donaldson conjecture for generalized K \"a hler - Ricci soliton equations. Commun. Pure Appl. Math. , 76(9):1793--1867, 2023

  48. [48]

    The weighted Hermite--Einstein equation

    Michael Hallam and Abdellah Lahdili. The weighted Hermite--Einstein equation. Math. Z. , 313(2):18, 2026

  49. [49]

    The M iyaoka- Y au inequality for singular varieties with big canonical or anticanonical divisors, 2025

    Masataka Iwai, Satoshi Jinnouchi, and Shiyu Zhang. The M iyaoka- Y au inequality for singular varieties with big canonical or anticanonical divisors, 2025. Preprint. arXiv:2507.08522

  50. [50]

    Minimal projective varieties satisfying Miyaoka 's equality

    Masataka Iwai, Shin-ichi Matsumura, and Niklas M \"u ller. Minimal projective varieties satisfying Miyaoka 's equality. Proc. Lond. Math. Soc. (3) , 131(6):41, 2025. Id/No e70104

  51. [51]

    Equivariant calculus on \( \) -character and \( \) K -stability of polarized schemes

    Eiji Inoue. Equivariant calculus on \( \) -character and \( \) K -stability of polarized schemes. J. Symplectic Geom. , 22(2):267--353, 2024

  52. [52]

    Abundance theorem for minimal threefolds

    Yujiro Kawamata. Abundance theorem for minimal threefolds. Invent. Math. , 108(2):229--246, 1992

  53. [53]

    Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics

    J\' a nos Koll\' a r and Shigefumi Mori. Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1998. With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original

  54. [54]

    Characterizations of complex projective spaces and hyperquadrics

    Shoshichi Kobayashi and Takushiro Ochiai. Characterizations of complex projective spaces and hyperquadrics. J. Math. Kyoto Univ. , 13:31--47, 1973

  55. [55]

    Differential geometry of complex vector bundles

    Shoshichi Kobayashi. Differential geometry of complex vector bundles . Princeton Legacy Library. Princeton University Press, Princeton, NJ, [2014]. Reprint of the 1987 edition [ MR0909698]

  56. [56]

    Resolution of singularities -- S eattle lecture, 2007

    J\' a nos Koll\' a r. Resolution of singularities -- S eattle lecture, 2007. Preprint. arXiv:math/0508332

  57. [57]

    Semistable sheaves in positive characteristic

    Adrian Langer. Semistable sheaves in positive characteristic. Ann. of Math. (2) , 159(1):251--276, 2004

  58. [58]

    Lecture notes on equivariant cohomology, 2007

    Matvei Libine. Lecture notes on equivariant cohomology, 2007. Preprint. arXiv:0709.3615

  59. [59]

    Projective manifolds whose tangent bundle contains a strictly nef subsheaf

    Jie Liu, Wenhao Ou, and Xiaokui Yang. Projective manifolds whose tangent bundle contains a strictly nef subsheaf. J. Algebr. Geom. , 33(1):1--53, 2024

  60. [60]

    Finite generation for valuations computing stability thresholds and applications to K -stability

    Yuchen Liu, Chenyang Xu, and Ziquan Zhuang. Finite generation for valuations computing stability thresholds and applications to K -stability. Ann. Math. (2) , 196(2):507--566, 2022

  61. [61]

    On the C hern numbers of surfaces of general type

    Yoichi Miyaoka. On the C hern numbers of surfaces of general type. Invent. Math. , 42:225--237, 1977

  62. [62]

    The C hern classes and K odaira dimension of a minimal variety

    Yoichi Miyaoka. The C hern classes and K odaira dimension of a minimal variety. In Algebraic geometry, S endai, 1985 , volume 10 of Adv. Stud. Pure Math. , pages 449--476. North-Holland, Amsterdam, 1987

  63. [63]

    Two non-vanishing results concerning the anti-canonical bundle

    Niklas M \"u ller. Two non-vanishing results concerning the anti-canonical bundle. Nagoya Math. J. , 258:201--218, 2025

  64. [64]

    Zariski-decomposition and abundance , volume 14 of MSJ Memoirs

    Noboru Nakayama. Zariski-decomposition and abundance , volume 14 of MSJ Memoirs . Mathematical Society of Japan, Tokyo, 2004

  65. [65]

    Stacks Project

    The Stacks Project Authors . Stacks Project. https://stacks.math.columbia.edu, 2018

  66. [66]

    The greatest Ricci lower bound, conical Einstein metrics and Chern number inequality

    Jian Song and Xiaowei Wang. The greatest Ricci lower bound, conical Einstein metrics and Chern number inequality. Geom. Topol. , 20(1):49--102, 2016

  67. [67]

    An introduction to extremal K \"a hler metrics , volume 152 of Grad

    G \'a bor Sz \'e kelyhidi. An introduction to extremal K \"a hler metrics , volume 152 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2014

  68. [68]

    R. W. Thomason. Algebraic K -theory of group scheme actions. Algebraic topology and algebraic K -theory, Proc . Conf ., Princeton , NJ ( USA ), Ann . Math . Stud . 113, 539-563 (1987)., 1987

  69. [69]

    On stability of the tangent bundles of Fano varieties

    Gang Tian. On stability of the tangent bundles of Fano varieties. Int. J. Math. , 3(3):401--413, 1992

  70. [70]

    Uniqueness of K \"a hler - Ricci solitons

    Gang Tian and Xiaohua Zhu. Uniqueness of K \"a hler - Ricci solitons. Acta Math. , 184(2):271--305, 2000

  71. [71]

    A new holomorphic invariant and uniqueness of K \"a hler - Ricci solitons

    Gang Tian and Xiaohua Zhu. A new holomorphic invariant and uniqueness of K \"a hler - Ricci solitons. Comment. Math. Helv. , 77(2):297--325, 2002

  72. [72]

    K \"a hler-- Ricci solitons on toric manifolds with positive first Chern class

    Xu-Jia Wang and Xiaohua Zhu. K \"a hler-- Ricci solitons on toric manifolds with positive first Chern class. Adv. Math. , 188(1):87--103, 2004

  73. [73]

    On sharp lower bounds for Calabi -type functionals and destabilizing properties of gradient flows

    Mingchen Xia. On sharp lower bounds for Calabi -type functionals and destabilizing properties of gradient flows. Anal. PDE , 14(6):1951--1976, 2021

  74. [74]

    Stable degeneration, non-degenerate forms, and K aledin's conjecture, with an appendix by H enri G uenancia, 2026

    Chenyang Xu and Ziquan Zhuang. Stable degeneration, non-degenerate forms, and K aledin's conjecture, with an appendix by H enri G uenancia, 2026. Preprint. arXiv:2606.02401

  75. [75]

    Calabi's conjecture and some new results in algebraic geometry

    Shing Tung Yau. Calabi's conjecture and some new results in algebraic geometry. Proc. Nat. Acad. Sci. U.S.A. , 74(5):1798--1799, 1977

  76. [76]

    S. T. Yau. On the R icci curvature of a compact K \"ahler manifold and the complex M onge- A mp\'ere equation I . Com. Pure and Appl. Math. , 31:339--411, 1978

  77. [77]

    Delta invariants of projective bundles and projective cones of Fano type

    Kewei Zhang and Chuyu Zhou. Delta invariants of projective bundles and projective cones of Fano type. Math. Z. , 300(1):179--207, 2022

  78. [78]

    The M iyaoka- Y au inequality for minimal K \"ahler klt spaces, 2025

    Chuangjing Zhang, Shiyu Zhang, and Xi Zhang. The M iyaoka- Y au inequality for minimal K \"ahler klt spaces, 2025. Preprint. arXiv:2503.13365