A note on semiorthogonal decompositions for Fano fibrations (Q2114369)

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.