A structure theorem for \(\mathbb P^1\)-Spec \(k\)-bimodules (Q1956354): Difference between revisions

The main result of the paper is a structure theorem describing the structure of \(k\)-linear right exact direct limit and coherence preserving functors from the category of quasi-coherent sheaves on \(\mathbb{P}^1_k\) to the category of vector spaces over \(k\). As an application, one gets that a coherence preserving functor as above is an integral transform which generalizes a previous result of the same author for the case \(X=\mathbb{P}^1_k\); more precisely, the former theorem gave a description of the structure of such functors for affine X, whereas the latter gives the structure theorem in the non-affine example of \(X=\mathbb{P}^1\). Moreover, the main theorem of this paper describes when, under some technical assumptions, such a functor is isomorphic to a pull back functor \(f^*\), where \(f: \mathrm{Spec}(k)\rightarrow X\). This is interesting from the point of view of non-commutative algebraic geometry.