The Eilenberg-Watts theorem over schemes (Q979056)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Eilenberg-Watts theorem over schemes
scientific article

    Statements

    The Eilenberg-Watts theorem over schemes (English)
    0 references
    25 June 2010
    0 references
    Let \(X\) be a scheme and denote by \({\mathcal Q}coh\, X\) the category of quasi-coherent sheaves on \(X.\) The purpose of this paper under review is to study the obstructions to a \(k\)-linear right exact functor \(F:{\mathcal Q}coh\, X \rightarrow {\mathcal Q}coh\,Y\) which commutes with direct limits being isomorphic to tensoring with a bimodule. This can be viewed as a generalization of the Eilenberg-Watts theorem given independently by \textit{S. Eilenburg} [J. Indian Math. Soc., n. Ser. 24, 231--234 (1961; Zbl 0100.26103)] and \textit{C. E. Watts} [Proc. Am. Math. Soc. 11, 5--8 (1960; Zbl 0093.04101)]. Let \(k\) denote a commutative ring, \(Z=\text{Spec}\,k\) and assume all schemes and products of schemes are over \(Z.\) Assume further that \(X\) is a quasi-compact and separated scheme and \(Y\) is a separated scheme. Let \(\text{Funck}_k({\mathcal Q}coh\, X, {\mathcal Q}coh\,Y)\) denote the category of \(k\)-linear functors. Its full subcategory consisting of right exact functors commuting with direct limits is denoted by \({\mathcal B}imod_k(X-Y).\) Call the functor \(W:{\mathcal B}imod_k(X-Y) \rightarrow{\mathcal Q}coh(X \times Y)\) defined by \textit{M. Van Den Bergh} [Non-Commutative \(\mathbb{P}^1\)-bundles over commutative schemes, preprint \url{arXiv:math/0102005v3} (2010)] the Eilenberg-Watts functor. Here is the main result of the paper. Theorem: If \(F \in {\mathcal B}imod_k(X-Y),\) then there exists a natural transformation \[ \Gamma_F:F \longrightarrow - \bigotimes_{\mathcal{O}_X} W(F) \] such that \(\ker \Gamma_F\) and \(\text{coker} \Gamma_F\) are totally global. Furthermore, \(\Gamma_F\) is an isomorphism if 1) \(X\) is affine or 2) \(F\) is exact or 3) \(F \cong - \otimes_{\mathcal{O}_X} \mathcal{F}\) in \({\mathcal Q}coh(X \times Y)\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    schemes
    0 references
    quasi-coherent sheaves
    0 references
    Eilengerg-Watts theorem
    0 references
    0 references
    0 references
    0 references
    0 references