ArticlePublisher preview available

Bott vanishing for Fano threefolds

Authors:
To read the full-text of this research, you can request a copy directly from the author.

Abstract

Bott proved a strong vanishing theorem for sheaf cohomology on projective space, namely that Hj(X,ΩXi⊗L)=0Hj(X,ΩXiL)=0H^j(X,\Omega ^i_X\otimes L)=0 for j>0j>0j>0, i≥0i0i\ge 0, and L ample. This holds for toric varieties, but not for most other varieties. We classify the smooth Fano threefolds that satisfy Bott vanishing. There are many more than expected.
Mathematische Zeitschrift (2024) 307:14
https://doi.org/10.1007/s00209-024-03468-x
Mathematische Zeitschrift
Bott vanishing for Fano threefolds
Burt Totaro1
Received: 25 February 2023 / Accepted: 4 February 2024 / Published online: 20 April 2024
© The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2024
Abstract
Bott proved a strong vanishing theorem for sheaf cohomology on projective space, namely
that Hj(X,
i
XL)=0for j>0, i0, and Lample. This holds for toric varieties, but not
for most other varieties. We classify the smooth Fano threefolds that satisfy Bott vanishing.
There are many more than expected.
Keywords Bott vanishing ·Vanishing theorem ·Fano threefold ·Fano variety
Mathematics Subject Classification 14F17 ·14J30 ·14J45
Contents
1 Introduction ............................................... 1
2 Vanishing theorems ........................................... 2
3 Cases where Bott vanishing fails ..................................... 4
4 Inductive approach to Bott vanishing .................................. 7
5 Higher direct images of differential forms ................................ 7
6 The Fano threefolds (2.30) and (3.19) .................................. 9
7 Higher direct images of differential forms, continued .......................... 12
8 First blow-up along a curve: (2.26) ...................................14
9 The Fano threefold (3.24) ........................................ 15
10 The Fano threefolds (3.15), (3.16), (3.18), (3.20), (3.21), (3.22), (3.23) ................ 16
11 The Fano threefolds (4.3), (4.4), (4.5), (4.6), (4.7), (4.8) ........................22
12 The Fano threefold (5.1) ......................................... 27
References .................................................. 30
1 Introduction
A smooth projective variety Xsatisfies Bott vanishing if
Hj(X,
i
XL)=0
BBurt Totaro
totaro@math.ucla.edu
1Department of Mathematics, UCLA, Box 951555, Los Angeles 90095-1555, CA, USA
123
Content courtesy of Springer Nature, terms of use apply. Rights reserved.
... The existence of such Y is shown in [Tot,Section 2]. Let now X = C(Y × Y, L ⊠ L) be the abstract cone over Y × Y associated to the ample line bundle L × L. Since Y × Y is still a Fano variety, we have ...
Preprint
Full-text available
We prove an injectivity theorem for the cohomology of the Du Bois complexes of varieties with isolated singularities. We use this to deduce vanishing statements for the cohomologies of higher Du Bois complexes of such varieties. Besides some extensions and conjectures in the non-isolated case, we also provide analogues for intersection complexes.
Article
Full-text available
Let k be an algebraically closed field of characteristic p>0p>0. Let X be a normal projective surface over k with canonical singularities whose anticanonical divisor is nef and big. We prove that X is globally F-regular except for the following cases: (1) KX2=4K_X^2=4 and p=2, (2) KX2=3K_X^2=3 and p{2,3}p \in \{2, 3\}, (3) KX2=2K_X^2=2 and p{2,3}p \in \{2, 3\}, (4) KX2=1K_X^2=1 and p{2,3,5}p \in \{2, 3, 5\}. For each degree KX2K_X^2, the assumption of p is optimal.
Article
We show that a projective variety with an int-amplified endomorphism of degree invertible in the base field satisfies Bott vanishing. This is a new way to analyze which varieties have nontrivial endomorphisms. In particular, we extend some classification results on varieties admitting endomorphisms (for Fano threefolds of Picard number one and several other cases) to any characteristic. The classification results in characteristic zero are due to Amerik–Rovinsky–Van de Ven, Hwang–Mok, Paranjape–Srinivas, Beauville, and Shao–Zhong. Our method also bounds the degree of morphisms into a given variety. Finally, we relate endomorphisms to global F F -regularity.
Article
Full-text available
We compute the Hochschild–Kostant–Rosenberg decomposition of the Hochschild cohomology of generalised Grassmannians, i.e., partial flag varieties associated to maximal parabolic subgroups in a simple algebraic group, in terms of representation-theoretic data.We explain how the decomposition is concentrated in global sections for the (co)minuscule and (co)adjoint generalised Grassmannians, and conjecture that for (almost) all other cases the same vanishing of the higher cohomology does not hold. Our methods give an explicit partial description of the Gerstenhaber algebra structure for the Hochschild cohomology of cominuscule and adjoint generalised Grassmannians. We also consider the case of adjoint partial flag varieties in type A, which are associated to certain submaximal parabolic subgroups.
Article
Full-text available
We compute the Hochschild–Kostant–Rosenberg decomposition of the Hochschild cohomology of Fano 3-folds. This is the first step in understanding the non-trivial Gerstenhaber algebra structure of this invariant, and yields some initial insights in the classification of Poisson structures on Fano 3-folds of higher Picard rank.
Article
Full-text available
In this article, we present a Kawamata–Viehweg type formulation of the (logarithmic) Akizuki–Nakano Vanishing Theorem. We give two proofs: one by reduction to an older theorem of Steenbrink via Kawamata’s covering lemma, and another by mod p reduction using results of Deligne–Illusie and Hara. We also include two applications.
Book
Algebraic varieties are shapes defined by polynomial equations. Smooth Fano threefolds are a fundamental subclass that can be thought of as higher-dimensional generalizations of ordinary spheres. They belong to 105 irreducible deformation families. This book determines whether the general element of each family admits a Kähler–Einstein metric (and for many families, for all elements), addressing a question going back to Calabi 70 years ago. The book's solution exploits the relation between these metrics and the algebraic notion of K-stability. Moreover, the book presents many different techniques to prove the existence of a Kähler–Einstein metric, containing many additional relevant results such as the classification of all Kähler–Einstein smooth Fano threefolds with infinite automorphism groups and computations of delta-invariants of all smooth del Pezzo surfaces. This book will be essential reading for researchers and graduate students working on algebraic geometry and complex geometry.