Yau–Tian–Donaldson conjecture for constant scalar curvature metrics

For every polarized smooth projective complex manifold (X,L)(X,L), the polarized manifold (X,L)(X,L) is KK-polystable if and only if the Kähler class c1(L)c_1(L) admits a constant scalar curvature Kähler metric on XX.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

An unrefereed August 2026 paper claims a five-dimensional counterexample, but experts have not yet confirmed it.

The conjecture predicts that algebraic stability of a polarized manifold exactly matches the existence of a constant-scalar-curvature Kähler metric. Before the new claim, the general ordinary KK-polystability formulation was open, although important special cases and stronger stability versions were known.

Known results

  • The Fano case was proved by Chen–Donaldson–Sun and Tian.
  • Chen–Cheng, Darvas–Rubinstein, and Berman–Darvas–Lu related cscK existence to coercivity of Mabuchi’s KK-energy.
  • Stronger uniform or filtration-based stability criteria imply cscK existence.
  • A May 2026 preprint claims the corresponding equivalence for uniform KK-stability, not ordinary KK-polystability.

August 2026 claimed counterexample

Jihao Liu’s preprint claims a smooth polarized projective fivefold (X,A)(X,A) that is ordinary KK-polystable but whose class c1(A)c_1(A) contains no extremal, hence no cscK, metric. If correct, this disproves the conjecture; the manuscript says GPT-5.6-sol, Fable 5, and the Danus system contributed to obtaining the result.

Current status (as of August 2026): The ordinary KK-polystability–cscK equivalence is unsettled, with an unverified preprint claiming a counterexample.

  • Claude Mythos 5Anthropicsolved2026-08-19evidence

    Yau–Tian–Donaldson conjecture for constant scalar curvature claimed false

  • Danussolved2026-08-19evidence

    Yau–Tian–Donaldson conjecture for constant scalar curvature claimed false

  • GPT-5.6 SolOpenAIsolved2026-08-19evidence

    Yau–Tian–Donaldson conjecture for constant scalar curvature claimed false

Sources

Solutions 0

No solutions have been posted yet.