Vénéreau polynomials and related fiber bundles (Q1878428)

Let \(B={\mathbb{C}}[x,y,z,u]\), the polynomial ring in 4 variables over the complex field. The article studies the family of polynomials \(v_n\in B\) \((n\geq 1)\) which first appeared in the thesis of \textit{S. Vénéreau} [\texttt{http://www-fourier.ujf-grenoble.fr/THESE/ps/t111.ps.gz}]. It is known that \(B/v_nB\cong {\mathbb{C}}[x]^{[2]}\) for all \(n\geq 1\), and that \(v_n\) is a variable when \(n\geq 3\). The authors give another proof of the latter fact (corollary 1). It is an open question whether \(v_1\) and \(v_2\) are variables of \(B\), or even whether the map \(\pi : {\mathbb{C}}^4\to {\mathbb{C}}^2\) induced by the inclusion \({\mathbb{C}}[x,v_n]\subset B\) is a trivial \({\mathbb{C}}^2\)-bundle. It is this second question which is the authors' focus in this paper. Their main result is that, over the punctured plane \(({\mathbb{C}}^2\backslash \{ 0\})\), \(\pi\) is a fiber bundle (prop. 2). The authors also note that if their result can be extended to the entire plane, then \(\pi\) is a trivial \({\mathbb{C}}^2\)-bundle (prop. 1). In their earlier paper with \textit{S. Vénéreau} [Trans. Am. Math. Soc. 356, No.2, 509--555 (2004; Zbl 1041.14026)], it was also shown that each \(v_n\) \((n\geq 1)\) is a variable with \(x\) in the larger polynomial ring \(B[t]={\mathbb{C}}^{[5]}\) ({\S}4.2). Geometrically, this means that \(\pi\) extends to a trivial \({\mathbb{C}}^3\)-bundle \({\mathbb{C}}^5\to {\mathbb{C}}^2\).