Skip to main content
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

No that is not true. There is a much simpler example than in the MO answer above. I might have written the following example in one of my earlier MO answers.

Let the proper target of the morphism be $\mathbb{P}^1_k = \text{Proj}\ k[S,T]$. The domain of the morphism will be an open subset of $$\mathbb{P}^1_k \times_{\text{Spec}\ k} \mathbb{P}^1_k = \text{Proj}\ k[S,T] \times \text{Proj}\ k[U,V].$$ Specifically, let the domain be the open complement of the closed subset, $$C:= \text{Zero}(SV^2-TU^2) \sqcup \{([1,0],[0,1]),([0,1],[1,0])\}.$$ Let $\pi$ be the restriction to this open subset of projection onto the first factor.

This is a smooth, surjective morphism such that every fiber is isomorphic to $\mathbb{G}_m$. Yet it is not an open subset of any $\mathbb{P}^1$-bundle over the target. If it were, then $\pi$ would be an affine morphism. However, the inverse image under $\pi$ of $D_+(S)$, resp. of $D_+(T)$, would be affine. Using Hartog's phenomenon / S2 extension, the inverse image is quasi-affine but not affine.

Edit. I checked, and I did write up this example in a previous MO answer: When is a holomorphic submersion with isomorphic fibers locally trivial?

Post Made Community Wiki by Jason Starr