Tame automorphisms of C^3 with multidegree of the form (3,d_2,d_3)

On multidegrees of polynomial automorphisms of C^3

We prove that for every pair of positive integers a, b there exists a number c_0 such that for every c>=c_0 one can find a tame polynomial automorphism of C^3 with multidegree equal to (a,b,c).

Weighted multidegrees of polynomial automorphisms over a domain

The notion of the weighted degree of a polynomial is a basic tool in Affine Algebraic Geometry. In this paper, we study the properties of the weighted multidegrees of polynomial automorphisms by a new approach which focuses on stable coordinates. We also present some applications of the generalized Shestakov-Umirbaev theory.

There is no tame automorphism of C^3 with muldidegree (3,4,5)

Let F=(F_1,...,F_n):C^n --> C^n be any polynomial mapping. By multidegree of F, denoted mdeg F, we call the sequence of positive integers (deg F_1,...,F_n). In this paper we addres the following problem: for which sequence (d_1,...,d_n) there is an automorphism or tame automorphism F:C^n --> C^n with mdeg F=(d_1,...,d_n}. We proved, among other things, that there is no tame automorphism F:C^3 --> C^3 with mdeg F=(3,4,5).

A new co-tame automorphism of the polynomial ring

In this paper, we discuss subgroups of the automorphism group of the polynomial ring in n variables over a field of characteristic zero. An automorphism F is said to be co-tame if the subgroup generated by F and affine automorphisms contains the tame subgroup. In 2017, Edo-Lewis gave a sufficient condition for co-tameness of automorphisms. Let EL(n) be the set of all automorphisms satisfying Edo-Lewis's condition. Then, for a certain topology on the automorphism group of the polynomial ring, any element of the closure of EL(n) is co-tame. Moreover, all the co-tame automorphisms previously know…

On the closure of the tame automorphism group of affine three-space

We provide explicit families of tame automorphisms of the complex affine three-space which degenerate to wild automorphisms. This shows that the tame subgroup of the group of polynomial automorphisms of $\C^3$ is not closed, when the latter is seen as an infinite dimensional algebraic group.tomorphism group of affine three-space

The affine automorphism group of A^3 is not a maximal subgroup of the tame automorphism group

We construct explicitly a family of proper subgroups of the tame automorphism group of affine three-space (in any characteristic) which are generated by the affine subgroup and a non-affine tame automorphism. One important corollary is the titular result that settles negatively the open question (in characteristic zero) of whether the affine subgroup is a maximal subgroup of the tame automorphism group. We also prove that all groups of this family have the structure of an amalgamated free product of the affine group and a finite group over their intersection.

Co-tame polynomial automorphisms

A polynomial automorphism of $\mathbb{A}^n$ over a field of characteristic zero is called co-tame if, together with the affine subgroup, it generates the entire tame subgroup. We prove some new classes of automorphisms, including $3$-triangular automorphisms, are co-tame. Of particular interest, if $n=3$, we show that the statement "Every $m$-triangular automorphism is either affine or co-tame" is true if and only if $m \leq 3$; this improves upon positive results of Bodnarchuk (for $m \leq 2$, in any dimension $n$) and negative results of the authors (for $m \geq 6$, $n=3$). The main technica…

The tame and the wild automorphisms of an affine quadric threefold

We prove the existence of wild automorphisms on an affine quadric threefold. The method we use is an adaptation of the one used by Shestakov and Umirbaev to prove the existence of wild automorphisms on the affine three dimensional space.

The Amalgamated Product Structure of the Tame Automorphism Group in Dimension Three

It is shown the the tame subgroup $\text{TA}_3(\mathbb C)$ of the group $\text{GA}_3(\mathbb C)$ of polynomials automorphisms of ${\mathbb C}^3$ can be realized as the product of three subgroups, amalgamated along pairwise intersections, in a manner that generalizes the well-known amalgamated free product structure of $\text{TA}_2(\mathbb C)$ (which coincides with $\text{GA}_2(\mathbb C)$ by Jung's Theorem). The result follows from defining relations for $\text{TA}_3(\mathbb C)$ given by U. U. Umirbaev.

关于驯顺自同构逼近、自同构群与 Ind-概形的增广拓扑，以及驯顺自同构群的自同构

On the tame authomorphism approximation, augmentation Topology of Automorphism Groups and $Ind$-schemes, and authomorphisms of tame automorphism groups

本文利用驯顺逼近研究多项式自同构 Ind-群的自同构，证明了 n≥3 时多项式代数自同构群的 Ind-概形自同构均为内自同构，并由此给出自同构群提升问题的否定解，进而探讨其与雅可比猜想的关系。

A non-tame and non-co-tame automorphism of the polynomial ring

An automorphism $F$ of the polynomial ring in $n$ variables over a field of characteristic zero is said to be {\it co-tame} if the subgroup of the automorphism group of the polynomial ring generated by $F$ and affine automorphisms contains the tame subgroup. There exist many examples of such an $F$, and several sufficient conditions for co-tameness are already known. In 2015, Edo-Lewis gave the first example of a non-cotame automorphism, which is a tame automorphism of the polynomial ring in three variables. In this paper, we give the first example of a non-cotame automorphism which is not tam…

Degeneration of tame automorphisms of a polynomial ring

Recently, Edo-Poloni constructed a family of tame automorphisms of a polynomial ring in three variables which degenerates to a wild automorphism. In this note, we generalize the example by a different method.

Locally tame plane polynomial automorphisms

For automorphisms of a polynomial ring in two variables over a domain R, we show that local tameness implies global tameness provided that every 2-generated invertible R-module is free. We give many examples illustrating this property.

Stable Tameness of Two-Dimensional Polynomial Automorphisms Over a Regular Ring

In this paper it is established that all two-dimensional polynomial automorphisms over a regular ring R are stably tame. In the case R is a Dedekind Q-algebra, some stronger results are obtained. A key element in the proof is a theorem which yields the following corollary: Over an Artinian ring A all two-dimensional polynomial automorphisms having Jacobian determinant one are stably tame, and are tame if A is a Q-algebra. Another crucial ingredient, of interest in itself, is that stable tameness is a local property: If an automorphism is locally tame, then it is stably tame.

On Automorphisms of the Tame Polynomial Automorphism Group in Positive Characteristic

In this paper we prove that over algebraically closed field $K$ of positive characteristic $\neq 2$ every automorphism of the group of origin-preserving automorphisms of the polynomial algebra $K[x_1,\ldots, x_n]$ ($n>3$) which fixes every diagonal matrix preserves, up to composition with a linear inner automorphism, every tame automorphism.

On permutations induced by tame automorphisms over finite fields

The present paper deals with permutations induced by tame automorphisms over finite fields. The first main result is a formula for determining the sign of the permutation induced by a given elementary automorphism over a finite field. The second main result is a formula for determining the sign of the permutation induced by a given affine automorphism over a finite field. We also give a combining method of the above two formulae to determine the sign of the permutation induced by a given triangular automorphism over a finite field. As a result, for a given tame automorphism over a finite field…

The profinite polynomial automorphism group

We introduce an extension of the (tame) polynomial automorphism group over finite fields: the profinite (tame) polynomial automorphism group, which is obtained by putting a natural topology on the automorphism group. We show that most known candidate non-tame automorphisms are inside the profinite tame polynomial automorphism group, giving another result showing that tame maps are potentially "dense" inside the set of automorphisms. We study the profinite tame automorphism group and show that it is not far from the set of bijections obtained by endomorphisms.

On Automorphisms of the Affine Cremona Group

We show that every automorphism of the group $\mathcal{G}_n:= \textrm{Aut}(\mathbb{A}^n)$ of polynomial automorphisms of complex affine $n$-space $\mathbb{A}^n=\mathbb{C}^n$ is inner up to field automorphisms when restricted to the subgroup $T \mathcal{G}_n$ of tame automorphisms. This generalizes a result of \textsc{Julie Deserti} who proved this in dimension $n=2$ where all automorphisms are tame: $T \mathcal{G}_2 = \mathcal{G}_2$.

Stably co-tame polynomial automorphisms over commutative rings

We say that a polynomial automorphism $ϕ$ in $n$ variables is stably co-tame if the tame subgroup in $n$ variables is contained in the subgroup generated by $ϕ$ and affine automorphisms in $n+1$ variables. In this paper, we give conditions for stably co-tameness of polynomial automorphisms.

The tame automorphism group in two variables over basic Artinian rings

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 aut…

Polynomial automorphisms over finite fields: Mimicking non-tame and tame maps by the Derksen group

If $F$ is a polynomial automorphism over a finite field $\F_q$ in dimension $n$, then it induces a bijection $π_{q^r}(F)$ of $(\F_{q^r})^n$ for every $r\in \N^*$. We say that $F$ can be `mimicked' by elements of a certain group of automorphisms $\mathcal{G}$ if there are $g_r\in \mathcal{G}$ such that $π_{q^r}(g_r)=π_{q^r}(F)$. We show that the Nagata automorphism (and any other automorphism in three variables fixing one variable) can be mimicked by tame automorphisms. This on the one hand removes the hope of showing that such an automorphism is non-tame by studying one bijection it induces, b…

Some Stably Tame Polynomial Automorphisms

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 $\text{SL}_m(R[X_1,X_2,..., X_n]) = \text{E}_m(R[X_1,X_2,..., X_n])$ for all $n,\ge 0$ and for all $m \ge 3$ then all length three polynomial automorphisms of $R[X,Y]$ are stably tame.

Defining relations of the tame automorphism group of polynomial algebras in three variables

We describe a set of defining relations of the tame automorphism group TA_3(F) of the polynomial algebra F[x_1,x_2,x_3] in variables x_1,x_2,x_3 over an arbitrary field F of characteristic 0.

Tits Alternative for the 3-dimensional tame automorphism group

We prove the strong Tits alternative for the 3-dimensional tame automorphism group over a field K of characteristic zero.

Combinatorics of the tame automorphism group

We study the group Tame($\mathbf A^3$) of tame automorphisms of the 3-dimensional affine space, over a field of characteristic zero. We recover, in a unified and (hopefully) simplified way, previous results of Kuroda, Shestakov, Umirbaev and Wright, about the theory of reduction and the relations in Tame($\mathbf A^3$). The novelty in our presentation is the emphasis on a simply connected 2-dimensional simplicial complex on which Tame($\mathbf A^3$) acts by isometries.

The tame automorphism group of an affine quadric threefold acting on a square complex

We study the group Tame(SL$_2$) of tame automorphisms of a smooth affine 3-dimensional quadric, which we can view as the underlying variety of SL(2,$\mathbb{C}$). We construct a square complex on which the group admits a natural cocompact action, and we prove that the complex is CAT(0) and hyperbolic. We propose two applications of this construction: We show that any finite subgroup in Tame(SL$_2$) is linearizable, and that Tame(SL$_2$) satisfies the Tits alternative.

通过Bott消失定理研究超曲面的有限自同构群

Finite automorphism groups of hypersurfaces via Bott vanishing

本文通过Bott消失定理给出上同调判据，证明驯特征下光滑Deligne-Mumford栈中超曲面的自同构群概形离散，并应用于环面轨道簇，获得拟光滑加权射影超曲面及射影空间乘积中超曲面的有限性结果，同时指出方法失效的例外窗口。

驯服多项式自同构

Tame polynomial automorphisms

本文综述了仿射空间驯服多项式自同构群的研究，通过陪集复形与赋值复形上的作用，探讨维数2、3及保持非退化二次型的维数4情形下的正规子群、有限子群分类、Tits 交替与动力次数等问题。

仿射空间自同构的驯服群的无限传递性

Infinite transitivity of tame groups of automorphisms of affine spaces

该研究针对有限域上n维仿射空间的驯服自同构群，探究其对m个点有序子集的作用，构造可映射有序序列的驯服自同构并证明其复杂度的上下界，运用多数学分支方法获得相关定性与定量结果。

A lifting of an automorphism of a K3 surface over odd characteristic

In this paper, we prove that, over an algebraically closed field of odd characteristic, a weakly tame automorphism of a K3 surface of finite height can be lifted over the ring of Witt vectors of the base field. Also we prove that a non-symplectic tame automorphism of a supersingular K3 surface or a symplectic tame automorphism of a supersingular K3 surface of Artin-invariant at least 2 can be lifted over the ring of Witt vectors. Using these results, we prove, for a weakly tame K3 surface of finite height, there is a lifting over the ring of Witt vectors to which whole the automorphism group o…

仿射二次三维簇的驯顺自同构的次数增长

Degree growth for tame automorphisms of an affine quadric threefold

本文利用赋值估计和方复形上的群作用，证明了保持仿射二次三维簇的驯顺自同构的动力次数避开 1 和 4/3 之间的值，并刻画了有限多个此类自同构随机乘积的次数增长指数为正的条件。

四变量Anick自同构的显式 tame 分解

An explicit tame factorization of the four-variable Anick automorphism

本文给出四变量多项式环中Anick自同构的显式 tame 分解，含16个固定z的初等自同构，定义在ℤ[1/2]上，未涉及特征2情形。

迭代嘉当通量与有限域上驯服多项式自同构群的非有限生成性

Iterated Cartier Flux and Non-Finite Generation of Tame Polynomial Automorphism Groups over Finite Fields

该研究针对有限域上的驯服多项式自同构群，通过迭代嘉当通量的性质证明其仅在一维时有限生成，进而证实了 $n\ge3$ 时的 Maubach–Willems 有限生成猜想。

局部有限导数的 tame 等距群研究

On the Tame Isotropy Group of Locally Finite Derivations of K[X,Y]

本文研究了K[X,Y]局部有限导数的tame等距群，通过Van den Essen的分类确定各规范形式对应的tame等距群，并证明其与关联的指数自同构的tame等距群一致，与全自同构群行为不同。

Closed subgroups of the polynomial automorphism group containing the affine subgroup

We prove that, in characteristic zero, closed subgroups of the polynomial automorphisms group containing the affine group contain the whole tame group.

A note on Automorphisms of the Affine Cremona Group

Let $\mathcal{G}$ be an ind-group and let $\mathcal{U} \subseteq \mathcal{G}$ be a unipotent ind-subgroup. We prove that an abstract group automorphism $θ\colon \mathcal{G} \to \mathcal{G}$ maps $\mathcal{U}$ isomorphically onto a unipotent ind-subgroup of $\mathcal{G}$, provided that $θ$ fixes a closed torus $T \subseteq \mathcal{G}$, which normalizes $\mathcal{U}$ and the action of $T$ on $\mathcal{U}$ by conjugation fixes only the neutral element. As an application we generalize a result by Hanspeter Kraft and the author as follows: If an abstract group automorphism of the affine Cremona gr…

Nagata关于正特征多项式自同构的猜想

Nagata's conjecture on a polynomial automorphism in positive characteristic

本文在特征至少为7的域上证明了Nagata关于三元多项式环特定自同构为野性的猜想，首次在正特征下确认野性自同构的存在。

仿射半单齐性空间上的驯顺离散集

Tame Discrete Sets on Affine Semisimple Homogeneous Spaces

该文验证了Winkelmann猜想对正维数仿射半单齐性空间$G/H$成立，证明其驯顺离散集性质及Oka性质，并给出流映射复合的归一化界，特别证明了$\SL_2/N(T)$为RR空间。

A note on k[z]-automorphisms in two variables

We prove that for a polynomial $f\in k[x,y,z]$ equivalent are: (1)$f$ is a $k[z]$-coordinate of $k[z][x,y]$, and (2) $k[x,y,z]/(f)\cong k^{[2]}$ and $f(x,y,a)$ is a coordinate in $k[x,y]$ for some $a\in k$. This solves a special case of the Abhyankar-Sathaye conjecture. As a consequence we see that a coordinate $f\in k[x,y,z]$ which is also a $k(z)$-coordinate, is a $k[z]$-coordinate. We discuss a method for constructing automorphisms of $k[x,y,z]$, and observe that the Nagata automorphism occurs naturally as the first non-trivial automorphism obtained by this method - essentially linking Naga…