Are all Projective Space Bundles on Schemes Projectivizations of Vector Bundles?

874 Views Asked by At

I'm taking a course on complex manifolds, and in class we saw this fact for complex manifolds. I have a moderate background in algebraic geometry, and was interested in the same question for $\mathbb{P}^n$ bundles over a scheme $X$, where now we interpret the transition functions on $\operatorname{Spec} A \times \mathbb{P}^n$ as $A-$linear automorphisms of the homogeneous ring $A[x_0, ..., x_n]$. Maybe this is a good formulation of the precise question: is every such bundle isomorphic to $\mathbb{P}(\mathscr{E})$ for some locally free sheaf $\mathscr{E}$?

I'm sure that there is some really high-powered proof using tools that are above my paygrade though like GAGA or something. Personally I'd just like to see to what extent this is still true in the algebraic setting, although not necessarily over the complex numbers, or if possible, even projective space over a ring would be nice to know some things about.

1

There are 1 best solutions below

3
On

Consider the exact sequence of sheaves $$ 0\rightarrow \mathcal{O}_X^*\rightarrow \operatorname{GL}(r)\rightarrow \operatorname{PGL}(r)\rightarrow 0 $$ Taking the long exact sequence in cohomology gives $$ H^1(X,\mathcal{O}_X^*)\rightarrow H^1(X,\operatorname{GL}(r))\rightarrow H^1(X,\operatorname{PGL}(r))\rightarrow H^2(X,\mathcal{O}_X^*) $$ The set $H^1(X,\operatorname{GL}(r))$ classifies rank $r$ vector bundles on $X$. The set $H^1(X,\operatorname{PGL}(r))$ classifies rank $r-1$ projective bundles on $X$. So the obstruction to every projective bundle being a vector bundle is an element of $H^2(X,\mathcal{O}_X^*)$ in the image of $H^1(X,\operatorname{PGL}(r))\rightarrow H^2(X,\mathcal{O}_X^*)$. The image of this map is called the Brauer group and it classifies vector bundles which are not Zariski trivial but are étale trivial. There are plenty of interesting varieties with nontrivial Brauer groups, so the answer to your question is negative in general. A theorem of Tsen says that for curves over an algebraically closed field, the Brauer group is always trivial, so the answer to your question is positive in the case of curves.