A note on semiorthogonal decompositions for Fano fibrations
The semiorthogonal decomposition is a powerful tool to study derived categories of algebraic varieties. The first example was observed by Beĭlinson in [\textit{A. A. Beilinson}, Funct. Anal. Appl. 12, 214--216 (1979; Zbl 0424.14003)]. Then it was generalized to projective bundles [\textit{D. O. Orlov}, Russ. Acad. Sci., Izv., Math. 41, No. 1, 1 (1992; Zbl 0798.14007); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 56, No. 4, 852--862 (1992)], smooth Fano varieties [\textit{A. Kuznetsov}, Cent. Eur. J. Math. 10, No. 4, 1198--1231 (2012; Zbl 1282.14075)], and flat Fano fibrations between smooth varieties [\textit{A. Auel} and \textit{M. Bernardara}, Proc. Symp. Pure Math. 95, 199--266 (2017; Zbl 1403.14022)]. In this paper, Núñez extended above results to non-flat fibrations with possibly singular total spaces, which is given by the following theorem: Theorem [\textit{P. Núñez}, Geom. Dedicata 216, No. 2, Paper No. 20, 8 p. (2022; Zbl 07489678), Theorem 3]. Let \(f:X\rightarrow Y\) be a Fano fibration of proper varieties over a field \(k\) of characteristic \(0\). Let \(r\) be the relative index of this Fano fibration and let \(\mathscr{L}\) be the line bundle on \(X\) corresponding to an \(f\)-ample Cartier divisor \(H\) with \(-K_X\equiv_f rH\). The unbounded derived category of quasi-coherent sheaves on \(X\) admits a semiorthogonal decomposition \[\boldsymbol{\mathrm{D}}(X)=\langle \boldsymbol{\mathrm{A}}_f, \boldsymbol{\mathrm{D}}(Y)\boxtimes \mathscr{O}_X, \boldsymbol{\mathrm{D}}(Y)\boxtimes \mathscr{L}, \boldsymbol{\mathrm{D}}(Y)\boxtimes \mathscr{L}^{\otimes2},\dots, \boldsymbol{\mathrm{D}}(Y)\boxtimes \mathscr{L}^{\otimes{\lceil{r-1}\rceil}}\rangle,\] where \(\boldsymbol{\mathrm{D}}(Y)\boxtimes \mathscr{L}^{\otimes i}\) denotes the essential image of the functor \( \boldsymbol{\mathrm{L}}f^*(-)\otimes \mathscr{L}^{\otimes i}\) and \[ \boldsymbol{\mathrm{A}}_f=\cap_{i=0}^{\lceil {r-1}\rceil} \boldsymbol{\mathrm{Ker}}( \boldsymbol{\mathrm{R}}f_* \mathscr{H}om(\mathscr{L}^{\otimes i},-)).\] If in addition \(f\) has finite Tor-dimension, then the analogous statements hold for the full subcategories of perfect complexes and for the bounded derived categories of coherent sheaves. The proof is based on the following facts: the adjointness between pullback-pushforward functors and tensor-hom functors, and the Kawamata-Viehweg vanishing theorem. Then by generic flatness and Gaurert Theorem, he showed that \(f_*\mathscr{L}^{\otimes i-j}\) is torsion and thus \(0\) for \(0\leq i<j\leq\lceil r-1\rceil\), which proves the theorem.
- Base change for semiorthogonal decompositions
- Semiorthogonal decompositions in algebraic geometry
- A semiorthogonal decomposition for Brauer-Severi schemes
- Semiorthogonal decompositions of equivariant derived categories of invariant divisors
- Derived categories of singular surfaces
- Equivariant derived category of bundles of projective spaces
- Descent for semiorthogonal decompositions
- Semiorthogonal decompositions for twisted grassmannians
- Semiorthogonal decompositions of derived categories of equivariant coherent sheaves
- Derived categories of cyclic covers and their branch divisors
- Algebraic geometry I. Schemes. With examples and exercises
- ASYMPTOTIC INVARIANTS OF SMOOTH MANIFOLDS
- Base change for semiorthogonal decompositions
- Coherent sheaves on \({\mathbb{P}}^n\) and problems of linear algebra
- Cycles, derived categories, and rationality
- Derived categories of coherent sheaves and equivalences between them
- Derived categories of Fano threefolds
- Derived categories view on rationality problems
- Foundations of Grothendieck Duality for Diagrams of Schemes
- scientific article; zbMATH DE number 4036043 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 1206984 (Why is no real title available?)
- Hyperplane sections and derived categories
- Joins and Intersections
- REPRESENTATION OF ASSOCIATIVE ALGEBRAS AND COHERENT SHEAVES
- Singularities of Pairs
- Some remarks on the derived categories of coherent sheaves on homogeneous spaces
- The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
- Triangulated categories
- Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)
- Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
- Semiorthogonal decompositions of stable pair moduli spaces via d-critical flips
- On semistable degenerations of Fano varieties
- On \(E_1\)-degeneration for the special fiber of a semistable family
- Derived categories of quintic del Pezzo fibrations
- Semiorthogonal decompositions in algebraic geometry
- FUJITA DECOMPOSITION AND MASSEY PRODUCT FOR FIBERED VARIETIES
This page was built for publication: A note on semiorthogonal decompositions for Fano fibrations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2114369)
