Derived category of fibrations (Q2428802)

Let \(X\) be a smooth projective variety. A tilting sheaf \(T\) is a sheaf on \(X\) with no positive self-extension, generating the category \(D^b(X)\) and such that its endomorphism algebra \(A:={\mathrm{End}}(T)\) has finite global homological dimension. The importance of such sheaves comes from the fact that the bounded derived category \(D^b(X)\) is equivalent to the bounded derived category \(D^b(A)\) of \(A\)-modules. A way to construct a tilting sheaf is by looking for a full strong exceptional collection, that is, a finite semiorthogonal collection of exceptional sheaves \(E_i\), generating \(D^b(X)\) and such that there is no higher extension: \({\mathrm{Ext}}^k(E_i,E_j)=0\) for any \(i\) and \(j\), if \(k>0\). In this case, a tilting sheaf \(T\) is given by the direct sum of the \(E_i\)'s. In this paper, the authors consider varieties \(X\) over an algebraically closed field of characteristic zero, admitting a Zariski-locally trivial fibration \(X \to Z\). If \(F\) denotes the fiber of \(X \to Z\), they show that \(X\) admits a full strong exceptional collection of line bundles whenever \(F\) and \(Z\) do.