[Paper Review] A new method in Fano geometry

Ziv Ran, Herb Clemens|ArXiv.org|Jan 23, 2000

Algebraic Geometry and Number Theory2 references4 citations

TL;DR

This paper introduces a novel method in Fano geometry using positivity properties of sheaves of differential operators to bound the anticanonical degree of Fano varieties with Picard number 1 and mild singularities. By analyzing the Harder-Narasimhan filtration of the tangent bundle and applying vanishing theorems, the authors establish upper bounds on $(-K_X)^n$ in terms of the minimal slope of the tangent bundle and the Weil index, offering a new, independent approach to Fano boundedness without relying on rational curves or bend-and-break techniques.

ABSTRACT

We give some bounds on the anticanonical degrees of Fano varieties with Picard number 1 and mild singularities, extending results of Kollár et al. from the early 90's and improving them even in the smooth case. The proof is based on a study of positivity properties of sheaves of differential operators on ample line bundles, and avoids the use of rational curves and bend-and-break. This note is a self-contained exposition of the main ideas of math.AG/9811022

Motivation & Objective

• To establish effective upper bounds on the anticanonical degree $(-K_X)^n$ for unipolar $\mathbb{Q}$-Fano varieties with Picard number 1 and mild singularities.
• To develop a new, independent approach to Fano variety boundedness that avoids classical techniques like rational curves and bend-and-break.
• To clarify the role of positivity in sheaves of differential operators on ample line bundles as a central tool in Fano geometry.
• To prove that the anticanonical degree is bounded by a function of the minimal slope of the tangent bundle's Harder-Narasimhan filtration and the Weil index $i_X$ or $t_X$.
• To extend the applicability of vanishing theorems—particularly log-terminal Kodaira and Kawamata-Viehweg—to the study of differential operators on singular Fano varieties.

Proposed method

• The proof uses a good resolution $\epsilon: Y \to X$ of the singular Fano variety $X$, where $Y$ is smooth and the exceptional divisor is a simple normal crossing divisor.
• It introduces the 'integral-divisorial' pullback $\epsilon_{id}^*M$ for divisorial sheaves $M$ on $X$, which generalizes standard line bundle pullback to non-Cartier divisors.
• The method relies on the positivity of the sheaf of differential operators $\mathfrak{D}^{\alpha k}(-kK_X, \mathcal{O}_X)$, shown to be semipositive for large $k$.
• A contradiction is derived by assuming $(-K_X)^n > \mu_X^n$, leading to a section $s$ of $-kK_X$ with a zero of order $> \alpha k$ along a general curve section $C \subset X'$, which contradicts semipositivity.
• The argument uses branched covering techniques and the Kawamata-Viehweg vanishing theorem to show $H^0(\Omega_Y^{n'}(-N + B)) = 0$, contradicting the existence of a non-trivial map from $\epsilon^*Q^\vee$ to $\Omega_Y^{n'}$.
• The key inequality $\frac{C \cdot (-K_X)}{\mu_{\min}(T_X)} \leq i_X$ is used to relate the geometry of the curve section $C$ to the Weil index and the minimal slope of the tangent bundle.

Experimental results

Research questions

• RQ1 What upper bounds can be established for the anticanonical degree $(-K_X)^n$ of a unipolar $\mathbb{Q}$-Fano variety with Picard number 1 and mild singularities?
• RQ2 How can the positivity of sheaves of differential operators be used to derive boundedness results in Fano geometry?
• RQ3 Can the classical bend-and-break approach be replaced by a method based on differential operators and Harder-Narasimhan filtrations?
• RQ4 What is the relationship between the minimal slope $\mu_{\min}(T_X)$ of the tangent bundle and the Weil index $i_X$ or $t_X$?
• RQ5 To what extent can vanishing theorems for differential forms be extended to singular Fano varieties via integral-divisorial pullbacks?

Key findings

• The anticanonical degree satisfies $(-K_X)^n \leq \left(\max\left\{\frac{2C \cdot (-K_X)}{\mu_{\min}(T_X)}, i_X\right\}\right)^n$ for $1$-canonical, log-terminal Fano varieties with Picard number 1.
• When the tangent bundle $T_X$ is semistable, the bound simplifies to $(-K_X)^n \leq \left(\max\{2n, t_X(n+1)\}\right)^n$, with equality in the slope term when $\frac{C \cdot (-K_X)}{\mu_{\min}(T_X)} = n$.
• The proof establishes that $\frac{C \cdot (-K_X)}{\mu_{\min}(T_X)} \leq i_X$, linking the curve section's intersection with the minimal slope of the tangent bundle.
• The method avoids rational curves and bend-and-break, offering a new, independent route to boundedness in Fano geometry.
• The sheaf of differential operators $\mathfrak{D}^{\alpha k}(-kK_X, \mathcal{O}_X)$ is shown to be semipositive for large $k$, enabling the contradiction argument.
• The contradiction arises from assuming $(-K_X)^n > \mu_X^n$, leading to a section with a zero of order $> \alpha k$ that cannot exist due to semipositivity and the negativity of $\mathcal{O}_C(-x)$.