Given a morphism of schemes f: U → X, can one determine when f is an isomorphism of U onto an open subscheme of X in terms of some induced functors between the categories of quasicoherent modules Qcoh(U) and Qcoh(X)?




---


To begin, it might be helpul to simply assume that U ⊆ X is an open subscheme, and consider some properties of the resulting functors. I can think of one interesting functor: there is an exact functor Qcoh(X) → Qcoh(U) given by restriction of sheaves. I assume this is a special case of some more general construction (direct or inverse image functor?) that probably has an adjoint on some side.


Can we continue to list enough functors and properties of these functors to the point where we have determined precisely when the above map f is an isomorphism onto an open subscheme?



Functorial characterization of open subschemes?
The abelian category of quasicoherent sheaves on a schemes determine the scheme. This is an old result of Gabriel ("[des categories abeliennes](http://www.numdam.org/item?id=BSMF_1962__90__323_0)" 1962), proved in full generality by [Rosenberg](http://www.mpim-bonn.mpg.de/preprints/send?bid=3948). This means that, $\operatorname{QCoh}(X)$ does not only tell you the open subschemes of $X$ but also gives you the structure sheaf! I've known this result for some time but I had never looked at it in detail until today. I'll sketch what I have just learned hoping not to make big mistakes...


An abelian subcategory $B$ of an abelian category $A$ is said to be a **thick subcategory** if it is full and for any exact sequence in $A$


$$0\to M'\to M \to M''\to 0,$$


$M$ belongs to $B$ if and only if $M'$ and $M''$ do.


If $B$ is a thick subcategory of $A$ there is a well defined localization $A/B$, which is again an abelian category. $A/B$ has the same objects as $A$ and a morphism $f:M\to N$ in $A/B$ is an isomorphism if and only if $\ker f$ and $\operatorname{coker} f$ belong to $B$.


Let $T\colon A\to A/B$ be the localization functor. Then $B$ is said to be a **localizing subcategory** if $B$ is thick and $T$ has a right adjoint. The condition of being localizing can be rephrased only in terms of $A$ and $B$. see Gabriel's thesis above (proposition 4 in chapter III).


Finally, if $M$ is an object of $A$, we denote by $\langle M\rangle$; the smallest localizing subcategory containing $M$. 


Now let $X$ be a scheme, $j\colon U \to X$ an open embedding and $i\colon Y\to X$ its closed complement. Then there are a bunch of adjunctions between the categories of quasicoherent sheaves of $U,X,Y$: $i\_\*\colon \operatorname{QCoh}(Y)\to \operatorname{QCoh}(X)$ has a left adjoint $i^\*\colon \operatorname{QCoh}(X)\to \operatorname{QCoh}(Y)$ and a right adjoint $i\_!\colon \operatorname{QCoh}(X) \to \operatorname{QCoh}(Y)$. On the other hand, the functor $j^\*\colon \operatorname{QCoh}(X)\to \operatorname{QCoh}(U)$ has a left adjoint $j\_!\colon \operatorname{QCoh}(U)\to \operatorname{QCoh}(X)$ and a right adjoint $j\_\*\colon \operatorname{QCoh}(U)\to \operatorname{QCoh}(X)$. This is sometimes called a recollement.


Let's assume that $X$ is Noetherian and let $A = \operatorname{QCoh}(X)$. We have an exact sequence of abelian categories


$$0 \to \operatorname{QCoh}(Y) \to A \to \operatorname{QCoh}(U) \to 0$$


in the sense that the category $\operatorname{QCoh}(Y)$ happens to be a localizing subcategory of $A$ and its quotient is identified with $\operatorname{QCoh}(U)$. The first map in the exact sequence is $i\_\*$ and the second $j^\*$. Moreover, I think that $\operatorname{QCoh}(Y)$ is the smallest localizing subcategory of $\operatorname{QCoh}(X)$ containing $i\_\*O\_Y$. Gabriel proves that there are no more such localizing subcategories, that is closed subschemes of $X$ correspond exactly to localizing subcategories $\langle M\rangle$ generated by a single coherent sheaf (i.e. Noetherian object in $A$). Moreover, irreducible closed subsets (the points in the underlying topological space of $X$) are given by localizing subcategories $\langle I\rangle$ for $I$ an indecomposable injective. We have described the points of $X$ and its closed sets in terms of only the category $A$, so we can recover the underlying topological space of $X$ from $A$.


In particular, an open subscheme $U$ of $X$ gives a complementary closed subscheme $Y$, which is in correspondence with a localizing subcategory $\langle M\rangle$ and, moreover, $\operatorname{QCoh}(U) = A/\langle M\rangle$. So, responding to the queston above, for any $f\colon U\to X$, $U$ is an open subscheme if and only if the kernel of $f^\*\colon \operatorname{QCoh}(X) \to \operatorname{QCoh}(U)$ is a localizing subcategory of the form $\langle M\rangle$ for a coherent sheaf $M$.


Regarding the structure sheaf $O\_X$ there is an isomorphism between $O\_X(U)$ and the ring of endomorphisms of the identity functor on $\operatorname{QCoh}(U)$ (which happens to be $A/\operatorname{QCoh}(Y)$), so the structure sheaf can be recovered only in terms of the category $A$.


Finally, just say that there are other results in the spirit of reconstructing a scheme from some category of sheaves on it. This is the starting point for using such categories of sheaves as a definition of noncommutative scheme. There is more information on [this entry](http://ncatlab.org/nlab/show/noncommutative+algebraic+geometry) in nlab.


