K-stability of constant scalar curvature K\"ahler manifolds

Understand

We show that a polarised manifold with a constant scalar curvature K\"ahler metric and discrete automorphisms is K-stable.

• This refines the K-semistability proved by S.
• K.
• Donaldson.