Divisors in projective bundles over the projective line whose complement is affine space

Abstract

Given a smooth projective variety $X$ of dimension $n$ and a closed subscheme $Z\subseteq X$, it is in general a difficult problem to determine whether $X\setminus Z$ is isomorphic to ${\mathbf{A}}^n$. In the case where $X$ is a projective bundle over ${\mathbf{P}}^1$ and the restriction of every irreducible component of $Z$ to every fibre is a hyperplane, we give a complete geometric characterisation in terms of the irreducible components of $Z$ and their intersections. In the appendix, we use this to obtain a coordinate-free explanation for the recent first counterexample to the Jacobian conjecture.

arXiv commentCorrected the statement and proof of the main theorem. 10 pages. Comments are welcome!