Relative K-stability for K\"ahler manifolds

TL;DR

This paper introduces a notion of relative K-stability for K"ahler manifolds and proves that the existence of extremal K"ahler metrics implies this stability, strengthening previous results especially in the projective case.

Contribution

It defines a new form of relative K-stability for K"ahler manifolds and proves its necessity for extremal K"ahler metrics, improving upon existing stability criteria.

Findings

Proves a general $L^p$ lower bound on the Calabi functional.

Shows that extremal K"ahler metrics imply relative K-stability.

Strengthens known results in the projective case and addresses counterexamples.

Abstract

We study the existence of extremal K\"ahler metrics on K\"ahler manifolds. After introducing a notion of relative K-stability for K\"ahler manifolds, we prove that K\"ahler manifolds admitting extremal K\"ahler metrics are relatively K-stable. Along the way, we prove a general $L^p$ lower bound on the Calabi functional involving test configurations and their associated numerical invariants, answering a question of Donaldson. When the K\"ahler manifold is projective, our definition of relative K-stability is stronger than the usual definition given by Sz\'ekelyhidi. In particular our result strengthens the known results in the projective case (even for constant scalar curvature K\"ahler metrics), and rules out a well known counterexample to the "na\"ive" version of the Yau-Tian-Donaldson conjecture in this setting.