Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question

2 Answers 2

up vote 7 down vote accepted

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.

share|improve this answer
    
I corrected a typo, hope you don't mind. –  user18119 Mar 3 '13 at 21:45
    
@QiL'8 Oops, thanks! –  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.

share|improve this answer
6  
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... –  Georges Elencwajg Mar 3 '13 at 18:27
    
In the proof we did not use $k$ is infinite, did we? –  mqx Aug 15 at 1:45
    
@mqx:no,we didn't. –  Georges Elencwajg Aug 15 at 7:06

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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