I can prove that in Coh(P^1)$\operatorname{Coh}(\boldsymbol{P}^1)$ there isn'taren't enough projective objects, either, by using Serre's duality theorem and some vanishing theoremtheorems. But I don't know if this is the case for Qcoh(P^1)$\operatorname{Qcoh}(\boldsymbol{P}^1)$.
Mike Pierce
- 1.2k
- 1
- 9
- 26