[Paper Review] Positivity of the CM line bundle for families of K-stable klt Fanos

Giulio Codogni, Zsolt Patakfalvi|arXiv (Cornell University)|Jun 19, 2018

Algebraic Geometry and Number Theory9 citations

TL;DR

This paper establishes the semi-positivity of the CM line bundle for families of K-semi-stable klt Fano varieties and its positivity in the uniform K-stable case, even under the assumption of K-stability only for very general fibers. The results hold in the most general singular setting (klt singularities) and rely on algebraic methods with a probabilistic limit computation via the central limit theorem, providing foundational support for the moduli theory of K-stable Fano varieties.

ABSTRACT

The Chow-Mumford (CM) line bundle is a functorial line bundle on the base of any family of polarized varieties, in particular on the base of families of klt Fano varieties (also called sometimes Q-Fano varieties). It is conjectured that it yields a polarization on the conjectured moduli space of K-semi-stable klt Fano varieties. This boils down to showing semi-positivity/positivity statements about the CM-line bundle for families with K-semi-stable/K-polystable fibers. We prove the necessary semi-positivity statements in the K-semi-stable situation, and the necessary positivity statements in the uniform K-stable situation, including in both cases variants assuming $K$-stability only for very general fibers. Our statements work in the most general singular situation (klt singularities), and the proofs are algebraic, except the computation of the limit of a sequence of real numbers via the central limit theorem of probability theory. We also present an application to the classification of Fano varieties. Furthermore, in the semi-positivity case we may allow log-Fano pairs.

Motivation & Objective

• To prove the semi-positivity of the CM line bundle for families with K-semi-stable klt Fano fibers.
• To establish positivity of the CM line bundle in the uniform K-stable case, including when K-stability holds only for very general fibers.
• To extend these results to log-Fano pairs in the semi-positivity setting.
• To provide foundational support for the conjectural compactification of the moduli space of K-semi-stable klt Fano varieties via the CM line bundle.
• To apply the results to the classification of Fano varieties, particularly in the klt singular setting.

Proposed method

• The authors use algebraic geometry techniques to analyze the CM line bundle on the base of families of klt Fano varieties.
• They prove semi-positivity in the K-semi-stable case and positivity in the uniform K-stable case, even when K-stability is assumed only for very general fibers.
• The proofs are algebraic in nature, except for a key computation involving the limit of a sequence of real numbers, which relies on the central limit theorem from probability theory.
• The framework applies to the most general singular setting, including klt and log-Fano pairs.
• The authors extend results to families where only very general fibers are K-stable, using specialization arguments and deformation theory.
• An application to the classification of Fano varieties is derived from the main theorems, particularly in the context of boundedness and moduli.

Experimental results

Research questions

• RQ1 Does the CM line bundle on the base of a family of K-semi-stable klt Fano varieties remain semi-positive?
• RQ2 Is the CM line bundle positive for families with uniformly K-stable klt Fano fibers, even when K-stability holds only for very general fibers?
• RQ3 Can the positivity and semi-positivity results be extended to log-Fano pairs in the K-semi-stable case?
• RQ4 How does the central limit theorem contribute to the computation of a critical limit in the proof of the CM line bundle's positivity?
• RQ5 What implications do these results have for the classification and moduli theory of Fano varieties with klt singularities?

Key findings

• The CM line bundle is semi-positive for families of K-semi-stable klt Fano varieties, even when K-stability is assumed only for very general fibers.
• The CM line bundle is positive in the uniform K-stable case, including under the same fiber-variability assumption.
• The results hold in the most general singular setting, including klt and log-Fano pairs.
• The proof involves a non-algebraic step relying on the central limit theorem to compute a limit of real numbers, which is essential for the positivity statement.
• An application to the classification of Fano varieties is established, particularly in the context of boundedness and moduli construction.
• The work provides strong evidence for the conjectural polarization of the moduli space of K-semi-stable klt Fano varieties via the CM line bundle.