1
$\begingroup$

This is a slight reformulation of exercise II.5.9.(c) in Hartshorne's "Algebraic Geometry" which I don't understand.

Let $K$ be a field and $S=K[X_0,\ldots,X_n]$ a graded ring. Set $X=Proj(S)$ and let $M$ be a graded $S$-module. The functors $\Gamma_*$ definied by $$ \Gamma_*(\mathcal{F})=\bigoplus_{n\in\mathbb{Z}} (\mathcal{F}(n))(X) $$ and $~\widetilde{\phantom{\cdot}}~$ (the "graded associated sheaf functor", see Hartshorne II.5. page 116 for a definition) induce an equivalence of categories between the category $\mathcal{A}$ of quasi-finitely generated (i.e. in relation to a finitely generated module) graded $S$-modules modulo a certain equivalence relation $\approx$ and the category $\mathcal{B}$ of coherent $\mathcal{O}_X$-modules. The equivalence relation is: $M\approx N$ if there is an integer $d$ such that $\oplus_{k\geq d}M_k\cong\oplus_{k\geq d}N_k$.

I don't know what an "equivalence of categories" is in this context. Formally an "equivalence of categories" means in particular that there are isomorphisms $$\hom_\mathcal{A}(M,N)\cong \hom_\mathcal{B}(\widetilde{M},\widetilde{N})$$ and $$\hom_\mathcal{B}(Y,Z)\cong \hom_\mathcal{A}(\Gamma_*(Y),\Gamma_*(Z))$$ of sets. This is my problem: How is the sheaf $\mathcal{H}om_\mathcal{B}(Y,Z)$ considered as a set? Perhaps it should be $\Gamma_*(\mathcal{H}om_\mathcal{B}(Y,Z))\cong \hom_\mathcal{A}(\Gamma_*(Y),\Gamma_*(Z))$?

Improve this question
$\endgroup$
4
  • $\begingroup$ An equivalence of categories $\mathcal{C}$ and $\mathcal{D}$ consists of a pair of functors, $F:\mathcal{C}\rightarrow\mathcal{D}$ and $G:\mathcal{D}\rightarrow\mathcal{C}$, such that $F\circ G$ is naturally isomorphic to the identity on $\mathcal{D}$ and $G\circ F$ is naturally isomorphic to the identity on $\mathcal{C}$. $\endgroup$
    – Keenan Kidwell
    Commented Mar 23, 2010 at 12:34
  • $\begingroup$ Read Serre's FAC... $\endgroup$
    – Shizhuo Zhang
    Commented Mar 23, 2010 at 12:45
  • 2
    $\begingroup$ In the category of coherent $\mathcal{O}_X$ modules, the morphisms from $E$ to $F$ are the global sections of the sheaf $\mathcal{H}om(E,F)$. This object is sometimes denoted $\mathrm{Hom}(E,F)$, to distinguish it from $\mathcal{H}om(E,F)$. $\endgroup$
    – David E Speyer
    Commented Mar 23, 2010 at 13:22
  • 5
    $\begingroup$ (and to go along with Shizhuo Zhang's comment) ...and it is probably in Euler. $\endgroup$
    – Mariano Suárez-Álvarez
    Commented Mar 23, 2010 at 15:10

1 Answer 1

Reset to default
4
$\begingroup$

The homomorphisms in the category of sheaves are not sheaves themselves. The hom sheaves have the data of things that are only homomorphisms over open subsets. So if $Y,Z$ are coherent $\mathcal{O}_X$-modules and you are looking for $\mathcal{O}_X$-module homomorphisms, you don't actually get $\mathcal{H}om(X,Y)$, what you actually get are the global sections only, because these are the only homomorphisms that are defined on the whole space, and so the only actual homomorphisms in the category of sheaves.

Improve this answer
$\endgroup$
2
  • $\begingroup$ Thank you, Charles. Are you speaking of the "usual" global sections or do one get in fact an isomorphism of graded modules $\Gamma_*(\mathcal{H}om_\mathcal{B}(Y,Z))\cong\hom_\mathcal{A}(\Gamma_*(Y),\Gamma_*(Z))$? $\endgroup$
    – roger123
    Commented Mar 23, 2010 at 13:35
  • 1
    $\begingroup$ It's the usual global sections. Remember that a homorphism of graded modules must preserve degree! $\endgroup$
    – David E Speyer
    Commented Mar 23, 2010 at 14:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .