On standard projective plane bundles (Q1376330)

The purpose of this paper is to generalize a result about conic bundles to the case of \(\mathbb{P}^2\)-bundles. Let \(K\) be a field containing a primitive cubic root of unity \(\omega\), and \(A=(f,g)_{3,K}\) \((f,g\in K-\{0\})\) be a cyclic algebra of rank 9 over \(K\), i.e., \(A\) is generated by two elements \(x,y\) with relations \(x^3=f\), \(y^3=g\), \(yx= \omega xy\). Suppose there is an irreducible regular scheme \(X_0\) with the function field isomorphic to \(K\) satisfying the following condition (1). Denote the principal divisors of \(f\) and \(g\) by \((f)_{X_0} \equiv A\), \((g)_{X_0} \equiv B \text{mod} 3 \text{Div} (X_0)\), where \(A\) and \(B\) are sums of prime divisors of \(X_0\) with coefficients equal to one or two. Then \[ (A+B)_{\text{red}} \text{ is a simple normal crossing divisor of } X_0. \tag{1} \] The main theorem of this paper is stated as follows. Theorem. Under the above assumption (1), there exists a proper flat surjective morphism \(\tau: V\to X\) with \(V\) and \(X\) irreducible regular schemes such that (i) \(X\) is obtained by blowing up \(X_0\), (ii) the generic fibre of \(\tau\) is isomorphic to the \(K\)-form \(V_K\) of \(\mathbb{P}^2\) associated to the cyclic algebra \(A\), (iii) the relative Picard group \(\text{Pic} (V/X)\) is isomorphic to \(\text{Pic} (V_K)\) by restriction. If \(K\) is the function field of an algebraic variety over an algebraically closed field \(k\) of \(\text{char} (k)=0\), then there exists a smooth projective variety \(X_0\) over \(k\) satisfying (1) due to the theorem of resolution of singularities. Moreover, a central simple algebra of rank 9 over a field is always represented by a cyclic algebra by a theorem of Wedderburn. Hence we obtain as a corollary of our theorem above: Corollary. Let \(K\) be the function field of an algebraic variety over an algebraically closed field \(k\) of \(\text{char} (k)=0\) and \(V_K\) be a \(K\)-form of \(\mathbb{P}^2\) (i.e., \(V_K \times_K \overline K\cong \mathbb{P}^2_K\) for an algebraic closure \(\overline K\) of \(K)\). Then there exists a proper flat surjective morphism \(\tau: V\to X\) with \(V\) and \(X\) smooth projective varieties such that (i) the function field of \(X\) is isomorphic to \(K\), (ii) the generic fibre of \(\tau\) is isomorphic to \(V_K\), (iii) the relative Picard group \(\text{Pic} (V/X)\) is isomorphic to \(\text{Pic} (V_K)\) by restriction.