Return to Answer

added latex

Source Link

edit approved Aug 3, 2017 at 20:48

3.1k
1
20
34

The abelian category of quasicoherent sheaves on a schemes determine the scheme. This is an old result of Gabriel ("des categories abeliennes" 1962), proved in full generality by Rosenberg. This means that, QCoh(X)$\operatorname{QCoh}(X)$ does not only tell you the open subschemes of X$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$B$ of an abelian category A$A$ is said to be a thick subcategory if it is full and for any exact sequence in A$A$

0 ---> M'---> M ---> M'' ---> 0$$0\to M'\to M \to M''\to 0,$$

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

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

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

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

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

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

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

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

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

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

The abelian category of quasicoherent sheaves on a schemes determine the scheme. This is an old result of Gabriel ("des categories abeliennes" 1962), proved in full generality by Rosenberg. This means that, 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 ---> M'---> M ---> M'' ---> 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--->N in A/B is an isomorphism if, and only if ker f and coker f belong to B.

Let T:A ---> 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 <M> the smallest localizing subcategory containing M.

Now let X be a scheme, j:U ---> X an open embedding and i:Y ---> X its closed complement. Then there is a bunch of adjunctions between the categories of quasicoherent sheaves of U,X,Y: i_*:QCoh(Y) ---> QCoh(X) has a left adjoint i^*:QCoh(X) ---> QCoh(Y) and a right adjoint i^!:QCoh(X) ---> QCoh(Y). On the other hand, the functor j^*:QCoh(X) ---> QCoh(U) has a left adjoint j_!:QCoh(U)--->QCoh(X) and a right adjoint j_*:QCoh(U) ---> QCoh(X). This is sometimes called a recollement.

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

0 ---> QCoh(Y) ---> A ---> QCoh(U) ---> 0

in the sense that the category QCoh(Y) happens to be a localizing subcategory of A and its quotient is identified with QCoh(U). The first map in the exact sequence is i_* and the second j^*. Moreover, I think that QCoh(Y) is the smallest localizing subcategory of 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 <M> 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 <I> 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 <M> and, moreover, QCoh(U) = A/<M>. So, responding to the queston above, for any f:U ---> X, U is an open subscheme if, and only if the kernel of f^*:QCoh(X) ---> QCoh(U) is a localizing subcategory of the form <M> for a coherent sheaf M.

Regarding the structure sheaf O_X there is an isomorphism O_X(U) and the ring of endomorphism of the identity functor on QCoh(U) (which happens to be A/QCoh(Y)), so the structure sheaf can be recovered only in terms of the category A.

The abelian category of quasicoherent sheaves on a schemes determine the scheme. This is an old result of Gabriel ("des categories abeliennes" 1962), proved in full generality by Rosenberg. 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$.