No label defined (Q4392801)

The main purpose of this paper is to define the notion of non-commutative schemes (in non-commutative algebraic geometry). The departure point is the following result in algebraic geometry: Any scheme can be reconstructed uniquely up to isomorphism from the category of quasi-coherent sheaves on this scheme [for noetherian schemes, see \textit{P. Gabriel}, ``Des catégories abéliennes'', Bull. Soc. Math. Fr. 90, 323-449 (1962; Zbl 0201.35602), and in full generality, see the appendix of this paper]. Yu. I. Manin proposed to use the identifying spaces with categories of structure sheaves on them as a way to introduce objects of non-commutative algebraic geometry [cf. \textit{Yu. I. Manin}, ``Quantum groups and non-commutative geometry'', C.R.M., Univ. Montreal (1988; Zbl 0724.17006)]. Following this idea, in this paper the author introduces non-commutative relative quasi-schemes and schemes and establishes some of the basic properties of schemes and scheme morphisms. In particular, one proves an analogue of the canonical bijection \[ \Hom_{\text{schemes}/k} ((X,{\mathcal O}),\text{Spec }A)\simeq \Hom_{k\text{-alg}} (A,\Gamma(X,{\mathcal O})). \] Further, one defines a non-commutative version of the Čech cohomology of an affine cover and one shows that the Čech cohomology can be used to compute higher direct images. As an application, one computes the cohomology of invertible sheaves on skew projective spaces.