Representability of cohomological functors over extension fields
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).
- scientific article; zbMATH DE number 3121698
- Representations up to coherent homotopy
- Coherent cohomology and Galois representations
- Cohomology of general coinduced representions
- Cohomology of Galois extensions
- General linear and functor cohomology over finite fields
- Extension functors of Cousin cohomology modules
- scientific article; zbMATH DE number 2149948
- Coartinianness of extension and torsion functors
- scientific article; zbMATH DE number 1515823
This page was built for publication: Representability of cohomological functors over extension fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q680715)
