ON THE ZARISKI TOPOLOGY ON AUTOMORPHISM GROUPS OF
AFFINE SPACES AND ALGEBRAS

arXiv:1207.2045v6 [math.RA] 13 Dec 2016

ALEXEI KANEL-BELOV, JIE-TAI YU, AND ANDREY ELISHEV
Abstract. We study topological properties of Ind-groups Aut(K[x1 , . . . , xn ]) and
Aut(Khx1 , . . . , xn i) of automorphisms of polynomial and free associative algebras via
Ind-schemes, toric varieties, approximations, and singularities.
We obtain a number of properties of Aut(Aut(A)), where A is the polynomial or free
associative algebra over the base ﬁeld K. We prove that all Ind-scheme automorphisms
of Aut(K[x1 , . . . , xn ]) are inner for n ≥ 3, and all Ind-scheme automorphisms of
Aut(Khx1 , . . . , xn i) are semi-inner. We also establish that any eﬀective action of torus T n
on Aut(Khx1 , . . . , xn i) is linearizable (that is, conjugate to the standard one) provided
that K is inﬁnite.
As an application, we prove that Aut(K[x1 , . . . , xn ]) cannot be embedded into
Aut(Khx1 , . . . , xn i) by the natural abelianization. In other words, the Automorphism
Group Lifting Problem has a negative solution.
We explore close connection between the above results and the Jacobian conjecture, as
well as the Kanel-Belov – Kontsevich conjecture, and formulate the Jacobian conjecture
for ﬁelds of any characteristic.
We make use of results of Bodnarchuk, Kraft, and Rips, and we also consider automorphisms of tame groups preserving the origin and obtain a modiﬁcation of said results
in the tame setting.

Contents
1. Introduction and main results

2

1.1.

Automorphisms of K[x1 . . . , xn ] and Khx1 , . . . , xn i

2

1.2.

Main results

6

2. Basic setup and terminologies

8

2.1.

Elementary and tame automorphisms

8

2.2.

Ind-schemes and Ind-groups

8

3. The Jacobian conjecture in any characteristic, Kanel-Belov – Kontsevich
conjecture, and approximation
3.1.

9

Approximation problems and Kanel-Belov – Kontsevich Conjecture

9

2010 Mathematics Subject Classification. Primary 13S10, 16S10. Secondary 13F20, 14R10, 16W20,
16Z05.
Key words and phrases. Ind-group, Ind-scheme, Approximation, Singularities, Toric varieties, Aﬃne
spaces, Automorphisms, Polynomial algebras, Free associative algebras, Lifting problem, Tame and Wild
automorphisms, Coordinates, Nagata Conjecture, Linearization.
J.-T. Yu is partially supported by an RGC-GRF Grant.
A. Kanel-Belov is supported by the Israel Science Foundation Grant No. 1623/16.
A. Elishev is supported by RFBR Grant No. 14-01-00548.
1

2

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

3.2.

The Jacobian conjecture in any characteristic

10

3.3.

Approximation for the automorphism group of aﬃne spaces

11

3.4.

Lifting of automorphism groups

15

4. Automorphisms of the polynomial algebra and the approach of Bodnarchuk–
Kraft–Rips

16

4.1.

Reduction to the case when Ψ is identical on SLn

17

4.2.

The lemma of Rips

19

4.3.

Generators of the tame automorphism group

21

4.4.

Aut(TAut) for general case

22

5. The approach of Bodnarchuk–Kraft–Rips to automorphisms of TAut(Khx1 , . . . , xn i)
(n > 2)
5.1.
5.2.

23

The automorphisms of the tame automorphism
group of Khx1 , . . . , xn i, n ≥ 4

23

The group AutInd (TAut(Khx, y, zi))

29

6. Some open questions concerning the tame automorphism group

36

7. Acknowledgements

37

References

37

1. Introduction and main results
1.1. Automorphisms of K[x1 . . . , xn ] and Khx1 , . . . , xn i. Let K be an arbitrary ﬁeld.
In this article we study the Zariski topology and its reﬁnements of the Ind-groups of
polynomial and free associative algebras Aut(K[x1 , . . . , xn ]) (which is equivalent to the
automorphism group Aut(K n ) of the aﬃne space AnK ≃ K n ) and Aut(Khx1 , . . . , xn i) via
Ind-schemes, toric varieties, approximations, and singularities.
Automorphisms of Ind-schemes are closely related to the Jacobian Conjecture (JC) as
well as a more recent conjecture of Kanel-Belov and Kontsevich (B-KKC), [6, 7], which
asks whether the group
Sympl(C2n ) ⊂ Aut(C[x1 , . . . , x2n ])
of complex polynomial automorphisms preserving the standard Poisson bracket
{xi , xj } = δi,n+j − δi+n,j

TOPOLOGY ON AUTOMORPHISM GROUPS

3

is isomorphic1 to the group of automorphisms of the n-th Weyl algebra Wn
Wn (C) = Chx1 , . . . , xn , y1 , . . . , yn i/I,
I = (xi xj − xj xi , yi yj − yj yi , yi xj − xj yi − δij ) .
The physical meaning of Kanel-Belov and Kontsevich conjecture is the invariance of the
polynomial symplectomorphism group of the phase space under the procedure of geometric
quantization.
The B-KKC was conceived during a successful search for a proof of stable equivalence of
the Jacobian conjecture and a well-known conjecture of Dixmier stating that Aut(Wn ) =
End(Wn ) over any ﬁeld of characteristic zero. In the papers [6, 7] a particular family of
homomorphisms (in eﬀect, monomorphisms) Aut(Wn (C)) → Sympl(C2n ) was constructed,
and a natural question whether those homomorphisms were in fact isomorphisms was
raised. The aforementioned morphisms, independently studied by Tsuchimoto to the
same end, were in actuality deﬁned as restrictions of morphisms of the saturated model of
Weyl algebra over an algebraically closed ﬁeld of positive characteristic - an object which
contains Wn (C) as a proper subalgebra. One of the deﬁned morphisms turned out to have
a particularly simple form over the subgroup of the so-called tame automorphisms, and
it was natural to assume that morphism was the desired B-KK isomorphism (at least for
the case of algebraically closed base ﬁeld). Central to the construction is the notion of
inﬁnitely large prime number (in the sense of hyperintegers), which arises as the sequence
(pm )m∈N of positive characteristics of ﬁnite ﬁelds comprising the saturated model. This
leads to the natural problem ([7]):
Problem. Prove that the B-KK morphism is independent of the choice of the inﬁnite
prime (pm )m∈N .
A general formulation of this question in the paper [7] goes as follows:
For a commutative ring R deﬁne
R∞ = lim
→

Y

R′ ⊗ Z/pZ /

p

M

!

R′ ⊗ Z/pZ ,

p

where the direct limit is taken over the ﬁltered system of all ﬁnitely generated subrings
R′ ⊂ R and the product and the sum are taken over all primes p. This larger ring possesses
a unique ”nonstandard Frobenius” endomorphism Fr : R∞ → R∞ given by
(ap )primes p 7→ (app )primes p .
1In fact, the conjecture seeks to establish an isomorphism Sympl(K 2n ) ≃ Aut(W (K)) for any ﬁeld K
n

of characteristic zero in a functorial manner.

4

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

The Kanel-Belov and Kontsevich construction returns a morphism
2n
ψR : Aut(Wn (R)) → Sympl R∞

such that there exists a unique homomorphism
φR : Aut(Wn )(R) → Aut(Pn )(R∞ )
obeying ψR = Fr∗ ◦φR . Here Fr∗ : Aut(Pn )(R∞ ) → Aut(Pn )(R∞ ) is the Ind-group homomorphism induced by the Frobenius endomorphism of the coeﬃcient ring, and Pn is
the commutative Poisson algebra, i.e. the polynomial algebra in 2n variables equipped
with additional Poisson structure (so that Aut(Pn (R)) is just Sympl(R2n ) - the group of
Poisson structure-preserving automorphisms).
Question. In the above formulation, does the image of φR belong to
Aut(Pn )(i(R) ⊗ Q) ,
where i : R → R∞ is the tautological inclusion? In other words, does there exist a unique
homomorphism
φcan
R : Aut(Pn )(R) → Aut(Pn )(R ⊗ Q)
such that ψR = Fr∗ ◦i∗ ◦ φcan
R .
Comparing the two morphisms φ and ϕ deﬁned using two diﬀerent free ultraﬁlters, we
obtain a ”loop” element φϕ−1 of AutInd (Aut(Wn )), (i.e. an automorphism which preserves
the structure of inﬁnite dimensional algebraic group). Describing this group would provide
a solution to this question.
Some progress toward resolution of the B-KKC independence problem has been made
recently in [10, 11], although the general unconditional case is still open.
In the spirit of the above we propose the following
Conjecture. All automorphisms of Sympl(C2n ) as Ind-scheme are inner.
The same conjecture can be proposed for Aut(Wn (C)).
We are focused on the investigation of the group Aut(Aut(K[x1 , . . . , xn ])) and the corresponding noncommutative (free associative algebra) case. It was in fact Boris Plotkin
who pioneered this research direction, the motivation for it coming from the standpoint
of universal algebraic geometry.
Wild automorphisms and the lifting problem. In 2004, the celebrated Nagata
conjecture over a ﬁeld K of characteristic zero was proved by Shestakov and Umirbaev [29,

TOPOLOGY ON AUTOMORPHISM GROUPS

5

30] and a stronger version of the conjecture was proved by Umirbaev and Yu [33]. Let K
be a ﬁeld of characteristic zero. Every wild K[z]-automorphism (wild K[z]-coordinate) of
K[z][x, y] is wild viewed as a K-automorphism (K-coordinate) of K[x, y, z]. In particular,
the Nagata automorphism (x − 2y(y 2 + xz) − (y 2 + xz)2 z, y + (y 2 + xz)z, z) (Nagata
coordinates x − 2y(y 2 + xz) − (y 2 + xz)2 z and y + (y 2 + xz)z) is (are) wild. In [33], a
related question was raised:
The lifting problem. Can an arbitrary wild automorphism (wild coordinate) of the
polynomial algebra K[x, y, z] over a ﬁeld K be lifted to an automorphism (coordinate) of
the free associative algebra Khx, y, zi?
In the paper [8], based on the degree estimate [24, 23], it was proved that any wild zautomorphism including the Nagata automorphism cannot be lifted as a z-automorphism
(moreover, in [9] it is proved that every z-automorphism of Khx, y, zi is stably tame and
becomes tame after adding at most one variable). It means that if every automorphism
can be lifted, then it provides an obstruction z ′ to z-lifting and the question to estimate
such an obstruction is naturally raised.
In view of the above, we may ask the following:
The automorphism group lifting problem. Is Aut(K[x1 , . . . , xn ]) isomorphic to a
subgroup of Aut(Khx1 , . . . , xn i) under the natural abelianization?
The following examples show this problem is interesting and non-trivial.
Example 1. There is a surjective homomorphism (taking the absolute value) from C∗
onto R+ . But R+ is isomorphic to the subgroup R+ of C∗ under the homomorphism.
Example 2. There is a surjective homomorphism (taking the determinant) from GLn (R)
onto R∗ . But obviously R∗ is isomorphic to the subgroup R∗ In of GLn (R).
In this paper we prove that the automorphism group lifting problem has a negative
answer.
The lifting problem and the automorphism group lifting problem are closely related to
the Kanel-Belov and Kontsevich Conjecture (see Section 3.1).
Consider a symplectomorphism ϕ : xi 7→ Pi , yi 7→ Qi . It can be lifted to some automorphism ϕ
b of the quantized algebra W~ [[~]]:

m
ϕ
b : xi 7→ Pi + Pi1 ~ + · · · + Pim ~m ; yi 7→ Qi + Q1i ~ + · · · + Qm
i ~ .

6

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

The point is to choose a lift ϕ
b in such a way that the degree of all Pim , Qm
i would be
bounded. If that is true, then the B-KKC follows.

1.2. Main results. The main results of this paper are as follows.
Theorem 1.1. Any Ind-scheme automorphism ϕ of NAut(K[x1 , . . . , xn ]) for n ≥ 3 is
inner, i.e. is a conjugation via some automorphism.
Theorem 1.2. Any Ind-scheme automorphism ϕ of NAut(Khx1 , . . . , xn i) for n ≥ 3 is
semi-inner (see definition 1.6).
N Aut denotes the group of nice automorphisms, i.e. automorphisms which can be approximated by tame ones (deﬁnition 3.1). In characteristic zero case every automorphism
is nice.
For the group of automorphisms of a semigroup a number of similar results on settheoretical level was obtained previously by Kanel-Belov, Lipyanski and Berzinsh [4, 5].
All these questions (including Aut(Aut) investigation) take root in the realm of Universal
Algebraic Geometry and were proposed by Boris Plotkin. Equivalence of two algebras
having the same generalized identities and isomorphism of ﬁrst order means semi-inner
properties of automorphisms (see [4, 5] for details).
Automorphisms of tame automorphism groups. Regarding the tame automorphism
group, something can be done on the group- theoretic level. In the paper of H. Kraft and I.
Stampﬂi [22] the automorphism group of the tame automorphism group of the polynomial
algebra was thoroughly studied. In that paper, conjugation of elementary automorphisms
via translations played a very important role. The results of our study are diﬀerent. We
describe the group Aut(TAut0 ) of the group TAut0 of tame automorphisms preserving the
origin (i.e. taking the augmentation ideal onto an ideal which is a subset of the augmentation ideal). This is technically more diﬃcult, and will be universally and systematically
done for both commutative (polynomial algebra) case and noncommutative (free associative algebra) case. We observe a few problems in the shift conjugation approach for the
noncommutative (free associative algebra) case, as it was for commutative case in [22].
Any evaluation on a ground ﬁeld element can return zero, for example in Lie polynomial
[[x, y], z]. Note that the calculations of Aut(TAut0 ) (resp. AutInd (TAut0 ), AutInd (Aut0 ))
imply also the same results for Aut(TAut) (resp. AutInd (TAut), AutInd (Aut)) according
to the approach of this article via stabilization by the torus action.

TOPOLOGY ON AUTOMORPHISM GROUPS

7

Theorem 1.3. Any automorphism ϕ of TAut0 (K[x1 , . . . , xn ]) (in the group-theoretic
sense) for n ≥ 3 is inner, i.e. is a conjugation via some automorphism.
Theorem 1.4. The group TAut0 (K[x1 , . . . , xn ]) is generated by the automorphism
x1 7→ x1 + x2 x3 , xi 7→ xi , i 6= 1
and linear substitutions if Char(K) 6= 2 and n > 3.
Let GN ⊂ TAut(K[x1 , . . . , xn ]), EN ⊂ TAut(Khx1 , . . . , xn i) be tame automorphism
subgroups preserving the N -th power of the augmentation ideal.
Theorem 1.5. Any automorphism ϕ of GN (in the group-theoretic sense) for N ≥ 3 is
inner, i.e. is a conjugation via some automorphism.
Definition 1.6. An anti-automorphism Ψ of a K-algebra B is a vector space automorphism such that Ψ(ab) = Ψ(b)Ψ(a). For instance, transposition of matrices is an antiautomorphism. An anti-automorphism of the free associative algebra A is a mirror antiautomorphism if it sends xi xj to xj xi for some ﬁxed i and j. If a mirror anti-automorphism
θ acts identical on all generators xi , then for any monomial xi1 . . . xik we have
θ(xi1 . . . xik ) = xik . . . xi1 .
Such an anti-automorphism will be generally referred to as the mirror anti-automorphism.
An automorphism of Aut(A) is semi-inner if it can be expressed as a composition of an
inner automorphism and a conjugation by a mirror anti-automorphism.
Theorem 1.7. a) Any automorphism ϕ of TAut0 (Khx1 , . . . , xn i) and also
TAut(Khx1 , . . . , xn i) (in the group-theoretic sense) for n ≥ 4 is semi-inner, i.e. is a
conjugation via some automorphism and/or mirror anti-automorphism.
b) The same is true for En , n ≥ 4.
The case of TAut(Khx, y, zi) is substantially more diﬃcult. We can treat it only on
Ind-scheme level, but even then it is the most technical part of the paper (see section 5.2).
For the two-variable case a similar proposition is probably false.
Theorem 1.8. a) Let Char(K) 6= 2. Then AutInd (TAut(Khx, y, zi)) (resp.
AutInd (TAut0 (Khx, y, zi)) is generated by conjugation by an automorphism or a mirror
anti-automorphism.
b) The same is true for AutInd (E3 ).

8

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

By TAut we denote the tame automorphism group, AutInd is the group of Ind-scheme
automorphisms (see section 2.2).
Approximation allows us to formulate the celebrated Jacobian conjecture for any characteristic.
Lifting of the automorphism groups. In this article we prove that the automorphism group of polynomial algebra over an arbitrary ﬁeld K cannot be embedded into the
automorphism group of free associative algebra induced by the natural abelianization.
Theorem 1.9. Let K be an arbitrary field, G = Aut0 (K[x1 , . . . , xn ]) and n > 2. Then
G cannot be isomorphic to any subgroup H of Aut(Khx1 , . . . , xn i) induced by the natural
abelianization. The same is true for NAut(K[x1 , . . . , xn ]).
2. Basic setup and terminologies
2.1. Elementary and tame automorphisms. Let P be a polynomial that is independent of xi with i ﬁxed. An automorphism
xi 7→ xi + P, xj 7→ xj for i 6= j
is called elementary. The group generated by linear automorphisms and elementary ones
for all possible P is called the tame automorphism group (or subgroup) TAut and elements
of TAut are tame automorphisms.
2.2. Ind-schemes and Ind-groups.
Definition 2.1. An Ind-variety M is the direct limit of algebraic varieties M = lim{M1 ⊆
−→
M2 . . . }. An Ind-scheme is an Ind-variety which is a group such that the group inversion
is a morphism Mi → Mj(i) of algebraic varieties, and the group multiplication induces
a morphism from Mi × Mj to Mk(i,j). A map ϕ is a morphism of an Ind-variety M to
an Ind-variety N , if ϕ(Mi ) ⊆ Nj(i) and the restriction ϕ to Mi is a morphism for all i.
Monomorphisms, epimorphisms and isomorphisms are deﬁned similarly in a natural way.
Example. M is the group of automorphisms of the aﬃne space, and Mj are the sets
of all automorphisms in M with degree ≤ j.
There is an interesting
Problem. Investigate growth functions on Ind-varieties. For example, the dimension
of varieties of polynomial automorphisms of degree ≤ n.

TOPOLOGY ON AUTOMORPHISM GROUPS

9

Note that coincidence of growth functions for Aut(Wn (C)) and Sympl(C2n ) would imply
the Kanel-Belov – Kontsevich conjecture [7].
Definition 2.2. The ideal I generated by variables xi is called the augmentation ideal.
For a ﬁxed positive integer N > 1, the augmentation subgroup HN is the group of all
automorphisms ϕ such that ϕ(xi ) ≡ xi mod I N . The larger group ĤN ⊃ HN is the
group of automorphisms whose linear part is scalar, and ϕ(xi ) ≡ λxi mod I N (λ does not
depend on i). We often say an arbitrary element of the group ĤN is an automorphism
that is homothety modulo (the N -th power of) the augmentation ideal.
3. The Jacobian conjecture in any characteristic, Kanel-Belov –
Kontsevich conjecture, and approximation
3.1. Approximation problems and Kanel-Belov – Kontsevich Conjecture. Let
us give formulation of the Kanel-Belov – Kontsevich Conjecture:
B − KKCn : Aut(Wn ) ≃ Sympl(C2n ).
A similar conjecture can be stated for endomorphisms
B − KKCn : End(Wn ) ≃ Sympl End(C2n ).
If the Jacobian conjecture JC2n is true, then the respective conjunctions over all n of
the two conjectures are equivalent.
It is natural to approximate automorphisms by tame ones. There exists such an approximation up to terms of any order for polynomial automorphisms as well as Weyl algebra
automorphisms, symplectomorphisms etc. However, the naive approach fails.
It is known that Aut(W1 ) ≡ Aut1 (K[x, y]) where Aut1 stands for the subgroup of
automorphisms of Jacobian determinant one. However, considerations from [27] show
that Lie algebra of the ﬁrst group is the algebra of derivations of W1 and thus possesses
no identities apart from the ones of the free Lie algebra, another coincidence of the vector
ﬁelds which diverge to zero, and has polynomial identities. These cannot be isomorphic
[6, 7]. In other words, this group has two coordinate system non-smooth with respect
to one another (but integral with respect to one another). One system is built from the
coeﬃcients of diﬀerential operators in a ﬁxed basis of generators, while its counterpart is
provided by the coeﬃcients of polynomials, which are images of the basis x̃i , ỹi .
In the paper [27] functionals on m/m2 were considered in order to deﬁne the Lie algebra
structure. In the spirit of that we have the following

10

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

Conjecture. The natural limit of m/m2 is zero.
It means that the deﬁnition of the Lie algebra admits some sort of functoriality problem
and it depends on the presentation of (reducible) Ind-scheme.
In his remarkable paper, Yu. Bodnarchuk [16] established Theorem 1.1 by using Shafarevich’s results for the tame automorphism subgroup and for the case when the Ind-scheme
automorphism is regular in the sense that it sends coordinate functions to coordinate
functions. In this case the tame approximation works (as well as for the symplectic case),
and the corresponding method is similar to ours. We present it here in order to make
the text more self-contained, as well as for the purpose of tackling the noncommutative
(that is, the free associative algebra) case. Note that in general, for regular functions,
if the Shafarevich-style approximation were valid, then the Kanel-Belov and Kontsevich
conjecture would follow directly, which is absurd.
In the sequel, we do not assume regularity in the sense of [16] but only assume that the
restriction of a morphism on any subvariety is a morphism again. Note that morphisms of
Ind-schemes Aut(Wn ) → Sympl(C2n ) have this property, but are not regular in the sense
of Bodnarchuk [16].
We use the idea of singularity which allows us to prove the augmentation subgroup
structure preservation, so that the approximation works in this case.
Consider the isomorphism Aut(W1 ) ∼
= Aut1 (K[x, y]). It has a strange property. Let
us add a small parameter t. Then an element arbitrary close to zero with respect to tk
does not go to zero arbitrarily, so it is impossible to make tame limit! There is a sequence
of convergent product of elementary automorphisms, which is not convergent under this
isomorphism. Exactly the same situation happens for Wn . These eﬀects cause problems
in perturbative quantum ﬁeld theory.

3.2. The Jacobian conjecture in any characteristic. Recall that the Jacobian conjecture in characteristic zero states that any polynomial endomorphism
ϕ : Kn → Kn
with constant Jacobian is globally invertible.
A naive attempt to directly transfer this formulation to positive characteristic fails
because of the counterexample x 7→ x − xp (p = Char K), whose Jacobian is everywhere
1 but which is evidently not invertible. Approximation provides a way to formulate a

TOPOLOGY ON AUTOMORPHISM GROUPS

11

suitable generalization of the Jacobian conjecture to any characteristic and put it in a
framework of other questions.
Definition 3.1. An endomorphism ϕ ∈ End(K[x1 , . . . , xn ]) is good if
for any m there exist ψm ∈ End(K[x1 , . . . , xn ]) and
φm ∈ Aut(K[x1 , . . . , xn ]) such that
• ϕ = ψm φm
• ψm (xi ) ≡ xi mod (x1 , . . . , xn )m .
An automorphism ϕ ∈ Aut(K[x1 , . . . , xn ]) is nice if for any m there exist ψm ∈
Aut(K[x1 , . . . , xn ]) and φm ∈ TAut(K[x1 , . . . , xn ]) such that
• ϕ = ψm φm
• ψm (xi ) ≡ xi mod (x1 , . . . , xn )m , i.e. ψm ∈ Hm .
Anick [1] has shown that if Char(K) = 0, any automorphism is nice. However, this is
unclear in positive characteristic.
Question. Is any automorphism over arbitrary field nice?
Ever good automorphism has Jacobian 1, and all such automorphisms are good - and
even nice - when Char(K) = 0. This observation allows for the following question to be
considered a generalization of the Jacobian conjecture to positive characteristic.
The Jacobian conjecture in any characteristic: Is any good endomorphism over
arbitrary field an automorphism?
Similar notions can be formulated for the free associative algebra. That justiﬁes the
following
Question. Is any automorphism of free associative algebra over arbitrary field nice?

Question (free associative positive characteristic case of JC). Is any good endomorphism of the free associative algebra over arbitrary field an automorphism?
3.3. Approximation for the automorphism group of affine spaces. Approximation
is the most important tool utilized in this paper. In order to perform it, we have to prove
that ϕ ∈ AutInd (Aut0 (K[x1 , . . . xn ]) preserves the structure of the augmentation subgroup.
The proof technique utilized in theorems below works for commutative associative and
free associative case. It is a problem of considerable interest to develop similar statements

12

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

for automorphisms of other associative algebras, such as the commutative Poisson algebra (for which the Aut functor returns the group of polynomial symplectomorphisms);
however, the situation there is typically more diﬃcult.
We establish the following theorem.
Theorem 3.2. Let ϕ ∈ AutInd (Aut0 (K[x1 , . . . xn ])) and let HN ⊂ Aut0 (K[x1 , . . . xn ]) be
the subgroup of automorphisms which are identity modulo the ideal (x1 , . . . , xn )N (N > 1).
Then ϕ(HN ) ⊆ HN .
Theorem 3.3. Let ϕ ∈ AutInd (Aut0 (Khx1 , . . . xn i)) and let HN be again the subgroup of
automorphisms which are identity modulo the ideal (x1 , . . . , xn )N . Then ϕ(HN ) ⊆ HN .
Corollary 3.4. In both commutative and free associative cases under the assumptions
above one has ϕ = Id.
Proof. Every automorphism can be approximated via the tame ones, i.e. for any ψ
′ such that ψψ ′ −1 ∈ H .
and any N there exists a tame automorphism ψN
N
N

So the main point is why ϕ(HN ) ⊆ HN .
Proof of Theorem 3.2.
For t > 0 let
Â(t) : AnK → AnK
be a one-parameter family of invertible linear transformations of the aﬃne space preserving the origin. To that corresponds a curve
A(t) ⊂ Aut0 (K[x1 , . . . xn ]) of polynomial automorphisms whose points are linear substitutions. Suppose that, as t tends to zero, the i-th eigenvalue of A(t) also tends to zero as
tki , ki ∈ N. Such a family will always exist.
Suppose now that the degrees {ki , i = 1, . . . n} of singularity of eigenvalues at zero are
such that for every pair (i, j), if ki 6= kj , then there exists a positive integer m such that
either ki m ≤ kj or kj m ≤ ki .
The largest such m we will call the order of A(t) at t = 0. As ki are all set to be positive
integer, the order equals

kmax
kmin .

Let M ∈ Aut0 (K[x1 , . . . xn ]) be a polynomial automorphism.
Lemma 3.5. The curve A(t)M A(t)−1 has no singularity at zero for any A(t) of order
≤ N if and only if M ∈ ĤN , where ĤN is the subgroup of automorphisms which are
homothety modulo the augmentation ideal.

TOPOLOGY ON AUTOMORPHISM GROUPS

13

Proof. The ‘If’ part is elementary, for if M ∈ ĤN , the action of A(t)M A(t)−1 upon
any generator xi (with i ﬁxed)2 is given by
A(t)M A(t)−1 (xi ) = λxi + t−ki

X

al1 ...ln tk1 l1 +···+kn ln xl11 . . . xlnn +

l1 +···+ln =N

+Si (t, x1 , . . . , xn ),

where λ is the homothety ratio of (the linear part of) M and Si is polynomial in x1 , . . . , xn
of total degree greater than N . Now, for any choice of l1 , . . . , ln in the sum, the expression
k1 l1 + · · · + kn ln − ki ≥ kmin

X

lj − ki = kmin N − ki ≥ 0

for every i, so whenever t goes to zero, the coeﬃcient will not blow up to inﬁnity. Obviously
the same argument applies to higher-degree monomials within Si .
The other direction is slightly less elementary; assuming that M ∈
/ ĤN , we need to
show that there is a curve A(t) such that conjugation of M by it produces a singularity
at zero. We distinguish between two cases.
Case 1. The linear part M̄ of M is not a scalar matrix. Then - after a suitable basis
change (see the footnote) - it is not a diagonal matrix and has a non-zero entry in the
position (i, j). Consider a diagonal matrix A(t) = D(t) such that on all positions on the
main diagonal except j-th it has tki and on j-th position it has tkj . Then D(t)M̄ D −1 (t)
has (i, j) entry with the coeﬃcient tki −kj and if kj > ki it has a singularity at t = 0.
Let also ki < 2kj . Then the non-linear part of M does not produce singularities and
cannot compensate the singularity of the linear part.
Case 2. The linear part M̄ of M is a scalar matrix. Then conjugation cannot produce
singularities in the linear part and we as before are interested in the smallest non-linear
term. Let M ∈ HN \HN +1 . Performing a basis change if necessary, we may assume that
ϕ(x1 ) = λx1 + δxN
2 + S,
where S is a sum of monomials of degree ≥ N with coeﬃcients in K.
Let A(t) = D(t) be a diagonal matrix of the form (tk1 , tk2 , tk1 , . . . , tk1 ) and let (N + 1) ·
N N k2 −k1 ,
k2 > k1 > N · k2 . Then in A−1 M A the term δxN
2 will be transformed into δx2 t

and all other terms are multiplied by tlk2 +sk1 −k1 with (l, s) 6= (1, 0) and l, s > 0. In this
case lk2 + sk1 − k1 > 0 and we are done with the proof of Lemma 3.5.
2Without loss of generality we may assume that the coordinate functions x realize the principal axes
i

of Â(t).

14

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

The next lemma can be proved by direct computation. Recall that for m > 1, the group
Gm is deﬁned as the group of all tame automorphisms preserving the m-th power of the
augmentation ideal.
Lemma 3.6.
a) [Gm , Gm ] ⊂ Hm , m > 2. There exist elements
ϕ ∈ Hm+k−1 \Hm+k , ψ1 ∈ Gk , ψ2 ∈ Gm , such that ϕ = [ψ1 , ψ2 ].
b) [Hm , Hk ] ⊂ Hm+k−1 .
c) Let ϕ ∈ Gm \Hm , ψ ∈ Hk \Hk+1 , k > m. Then [ϕ, ψ] ∈ Hk \Hk+1 .
Proof. a) Consider elementary automorphisms
ψ1 : x1 7→ x1 + xk2 , x2 7→ x2 , xi 7→ xi , i > 2;
ψ2 : x1 7→ x1 , x2 7→ x2 + xm
1 , xi 7→ xi , i > 2.
Set ϕ = [ψ1 , ψ2 ] = ψ1−1 ψ2−1 ψ1 ψ2 .
Then
k
m
m k m k
ϕ : x1 7→ x1 + (x2 + xm
1 ) − (x2 + x1 − (x1 + (x2 + x1 ) ) ) ,
m k m
x2 7→ x2 + xm
1 − (x1 + (x2 + x1 ) ) .

It is easy to see that if either k or m is relatively prime with Char(K), then not all terms
of degree k + m − 1 vanish. Thus ϕ ∈ Hm+k−1 \Hm+k .
Now suppose that Char(K) ∤ m, then obviously m − 1 is relatively prime with Char(K).
Consider the mappings
ψ1 : x1 7→ x1 + xk2 , x2 7→ x2 , xi 7→ xi , i > 2;
ψ2 : x1 7→ x1 , x2 7→ x2 + xm−1
x3 , xi 7→ xi , i > 2.
1
Set again ϕ′ = [ψ1 , ψ2 ] = ψ1−1 ψ2−1 ψ1 ψ2 . Then ϕ′ acts as
k m−1 k
x1 7→ x1 + (x2 + x3 xm−1
)k − (x2 + x3 xm−1
− (x1 + x3 (x2 + xm
) ,
1 ) )
1
1

x2 7→ x2 + x3 xm−1
− x3 (x1 + (x2 + x3 xm−1
)k )m−1 =
1
1
x2 + (m − 1)xk2 xm−1
+ S,
1
where S stands for a sum of terms of degree ≥ m+k. Again we see that ϕ ∈ Hm+k−1 \Hm+k .
b) Let
ψ1 : xi 7→ xi + fi ; ψ2 : xi 7→ xi + gi ,
for i = 1, . . . , n; here fi and gi do not have monomials of degree less than or equal to
m and k, respectively. Then, modulo terms of degree ≥ m + k, we have ψ1 ψ2 : xi 7→

TOPOLOGY ON AUTOMORPHISM GROUPS

15

∂fi
xi +fi +gi + ∂x
gj , so that modulo terms of degree ≥ m+k−1 we get ψ1 ψ2 : xi 7→ xi +fi +gi
j

and ψ2 ψ1 : xi 7→ xi + fi + gi . Therefore [ψ1 , ψ2 ] ∈ Hm+k−1 .
Corollary 3.7. Let Ψ ∈ NAutInd (Aut(K[x1 , . . . , xn ])). Then
Ψ(Gn ) = Gn , Ψ(Hn ) = Hn .
Corollary 3.7 together with Proposition 4.3 of the next section imply Theorem 3.2
because every nice automorphism can be approximated by tame ones. Note that in characteristic zero every automorphism is nice.
3.4. Lifting of automorphism groups.
3.4.1. Lifting of automorphisms from Aut(K[x1 , . . . , xn ]) to Aut(Khx1 , . . . , xn i).
Theorem 3.8. Any effective action of the n-dimensional torus Tn on Khx1 , . . . , xn i is
linearizable. That is, it is conjugated to the standard one.
Proof. Similar to the proof of Theorem 4.1.
As a consequence of the above theorem, we get
Proposition 3.9. Let T n denote the standard torus action on K[x1 , . . . , xn ]. Let Tbn
denote its lifting to an action on the free associative algebra Khx1 , . . . , xn i. Then Tbn is
also given by the standard torus action.

Proof. Consider the roots xbi of this action. They are liftings of the coordinates xi . We

have to prove that they generate the whole associative algebra.

Due to the reducibility of this action, all elements are product of eigenvalues of this

action. Hence it is enough to prove that eigenvalues of this action can be presented as a
linear combination of this action. This can be done along the lines of Bialynicki-Birula
[15]. Note that all propositions of the previous section hold for the free associative algebra.
Proof of Theorem 3.3 is similar. Hence we have the following
Theorem 3.10. Any Ind-scheme automorphism ϕ of Aut(Khx1 , . . . , xn i) for n ≥ 3 is
inner, i.e. is a conjugation by some automorphism.
We therefore see that the group lifting (in the sense of isomorphism induced by the
natural abelianization) implies the analogue of Theorem 3.2.
This also implies that any automorphism group lifting, if exists, satisﬁes the approximation properties.

16

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

Proposition 3.11. Suppose
Ψ : Aut(K[x1 , . . . , xn ]) → Aut(Khz1 , . . . , zn i)
is a group homomorphism such that its composition with the natural projection is the
identity map. Then
(1) After some coordinate change Ψ provides a correspondence between the standard
torus actions xi 7→ λi xi and zi 7→ λi zi .
(2) Images of elementary automorphisms
xj 7→ xj , j 6= i, xi 7→ xi + f (x1 , . . . , xbi , . . . , xn )

are elementary automorphisms of the form

zj 7→ zj , j 6= i, zi 7→ zi + f (z1 , . . . , zbi , . . . , zn ).

(Hence image of tame automorphism is tame automorphism).
(3) ψ(Hn ) = Gn . Hence ψ induces a map between the completion of the groups of
Aut(K[x1 , . . . , xn ]) and Aut(Khz1 , . . . , zn i) with respect to the augmentation subgroup structure.

Proof of Theorem 1.9
Any automorphism, including the Nagata automorphism, can be approximated by a product of elementary automorphisms with respect to augmentation topology. In the case of
the Nagata automorphism corresponding to
Aut(Khx1 , . . . , xn i),
all such elementary automorphisms ﬁx all coordinates except x1 and x2 . Because of (2)
and (3) of Proposition 3.11, the lifted automorphism would be an automorphism induced
by an automorphism of Khx1 , x2 , x3 i ﬁxing x3 . However, it is impossible to lift the Nagata
automorphism to such an automorphism due to the main result of [8]. Therefore, Theorem
1.9 is proved.
4. Automorphisms of the polynomial algebra and the approach of
Bodnarchuk–Kraft–Rips
Let Ψ ∈ Aut(Aut(K[x1 , . . . , xn ])) (resp. Aut(TAut(K[x1 , . . . , xn ])),
Aut(TAut0 (K[x1 , . . . , xn ])), Aut(Aut0 (K[x1 , . . . , xn ]))).

TOPOLOGY ON AUTOMORPHISM GROUPS

17

4.1. Reduction to the case when Ψ is identical on SLn . We follow [22] and [16]
using the classical theorem of Bialynicki-Birula [14, 15]:
Theorem 4.1 (Bialynicki-Birula). Any effective action of torus Tn on Cn is linearizable.
That is, it is conjugated to a standard one.
Remark. An eﬀective action of Tn−1 on Cn is linearizable [15, 14]. There is a conjecture
whether any action of Tn−2 on Cn is linearizable, established for n = 3. For codimension
> 2, there are positive-characteristic counterexamples [2].
Remark. Kraft and Stampﬂi [22] proved (by considering periodic elements in T) that
an eﬀective action T has the following property: if Ψ ∈ Aut(Aut) is a group automorphism,
then the image of T (as a subgroup of Aut) under Ψ is an algebraic group. In fact their
proof is also applicable for the free associative algebra case. We are going to use this
result.
Returning to the case of automorphisms ϕ ∈ AutInd Aut preserving the Ind-group structure, consider now the standard action xi 7→ λi xi of the n-dimensional torus T ↔ T n ⊂
Aut(C[x1 , . . . , xn ]) on the aﬃne space Cn . Let H be the image of T n under ϕ. Then
by Theorem 4.1 H is conjugated to the standard torus T n via some automorphism ψ.
Composing ϕ with this conjugation, we come to the case when ϕ is the identity on the
maximal torus. Then we have the following
Corollary 4.2. Without loss of generality, it is enough to prove Theorem 1.1 for the case
when ϕ|T = Id.
Now we are in the situation when ϕ preserves all linear mappings xi 7→ λi xi . We have
to prove that it is the identity.
Proposition 4.3 (E. Rips, private communication). Let n > 2 and let ϕ preserve the
standard torus action on the commutative polynomial algebra. Then ϕ preserves all elementary transformations.
Corollary 4.4. Let ϕ satisfy the conditions of Proposition 4.3. Then ϕ preserves all tame
automorphisms.
Proof of Proposition 4.3. We state a few elementary lemmas.
Lemma 4.5. Consider the diagonal action T 1 ⊂ T n given by automorphisms: α : xi 7→
P
αi xi , β : xi 7→ βi xi . Let ψ : xi 7→ i,J aiJ xJ , i = 1, . . . , n, where J = (j1 , . . . , jn ) is the
multi-index, xJ = xj1 · · · xjn . Then

18

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

α ◦ ψ ◦ β : xi 7→

X

αi aiJ xJ β J ,

i,J

In particular,
α ◦ ψ ◦ α−1 : xi 7→

X

αi aiJ xJ α−J .

i,J

Applying Lemma 4.5 and comparing the coeﬃcients we get the following
Lemma 4.6. Consider the diagonal T 1 action: xi 7→ λxi . Then the set of automorphisms
commuting with this action is exactly the set of linear automorphisms.
Similarly (using Lemma 4.5) we obtain Lemmas 4.7, 4.9, 4.10:
Lemma 4.7. a) Consider the following T 2 action:
x1 7→ λδx1 , x2 7→ λx2 , x3 7→ δx3 , xi 7→ λxi , i > 3.
Then the set S of automorphisms commuting with this action is generated by the following
automorphisms:
x1 7→ x1 + βx2 x3 , xi 7→ εi xi , i > 1, (β, εi ∈ K).
b) Consider the following T n−1 action:
x1 7→ λI x1 , xj 7→ λj xj , j > 1 (λI = λi22 . . . λinn ).
Then the set S of automorphisms commuting with this action is generated by the following
automorphisms:
x1 7→ x1 + β

n
Y

i

xjj , (β ∈ K).

j=2

Remark. A similar statement for the free associative case is true, but one has to
consider the set Ŝ of automorphisms x1 7→ x1 + h, xi 7→ εi xi , i > 1, (ε ∈ K, and the
polynomial h ∈ Khx2 , . . . , xn i has total degree J - in the free associative case it is not just
monomial anymore).
Corollary 4.8. Let ϕ ∈ Aut(TAut(K[x1 , . . . , xn ])) stabilizing all elements from T. Then
ϕ(S) = S.
Lemma 4.9. Consider the following T 1 action:
x1 7→ λ2 x1 , xi 7→ λxi , i > 1.
Then the set S of automorphisms commuting with this action is generated by the following
automorphisms:
x1 7→ x1 + βx22 , xi 7→ λi xi , i > 2, (β, λi ∈ K).

TOPOLOGY ON AUTOMORPHISM GROUPS

19

Lemma 4.10. Consider the set S defined in the previous lemma. Then [S, S] = {uvu−1 v −1 }
consists of the following automorphisms
x1 7→ x1 + βx2 x3 , x2 7→ x2 , x3 7→ x3 , (β ∈ K).
Lemma 4.11. Let n ≥ 3. Consider the following set of automorphisms
ψi : xi 7→ xi + βi xi+1 xi+2 , βi 6= 0, xk 7→ xk , k 6= i
for i = 1, . . . , n − 1. (Numeration is cyclic, so for example xn+1 = x1 ). Let βi 6= 0 for all
i. Then all of ψi can be simultaneously conjugated by a torus action to
ψi′ : xi 7→ xi + xi+1 xi+2 , xk 7→ xk , k 6= i
for i = 1, . . . , n in a unique way.
Proof. Let α : xi 7→ αi xi . Then by Lemma 4.5 we obtain
−1
α ◦ ψi ◦ α−1 : xi 7→ xi + βi xi+1 xi+2 α−1
i+1 αi+2 αi

and
α ◦ ψi ◦ α−1 : xk 7→ xk
for k 6= i.
Comparing the coeﬃcients of the quadratic terms, we see that it is suﬃcient to solve
the system:
−1
βi α−1
i+1 αi+2 αi = 1, i = 1, . . . , n − 1.

As βi 6= 0 for all i, this system has a unique solution.
Remark. In the free associative algebra case, instead of βx2 x3 one has to consider
βx2 x3 + γx3 x2 .
4.2. The lemma of Rips.
Lemma 4.12 (E. Rips). Let Char(K) 6= 2, |K| = ∞. Linear transformations and ψi′
defined in Lemma 4.11 generate the whole tame automorphism group of K[x1 , . . . , xn ].
Proposition 4.3 follows from Lemmas 4.6, 4.7, 4.9, 4.10, 4.11, 4.12. Note that we have
proved an analogue of Theorem 1.1 for tame automorphisms.
Proof of Lemma 4.12. Let G be the group generated by elementary transformations
as in Lemma 4.11. We have to prove that is isomorphic to the tame automorphism
subgroup ﬁxing the augmentation ideal. We are going to need some preliminaries.

20

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

Lemma 4.13. Linear transformations of K 3 and
ψ : x 7→ x, y 7→ y, z 7→ z + xy
generate all mappings of the form
φbm (x, y, z) : x 7→ x, y 7→ y, z 7→ z + bxm , b ∈ K.
Proof of Lemma 4.13. We proceed by induction. Suppose we have an automorphism
φbm−1 (x, y, z) : x 7→ x, y 7→ y, z 7→ z + bxm−1 .
Conjugating by the linear transformation (z 7→ y, y 7→ z, x 7→ x), we obtain the automorphism
φbm−1 (x, z, y) : x 7→ x, y 7→ y + bxm−1 , z 7→ z.
Composing this on the right by ψ, we get the automorphism
ϕ(x, y, z) : x 7→ x, y 7→ y + bxm−1 , z 7→ z + yx + xm .
Note that
φm−1 (x, y, z)−1 ◦ ϕ(x, y, z) : x 7→ x, y 7→ y, z 7→ z + xy + bxm .
Now we see that
ψ −1 φm−1 (x, y, z)−1 ◦ ϕ(x, y, z) = φbm
and the lemma is proved.
Corollary 4.14. Let Char(K) ∤ n (in particular, Char(K) 6= 0) and |K| = ∞. Then G
contains all the transformations
z 7→ z + bxk y l , y 7→ y, x 7→ x
such that k + l = n.
Proof. For any invertible linear transformation
ϕ : x 7→ a11 x + a12 y, y 7→ a21 x + a22 y, z 7→ z; aij ∈ K
we have
ϕ−1 φbm ϕ : x 7→ x, y 7→ y, z 7→ z + b(a11 x + a12 y)m .
Note that sums of such expressions contain all the terms of the form bxk y l . The corollary
is proved.

TOPOLOGY ON AUTOMORPHISM GROUPS

21

4.3. Generators of the tame automorphism group.
Theorem 4.15. If Char(K) 6= 2 and |K| = ∞, then linear transformations and
ψ : x 7→ x, y 7→ y, z 7→ z + xy
generate all mappings of the form
αbm (x, y, z) : x 7→ x, y 7→ y, z 7→ z + byxm , b ∈ K.
Proof of theorem 4.15. Observe that
α = β ◦ φbm (x, z, y) : x 7→ x + by m , y 7→ y + x + by m , z 7→ z,
where β : x 7→ x, y 7→ x + y, z 7→ z. Then
γ = α−1 ψα : x 7→ x, y 7→ y, z 7→ z + xy + 2bxy m + by 2m .
Composing with ψ −1 and φ2b
2m we get the desired
m
α2b
m (x, y, z) : x 7→ x, y 7→ y, z 7→ z + 2byx , b ∈ K.

Corollary 4.16. Let Char(K) ∤ n and |K| = ∞. Then G contains all transformations of
the form
z 7→ z + bxk y l , y 7→ y, x 7→ x
such that k = n + 1.
The proof is similar to the proof of Corollary 4.14. Note that either n or n + 1 is not
a multiple of Char(K) so we have
Lemma 4.17. If Char(K) 6= 2 then linear transformations and
ψ : x 7→ x, y 7→ y, z 7→ z + xy
generate all mappings of the form
αP : x 7→ x, y 7→ y, z 7→ z + P (x, y), P (x, y) ∈ K[x, y].
We have proved Lemma 4.12 for the three variable case. In order to treat the case n ≥ 4
we need one more lemma.
Lemma 4.18. Let M (~x) = a

Q

xki i , a ∈ K, |K| = ∞, Char(K) ∤ ki for at least one of

ki ’s. Consider the linear transformations denoted by
X
f : xi 7→ yi =
aij xj , det(aij ) 6= 0

and monomials Mf = M (~y ). Then the linear span of Mf for different f ’s contains all
P
homogenous polynomials of degree k =
ki in K[x1 , . . . , xn ].

22

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

Proof. It is a direct consequence of the following fact. Let S be a homogenous subspace
k

p
of K[x1 , . . . , xn ] invariant with respect to GLn of degree m. Then S = Sm/p
k, p =

Char(K), Sl is the space of all polynomials of degree l.
Lemma 4.12 follows from Lemma 4.18 in a similar way as in the proofs of Corollaries
4.14 and 4.16.

4.4. Aut(TAut) for general case. Now we consider the case when Char(K) is arbitrary,
i.e. the remaining case Char(K) = 2. Still |K| = ∞. Although we are unable to prove
the analogue of Proposition 4.3, we can still play on the relations.
Let
M =a

n−1
Y

xki i

i=1

be a monomial, a ∈ K. For polynomial P (x, y) ∈ K[x, y] we deﬁne the elementary
automorphism
ψP : xi 7→ xi , i = 1, . . . , n − 1, xn 7→ xn + P (x1 , . . . , xn−1 ).
We have P =

P

Mj and ψP naturally decomposes as a product of commuting ψMj . Let

Ψ ∈ Aut(TAut(K[x, y, z])) stabilizing linear mappings and φ (Automorphism φ deﬁned in
Q
Lemma 4.13). Then according to the corollary 4.8 Ψ(ψP ) = Ψ(ψMj ). If M = axn then

due to Lemma 4.13

Ψ(ψM ) = ψM .
We have to prove the same for other type of monomials:
Lemma 4.19. Let M be a monomial. Then
Ψ(ψM ) = ψM .
Proof. Let M = a

Qn−1
i=1

xki i . Consider the automorphism

α : xi 7→ xi + x1 , i = 2, . . . , n − 1; x1 7→ x1 , xn 7→ xn .
Then
α−1 ψM α = ψxk1 Qn−1 (x +x
1

i=2

i

k
1) i

= ψQ ψ

Pn−1
k
i=2 i

ax1

Here the polynomial
Q=

xk11

n−1
Y

ki

P

(xi + x1 ) − ax1

i=2

ki

!

.

.

TOPOLOGY ON AUTOMORPHISM GROUPS

23

It has the following form
Q=

n−1
X

Ni ,

i=2

where Ni are monomials such that none of them is proportional to a power of x1 .
According to Corollary 4.8, Ψ(ψM ) = ψbM for some b ∈ K. We need only to prove that
b = 1. Suppose the contrary, b 6= 1. Then


Y
Ψ(α−1 ψM α) = 
Ψ(ψNi ) ◦ Ψ(ψ
[Ni ,x1 ]6=0



Y



[Ni ,x1 ]6=0

for some bi ∈ K.

Pn−1
k
i=2 i



ψbi Ni  ◦ ψ

On the other hand



Ψ(α−1 ψM α) = α−1 Ψ(ψM )α = α−1 ψbM α = 

Y

Pn−1
k
i=2 i

ax1

and ψ

Pn−1
k
i=2 i

Pn−1
k
i=2 i

ax1

[Ni ,x1 ]6=0

Comparing the factors ψ

)=

ax1



ψbNi  ◦ ψ

Pn−1
k
i=2 i

ax1

in the last two products we get b = 1.

ax1

Lemma 4.19 and hence Proposition 4.3 are proved.

5. The approach of Bodnarchuk–Kraft–Rips to automorphisms of
TAut(Khx1 , . . . , xn i) (n > 2)
Now consider the free associative case. We treat the case n > 3 on group-theoretic level
and the case n = 3 on Ind-scheme level. Note that if n = 2 then Aut0 (K[x, y]) =
TAut0 (K[x, y]) ≃ TAut0 (Khx, yi) = Aut0 (Khx, yi) and description of automorphism
group of such objects is known due to J. Déserti.
5.1. The automorphisms of the tame automorphism
group of Khx1 , . . . , xn i, n ≥ 4.
Proposition 5.1 (E. Rips, private communication). Let n > 3 and let ϕ preserve the
standard torus action on the free associative algebra Khx1 , . . . , xn i. Then ϕ preserves all
elementary transformations.
Corollary 5.2. Let ϕ satisfy the conditions of the proposition 5.1. Then ϕ preserves all
tame automorphisms.

24

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

For free associative algebras, we note that any automorphism preserving the torus action
preserves also the symmetric
x1 7→ x1 + β(x2 x3 + x3 x2 ), xi 7→ xi , i > 1
and the skew symmetric
x1 7→ x1 + β(x2 x3 − x3 x2 ), xi 7→ xi , i > 1
elementary automorphisms. The ﬁrst property follows from Lemma 4.9. The second one
follows from the fact that skew symmetric automorphisms commute with automorphisms
of the following type
x2 7→ x2 + x23 , xi 7→ xi , i 6= 2
and this property distinguishes them from elementary automorphisms of the form
x1 7→ x1 + βx2 x3 + γx3 x2 , xi 7→ xi , i > 1.
Theorem 1.2 follows from the fact that the forms βx2 x3 +γx3 x2 corresponding to general
bilinear multiplication
∗β,γ : (x2 , x3 ) 7→ βx2 x3 + γx3 x2
lead to associative multiplication if and only if β = 0 or γ = 0; the approximation also
applies (see section 3.3).
Suppose at ﬁrst that n = 4 and we are dealing with Khx, y, z, ti.
Proposition 5.3. The group G containing all linear transformations and mappings
x 7→ x, y 7→ y, z 7→ z + xy, t 7→ t
contains also all transformations of the form
x 7→ x, y 7→ y, z 7→ z + P (x, y), t 7→ t.
Proof. It is enough to prove that G contains all transformations of the following form
x 7→ x, y 7→ y, z 7→ z + aM, t 7→ t, a ∈ K,
where M is a monomial.
Step 1. Let
M =a

m
Y

ki li

x y

or M = a

i=1

or
M =a

m
Y
i=1

xki y li or M = a

m
Y

y l0 xki y li

i=1

m
Y
i=1

xki y li xkm+1 .

TOPOLOGY ON AUTOMORPHISM GROUPS

25

Deﬁne the height of M , H(M ), to be the number of segments comprised of a speciﬁc
Q
ki li km+1 ) = 2m + 1.)
generator - such as xk - in the word M . (For instance, H(a m
i=1 x y x
Using induction on H(M ), one can reduce to the case when M = yxk . Let M = M ′ xk
such that H(M ′ ) < H(M ). (Case when M = M ′ y l is obviously similar.) Let
φ : x 7→ x, y 7→ y, z 7→ z + M ′ , t 7→ t.
α : x 7→ x, y 7→ y, z 7→ z, t 7→ t + zxk .
Then
φ−1 ◦ α ◦ φ : x 7→ x, y 7→ y, z 7→ z, t 7→ t + M + zxk .
The automorphism φ−1 ◦ α ◦ φ is the composition of automorphisms
β : x 7→ x, y 7→ y, z 7→ z, t 7→ t + M
and
γ : x 7→ x, y 7→ y, z 7→ z, t 7→ t + zxk .
Observe that β is conjugate to the automorphism
β ′ : x 7→ x, y 7→ y, z 7→ z + M, t 7→ t
by a linear automorphism
x 7→ x, y 7→ y, z 7→ t, t 7→ z.
Similarly, γ is conjugate to the automorphism
γ ′ : x 7→ x, y 7→ y, z 7→ z + yxk , t 7→ t.
We have thus reduced to the case when M = xk or M = yxk .
Step 2. Consider automorphisms
α : x 7→ x, y 7→ y + xk , z 7→ z, t 7→ t
and
β : x 7→ x, y 7→ y, z 7→ z, t 7→ t + azy.
Then
α−1 ◦ β ◦ α : x 7→ x, y 7→ y, z 7→ z, t 7→ t + azxk + azy.
It is a composition of the automorphism
γ : x 7→ x, y 7→ y, z 7→ z, t 7→ t + azxk
which is conjugate to the needed automorphism
γ ′ : x 7→ x, y 7→ y, z 7→ z + yxk , t 7→ t

26

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

and an automorphism
δ : x 7→ x, y 7→ y, z 7→ z, t 7→ t + azy,
which is conjugate to the automorphism
δ′ : x 7→ x, y 7→ y, z 7→ z + axy, t 7→ t
and then to the automorphism
δ′′ : x 7→ x, y 7→ y, z 7→ z + xy, t 7→ t
(using similarities). We have reduced the problem to proving the statement
G ∋ ψM , M = xk
for all k.
Step 3. Obtain the automorphism
x 7→ x, y 7→ y + xn , z 7→ z, t 7→ t.
This problem is similar to the commutative case of K[x1 , . . . , xn ] (cf. Section 4).
Proposition 5.3 is proved.
Returning to the general case n ≥ 4, let us formulate the remark made after Lemma
4.7 as follows:
Lemma 5.4. Consider the following T n−1 action:
x1 7→ λI x1 , xj 7→ λj xj , j > 1; λI = λi22 . . . λinn .
Then the set S of automorphisms commuting with this action is generated by the following
automorphisms:
x1 7→ x1 + H, xi 7→ xi ; i > 1,
where H is any homogenous polynomial of total degree i2 + · · · + in .
Proposition 5.3 and Lemma 5.4 imply
Corollary 5.5. Let Ψ ∈ Aut(TAut0 (Khx1 , . . . , xn i)) stabilize all elements of torus and
linear automorphisms,
φP : xn 7→ xn + P (x1 , . . . , xn−1 ), xi 7→ xi , i = 1, . . . , n − 1.
Let P =

P

I

PI , where PI is the homogenous component of P of multi-degree I. Then

a) Ψ(φP ) : xn 7→ xn + P Ψ (x1 , . . . , xn−1 ), xi 7→ xi , i = 1, . . . , n − 1.
P
b) P Ψ = I PIΨ ; here PIΨ is homogenous of multi-degree I.

c) If I has positive degree with respect to one or two variables, then PIΨ = PI .

TOPOLOGY ON AUTOMORPHISM GROUPS

27

Let Ψ ∈ Aut(TAut0 (Khx1 , . . . , xn i)) stabilize all elements of torus and linear automorphisms,
φ : xn 7→ xn + P (x1 , . . . , xn−1 ), xi 7→ xi , i = 1, . . . , n − 1.
Let ϕQ : x1 7→ x1 , x2 7→ x2 , xi 7→ xi + Qi (x1 , x2 ), i = 3, . . . , n − 1, xn 7→ xn ;
Q = (Q3 , . . . , Qn−1 ). Then Ψ(ϕQ ) = ϕQ by Proposition 5.3.
−1
◦ φP ◦ ϕQ = φPQ , where
Lemma 5.6. a) ϕQ

PQ (x1 , . . . , xn−1 ) = P (x1 , x2 , x3 + Q3 (x1 , x2 ), . . . , xn−1 + Qn−1 (x1 , x2 )).
(2)

(1)

(1)

b) Let PQ = PQ + PQ , PQ

consist of all terms containing one of the variables

(1)

x3 , . . . , xn−1 , and let PQ consist of all terms containing just x1 and x2 . Then
(1)Ψ

PQΨ = PQΨ = PQ

(2)Ψ

+ PQ

(1)Ψ

= PQ

(2)

+ PQ

.
(2)

(2)

Lemma 5.7. If PQ = RQ for all Q then P = R.
(2)

Proof. It is enough to prove that if P 6= 0 then PQ
(Q3 , . . . , Qn−1 ). Let m = deg(P ), Qi =

i+1
i+1
x12 m x22 m .

6= 0 for appropriate Q =

Let P̂ be the highest-degree
(2)

component of P , then P̂ (x1 , x2 , Q3 , . . . , Qn−1 ) is the highest-degree component of PQ . It
is enough to prove that
P̂ (x1 , x2 , Q3 , . . . , Qn−1 ) 6= 0.
Let x1 ≺ x2 ≺ x2 ≺ · · · ≺ xn−1 be the standard lexicographic order. Consider the
lexicographically minimal term M of P̂ . It is easy to see that the term
M |Qi 7→xi , i = 3, n − 1
cannot cancel with any other term
N |Qi 7→xi , i = 3, n − 1
of P̂ (x1 , x2 , Q3 , . . . , Qn−1 ). Therefore P̂ (x1 , x2 , Q3 , . . . , Qn−1 ) 6= 0.
Lemmas 5.6 and 5.7 imply
Corollary 5.8. Let Ψ ∈ Aut(TAut0 (Khx1 , . . . , xn i)) stabilize all elements of torus and
linear automorphisms. Then P Ψ = P , and Ψ stabilizes all elementary automorphisms and
therefore the entire group TAut0 (Khx1 , . . . , xn i).
We obtain the following

28

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

Proposition 5.9. Let n ≥ 4 and let Ψ ∈ Aut(TAut0 (Khx1 , . . . , xn i)) stabilize all elements
of torus and linear automorphisms. Then either Ψ = Id or Ψ acts as conjugation by the
mirror anti-automorphism.
Let n ≥ 4. Let Ψ ∈ Aut(TAut0 (Khx1 , . . . , xn i)) stabilize all elements of torus and linear
automorphisms. Denote by EL an elementary automorphism
EL : x1 7→ x1 , . . . , xn−1 7→ xn−1 , xn 7→ xn + x1 x2
(all other elementary automorphisms of this form, i.e. xk 7→ xk + xi xj , xl 7→ xl for l 6= k
and k 6= i, k 6= j, i 6= j, are conjugate to one another by permutations of generators).
We have to prove that Ψ(EL) = EL or Ψ(EL) : xi 7→ xi ; i = 1, . . . , xn−1 , xn 7→
xn + x2 x1 . The latter corresponds to Ψ being the conjugation with the mirror antiautomorphism of Khx1 , . . . , xn i.
Deﬁne for some a, b ∈ K
x ∗a,b y = axy + byx.
Then, in any of the above two cases,
Ψ(EL) : xi 7→ xi ; i = 1, . . . , xn−1 , xn 7→ xn + x1 ∗a,b x2
for some a, b.
The following lemma is elementary:
Lemma 5.10. The operation ∗ = ∗a,b is associative if and only if ab = 0.
The associator of x, y, and z is given by
{x, y, z}∗ ≡ (x ∗ y) ∗ z − x ∗ (y ∗ z) =
ab(zx − xz)y + aby(xz − zx) = ab[y, [x, z]].
Now we are ready to prove Proposition 5.9. For simplicity we treat only the case n = 4
– the general case is dealt with analogously. Consider the automorphisms
α : x 7→ x, y 7→ y, z 7→ z + xy, t 7→ t,
β : x 7→ x, y 7→ y, z 7→ z, t 7→ t + xz,
h : x 7→ x, y 7→ y, z 7→ z, t 7→ t − xz.
(Manifestly h = β −1 .) Then
γ = hα−1 βα = [β, α] : x 7→ x, y 7→ y, z 7→ z, t 7→ t − x2 y.

TOPOLOGY ON AUTOMORPHISM GROUPS

29

Note that α is conjugate to β via a generator permutation
κ : x 7→ x, y 7→ z, z 7→ t, t 7→ y, κ ◦ α ◦ κ−1 = β
and
Ψ(γ) : x 7→ x, y 7→ y, z 7→ z, t 7→ t − x ∗ (x ∗ y).
Let
δ : x 7→ x, y 7→ y, z 7→ z + x2 , t 7→ t,
ǫ : x 7→ x, y 7→ y, z 7→ z, t 7→ t + zy.
Let γ ′ = ǫ−1 δ−1 ǫδ. Then
γ ′ : x 7→ x, y 7→ y, z 7→ z, t 7→ t − x2 y.
On the other hand we have
ε = Ψ(ǫ−1 δ−1 ǫδ) : x 7→ x, y 7→ y, z 7→ z, t 7→ t − (x2 ) ∗ y.
We also have γ = γ ′ . Equality Ψ(γ) = Ψ(γ ′ ) is equivalent to the equality x∗(x∗y) = x2 ∗y.
This implies x ∗ y = xy and we are done.
5.2. The group AutInd (TAut(Khx, y, zi)). This is the most technically loaded part of
the present study. At the moment we are unable to accomplish the objective of describing
the entire group Aut TAut(Khx, y, zi). In this section we will determine only its subgroup
AutInd TAut0 (Khx, y, zi), i.e. the group of Ind-scheme automorphisms, and prove Theorem 1.8. We use the approximation results of Section 3.3. In what follows we suppose
that Char(K) 6= 2. As in the preceding chapter, {x, y, z}∗ denotes the associator of x, y, z
with respect to a ﬁxed binary linear operation ∗, i.e.
{x, y, z}∗ = (x ∗ y) ∗ z − x ∗ (y ∗ z).
Proposition 5.11. Let Ψ ∈ AutInd (TAut0 (Khx, y, zi)) stabilize all linear automorphisms.
Let
φ : x 7→ x, y 7→ y, z 7→ z + xy.
Then either
Ψ(φ) : x 7→ x, y 7→ y, z 7→ z + axy
or
Ψ(φ) : x 7→ x, y 7→ y, z 7→ z + byx
for some a, b ∈ K.

30

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

Proof. Consider the automorphism
φ : x 7→ x, y 7→ y, z 7→ z + xy.
Then
Ψ(φ) : x 7→ x, y 7→ y, z 7→ z + x ∗ y,
where x ∗ y = axy + byx. Let a 6= 0. We can make the star product ∗ = ∗a,b into
x ∗ y = xy + λyx by conjugation with the mirror anti-automorphism and appropriate
linear substitution. We therefore need to prove that λ = 0, which implies Ψ(φ) = φ.
The following two lemmas are proved by straightforward computation.
Lemma 5.12. Let A = Khx, y, zi. Let f ∗ g = f g + λf g. Then {f, g, h}∗ = λ[g, [f, h]].
In particular {f, g, f }∗ = 0, f ∗ (f ∗ g) − (f ∗ f ) ∗ g = −{f, f, g}∗ = λ[f, [f, g]],
(g ∗ f ) ∗ f − g ∗ (f ∗ f ) = {g, f, f }∗ = λ[f, [f, g]].
Lemma 5.13. Let ϕ1 : x 7→ x + yz, y 7→ y, z 7→ z; ϕ2 : x 7→ x, y 7→ y, z 7→ z + yx;
−1
ϕ = ϕ−1
2 ϕ1 ϕ2 ϕ1 . Then modulo terms of order ≥ 4 we have:

ϕ : x 7→ x − y 2 x, y 7→ y, z 7→ z + y 2 z
and
Ψ(ϕ) : x 7→ x − y ∗ (y ∗ x), y 7→ y, z 7→ z + y ∗ (y ∗ z).
Lemma 5.14. a) Let φl : x 7→ x, y 7→ y, z 7→ z + y 2 x. Then
Ψ(φl ) : x 7→ x, y 7→ y, z 7→ z + y ∗ (y ∗ x).
b) Let φr : x 7→ x, y 7→ y, z 7→ z + xy 2 . Then
Ψ(φr ) : x 7→ x, y 7→ y, z 7→ z + (x ∗ y) ∗ y.
Proof. According to the results of the previous section we have
Ψ(φl ) : x 7→ x, y 7→ y, z 7→ z + P (y, x)
where P (y, x) is homogenous of degree 2 with respect to y and degree 1 with respect to
x. We have to prove that H(y, x) = P (y, x) − y ∗ (y ∗ x) = 0.
Let τ : x 7→ z, y 7→ y, z 7→ x; τ = τ −1 , φ′ = τ φl τ −1 : x 7→ x + y 2 z, y 7→ y, z 7→ z.
Then Ψ(φ′l ) : x 7→ x + P (y, z), y 7→ y, z 7→ z.
Let φ′′l = φl φ′l : x 7→ x + P (y, z), y 7→ y, z 7→ z + P (y, x) modulo terms of degree ≥ 4.
Let τ : x 7→ x − z, y 7→ y, z 7→ z and let ϕ2 , ϕ be the automorphisms described in
Lemma 5.13.

TOPOLOGY ON AUTOMORPHISM GROUPS

31

Then
′′
T = τ −1 φ−1
l τ φl : x 7→ x, y 7→ y, z 7→ z

modulo terms of order ≥ 4.
On the other hand
Ψ(T ) : x 7→ x + H(y, z) − H(y, x), y 7→ y, z 7→ z + P
modulo terms of order ≥ 4. Because degy (H(y, x) = 2, degx (H(y, x)) = 1 we get H = 0.
Proof of b) is similar.
Lemma 5.15. a) Let
ψ1 : x 7→ x + y 2 , y 7→ y, z 7→ z; ψ2 : x 7→ x, y 7→ y, z 7→ z + x2 .
Then
[ψ1 , ψ2 ] = ψ2−1 ψ1−1 ψ2 ψ1 : x 7→ x, y 7→ y, z 7→ z + y 2 x + xy 2 ,
Ψ([ψ1 , ψ2 ]) : x 7→ x, y 7→ y, z 7→ z + (y ∗ y) ∗ x + x ∗ (y ∗ y).
b)
−1
φ−1
l φr [ψ1 , ψ2 ] : x 7→ x, y 7→ y, z 7→ z

modulo terms of order ≥ 4 but

−1
Ψ φ−1
l φr [ψ1 , ψ2 ] : x 7→ x, y 7→ y,

z 7→ z + (y ∗ y) ∗ x + x ∗ (y ∗ y) − (x ∗ y) ∗ y − y ∗ (y ∗ x) =
= z + 4λ[x[x, y]]
modulo terms of order ≥ 4.
Proof. a) can be obtained by direct computation. b) follows from a) and the lemma
5.12.
Proposition 5.11 follows from Lemma 5.15.
We need a few auxiliary lemmas. The ﬁrst one is an analogue of the hiking procedure
from [21, 3].
Lemma 5.16. Let K be algebraically closed, and let n1 , . . . , nm be positive integers. Then
there exist k1 , . . . , ks ∈ Z and λ1 , . . . , λs ∈ K such that
P
P
•
ki = 1 modulo Char(K) (if Char(K) = 0 then
ki = 1).
P nj
•
i ki λi = 0 for all j = 1, . . . , m.

32

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

For λ ∈ K we deﬁne an automorphism ψλ : x 7→ x, y 7→ y, z 7→ λz.
The next lemma provides for some translation between the language of polynomials and
the group action language. It is similar to the hiking process [3, 21].
Lemma 5.17. Let ϕ ∈ Khx, y, zi. Let ϕ(x) = x, ϕ(y) = y +

P

i Ri

+ R′ , ϕ(z) = z + Q.

Let deg(Ri ) = N , let also the degree of all monomials in R′ be greater than N , and let the
degree of all monomials in Q be greater than or equal to N . Finally, assume degz (Ri ) = i
and the z-degree of all monomials of R1 greater than 0.
Then
a) ψλ−1 ϕψλ : x 7→ x, y 7→ y +

P

i

λi Ri + R′′ , z 7→ z + Q′ . Also the total degree of

all monomials comprising R′ is greater than N , and the degree of all monomials of Q is
greater than or equal to N .
ki
Q
ψλ−1 ϕψλi . Then
b) Let φ =
i

φ : x 7→ x, y 7→ y +

X

Ri λki i + S, z 7→ z + T

i

where the degree of all monomials of S is greater than N and the degree of all monomials
of T is greater than or equal to N .
Proof. a) By direct computation. b) is a consequence of a).
Remark. In the case of characteristic zero, the condition of K being algebraically
closed can be dropped. After hiking for several steps, we need to prove just
Lemma 5.18. Let Char(K) = 0, let n be a positive integer. Then there exist k1 , . . . , ks ∈ Z
and λ1 , . . . , λs ∈ K such that
P
•
ki = 1.
P n
•
i ki λi = 0.

Using this lemma we can cancel out all terms in the product in the Lemma 5.17 except

for the constant one. The proof of Lemma 5.18 for any ﬁeld of zero characteristic can be
obtained through the following observation:
Lemma 5.19.
n
X
i=1

+(−1)n−k

X

i1 <···<ik

λi

!n

−

X
j

λ1 + · · · + λbi + · · · + λn

n

+ ···+

(xi1 + · · · + xik )n + · · · + (−1)n−1 (xn1 + · · · + xnn ) = n!

n
Y
i=1

xi

TOPOLOGY ON AUTOMORPHISM GROUPS

and if m < n then
n
X

λi

i=1

+(−1)n−k

X

!m

−

X
j

λ1 + · · · + λbi + · · · + λn

m

33

+ ···+

m
(xi1 + · · · + xik )m + · · · + (−1)n−1 (xm
1 + · · · + xn ) = 0.

i1 <···<ik

The lemma 5.19 allows us to replace the n-th powers by product of diﬀerent constants,
after that the statement of Lemma 5.18 becomes transparent.
Lemma 5.20. Let ϕ : x 7→ x + R1 , y 7→ y + R2 , z 7→ z ′ , such that the total degree of all
monomials in R1 , R2 is greater than or equal to N . Then for Ψ(ϕ) : x 7→ x + R1′ , y 7→
y + R2′ , z 7→ z ′′ with the total degree of all monomials in R1′ , R2′ also greater than or equal
to N .
Proof. Similar to the proof of Theorem 3.2.
Lemmas 5.20, 5.17, 5.16 imply the following statement.
Lemma 5.21. Let ϕj ∈ Aut0 (Khx, y, zi), j = 1, 2, such that
X j
Ri + Rj′ , ϕj (z) = z + Qj .
ϕj (x) = x, ϕj (y) = y +
i

Let

deg(Rij )

= N , and suppose that the degree of all monomials in Rj′ is greater than N ,

while the degree of all monomials in Q is greater than or equal to N ; degz (Ri ) = i, and
the z-degree of all monomials in R1 is positive. Let R01 = 0, R02 6= 0.
Then Ψ(ϕ1 ) 6= ϕ2 .
Consider the automorphism
φ : x 7→ x, y 7→ y, z 7→ z + P (x, y).
Let Ψ ∈ TAut0 (khx, y, zi) stabilize the standard torus action pointwise. Then
Ψ(φ) : x 7→ x, y 7→ y, z 7→ z + Q(x, y).
We denote
Ψ̄(P ) = Q.
Our goal is to prove that Ψ̄(P ) = P for all P if Ψ stabilizes all linear automorphisms and
Ψ̄(xy) = xy.
Lemma 5.22.
Ψ̄(xk y l ) = xk y l .

34

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

Proof. Let
φ : x 7→ x, y 7→ y, z 7→ z + xk y l ,
ϕ1 : x 7→ x + y l , y 7→ y, z 7→ z,
ϕ2 : x 7→ x, y 7→ y + xk , z 7→ z,
ϕ3 : x 7→ x, y 7→ y, z 7→ z + xy,
h : x 7→ x, y 7→ y, z 7→ z − xk+1 .
Then
−1 −1
k
l
g = hϕ−1
3 ϕ1 ϕ2 ϕ3 ϕ1 ϕ2 : x 7→ x, y 7→ y, z 7→ z + x · y + N.

Here N is a sum of terms of total degree greater than k + l. It means that g = φ ◦ L,
L ∈ Hk+l+1 . We will use Theorem 3.2. Applying Ψ yields the result because Ψ(ϕi ) =
ϕi , i = 1, 2, 3 and ϕ(Hn ) ⊆ Hn for all n. The lemma is proved.
Let
Mk1 ,...,ks = xk1 y k2 · · · y ks
for even s and
Mk1 ,...,ks = xk1 y k2 · · · xks
for odd s, k =

Pn

i=1 ki .

Then
Mk1 ,...,ks = Mk1 ,...,ks−1 y ks

for even s and
Mk1 ,...,ks = Mk1 ,...,ks−1 xks
for odd s.
We have to prove that Ψ̄(Mk1 ,...,ks ) = Mk1 ,...,ks . By induction we may assume that
Ψ̄(Mk1 ,...,ks−1 ) = Mk1 ,...,ks−1 .
For any monomial M = M (x, y) we deﬁne an automorphism
ϕM : x 7→ x, y 7→ y, z 7→ z + M.
We also deﬁne the automorphisms
φek : x 7→ x, y 7→ y + zxk , z 7→ z
and
φok : x 7→ x + zy k , y 7→ y, z 7→ z.
We will present the case of even s - the odd case is similar.

TOPOLOGY ON AUTOMORPHISM GROUPS

35

e
e
e
k
e
Let Dzx
k be a derivation of Khx, y, zi such that Dzxk (x) = 0, Dzxk (y) = zx , Dzxk (z) =
o
o
o
k
0. Similarly, let Dzy
k be a derivation of Khx, y, zi such that Dzy k (y) = 0, Dzxk (x) = zy ,

Dzyk (z)o = 0.
The following lemma is proved by direct computation:
Lemma 5.23. Let
u = φeks −1 ϕ(Mk1 ,...,ks−1 )−1 φeks ϕ(Mk1 ,...,ks−1 )
for even s and
u = φoks −1 ϕ(Mk1 ,...,ks−1 )−1 φoks ϕ(Mk1 ,...,ks−1 )
for odd s. Then
e
u : x 7→ x, y 7→ y + Mk1 ,...,ks + N ′ , z 7→ z + Dzx
k (Mk1 ,...,ks−1 ) + N

for even s and
o
u : x 7→ x + Mk1 ,...,ks + N ′ , y 7→ y, z 7→ z + Dzx
k (Mk1 ,...,ks−1 ) + N
P
for odd s, where N , N ′ are sums of terms of degree > k = si=1 ki .

Let ψ(Mk1 ,...,ks ) : x 7→ x, y 7→ y, z 7→ z + Mk1 ,...,ks ,

αe : x 7→ x, y 7→ y − z, z 7→ z, αo : x 7→ x − z, y 7→ y, z 7→ z,
Let PM = Ψ(M ) − M . Our goal is to prove that PM = 0.
Let
v = ψ(Mk1 ,...,ks )−1 αe ψ(Mk1 ,...,ks )uα−1
e
for even s and
v = ψ(Mk1 ,...,ks )−1 αo ψ(Mk1 ,...,ks )uα−1
o
for odd s.
The next lemma is also proved by direct computation:
Lemma 5.24. a)
v : x 7→ x, y 7→ y + H, z 7→ z + H1 + H2
for even s and
v : x 7→ x + H, y 7→ y, z 7→ z + H1 + H2
for odd s
b)
e z 7→ z + H
f1 + H
f2
Ψ(v) : x 7→ x, y 7→ y + PMk1 ,...,ks + H,

36

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

for even s and
e y 7→ y, z 7→ z + H
f1 + H
f2
Ψ(v) : x 7→ x + PMk1 ,...,ks + H,
f2 are sums of terms of degree greater than k = Ps ki , H, H
e are
for odd s, where H2 , H
i=1
f1 are sums of terms of degree k
sums of terms of degree ≥ k and positive z-degree, H1 , H
and positive z-degree.

Proof of Theorem 1.8. Part b) follows from part a). In order to prove a) we are going
to show that Ψ̄(M ) = M for any monomial M (x, y) and for any Ψ ∈ AutInd (TAut(hx, y, zi))
stabilizing the standard torus action T 3 and φ. The automorphism Ψ(ΦM ) has the form
described in Lemma 5.24. But in this case Lemma 5.21 implies Ψ̄(M ) − M = 0.
6. Some open questions concerning the tame automorphism group
As the conclusion of the paper, we would like to raise the following questions.
(1) Is it true that any automorphism ϕ of Aut(Khx1 , . . . , xn i) (in the group-theoretic
sense - that is, not necessarily an automorphism preserving the Ind-scheme structure) for n = 3 is semi-inner, i.e. is a conjugation by some automorphism or mirror
anti-automorphism?
(2) Is it true that Aut(Khx1 , . . . , xn i) is generated by aﬃne automorphisms and automorphism xn 7→ xn + x1 x2 , xi 7→ xi , i 6= n? For n ≥ 5 it seems to be easier
and the answer is probably positive, however for n = 3 the answer is known to be
negative, cf. Umirbaev [32] and Drensky and Yu [18]. For n ≥ 4 we believe the
answer is positive.
(3) Is it true that Aut(K[x1 , . . . , xn ]) is generated by linear automorphisms and automorphism xn 7→ xn + x1 x2 , xi 7→ xi , i 6= n? For n = 3 the answer is negative: see
the proof of the Nagata conjecture [29, 30, 33]. For n ≥ 4 it is plausible that the
answer is positive.
(4) Is any automorphism ϕ of Aut(Khx, y, zi) (in the group-theoretic sense) semiinner?
(5) Is it true that the conjugation in Theorems 1.3 and 1.7 can be done by some tame
automorphism? Suppose ψ −1 ϕψ is tame for any tame ϕ. Does it follow that ψ is
tame?
(6) Prove Theorem 1.8 for Char(K) = 2. Does it hold on the set-theoretic level, i.e.
Aut(TAut(Khx, y, zi)) are generated by conjugations by an automorphism or the
mirror anti-automorphism?

TOPOLOGY ON AUTOMORPHISM GROUPS

37

Similar questions can be formulated for nice automorphisms.
7. Acknowledgements
The authors would like to thank to J. P. Furter, T. Kambayashi, H. Kraft, R. Lipyanski,
B. Plotkin, E. Plotkin, A. Regeta, and M. Zaidenberg for stimulating discussion. We are
grateful to Eliyahu Rips for his having kindly agreed to include and use his crucial results.
The authors also thank Shanghai University, Shanghai; Jilin University, Changchun;
and South University of Science and Technology of China, Shenzhen for warm hospitality
and stimulating atmosphere during their visits, when parts of this project were carried
out.
References
[1] D. J. Anick, Limits of tame automorphisms of k[x1 , . . . , xN ], J. Algebra 82 (1983) 459-468.
[2] T. Asanuma, Non-linaearazible k∗ -actions in affine space, Invent. Math. 138 (1999) 281-306.
[3] A. Belov, Local finite basis property and local representability of varieties of associative rings, Izv. Rus.
Acad. Sci. 74 (2010) 3-134. English transl.: Izvestiya: Mathematics, 74(2010) 1-126.
[4] A. Belov and R. Lipyanski, Authomorphisms of Endomorphism group of free associative-commutative
algebra over an arbitrary field, J. Algebra 333 (2010) 40-54.
[5] A. Belov, A. Berzins, and R. Lipyanski, Automorphisms of endomorphism group of free associative
algebra, Int. J. Algebra Comp. 17 (2007) 923-939.
[6] A. Belov and M. L. Kontsevich, Jacobian and Dixmier Conjectures are stably equivalent. Moscow
Math. J. 7 (2007)209-218 (A special volume dedicated to the 60-th anniversary of A. G. Khovanskii).
[7] A. Belov and M. L. Kontsevich, Automorphisms of Weyl algebras, Lett. Math. Phys. 74 (2005) 34-41
(A special volume dedicated to the memory of F. A. Berezin).
[8] A. Belov-Kanel and J.-T. Yu, On the lifting of the Nagata automorphism, 17 (2011) Selecta Math.
(N.S.) 935-945.
[9] A. Belov-Kanel and J.-T. Yu, Stable tameness of automorphisms of F hx, y, zi fixing z, 18 (2012)
Selecta Math. (N.S) 799-802.
[10] A. Kanel-Belov and A. Elishev, On Planar Algebraic Curves and Holonomic D-modules in Positive
Characteristic, J. Algebra Appl. DOI: 10.1142/S0219498816501553, arXiv: 1412.6836.
[11] A. Kanel-Belov and A. Elishev, Independence of the B-KK Isomorphism of Infinite Prime, arXiv:
1512.06533.
[12] G. M. Bergman, Conjugates and nth roots in Hahn-Laurent group rings, Bull. Malay. Math. Soc. 1
(1978) 29-41.
[13] G. M. Bergman, Historical addendum to: “Conjugates and nth roots in Hahn-Laurent group rings”,
Bull. Malay. Math. Soc. 1 (1978) 29-41; 2 (1979) 41-42.
[14] A. Bialynicki-Birula, Remarks on the action of an algebraic torus on kn II, Bull. Acad. Polon. Sci.
Ser. Sci. Math. Astr. Phys. 15 (1967) 123-125.

38

A. KANEL-BELOV, J.-T. YU, AND A. ELISHEV

[15] A. Bialynicki-Birula, Remarks on the action of an algebraic torus on kn , Bull. Acad. Polon. Sci. Ser.
Sci. Math. Astro. Phys. 14 (1966) 177-181.
[16] Yu. Bodnarchuk, Every regular automorphism of the affine Cremona group is inner, J. Pure Appl.
Algebra 157 (2001) 115-119.
[17] J. Déserti, Sur le groupe des automorphismes polynomiaux du plan affine, J. Algebra 297 (2006)
584-599.
[18] V. Drensky and J.-T. Yu, The strong Anick conjecture is true, J. Eur. Math. Soc. (JEMS) 9 (2007)
659-679.
[19] T. Kambayashi, Inverse limits of polynomial rings, Osaka J. Math. 41 (2004) 617-624.
[20] T. Kambayashi, Some basic results on pro-affine algebras and ind-affine schemes, Osaka J. Math. 40
(2003) 621-638.
[21] A. Kanel-Belov, L. H. Rowen and U. Vishne, Full exposition of Specht’s problem. Serdica Math. J. 38
(2012) 313-370.
[22] H. Kraft and I. Stampﬂi, On Automorphisms of the Affine Cremona Group, arXiv:1105.3739v1.
[23] Y.-C. Li and J.-T. Yu, Degree estimate for subalgebras, J. Algebra 362 (2012) 92-98.
[24] L. Makar-Limanov and J.-T. Yu, Degree estimate for subalgebras generated by two elements, J. Eur.
Math. Soc. (JEMS) 10 (2008) 533-541.
[25] L. Makar-Limanov, Algebraically closed skew fields, J. Algebra 93 (1985) 117-135.
[26] B. Plotkin, Algebra with the same (algebraic) geometry, in Proc. of the Steklov Institut of Mathematics
242 (2003) 176-207.
[27] I. R. Shafarevich, On some infinitelly dimensional groups II, Izv. Akad. Sch. Ser. Math. 2 (1981)
214-216.
[28] M. K. Smith, Stably tame automorphisms, J. Pure Appl. Algebra 58 (1989) 209–212.
[29] I. P. Shestakov and U. U. Umirbaev, Degree estimate and two-generated subalgebras of rings of polynomials, J. Amer. Math. Soc. 17 (2004) 181-196.
[30] I. P. Shestakov and U. U. Umirbaev, The tame and the wild automorphisms of polynomial rings in
three variables, J. Amer. Math. Soc. 17 (2004) 197-220.
[31] M. Suzuki, Proprits topologiques des polynomes de deux variables complexes, et automorphismes algebriques de l’espace C 2 (French), J. Math. Soc. Japan 26 (1974) 241-257.
[32] U. U. Umirbaev, The Anick automorphism of free associative algebras, J. angew. Math. (Crelles
Journal) 605 (2007) 165-178.
[33] U. U. Umirbaev and J.-T.Yu, The strong Nagata conjecture, Proc. Natl. Acad. Sci. USA 101 (2004)
4352-4355.
Department of Mathematics, Bar-Ilan University, Ramat-Gan, 52900, Israel
E-mail address: beloval@cs.biu.ac.il, kanelster@gmail.com
College of Mathematics and Statistics, Shenzhen University, Shenzhen, 518061, China
E-mail address: jietaiyu@szu.edu.cn
Department of Discrete Mathematics, Moscow Institute of Physics and Technology, Dolgoprudny, Moscow Region, 141700, Russia
E-mail address: elishev@phystech.edu

