Flat and cotorsion quasi-coherent sheaves. Applications (Q702138)

If \(R\) is a commutative ring then \({\mathbf P^1}(R)=(\text{Proj}R[x_0,x_1],\Theta)\), \(\Theta\) being the structure sheaf of the projective line. The functor \(H\) between the categories of quasi-coherent sheaves over \({\mathbf P^1}(R)\) is defined in the following way: for a representation \(\mathcal F \equiv A\to C @<<< B\), \(H(\mathcal F)\) is the \(R[x]\)-module \(A\) and for a morphism \((\alpha, \beta, \gamma)\) between two representations \(\mathcal F \to \mathcal G\), \(H(\alpha, \beta, \gamma) = \alpha\). In the third part (after the Introduction and Preliminaries) the existence of a right adjoint functor of \(H\) is proved. In the next part ``Cotorsion Representations'' a characterization of flat and cotorsion objects in the category of quasi-coherent sheaves over \({\mathbf P^1}(R)\) is given. The final part is devoted to the finitely generated and cotorsion representations.