Representability of cohomological functors over extension fields (Q680715)

In their article [Mosc. Math. J. 3, No. 1, 1--36 (2003; Zbl 1135.18302)], \textit{A. Bondal} and \textit{M. van den Bergh} showed that if \(X\) is a regular projective variety over a field \(k\) then a contravariant cohomological functor \(H: D^b_{\mathrm{coh}}(X)\rightarrow \mathrm{mod}\, k\) of finite type is representable by some \(A\in D^b_{\mathrm{coh}}(X)\), i.e., \(H\cong \mathrm{Mor}_{D^b_{\mathrm{coh}}(X)}(-, A)\), where \(D^b_{\mathrm{coh}}(X)\) is the bounded derived category of coherent sheaves on \(X\) and \(\mathrm{mod}\, k\) the category of finite dimensional \(k\)-spaces (denoted by \(\underline{\mathrm{mod}}_k\) in this article). The author of this article considered the question of representability of a contravariant cohomological functor \(H: D^b_{\mathrm{coh}}(X)\rightarrow \mathrm{mod}\, L\) of finite type, where \(L\) is an extension field of \(k\). The first main theorem (i.e., Theorem 1.1) of this article asserted that if \(L\) is a finitely generated separable field of an algebraically closed field \(k\) with transcendence degree \(\mathrm{tr.deg}_k L\leq 1\), or a purely transcendental field extension of transcendence degree \(2\) over \(k\) then \(H\) is indeed representable by some \(E\in D^b_{\mathrm{coh}}(X_L)\), i.e. \(H\cong \mathrm{Mor}_{D^b_{\mathrm{coh}}(X)}(j^*-,E)\), where \(X_L=X\times_k L\) and \(j: X_L\rightarrow X\) is the base change morphism. Actually \(H\) is always representable by an object \(T\) in \(D_{\mathrm{Qcoh}}(X)_L\), i.e., \(H\cong \mathrm{Mor}_{D_{\mathrm{Qcoh}}(X)_L}(-\otimes L, T)\) (see Theorem 4.1), where \(D_{\mathrm{Qcoh}}(X)\) is the unbounded derived category of quasi-coherent sheaves on \(X\), \(D_{\mathrm{Qcoh}}(X)_L\) is its base change category (see Definition 2.1) and the functor \(-\otimes L: D_{\mathrm{Qcoh}}(X)\rightarrow D_{\mathrm{Qcoh}}(X)_L\) is defined as in Definition 2.2. To prove Theorem 1.1, the author first considered the case when \(L\) is purely transcendental of degree \(1\) or \(2\) over \(k\) (see Theorem 4.3). In this case, the natural functor \(D_{\mathrm{Qcoh}}(X_L)\rightarrow (D_{\mathrm{Qcoh}}(X))_L\) is dense (see Corollary 3.7), the proof of which forms a technical part ocuppying \S3. The author showed that a lift \(S\) of \(T\) in \(D_{\mathrm{Qcoh}}(X_L)\) indeed lies in \(D^b_{\mathrm{coh}}(X_L)\) and \(H\) is actually representable by \(S\) (see the proof of Theorem 4.3). Then he continued to reduce the case when \(L\) is a finitely generated separable field of \(k\) with \(\mathrm{tr.deg}_k L\leq 1\) to the \(\mathrm{tr.deg}\leq 1\) purely transcendental extension case, which completed the proof of Theorem 1.1 (see the proof of Theorem 1.1 ensuing the proof of Theorem 4.3). As an application of Theorem 1.1, the author showed that if \(X, Y\) are two smooth projective varieties over an algebraically closed field and if \(\mathrm{dim}\, Y\leq 1\) or \(Y\) is a rational surface, then any exact functor \(F: D^b_{\mathrm{coh}}(X)\rightarrow D^b_{\mathrm{coh}}(Y)\) is pertinent to a Fourier-Mukai functor \(\Phi_A^{X\rightarrow Y}\), where \(A\in D^b_{\mathrm{coh}}(X\times Y)\), in the sense that \(i^*\circ F=i^*\circ \Phi_A^{X\rightarrow Y}\), where \(i: \eta \rightarrow Y\) is the inclusion of the generic point of \(Y\) (see Theorem 1.2 and its proof).