arXiv:1209.3427v3 [math.AG] 23 Nov 2016

A NOTE ON AUTOMORPHISMS OF THE AFFINE CREMONA
GROUP
IMMANUEL STAMPFLI
Abstract. Let G be an ind-group and let U ⊆ G be a unipotent ind-subgroup.
We prove that an abstract group automorphism θ : G → G maps U isomorphically onto a unipotent ind-subgroup of G, provided that θ fixes a closed torus
T ⊆ G, which normalizes U and the action of T on 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 group G3 in dimension 3 fixes the subgroup of tame automorphisms T G3 , then it also fixes a whole family of non-tame automorphisms
(including the Nagata automorphism).

0. Introduction. Throughout this note we denote by Gn the group of polynomial automorphisms Aut(An ) of the complex affine space An = Cn . Such an automorphism has the form g = (g1 , . . . , gn ) ∈ Gn with polynomials g1 , . . . , gn ∈
C[x1 , . . . , xn ]. We define deg g := maxi deg gi . The tame automorphism group T Gn
is the subgroup of Gn generated by the affine linear automorphisms (i.e. the automorphisms g with deg g ≤ 1) and the triangular automorphisms (i.e. the automorphisms (g1 , . . . , gn ) where gi = gi (xi , . . . , xn ) depends only on xi , . . . , xn for each
i). The main result of [KS13] is the following.
Theorem 1. Let θ : Gn → Gn be an abstract automorphism. Then there exist g ∈ Gn
and a field automorphism τ : C → C such that
θ(f ) = τ (g ◦ f ◦ g−1 )

for all tame automorphisms f ∈ T Gn .

If θ preserves in addition the ind-group structure of Gn (see below for a definition), then Alexei Belov-Kanel and Jie-Tai Yu proved recently that θ is an
inner automorphism of Gn (see [BKY13]).
In dimension n = 2 all automorphisms are tame (cf. [Jun42] and [vdK53]). But
in dimension n = 3, Ivan P. Shestakov and Ualbai U. Umirbaev showed that
the famous Nagata automorphism uN ∈ G3 (see below for a definition) is nontame (cf. [SU04]). It is an open problem if there exist non-tame automorphisms
in dimension n > 3. A natural question is, whether Theorem 1 extends to the
entire automorphism group Gn , i.e. whether θ(f ) = τ (g ◦ f ◦ g) for all f ∈ Gn .
If this would be true, then every abstract automorphism of Gn would preserve
the algebraic subgroups of Gn (see below for a definition). In fact, a main tool in
the proof of Theorem 1 is to show that certain algebraic subgroups are sent to
isomorphic algebraic subgroups under an abstract automorphism of Gn . The main
point of this note is to refine these techniques. In order to state the main result we
introduce the concept of an ind-group and related terms.
The author is supported by the Swiss National Science Foundation (Schweizerischer Nationalfonds), grant “Automorphisms of Affine n-Space” 137679.
1

2

IMMANUEL STAMPFLI

A group G is called an ind-group if it is endowed with a filtration
S∞by affine
varieties G1 ⊆ G2 ⊆ . . . , each one closed in the next, such that G = i=1 Gi and
such that the map G × G → G, (x, y) 7→ x · y −1 is a morphism of ind-varieties (see
[Kum02, chap. IV] for an introduction to ind-varieties and ind-groups). We then
write G = lim Gi . For example, Gn = lim Gn,i is an ind-group, where Gn,i is the
−→
−→
set of all automorphisms g ∈ Gn with deg g ≤ i (see [BCW82]). We endow an indgroup G = lim Gi with the following topology: a subset X ⊆ G is closed if and only
−→
if X ∩ Gi is closed in Gi with respect to the Zariski topology for each i. If H ⊆ G
is a closed subgroup, then H inherits in a canonical way an ind-structure from G,
namely H = lim H ∩ Gi . But for our purposes we need a more general definition of
−→
an ind-subgroup.
Definition 1. Let H be a subgroup of an ind-group G = lim Gi . We say that H is
−→
an ind-subgroup of G if H can be turned into an ind-group H = lim Hk such that to
−→
every k there exists i = i(k) such that Hk ⊆ Gi is closed. Clearly, the ind-structure
of H is then unique. We say that H is an algebraic subgroup of G, if H is closed in
G and contained in some Gi .
Definition 2. We say that an ind-group U is unipotent if U = lim Ui where Ui is
−→
a unipotent algebraic group for all i.
Remark 1. Every element in a unipotent ind-group is unipotent. We don’t know
whether an ind-group consisting only of unipotent elements is always unipotent. If
the ind-group is commutative, then we are able to prove this.
Main Theorem. Let θ : G → G be an abstract automorphism of an ind-group G
that is the identity on a closed torus T ⊆ G. If U ⊆ G is a unipotent ind-subgroup
that is normalized by T and if the neutral element of U is the only element that
is fixed under conjugation by T , then θ(U) is a unipotent ind-subgroup of G and
θ|U : U → θ(U) is an isomorphism of ind-groups.
Recall that there exists a bijective correspondence between locally nilpotent
derivations of C[x1 , . . . , xn ] and unipotent elements of Gn , given by D 7→ exp(D)
where
!
∞
∞
X
X
Di (xn )
Di (x1 )
,...,
exp(D) =
i!
i!
i=0
i=0

(see [Fre06, sec. 1.5]). If D is a locally nilpotent derivation and f ∈ ker D then f D is
again a locally nilpotent derivation and we call exp(f D) a modification of exp(D).
For example, the Nagata automorphism uN is a modification of u := exp D where
∂
∂
+z
, p = xz + y 2 ∈ ker D and uN = exp(pD) .
D = −2y
∂x
∂y
Recently, Shigeru Kuroda gave a characterization of the non-tame modifications
of certain unipotent automorphisms (see [Kur11, Theorem 2.3]). This result implies
that for all f ∈ ker D \ C[z] the modification exp(f D) of u is non-tame. Clearly, all
the modifications of u lie in the centralizer Cent(u). As a consequence of our Main
Theorem we get the following result.
Application. Let θ : G3 → G3 be an abstract automorphism that is the identity
on the tame automorphisms T G3 . Then θ fixes Cent(u) where u = exp(D) and
D = −2y · ∂/∂x + z · ∂/∂y. In particular, θ fixes the non-tame automorphisms
exp(f D) where f ∈ ker D \ C[z] and thus θ fixes the Nagata automorphism uN .

A NOTE ON AUTOMORPHISMS OF THE AFFINE CREMONA GROUP

3

Remark 2. All the results and proves work over any uncountable algebraically closed
field of characteristic zero.
1. Proof of the Main Theorem. Let V be a commutative unipotent algebraic
group. Recall that V has a unique C-vector space structure such that the product
in V corresponds to addition. Also recall that a map of commutative unipotent
algebraic groups V → V ′ is a homomorphism of algebraic groups if and only if it is
C-linear.
We start with a lemma that proves the Main Theorem in the case when U ⊆ G
is an algebraic subgroup isomorphic to C+ .
Lemma 1. Let θ : G → G be an abstract automorphism that is the identity on
a closed torus T ⊆ G and let U ⊆ G be an algebraic subgroup isomorphic to C+
which is normalized by T with character λ. If λ is non-trivial, then θ(U ) ⊆ G
is an algebraic subgroup isomorphic to C+ and T normalizes θ(U ) with the same
character λ. Moreover, θ|U : U → θ(U ) is an isomorphism of algebraic groups.
Proof. Let U ′ := θ(U ) ⊆ G. Choose u0 ∈ U that is different from the neutral
element e ∈ G. Then, U ′ \ {e} = { t · θ(u0 ) · t−1 | t ∈ T } and {e} are constructible
subsets of some filter set of G and since U ′ is a group it follows that U ′ ⊆ G is an
algebraic subgroup (see [Hum75, 7.4 Proposition A]). Since U ′ has no element 6= e
of finite order, U ′ is unipotent. As U ′ is a toric variety with exactly two orbits, U ′
is one-dimensional (see also [KS13, Proposition 2]). Let λ′ be the character of U ′ .
We have
(∗)

θ(λ(t)u0 ) = θ(t · u0 · t−1 ) = t · θ(u0 ) · t−1 = λ′ (t)θ(u0 ) for all t ∈ T .

Hence, it follows that λ and λ′ have the same kernel and thus λ = ±λ′ . If we take
t ∈ T such that λ(t) = 2 then eq. (∗) implies that λ′ 6= −λ. Hence, λ = λ′ and

θ|U : U → U ′ is C-linear by eq. (∗).
Proof of the Main Theorem. Let U ⊆ U be an algebraic subgroup that is normalized by T . Choose closed algebraic subgroups V1 , . . . , Vr ⊆ U which are isomorphic
to C+ and which are normalized by T , such that Lie U = Lie V1 ⊕ . . .⊕ Lie Vr . Thus,
for suitable indices i1 , . . . , im we have U = Vi1 · . . . · Vim (see [Hum75, 7.5 Proposition]). According to Lemma 1, θ(U ) = θ(Vi1 )·. . . ·θ(Vim ) is a constructible subset of
some Gi ⊆ G and thus θ(U ) is an algebraic subgroup of G. Again, since no element
6= e in U has finite order, θ(U ) is unipotent. Consider the following commutative
diagram.
Vi1 × . . . × Vim

U

θ×...×θ

θ|U

/ θ(Vi1 ) × . . . × θ(Vim )

/ θ(U )

The vertical maps are induced by the product in U and hence they are surjective
morphisms. The top horizontal map is an isomorphism of varieties by Lemma 1.
The lemma below due to Hanspeter Kraft implies that the abstract group
homomorphism θ|U is an isomorphism of algebraic groups.
As we can replace the filtration of U by a filtration of unipotent algebraic subgroups, each one normalized by T , it follows that θ(U) ⊆ G is a unipotent indsubgroup and θ|U : U → θ(U) is an isomorphism of ind-groups.


4

IMMANUEL STAMPFLI

Lemma 2 (Hanspeter Kraft). Let X and Y be affine varieties and let f : X →
Y be an abstract map. If there exists a surjective morphism g : Z ։ X such that the
composition f ◦ g : Z → Y is a morphism and if X is normal, then f is a morphism.
For the proof of this lemma, one shows that the graph of f is closed in X × Y .
2. Proof of the Application. First, we determine the structure of Cent(u). Denote by E the partial derivative with respect to x. The ind-subgroups of G3 listed
below are clearly contained in Cent(u).
C

:=

{ (ax, ay, az) | a ∈ C∗ }

F
H

:=
:=

{ exp(f D) | f ∈ ker D }
{ exp(hE) | h ∈ ker E ∩ ker D }

Remark that ker E ∩ ker D = C[z] and thus H = { (x + h, y, z) | h ∈ C[z] }.
Proposition 1. We have a semi-direct product decomposition
Cent(u) = C ⋉ (H ⋉ F ) .
Proof. Recall that p = xz +y 2 , z ∈ ker D. In fact, R := ker D is the polynomial ring
C[z, p] by [Bas84, Theorem (b)]. We have R[x] = C[z, x, y 2 ] and hence a decomposition C[x, y, z] = R[x] ⊕ yR[x]. Let g = (g1 , g2 , g3 ) ∈ Cent(u). Write g1 = v + yq
with polynomials v, q ∈ R[x]. In C[x, y, z, t] we have, by definition,
v(x − 2ty − t2 z) + (y + tz)q(x − 2ty − t2 z) = v(x) + yq(x) − 2tg2 − t2 g3 .
A comparison of the coefficients with respect to the variable t shows that v = r + sx
with r, s ∈ R, and q ∈ R. Hence, we get g1 = r + sx + qy, g2 = sy − (q/2)z, g3 = sz
and s ∈ C∗ . Up to post composition with an element of C we can assume that
s = 1. Thus,
q 
q2
D = (x + r + z, y, z) .
g ◦ exp
2
4
One easily sees that this automorphism belongs to H.

Let U be the ind-subgroup H ◦ F ⊆ G3 . Every element g = exp(hE) ◦ exp(f D) ∈
H ◦ F satisfies
!
m−1
X
∗
m
exp(ihE) (f )D
for all m ∈ N .
g = exp(mhE) ◦ exp
i=0

Since H ∩ F = {id}, this shows that every element 6= id of U has infinite order and
is contained in an algebraic subgroup of U. Thus every element of U is unipotent.
Now, Proposition 1 implies that U is the set of unipotent elements of Cent(u). A
calculation shows that
(△)

F = CentU [U, U]

where [U, U] is the commutator subgroup of U. Let T := { (a2 b−1 x, ay, bz) | a, b ∈
C∗ } which is a closed algebraic subgroup of G3 . The torus T normalizes Cent(u),
H, F and U. In fact, it follows from eq. (△) that T is the largest subgroup of the
standard torus in G3 that normalizes Cent(u).

A NOTE ON AUTOMORPHISMS OF THE AFFINE CREMONA GROUP

5

Proof of the Application. As u is a tame automorphism, θ preserves Cent(u). A
calculation shows that the neutral element is the only element of H (of F ) that
commutes with T . Thus the Main Theorem applied to the unipotent ind-subgroups
H and F of G3 implies that θ(U) = U. From eq. (△) it follows that θ preserves F .
We define VF as the set of all algebraic subgroups of F which are isomorphic to C+
and which are normalized by T . One can see that the elements of VF correspond
to the locally nilpotent derivations z m pn D for all m, n ≥ 0 and hence different
elements in VF have different characters. This implies that for all V ∈ VF there
exists aV ∈ C∗ , such that θ|V = aV idV . Let e := (x − 1, y, z) ∈ H. A calculation
shows that
!
n  
X
n
z i+m pn−i D
for all m, n ∈ N .
e ◦ exp(z m pn D) ◦ e−1 = exp
i
i=0
Applying θ to the last equation and using the fact that exp(z j D) and e are tame
automorphisms yields aV = 1 for all V ∈ VF . As all the subgroups V ∈ VF
generate F , it follows that θ is the identity on F . Since H and C consist of tame
automorphisms this finishes the proof.

Acknowledgements
I would like to thank Hanspeter Kraft for many fruitful discussions.
References
[Bas84]
[BCW82]

[BKY13]
[Fre06]

[Hum75]
[Jun42]
[KS13]
[Kum02]
[Kur11]
[SU04]

[vdK53]

Hyman Bass, A nontriangular action of Ga on A3 , J. Pure Appl. Algebra 33 (1984),
no. 1, 1–5.
Hyman Bass, Edwin H. Connell, and David Wright, The Jacobian conjecture: reduction
of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. (N.S.) 7 (1982),
no. 2, 287–330.
Alexei Belov-Kanel and Jie-Tai Yu, On The Zariski Topology Of Automorphism Groups
Of Affine Spaces And Algebras, 2013, http://arxiv.org/abs/1207.2045.
Gene Freudenburg, Algebraic theory of locally nilpotent derivations, Encyclopaedia of
Mathematical Sciences, vol. 136, Springer-Verlag, Berlin, 2006, Invariant Theory and
Algebraic Transformation Groups, VII.
James E. Humphreys, Linear algebraic groups, Springer-Verlag, New York, 1975, Graduate Texts in Mathematics, No. 21.
Heinrich W. E. Jung, Über ganze birationale Transformationen der Ebene, J. Reine
Angew. Math. 184 (1942), 161–174.
Hanspeter Kraft and Immanuel Stampfli, On Automorphisms of the Affine Cremona
Group, Ann. Inst. Fourier (Grenoble) 63 (2013), no. 3, 1137–1148.
Shrawan Kumar, Kac-Moody groups, their flag varieties and representation theory,
Progress in Mathematics, vol. 204, Birkhäuser Boston Inc., Boston, MA, 2002.
Shigeru Kuroda, Wildness of polynomial automorphisms in three variables, 10 2011,
http://arxiv.org/abs/1110.1466.
Ivan P. Shestakov and Ualbai U. Umirbaev, The tame and the wild automorphisms
of polynomial rings in three variables, J. Amer. Math. Soc. 17 (2004), no. 1, 197–227
(electronic).
Wouter van der Kulk, On polynomial rings in two variables, Nieuw Arch. Wiskunde (3)
1 (1953), 33–41.

Mathematisches Institut, Universität Basel, Rheinsprung 21, CH-4051 Basel
E-mail address: immanuel.e.stampfli@gmail.com

