Some stably tame polynomial automorphisms

DOI10.1016/J.JPAA.2008.05.007MaRDI QIDQ952252zbMATH OpenOpenAlexFDO

Authors Sooraj Kuttykrishnan

Publication date 11 November 2008

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

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

zbMATH Keywords

automorphisms of polynomial algebrasNagata automorphismstably tame automorphisms

Mathematics Subject Classification ID

Morphisms of commutative rings (13B10) Polynomials over commutative rings (13B25) Birational automorphisms, Cremona group and generalizations (14E07) Affine spaces (automorphisms, embeddings, exotic structures, cancellation problem) (14R10)

Abstract: We study the structure of length three polynomial automorphisms of $R[X,Y]$ when $R$ is a UFD. These results are used to prove that if $ext{SL}_m(R[X_1,X_2,\mathrm{...},X_n])=ext{E}_m(R[X_1,X_2,\mathrm{...},X_n])$ for all $n,ge0$ and for all $mge3$ then all length three polynomial automorphisms of $R[X,Y]$ are stably tame.

Review text

Let \(R\) be a UFD and let \(K\) be its field of fractions. Since automorphisms of \(R[X,Y]\) induce automorphisms of \(K[X,Y]\) and the latter are tame, every automorphism \(F\) of \(R[X,Y]\) can be presented as a composition of automorphisms of \(K[X,Y]\) of the form \(F=L\circ D_{a,1}\circ F_m\circ F_{m-1}\circ\cdots\circ F_1\), where \(L=(X+c,Y+d)\), \(c,d\in R\), is a translation, \(D_{a,1}=(aX,Y)\), \(a\in R^{\ast}\), \(F_i=(X,Y+f_i(X))\) or \(F_i=(X+g_i(Y),Y)\), \(f_i(X)\in K[X]\), \(g_i(Y)\in K[Y]\). The minimal \(m\) with this property is the length of \(F\). Since the automorphisms of length 1 and 2 are tame, the first interesting cases, studied in the paper under review are the automorphisms of length 3. The most famous example is the automorphism of Nagata of \(R[X,Y]\), where \(R=K[t]\), which can be decomposed as \(N=F_1^{-1}\circ F_2\circ F_1\), \(F_1=(X,Y+X^2/t)\), \(F_2=(X+t^2Y,Y)\). The main result is: If \(SL_m(R[X_1,\ldots,X_n])=E_m(R[X_1,\ldots,X_n])\) for all \(n\geq 0\) and for all \(m\geq 3\) (\(E_m\) is the subgroup of \(SL_m\) generated by the elementary matrices), then all automorphisms of length 3 of \(R[X,Y]\) are stably tame. Two different proofs of this theorem are given in the paper. The author also mentions that in [\textit{E. Edo}, J. Algebra 287, No. 1, 15--31 (2005; Zbl 1140.13307)], this result is established with quite different methods and without the assumption \(SL_m(R[X_1,\ldots,X_n])=E_m(R[X_1,\ldots,X_n])\) but it seems that this condition is essential.

Recommendations

• Length four polynomial automorphisms
• Tame and Wild Coordinates of 𝐾[𝑧][𝑥,𝑦]
• Defining relations of the tame automorphism group of polynomial algebras in three variables
• Automorphismes modérés de l'espace affine
• The Nagata automorphism is shifted linearizable
• scientific article; zbMATH DE number 797384
• The tame and the wild automorphisms of polynomial rings in three variables
• scientific article; zbMATH DE number 2059200
• A parachute for the degree of a polynomial in algebraically independent ones
• Coordinates ofR[x,y]: Constructions and Classifications

Cites work

• scientific article; zbMATH DE number 3479037 (Why is no real title available?)
• scientific article; zbMATH DE number 3079627 (Why is no real title available?)
• Length 2 variables of \(A[x,y]\) and transfer
• Polynomial automorphisms and the Jacobian conjecture
• Stable tameness of two-dimensional polynomial automorphisms over a regular ring
• Stably tame automorphisms
• Stably tame coordinates
• Tame and Wild Coordinates of 𝐾[𝑧][𝑥,𝑦]
• The amalgamated free product structure of 𝐺𝐿₂(𝐾[𝑋₁,⋯,𝑋_{𝑛}])
• The Nagata automorphism is wild
• Totally stably tame variables
• Über ganze birationale Transformationen der Ebene.

Cited in

(4)

• \({\mathcal D}_n(A)\) for a class of polynomial automorphisms and stably tameness
• On the tame automorphisms of differential polynomial algebras
• Length four polynomial automorphisms
• Locally tame plane polynomial automorphisms

This page was built for publication: Some stably tame polynomial automorphisms

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