The tame automorphism group in two variables over basic Artinian rings

DOI10.1016/J.JALGEBRA.2010.04.009MaRDI QIDQ986528zbMATH OpenOpenAlexFDO

Authors Joost Berson

Publication date 11 August 2010

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

affine spacegroup of polynomial automorphismsgroup of tame automorphismspolynomials over commutative rings

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Polynomials over commutative rings (13B25) Birational automorphisms, Cremona group and generalizations (14E07) Affine spaces (automorphisms, embeddings, exotic structures, cancellation problem) (14R10)

Abstract: In a recent paper it has been established that over an Artinian ring R all two-dimensional polynomial automorphisms having Jacobian determinant one are tame if R is a Q-algebra. This is a generalization of the famous Jung-Van der Kulk Theorem, which deals with the case that R is a field (of any characteristic). Here we will show that for tameness over an Artinian ring, the Q-algebra assumption is really needed: we will give, for local Artinian rings with square-zero principal maximal ideal, a complete description of the tame automorphism subgroup. This will lead to an example of a non-tame automorphism, for any characteristic p>0.

Review text

In the recent preprint ``Stable tameness of two-dimensional polynomial automorphisms over a regular ring, \textit{J. Berson, A. van der Essen} and \textit{D. Wright} [\url{arXiv:0707.3151}] established that over an Artinian \(\mathbb Q\)-algebra \(R\) all automorphisms of the polynomial algebra \(R[X,Y]\) with Jacobian determinant equal to one are tame. In the paper under review the author shows that the assumption that \(R\) is a \(\mathbb Q\)-algebra is essential. He gives a complete description of the group of tame automorphisms of \(R[X,Y]\) when \(R\) is a local Artinian ring with square-zero principal maximal ideal. Then the author constructs an explicit example of a wild automorphism of \(R[X,Y]\) for \(R={\mathbb F}_p[T]/(T^2)\) for any prime \(p\).

Recommendations

• Stable tameness of two-dimensional polynomial automorphisms over a regular ring
• On tame and wild automorphisms of algebras.
• scientific article; zbMATH DE number 3952912
• Defining relations for tame automorphism groups of polynomial rings and wild automorphisms of free associative algebras.
• Tame and wild automorphisms of differential polynomial algebras of rank 2

Cites work

• A complete determination of the complex quadratic fields of class-number one
• Diophantine analysis and modular forms
• scientific article; zbMATH DE number 3479037 (Why is no real title available?)
• scientific article; zbMATH DE number 3079627 (Why is no real title available?)
• On the structure of the \(GL_ 2\) of a ring
• Polynomial automorphisms and the Jacobian conjecture
• 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}]\)
• Two-dimensional stable tameness over Noetherian domains of dimension one

Cited in

(5)

• Generalisations of the tame automorphisms over a domain of positive characteristic
• scientific article; zbMATH DE number 3952912 (Why is no real title available?)
• Stable tameness of two-dimensional polynomial automorphisms over a regular ring
• scientific article; zbMATH DE number 1442824 (Why is no real title available?)
• Polynomial automorphism groups

This page was built for publication: The tame automorphism group in two variables over basic Artinian rings

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