Vénéreau polynomials and related fiber bundles

DOI10.1016/J.JPAA.2004.01.009MaRDI QIDQ1878428zbMATH OpenOpenAlexFDO

Authors Shulim Kaliman, Mikhail Zaidenberg

Publication date 19 August 2004

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0308191

zbMATH Keywords

embedding problemvariable

Mathematics Subject Classification ID

Affine spaces (automorphisms, embeddings, exotic structures, cancellation problem) (14R10) Affine fibrations (14R25)

Abstract: The Venereau polynomials v-n:=y+x^n(xz+y(yu+z^2)), n>= 1, on A4 have all fibers isomorphic to the affine space A3. Moreover, for all n>= 1 the map (v-n, x) : A4 -> A2 yields a flat family of affine planes over A2. In the present note we show that over the punctured plane A2�, this family is a fiber bundle. This bundle is trivial if and only if v-n is a variable of the ring C[x][y,z,u] over C[x]. It is an open question whether v1 and v2 are variables of the polynomial ring C[x,y,z,u]. S. Venereau established that v-n is indeed a variable of C[x][y,z,u] over C[x] for n>= 3. In this note we give an alternative proof of Venereau's result based on the above equivalence. We also discuss some other equivalent properties, as well as the relations to the Abhyankar-Sathaye Embedding Problem and to the Dolgachev-Weisfeiler Conjecture on triviality of flat families with fibers affine spaces.

Review text

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\).

Recommendations

• scientific article; zbMATH DE number 5214128
• Polynomials with general \(\mathbb{C}^ 2\)-fibers are variables.
• scientific article; zbMATH DE number 4099663
• The effect of rational maps on polynomial maps
• On Homogenous Minimal Involutive Varieties
• scientific article; zbMATH DE number 3998204
• scientific article; zbMATH DE number 1797640
• Vénéreau-type polynomials as potential counterexamples
• On singular varieties associated to a polynomial mapping from \(\mathbb{C}^n\) to \(\mathbb{C}^{n-1}\)
• scientific article; zbMATH DE number 89355

Cites work

• scientific article; zbMATH DE number 3606581 (Why is no real title available?)
• Locally polynomial algebras are symmetric algebras
• Simple birational extensions of the polynomial ring \(\mathbb{C}^{[3]}\)
• UNIPOTENT GROUP SCHEMES OVER INTEGRAL RINGS

Cited in

(9)

• Bivariables and Vénéreau polynomials
• Vénéreau-type polynomials as potential counterexamples
• Derivations of \(R[X,Y,Z]\) with a slice
• Families of group actions, generic isotriviality, and linearization
• scientific article; zbMATH DE number 888939 (Why is no real title available?)
• Affine space fibrations
• scientific article; zbMATH DE number 5214128 (Why is no real title available?)
• Polynomials with general \(\mathbb{C}^ 2\)-fibers are variables.
• The special automorphism group of \(R[t]/(t^{m})[x_{1},\cdots ,x_{n}]\) and coordinates of a subring of \(R[t][x_{1},\cdots ,x_{n}]\)

This page was built for publication: Vénéreau polynomials and related fiber bundles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1878428)