Let $X=\mathbb P^1_k$, with $k$ an infinite field. Show that there does not exist a projective object $\mathcal P$ either in $\mathfrak{Qco}(X)$ or $\mathfrak{Coh}(X)$ together with a surjection $\mathcal P\to \mathcal O_X\to 0$.

The author suggests to consider surjections of the form $\mathcal L\to \mathcal L\otimes k(x)\to 0$, where $x$ is a closed point, and $\mathcal L$ is an invertible sheaf on $X$.

I don't know how to choose $\mathcal L$, and I don't see how to use (quasi-)coherence here. Any suggestion? Thank you in advance.


Notate $X:=\mathbb{P}^1$

Claim: If $\mathcal{P}\to \mathcal{O}_X\to 0$ where $\mathcal{P}$ quasi-coherent, then there exists some $n$ such that there is a surjection on global sections $H^0(\mathcal{P}(n))\to H^0(\mathcal{O}_X(n))\to 0$

Suppose there is a surjection $\mathcal{P}\stackrel{\phi}{\to} \mathcal{O}_X\to 0$. By Exercise 5.15 in Chapter II we can write $\mathcal{P}$ as a strictly ascending union of its coherent subsheaves, say $\cup \mathcal{P}_i$.

Thus $\mathcal{O}_X=\cup \operatorname{im}\phi_i$ (where $\phi_i$ the appropriate sheaf image). Thus some coherent sheaf surjects onto $\mathcal{O}_X$.

Relabel and consider the exact sequence of coherent sheaves $0\to \mathcal{K}\to \mathcal{P}\to \mathcal{O}_X\to 0$. By Serre's theorem (III.5.2) we can find a sufficiently large integer so that $H^1(X, \mathcal{K}(n))=0$.

Twisting the whole short exact sequence by $\mathcal{O}_X(n)$ (i.e. tensoring with this locally free sheaf) is exact and hence keeps it short exact. Taking the long exact sequence associated to this short exact sequence gives us that $$\cdots\to H^0(X, \mathcal{P}(n))\to H^0(X, \mathcal{O}_X(n))\to H^1(X, \mathcal{K}(n))=0$$ Thus on global sections we have a surjection $H^0(\mathcal{P}(n))\to H^0(\mathcal{O}_X(n))$.

Now use the projective assumption (and the hint). Since we have a surjection $\mathcal{O}_X(-n-1)\to k(x)\to 0$, and by assumption we have a map $\mathcal{P}\to \mathcal{O}_X\to k(x)$ there exists a map $\mathcal{P}\to \mathcal{O}_X(-n-1)$ making the appropriate diagram commute.

Now twist everything by $n$ and take global sections. You get a surjection onto a non-zero group factoring through $0$ (since $H^0(X, \mathcal{O}_X(-1))=0$) a contradiction. Thus no such surjection $\mathcal{P}\to \mathcal{O}_X$ can exist.

  • $\begingroup$ I corrected a typo, hope you don't mind. $\endgroup$
    – user18119
    Mar 3 '13 at 21:45
  • $\begingroup$ @QiL'8 Oops, thanks! $\endgroup$
    – Matt
    Mar 3 '13 at 22:22

I'll show the non-existence of projectives in the category of coherent sheaves on $X$.

Let $\mathcal P$ be a non-zero projective coherent sheaf and $\mathcal P \stackrel {p}\to \mathcal O_X$ a surjective morphism.
Let $\mathcal L$ be a line bundle that we will determine later and $\mathcal L \stackrel {ev}{\rightarrow} \underline {\mathcal L(x)} \to 0$ the evaluation at $x$, with values in the sky-scraper sheaf associated to the fiber of $\mathcal L$ at $x$.
We choose a surjective morphism $\mathcal O \stackrel {c}{\rightarrow}\underline {\mathcal L(x)}$ and obtain by projectivity of $\mathcal P$ a commutative diagram $$\begin{matrix} \mathcal P&\stackrel {p}\rightarrow&\mathcal O_X\\ \downarrow&&\downarrow{c}\\ \mathcal L&\stackrel {ev}{\rightarrow}&\underline {\mathcal L(x)} \end{matrix} $$ Now take $n$ big enough for the induced morphism on global sections $\Gamma(X,\mathcal P(n))\to \Gamma(X,\mathcal O_X(n))$ to be surjective.
We then have a commutative diagram

$$\begin{matrix} \mathcal P(n)&\rightarrow&\mathcal O_X(n)\\ \downarrow&&\downarrow\\ \mathcal L(n)& \rightarrow &k \end{matrix} $$ We decide now to take $\mathcal L=\mathcal O_X(-n-1)$, we take global sections in the above diagram and we obtain $$\begin{matrix} \Gamma(X,\mathcal P(n))&\rightarrow&\Gamma(X,\mathcal O_X(n))\\ \downarrow&&\downarrow\\ \Gamma(X,\mathcal L(n))=\Gamma(X,\mathcal O(-1))=0& \rightarrow &k \end{matrix} $$
This is a contradiction because the lower composition $ \Gamma(X,\mathcal P(n))\rightarrow \Gamma(X,\mathcal L(n))=0 \rightarrow k $ is zero whereas the upper compsition $ \Gamma(X,\mathcal P(n))\rightarrow \Gamma(X,\mathcal O_X(n)) \rightarrow k $ is not zero.

  • 7
    $\begingroup$ I started working on and off several hours ago on my solution and when I posted it, I hadn't realized that Matt had already written an answer. The general idea is the same in both answers but the details are somewhat different. Anyway, I have upvoted Matt. And I think that it was Hartshorne himself who explained all this to me a long time ago, when he came to Nice. Definitely pleasant memories... $\endgroup$ Mar 3 '13 at 18:27
  • $\begingroup$ In the proof we did not use $k$ is infinite, did we? $\endgroup$
    – Qixiao
    Aug 15 '14 at 1:45
  • $\begingroup$ @mqx:no,we didn't. $\endgroup$ Aug 15 '14 at 7:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.