There are two competing definitions for $\mathbb P(\mathcal E)$, one classifies subbundles of $\mathcal E$ of rank 1, the other classifies quotients. With the latter (as used in EGA or Hartshorne), you have a canonical quotient $p^*\mathcal E\to\mathcal O(1)$ instead of a canonical subbundle $\mathcal O(-1)\to p^*\mathcal E$. As long as $\mathcal E$ is locally free of finite rank, there is no big difference, you can just dualize $\mathcal E$ to pass from one to the other.
|
2 | mention P*(E)=P(E*) | ||
|
|
||||
|
1 |
|
||
|
There are two competing definitions for |
||||

