[Paper Review] On semipositivity of sheaves of differential operators and the degree of a unipolar Q-Fano variety

Ziv Ran|arXiv (Cornell University)|Nov 4, 1998

Algebraic Geometry and Number Theory11 references3 citations

TL;DR

This paper establishes upper bounds on the degree $(-K)^n$ of unipolar Q-Fano varieties using slope estimates on sheaves of differential operators. It proves $(-K)^n \leq (\max(i,n+1))^n$ under log-terminal singularities and holomorphic 1-forms, and $(-K)^n \leq (2n)^n$ when the tangent sheaf is semistable, without relying on rational curves or rational connectedness.

ABSTRACT

We consider normal projective n-dimensional varieties X whose anticanonical divisor class -K is ample and where every Weil divisor is a rational multiple of K. The index i is the largest integer such that K/i exists as a Weil divisor. We show (i) if X has log-terminal singularities, and in addition 1-forms on the smooth part of X are holomorphic on a resolution, then (-K)^n =< (max(in,n+1))^n; (ii) if the tangent sheaf of X is semistable, then (-K)^n =

Motivation & Objective

• To establish upper bounds on the degree $(-K)^n$ of unipolar Q-Fano varieties with specific singularities and cohomological conditions.
• To analyze the semipositivity of sheaves of differential operators on plurianticanonical sheaves as a key technical tool.
• To derive degree bounds without relying on rational curves or rational connectedness, contrasting with prior approaches.
• To extend results from the smooth case to singular Q-Fano varieties with log-terminal singularities and holomorphic 1-forms.
• To provide refined estimates under semistability of the tangent sheaf, yielding a uniform bound in terms of dimension.

Proposed method

• Utilizes slope estimates on sheaves of differential operators acting on plurianticanonical sheaves to control positivity.
• Applies techniques from algebraic geometry of singular varieties, particularly focusing on Weil divisors and rational multiples of the canonical class.
• Employs resolution of singularities to lift holomorphic 1-forms from the smooth locus to the resolution.
• Uses the index $i$ of the canonical class $K$ as a measure of rational divisibility, central to the first bound.
• Applies semistability conditions on the tangent sheaf to derive a uniform bound in terms of dimension $n$, independent of $i$.
• Relies on elementary but non-trivial estimates of slopes in the context of coherent sheaves and their differential operators.

Experimental results

Research questions

• RQ1 What upper bounds can be established on the degree $(-K)^n$ of a unipolar Q-Fano variety under log-terminal singularities and holomorphic 1-forms?
• RQ2 How does the semistability of the tangent sheaf constrain the degree of a Q-Fano variety?
• RQ3 Can degree bounds be derived without invoking rational curves or rational connectedness?
• RQ4 What role does the index $i$ of the canonical class play in bounding the degree of a Q-Fano variety?
• RQ5 How do slope estimates on sheaves of differential operators contribute to bounding the anticanonical degree?

Key findings

• Under log-terminal singularities and holomorphic 1-forms on a resolution, the degree satisfies $(-K)^n \leq (\max(i,n+1))^n$, where $i$ is the index of the canonical class.
• When the tangent sheaf is semistable, the degree is bounded by $(-K)^n \leq (2n)^n$, independent of the index $i$.
• The bounds are derived via novel slope estimates on sheaves of differential operators, avoiding reliance on rational curves.
• The method applies to singular Q-Fano varieties where every Weil divisor is a rational multiple of $K$, generalizing smooth cases.
• The results extend previous work by Nadel, Campana, and Koll\'ar-Miyaoka-Mori by avoiding rational connectedness arguments.
• The revised version includes corrections, detailed proofs, and additional applications, enhancing the technical foundation of the bounds.