arXiv:1802.09258v1 [math.AG] 26 Feb 2018

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN
DIMENSION TWO
CHRISTIAN URECH

Abstract. We classify simple groups that act by birational transformations
on compact complex Kähler surfaces. Moreover, we show that every ﬁnitely
generated simple group that acts non-trivially by birational transformations
on a projective surface over an arbitrary ﬁeld is ﬁnite.

Contents
1. Introduction and results
1.1. Acknowledgements
2. Preliminaries
2.1. The Picard-Manin space
2.2. Degrees
2.3. Groups preserving a fibration
2.4. Groups of elliptic elements
2.5. Monomial transformations
2.6. Small cancellation
2.7. Non-rational surfaces
3. Subgroups containing loxodromic elements
3.1. Degree bounds
3.2. Base-points and toric boundaries
3.3. Proof of Theorem 3.1
4. Proof of Theorem 1.1 and Theorem 1.2
4.1. The parabolic and elliptic case
4.2. Proofs
5. Finitely generated subgroups
References

2
3
3
4
5
6
7
9
10
11
12
12
13
22
22
22
23
23
25

Date: February 2018.
2010 Mathematics Subject Classification. 14E07; 14L30; 32M05; 20F67.
Key words and phrases. Cremona group, simple groups, groups of birational transformations,
Kähler surfaces, small cancellation.
The author gratefully acknowledges support by the Swiss National Science Foundation Grant
”Birational Geometry” PP00P2 128422 /1 as well as by the Geldner-Stiftung, the FAG Basel,
the Janggen Pöhn-Stiftung and the State Secretariat for Education, Research and Innovation of
Switzerland.
1

2

CHRISTIAN URECH

1. Introduction and results
Let S be a surface over a field k and denote by Bir(S) its group of birational
transformations. If S is rational, this group is particularly rich and interesting. In
this case it is isomorphic to the plane Cremona group
Cr2 (k) := Bir(P2k ).
In the last decade numerous results about the group structure of the plane Cremona
group have been proven (see [Can15] for an overview). One of the main techniques
to better understand infinite subgroups of Cr2 (k) was the construction of an action
by isometries of the plane Cremona group on an infinite dimensional hyperbolic
space H∞ (P2 ) and the use of results from hyperbolic geometry and group theory.
For instance, it had been a long-standing open question, whether the plane Cremona group is simple as a group until Cantat and Lamy showed in 2012 that it
is not ([CLdC13]). The main idea to prove this result was to use techniques from
small cancellation theory, an approach that has been refined by Shepherd-Barron
and Lonjou (see [SB13], [Lon16]). In this paper we take these results as a starting
point to give a classification of all simple groups that act non-trivially by birational transformations on compact complex Kähler surfaces. Our main result is the
following:
Theorem 1.1. Let G be a simple group. Then
(1) G acts non-trivially by birational transformations on a rational complex
projective surface if and only if G is isomorphic to a subgroup of PGL3 (C).
(2) G acts non-trivially by birational transformations on a non-rational compact complex Kähler surface of negative Kodaira dimension if and only if
G is finite or isomorphic to a subgroup of PGL2 (C).
(3) G acts non-trivially by birational transformations on a compact complex
Kähler surface S of non-negative Kodaira dimension if and only if G is
finite.
It should be emphasized that part (2) and (3) of Theorem 1.1 are not hard to
prove using some well-known facts about groups of birational transformations of
non-rational compact complex surfaces (see Section 2.7). Whereas for the proof of
the first part we will use some rather difficult theorems and lengthy arguments.
An element f ∈ Cr2 (k) is called elliptic, parabolic or loxodromic if the isometry of the hyperbolic space H∞ (P2 ) induced by f is elliptic, parabolic or loxodromic respectively. This distinction is closely linked to the dynamical behavior of f (see Section 2.2). The subgroup J ⊂ Cr2 (C) of elements preserving a
given rational fibration is called the de Jonquières subgroup. It is isomorphic to
PGL2 (C) ⋉ PGL2 (C(t)). A faithful and regular action of an algebraic group H on a
rational projective surface S induces an embedding of H into Cr2 (C) defined up to
conjugation; the image is called an algebraic subgroup (see Section 2.4 for details).
We will give the following precise description of simple subgroups of Cr2 (C):
Theorem 1.2. Let G ⊂ Cr2 (C) be a simple group. Then:
(1) G does not contain loxodromic elements.
(2) If G contains a parabolic element, then G is conjugate to a subgroup of J .
(3) If all elements in G are elliptic, then either G is a simple subgroup of an
algebraic subgroup of Cr2 (C), or G is conjugate to a subgroup of J .

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

3

Theorem 1.1 naturally leads to the question about the classification of simple subgroups of PGL3 (C) and PGL2 (C). Obvious classes of simple subgroups of PGL2 (C)
are finite simple subgroups, or subgroups of the form PSL2 (k), where k ⊂ C is a
subfield. It is unclear, whether there exist other examples. In fact, already the
following question seems to be open:
Question 1.1. Does PSL2 (Q) contain proper infinite simple subgroups?
Question 1.1 can be seen in the context of a more general question that has been
asked by McKay and Serre (see [Can18], [MK14, 15.57.] for details).
If we consider only finitely generated simple subgroups of Bir(S), we do not
have to restrict ourselves to the field of complex numbers and we can use different
techniques. Recall that a group G satisfies the property of Malcev if every finitely
generated subgroup Γ ⊂ G is residually finite, i.e. for every element g ∈ Γ there
exists a finite group H and a homomorphism ϕ : Γ → H such that g is not contained
in the kernel of ϕ. Malcev showed that linear groups satisfy this property ([Mal40]).
Other groups that fulfill the property of Malcev include automorphism groups of
schemes over any commutative ring ([BL83, Corollary 1.2]). In [Can11], Cantat
asked whether the plane Cremona group has the property of Malcev, a question
that is still open. Finitely generated simple subgroups of groups with the property
of Malcev are always finite. We will prove the following result (where surfaces are
always considered to be geometrically irreducible):
Theorem 1.3. Let S be a surface over a field k and Γ ⊂ Bir(S) a finitely generated
simple group. Then Γ is finite.
In other words, all finitely generated simple groups of birational transformations
in dimension 2 are finite. From the classification of finite subgroups of Cr2 (C) (see
[DI09]) we obtain in particular:
Corollary 1.4. A finitely generated simple subgroup of Cr2 (C) is isomorphic to
Z /p Z, for some prime p,

A5 ,

A6 ,

PSL2 (7).

The conjugacy classes of these finite groups are classified in [DI09].
1.1. Acknowledgements. I express my warmest thanks to my PhD-advisors Jérémy Blanc and Serge Cantat for their guidance during this work, their constant
support and helpful comments on previous versions of this text. I am indebted to
Michel Brion and Ivan Cheltsov for numerous helpful comments on this work. I also
thank Vincent Guirardel, Stéphane Lamy, Anne Lonjou and Susanna Zimmermann
for interesting discussions.
2. Preliminaries
We always assume that k is a fixed algebraically closed field (unless stated explicitely otherwise). If we choose homogeneous coordinates [x : y : z] of P2k , every
element f ∈ Cr2 (k) is given by
[x : y : z] 799K [f0 (x, y, z) : f1 (x, y, z) : f2 (x, y, z)],
where f0 , f1 , f2 ∈ k[x, y, z] are homogeneous polynomials of the same degree and
without a non-constant common factor. We will identify f with [f0 : f1 : f2 ] by
abuse of notation. With respect to affine coordinates (x, y) = [x : y : 1], the

4

CHRISTIAN URECH

birational transformation f is given by (x, y) 799K (F, G), where F =
f1 (x,y,1)
f2 (x,y,1)

f0 (x,y,1)
f2 (x,y,1) , G

=

∈ k(x, y). When working with affine coordinates, we identify f with (F, G)

2.1. The Picard-Manin space. Let X be a projective surface. Then Bir(X)
acts by isometries on an infinite dimensional hyperbolic space H∞ (X). Since this
construction has been described in detail in various places, we will just briefly sketch
the main ideas and refer to [Man86] and [Can11] for proofs (see also [Can15] and
[CLdC13]).
We start by a construction that is due to Manin ([Man86]). The bubble space
B(X) of a smooth projective surface X is the set of all points that belong to X or
are infinitely near to X. It is defined as the set of all triples (y, Y, π), where Y is
a smooth projective surface, y ∈ Y and π : Y → X a birational morphism, modulo
the following equivalence relation: A triple (y, Y, π) is equivalent to (y ′ , Y ′ , π ′ ) if
there exists a birational map ϕ : Y 99K Y ′ that restricts to an isomorphism in a
neighborhood of y that maps y to y ′ , and that satifies π ′ ◦ ϕ = π. A proper point
of X is a point p ∈ B(X) that is equivalent to (x, X, id). All points in B(X) that
are not proper are called infinitely near. If there is no ambiguity, we will denote a
point (y, Y, π) in the bubble space just by y.
Denote by B(f ) the base-points of a birational map f : X 99K Y of projective surfaces X and Y . A birational morphism π : X → Y of surfaces induces a
bijection (π1 )• : B(X) → B(Y ) \ B(π −1 ), where π• (x, X, ϕ) := (x, X, π ◦ ϕ). A birational transformation of smooth projective surfaces f : X 99K Y defines a bijection
f• : B(X) \ B(f ) → B(Y ) \ B(f −1 ) by f• := (π2 )• ◦ (π1 )−1
• , where π1 : Z → X,
π2 : Z → Y is a minimal resolution of f .
We define the Picard-Manin space of a smooth projective surface X by
Z(X) :=

lim

π : Y →X

NS(X),

where the direct limit is taken over all birational morphisms of smooth projective
surfaces π : Y → X. The intersection forms on the groups NS(Y ) induce a quadratic
form on Z(X) of signature (1, ∞), by the Hodge index Theorem. For a point
p ∈ B(X) we denote by ep the class of the exceptional divisor of the blow-up of p
in Z(X). The Picard-Manin space has the following decomposition
M
Z ep ,
Z(X) = NS(X) ⊕
p∈B(X)

where ep · ep = −1 and ep · eq = 0 for all p 6= q, as well as ep · D = 0 for all
D ∈ NS(X). Consider the following completion of the real vector space Z(X) ⊗ R:
X
X
a2p < ∞}.
ap ep | v ∈ NS(X) ⊗ R, ap ∈ R,
Z(X) := {v +
p∈B(X)

p∈B(X)

The intersection form on Z(X) ⊗ R extends continuously to a quadratic form on
Z(X) with signature (1, ∞). We fix a vector e0 ∈ Z(X) that corresponds to an
ample class on X and define H∞ (X) as the set of all elements v in Z(X) such that
v · v = 1 and e0 · v > 0. This yields a distance d on H∞ (X) by
d(u, v) := arccosh(u · v).
With this distance, the space H∞ (X) is a complete metric space that is hyperbolic.
The boundary ∂ H∞ (X) of H∞ (X) is the space of lines in the isotropic cone.

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

5

Let π : Y → X be a birational morphism between smooth projective surfaces.
Then π induces an isomorphism π∗ : Z(Y ) → Z(X) in the following way: Let
NS(Y ) = NS(X) ⊕ Z ep1 ⊕ · · · ⊕ Z epn , where p1 , . . . , pn ∈ B(X) are the points
blown up by π, and epi is the irreducible component in the exceptional divisor that
is contracted by π to pi . We now define the map π∗ by π∗ (ep ) = eπ• (p) for all
p ∈ B(Y ), π∗ (epi ) = epi and π∗ (D) = D for all D ∈ NS(X) ⊂ NS(Y ), with respect
to the inclusion given by the pull-back of π. For a birational map f : Y 99K X we
define an isomorphism f∗ : Z(Y ) → Z(X) by f∗ = (π2 )∗ ◦ (π1 )∗−1 , where π1 : Z →
Y, π2 : Z → X is a minimal resolution of indeterminacies. If f ∈ Bir(X), then f∗
induces an automorphism of Z(X) ⊗ R, that extends to an automorphism of the
completion Z(X) and preserves the intersection form. This yields in particular an
isometry on H∞ (X) and we obtain an action by isometries of Bir(X) on H∞ (X).
Recall that there are three types of isometries of hyperbolic spaces: elliptic,
parabolic and loxodromic isometries. Let f be an isometry of H∞ (X) and define
L(f ) := inf{d(f (p), p) | p ∈ H∞ (X)}. If L(f ) = 0 and the infimum is attained,
i.e. f has a fixed point in H∞ (X), then f is elliptic. If L(f ) = 0 but the infimum is
not attained, f is parabolic. It can be shown that a parabolic isometry fixes exactly
one point p on the border ∂ H∞ (X). If L(f ) > 0 then f is loxodromic. In this case
the set {p ∈ Hn−1 | d(h(p), p) = L(h)} is a geodesic line in H∞ (X), the so-called
axis Ax(f ) of f , and L(f ) is called the translation length. A loxodromic isometry
has exactly two fixed points in ∂ H∞ (X), one of them attractive and the other
one repulsive (see [Can11]). An element f ∈ Bir(X) is called elliptic, parabolic
or loxodromic if the corresponding isometry on H∞ (X) is elliptic, parabolic or
loxodromic respectively, and the axis Ax(f ) of a loxodromic element f ∈ Bir(X) is
the axis in H∞ (X) of the isometry corresponding to f .
2.2. Degrees. Let X be a projective surface with a polarization H and f ∈ Bir(X).
The dynamical degree of f is defined by
1

λ(f ) := lim degH (f n ) n .
n→∞

The following result is well known (see for example [Can15, Lemma 4.5]):
Proposition 2.1. The dynamical degree λ(f ) of a birational transformation f ∈
Bir(X) does not depend on the choice of the polarization H. Moreover, f is loxodromic if and only if λ(f ) > 1. In this case, the translation length of the isometry
of H∞ (X) induced by f is log(λ(f )).
In [BC16], Blanc and Cantat studied the spectrum of possible values that can be
obtained as dynamical degrees of birational transformations of a given projective
surface.
Theorem 2.2 ([BC16, Corollary 1.7], [DF01]). Let X be a projective surface over
an algebraically closed field k and let f ∈ Bir(X) with λ(f ) > 1. Then λ(f ) is
either a Pisot or a Salem number. Moreover, λ(f ) ≥ λL , where λL > 1 is the
Lehmer number.
Recall that the Lehmer number λL ≃ 1.1762 is the unique root > 1 of the
irreducible polynomial x10 + x9 − x7 − x6 − x5 − x4 − x3 + x + 1. The fact that
there is no birational transformation f of a surface such that 1 < λ(f ) < λL is
usually refered to as the gap property. One of the consequences of Theorem 2.2 is
the following:

6

CHRISTIAN URECH

Theorem 2.3 (Cantat, Blanc, [BC16, Corollary 1.5]). Two loxodromic elements
f, g ∈ Cr2 (k) of degree ≤ d are conjugate if and only if they are conjugate by an
element of degree ≤ (2d)57 .
The dynamical behavior of a birational transformation f of a surface X, in
particular the growth of its degree under iteration, is closely linked to the type of
the isometry of H∞ (X) induced by f , as the following important theorem states
(we refer to [Can15] for details and references):
Theorem 2.4 (Gizatullin; Cantat; Diller and Favre). Let X be a smooth projective
surface over an algebraically closed field k with a fixed polarization H and f ∈
Bir(X). Then one of the following is true:
(1) f is elliptic, the sequence {degH (f n )} is bounded and there exists a k ∈
Z+ and a birational map ϕ : X 99K Y to a smooth projective surface Y
such that ϕf k ϕ−1 is contained in Aut0 (Y ), the neutral component of the
automorphism group Aut(Y ).
(2a) f is parabolic and degH (f n ) ∼ cn for some positive constant c and f preserves a rational fibration, i.e. there exists a smooth projective surface Y , a
birational map ϕ : X 99K Y , a curve B and a fibration π : Y → B, such that
a general fiber of π is rational and such that ϕf ϕ−1 permutes the fibers of
π.
(2b) f is parabolic and degH (f n ) ∼ cn2 for some positive constant c and f
preserves a fibration of genus 1 curves, i.e. there exists a smooth projective
surface Y , a birational map ϕ : X 99K Y , a curve B and a fibration π : Y →
B, such that ϕf ϕ−1 permutes the fibers of π and such that π is an elliptic
fibration, or a quasi-elliptic fibration (the latter only occurs if char(k) = 2
or 3).
(3) f is loxodromic and degH (f n ) = cλ(f )n + O(1) for some positive constant
c, where λ(f ) is the dynamical degree of f . In this case, f does not preserve
any fibration.
Theorem 2.4 has lead to various remarkable results on the group structure of
Bir(X); we will state some of them in the following sections. From the point of
view of geometric group theory, the plane Cremona group acting on H∞ (X) has
some analogies with other groups acting on hyperbolic spaces such as for example
the mapping class group of a surface acting on the complex of curves or groups of
outer automorphisms of a free group with n generators acting on the outer space.
2.3. Groups preserving a fibration. Let us recall the structure of subgroups of
Cr2 (k) that preserve a given fibration. The de Jonquières subgroup J of Cr2 (k)
is the subgroup of elements that preserve the pencil of lines through the point
[0 : 0 : 1] ∈ P2 . With respect to affine coordinates [x : y : 1], an element in J is of
the form


ax + b α(x)y + β(x)
,
,
(x, y) 799K
cx + d γ(x)y + δ(x)




a b
α(x) β(x)
where
∈ PGL2 (k) and
∈ PGL2 (k(x)). This induces
c d
γ(x) δ(x)
an isomorphism
J ≃ PGL 2(k) ⋉ PGL2 (k(x)).

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

7

By a Theorem of Noether and Enriques ([Bea96, III.4]), every subgroup of Cr2 (k)
that preserves a rational fibration is conjugate to a subgroup of J .
Two smooth cubic curves C and D in P2 intersect in 9 points p1 , . . . , p9 and
there is a pencil of cubic curves passing through these 9 points. By blowing up
p1 , . . . , p9 , we obtain a rational surface X with a fibration π : X → P1 whose fibers
are genus 1 curves. More generally, we can consider a pencil of curves of degree 3m
for any m ∈ Z+ and blow up its base-points to obtain a surface X. Such a pencil
of genus 1 curves is called a Halphen pencil and the surface X a Halphen surface
of index m. A surface X is Halphen if and only if the linear system | − mKX | is
one-dimensional, has no fixed component and is base-point free. Up to conjugacy
by birational maps, every pencil of genus 1 curves of P2 is a Halphen pencil and
Halphen surfaces are the only examples of rational elliptic surfaces. We refer to
[CD12] and [IS96, Chapter 10] for proofs and more details. A birational transformation f that preserves the genus 1-fibration of a Halphen surface X preserves in
particular the canonical divisor KX of X. This implies that f is an automorphism.
A subgroup G of Cr2 (k) that preserves a pencil of genus 1 curves is therefore conjugate to a subgroup of the automorphism group of some Halphen surface. The
automorphism groups of Halphen surfaces are studied in [Giz80] and in [CD12], see
also [Gri16]. We need the following result, which can be found in [CD12, Remark
2.11]:
Theorem 2.5. Let X be a Halphen surface. Then there exists a homomorphism
ρ : Aut(X) → PGL2 (C) with finite image such that ker(ρ) is an extension of an
abelian group of rank ≤ 8 by a cyclic group of order dividing 24.
We also recall the following result from [Can11] (see also [Ure18, Lemma 2.5]):
Lemma 2.6. Let G ⊂ Cr2 (C) be a group that does not contain any loxodromic
element but contains a parabolic element. Then G is conjugate to a subgroup of the
de Jonquières group J or to a subgroup of Aut(Y ), where Y is a Halphen surface.
2.4. Groups of elliptic elements. The group Bir(X) can be equipped with the
so called Zariski topology (see [Dem70], [Ser08], and [BF13] for details), which is
defined in the following way: Let A be an algebraic variety and
f : A × X 99K A × X
a birational map of the form (a, x) 799K (a, f (a, x)) that induces an isomorphism
between open subsets U and V of A × X such that the projections from U and
from V to A are both surjective. For each a ∈ A we obtain therefore an element
of Bir(X) defined by x 7→ p2 (f (a, x)), where p2 is the second projection. A map
A → Bir(X) of this form is called a morphism. The Zariski topology on Bir(X)
is defined as the finest topology such that, for all algebraic varieties A, all the
morphisms f : A → Bir(X) are continuous (with respect to the Zariski topology on
A).
Theorem 2.7 ([Xie15, Theorem 4.3]). The dynamical degree is a lower semicontinuous function. More precisely, let A ⊂ Cr2 (k) be a family of birational
transformations parametrized by an algebraic variety A. Then for all λ ∈ R, the
set {f ∈ A | λ(f ) > λ} is open in A.

8

CHRISTIAN URECH

Theorem 2.8 ([Xie15, Theorem 1.6]). Let d ≥ 2 be an integer. Denote by Cr2 (k)d
the space of Cremona transformations of degree d. Then for any λ < d, the set
Uλ = {f ∈ Cr2 (k)d | λ1 (f ) > λ}
is open and Zariski-dense in the algebraic variety Cr2 (k)d .
An algebraic subgroup of Bir(X) is the image of an algebraic group G by a
morphism G → Bir(X) that is also an injective group homomorphism. Algebraic
groups are closed in the Zariski topology and of bounded degree in the case of
Bir(X) = Crn (k). Conversely, closed subgroups of bounded degree in Crn (k) are
always algebraic subgroups with a unique algebraic group structure that is compatible with the Zariski topology (see [BF13]). In [BF13], it is shown moreover, that
all algebraic subgroups of Crn (k) are linear.
Every algebraic subgroup of Cr2 (C) is contained in a maximal algebraic subgroup. The maximal algebraic subgroups of Cr2 (C) have been classified by Enriques
and Blanc. Each of them can be realized as an automorphism group of a complex
projective variety ([Enr93], [Bla09]):
Theorem 2.9 ([Bla09]). Every algebraic subgroup of Cr2 (C) is contained in a maximal algebraic subgroup. The maximal algebraic subgroups of Cr2 (C) are conjugate
to one of the following groups:
(1) Aut(P2 ) ≃ PGL3 (C)
(2) Aut(P1 × P1 ) ≃ (PGL2 (C))2 ⋊ Z /2 Z
(3) Aut(S6 ) ≃ (C∗ )2 ⋊ (S3 × Z /2 Z), where S6 is the del Pezzo surface of
degree 6.
(4) Aut(Fn ) ≃ C[x, y]n ⋊ GL2 (C)/µn , where n ≥ 2 and Fn is the n-th Hirzebruch surface and µn ⊂ GL2 (C) is the subgroup of n-torsion elements in
the center of GL2 (C).
(5) Aut(S, π), where π : S → P1 is an exceptional conic bundle.
(6)-(10) Aut(S), where S is a del Pezzo surface of degree 5, 4, 3, 2 or 1. In this
case, Aut(S) is finite.
(11) Aut(S, π), where (S, π) is a (Z /2 Z)2 -conic bundle and S is not a del Pezzo
surface. There exists an exact sequence
1 → V → Aut(S, π) → HV → 1,
where V ≃ (Z /2 Z)2 and HV ⊂ PGL2 (C) is a finite subgroup.
A subgroup of Cr2 (C) consisting only of elliptic elements is called a group of elliptic elements. In [Ure18] groups of elliptic elements of Cr2 (C) have been classified.
In particular, the following result is shown:
Theorem 2.10 ([Ure18, Theorem 1.1 and 1.2]). Let G ⊂ Cr2 (C) be a subgroup of
elliptic elements. Then one of the following is true:
(1) G is conjugate to a subgroup of an algebraic group;
(2) G preserves a rational fibration;
(3) G is a torsion group and G is isomorphic to a subgroup of an algebraic
group.
We also recall the following result, which in the original version was stated for the
case of complex numbers. However, the proof only relies on hyperbolic geometry
of H∞ (P2 ) and does not depend on the characteristic of the base field:

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

9

Theorem 2.11 ([Can11, Proposition 6.14]). Let k be an algebraically closed field
and let Γ ⊂ Cr2 (k) be a finitely generated subgroup of elliptic elements. Then Γ is
either contained in an algebraic subgroup, or Γ preserves a rational fibration and is
therefore conjugate to a subgroup of J ≃ PGL2 (k) ⋉ PGL2 (k(t)).
2.5. Monomial transformations. The subgroup of diagonal automorphisms D2 ⊂
PGL3 (k) is a torus of rank 2. It is maximal in the following sense: all algebraic
tori in Cr2 (k) are of rank ≤ 2 and are conjugate in Cr2 (k) to a subtorus of D2
([BB67], [Dem70]). A matrix A = (aij ) ∈ GL2 (Z) determines a rational map fA of
P2 , which we define by
fA = (xa11 y a12 , xa21 y a22 ).
We thus obtain an injective homomorphism GL2 (Z) → Cr2 (k). By abuse of notation, we will identify its image with GL2 (Z). The normalizer of D2 in Cr2 (k) is the
semidirect product
NormCr2 (k) (D2 ) = GL2 (Z) ⋉ D2 .
Elements in GL2 (Z) ⋉ D2 are called monomial transformations. We say that f ∈
Cr2 (k) is of monomial type, if f is conjugate to an element in GL2 (Z) ⋉ D2 . We call
a matrix A ∈ GL2 (Z) loxodromic, if the corresponding birational monomial map in
Cr2 (k) is loxodromic.
Lemma 2.12. Let m ∈ GL2 (Z) ⊂ Cr2 (k) be a loxodromic monomial transformation and d ∈ D2 a diagonal automorphism. There exists a diagonal automorphism
d′ ∈ D2 such that d′−1 dmd′ = m.


a b
Proof. Assume that m = (xa y b , xc y d ), where A :=
∈ GL2 (Z). Then m
c d
acts by conjugation on D2 by sending (c1 x, c2 y) to (c′1 x, c′2 y), where c′1 = ca1 cb2
and c′2 = cc1 cd2 . We therefore have (c1 x, c2 y)−1 m(c1 x, c2 y) = (d1 x, d2 y)m, where
d1 = c1a−1 cb2 and d2 = cc1 cd−1
. To show the claim of the lemma it is therefore enough
2
to show that the homomorphism ϕA−id of D2 given by (c1 x, c2 y) 7→ (d1 x, d2 y) is
surjective. Since m is loxodromic, the matrix A has no eigenvalue of modulus 1
and hence the determinant of A − id is not 0. This is equivalent to the kernel of
ϕA−id being finite, which implies surjectivity.

Lemma 2.13. Let m ∈ GL2 (Z) ⊂ Cr2 (k) be a loxodromic monomial map and
∆2 ⊂ D2 an infinite subgroup that is normalized by m. Then ∆2 is dense in D2
with respect to the Zariski topology.
0

0

Proof. Let ∆2 be the neutral component of the Zariski-closure of ∆2 . If ∆2 has
0
dimension 2, we are done. Otherwise, ∆2 is of dimension 1, since ∆2 is not finite.
0
0
It follows that a general orbit of ∆2 has dimension 1. Since m normalizes ∆2 it
permutes the orbits. This implies that m preserves a fibration. But this is not
possible since m is loxodromic, by assumption.

Lemma 2.14. Let f ∈ Cr2 (k) be a birational transformation such that f D2 f −1 ⊂
GL2 (Z) ⋉ D2 . Then f ∈ GL2 (Z) ⋉ D2 .
Proof. Since f D2 f −1 is an algebraic subgroup, it is of bounded degree. Since
GL2 (Z) contains only finitely many elements of a given degree, f D2 f −1 is therefore
contained in a group of the form H ⋉ D2 , where H is finite. Since f D2 f −1 is
connected, it is contained in D2 , which implies that f normalizes D2 .


10

CHRISTIAN URECH

Let M ∈ GL2 (Z) and fM be the corresponding birational transformation. The
dynamical degree λ(fM ) of fM is exactly the spectral radius of the matrix M .
This shows in particular that the dynamical degree of a monomial matrix is always
a quadratic algebraic integer. If M ∈ GL2 (Z) has spectral radius strictly larger
than 1, the birational map fM is loxodromic. This yields examples of loxodromic
elements that normalize an infinite subgroup consisting only of elliptic elements.
The following theorem shows that, up to conjugacy, these are the only examples
with this property if we work over the field of complex numbers C. A first version
has been proven by Cantat in [DP12, Theorem 7.1], the more general version, which
we state below, can be found in [Ure18]:
Theorem 2.15. Let N ⊂ Cr2 (C) be a subgroup containing at least one loxodromic
element. Assume that there exists a short exact sequence
1 → A → N → B → 1,
where A is an infinite group of elliptic elements. Then N is conjugate to a subgroup
of GL2 (Z) ⋉ D2 .
2.6. Small cancellation. Small cancellation has been one of the fundamental
tools used by Cantat and Lamy to show that Cr2 (C) is not simple. Dahmani,
Guirardel and Osin applied similar arguments in the context of mapping class
groups ([DGO17]). We refer to [Cou16] for an overview of the subject.
Let ǫ, B > 0. We say that two geodesic lines L and L′ in H∞ are (ǫ, B)-close, if
the diameter of the set S = {x ∈ L | d(x, L′ ) ≤ ǫ} is at least B.
Definition 2.1. Let G be a subgroup of Cr2 (k) and g ∈ G a loxodromic element.
We call g rigid in G if there exists an ǫ > 0 and a B > 0 such that for every element
h ∈ G one has: h(Ax(g)) is (ǫ, B)-close to Ax(g) if and only if h(Ax(g)) = Ax(g).
We call g tight in G if it is rigid in G and if h(Ax(g)) = Ax(g) implies hgh−1 = g
or hgh−1 = g −1 for all h ∈ G .
Example 2.16. Let m ∈ GL2 (Z) ⊂ Cr2 (k) be a loxodromic element. Then the
group D2 fixes the axis of m pointwise and no power of m is tight in Cr2 (k) ([Can15,
Example 7.1]). More generally, if G ⊂ Cr2 (k) is a subgroup containing m and an
infinite subgroup ∆2 ⊂ D2 , then no power of m is tight in G.
Lemma 2.17. Let g ∈ GL2 (Z) be a loxodromic element and f ∈ Cr2 (k) an element
such that f gf −1 is contained in GL2 (Z) ⋉ D2 . Then f ∈ GL2 (Z) ⋉ D2 .
Proof. Assume that f gf −1 ∈ GL2 (Z) ⋉ D2 . Then the axis of the loxodromic
element f gf −1 is fixed pointwise by both, f D2 f −1 and D2 (see Example 2.16).
Hence, the group A generated by f gf −1 and D2 is bounded. By Theorem 2.15, A
is conjugate to a subgroup of D2 . This implies that f D2 f −1 ⊂ D2 and therefore,
that f ∈ GL2 (Z) ⋉ D2 .

In [CLdC13] the authors show that a power of a generic element in Cr2 (C) is tight
in Cr2 (C) and prove the following theorem to argue that Cr2 (C) is not simple. In
[Lon16] Lonjou showed that a power of a Hénon transformation is tight in Cr2 (k),
where k is an arbitrary field in order to show that Cr2 (k) is not simple.
Theorem 2.18 ([CLdC13, Theorem 2.10]). Let G ⊂ Cr2 (C) be a subgroup and let
g ∈ G be an element that is tight in G. Then every element h in hhgii, where hhgii
denotes the normal subgroup of G generated by g, satisfies the following alternative:

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

11

Either h = id or h is loxodromic and L(h) ≥ L(g). In particular, for n ≥ 2, the
element g is not contained in hhg n ii and G is therefore not simple.
A couple of years later, Shepherd-Barron has classified tight elements in Cr2 (C)
using Theorem 2.15:
Theorem 2.19 ([SB13]). In Cr2 (C) every loxodromic element is rigid. If g is
conjugate to a monomial map, then no power of g is tight. In all the other cases,
there exists an integer n such that g n is tight.
Note that if G ⊂ Cr2 (C) is a subgroup and g ∈ Cr2 (C) is a rigid element, then
g is rigid in G as well. The same is true for tight elements. However, there exist
subgroups G ⊂ Cr2 (C) and loxodromic elements g ∈ G such that g is tight in G but
not in Cr2 (C). From the proof of Theorem 2.19 (see [SB13, p.18]) and Lemma 2.13
the following Theorem follows:
Theorem 2.20. Let G ⊂ Cr2 (C) be a subgroup and g ∈ G a loxodromic element.
The following two conditions are equivalent:
(1) no power of g is tight in G;
(2) there is a subgroup ∆2 ⊂ G that is normalized by g and a birational transformation f ∈ Cr2 (C) such that f ∆2 f −1 ⊂ D2 is a dense subgroup and
f gf −1 ∈ GL2 (Z) ⋉ D2 .
From Theorem 2.18 and Theorem 2.20 one deduces directly the following lemma:
Lemma 2.21. Let G ⊂ Cr2 (C) be a simple subgroup. Then for every loxodromic
element g ∈ G there exists an infinite subgroup ∆g2 ⊂ G and an element f ∈ Cr2 (C)
that conjugates ∆g2 to a dense subgroup of D2 and g to an element of GL2 (Z) ⋉ D2 .
In positive characteristic Theorem 2.15 does no longer hold, as the following
example shows:
Example 2.22. Let k be a field of characteristic p. The loxodromic element
(y, x + y p ) normalizes the additive group of elliptic elements k2 .
However, it turns out that these kind of examples are the only exceptions (see
[SB13] and [Can15]). We only need the following result, which follows from the
proof of Theorem 7.2 in [SB13, p.18]:
Theorem 2.23. Let k be an algebraically closed field and G ⊂ Cr2 (k) a subgroup.
Let g ∈ G be a loxodromic element such that no power of g is tight then g normalizes
an infinite group of elliptic elements that is either conjugate to a subgroup of D2 or
to a subgroup of k2 .
2.7. Non-rational surfaces. In this section we treat the case of non-rational compact complex Kähler surfaces of Theorem 1.1.
Lemma 2.24. Let S be a non-rational compact complex Kähler surface of Kodaira
dimension −∞ and G ⊂ Bir(S) a simple subgroup. Then G is either finite or
isomorphic to a subgroup of PGL2 (C).
Proof. There exists a non-rational curve C such that S is birationally equivalent
to P1 ×C, hence Bir(S) = PGL2 (C(C)) ⋊ Aut(C). It follows therefore that G ⊂
PGL2 (C(C)) or G ⊂ Aut(C). In the first case we are done, since the function field
C(C) can be embedded into C and hence PGL2 (C(C)) is a subgroup of PGL2 (C).
In the second case the lemma follows since Aut(C) is either finite or contains a
normal abelian subgroup of finite index.


12

CHRISTIAN URECH

Lemma 2.25. Let S be a compact complex Kähler surface of non-negative Kodaira
dimension and let G ⊂ Bir(S) be a simple subgroup. Then G is finite.
Proof. The class of compact complex Kähler surfaces that are birationally equivalent to S contains a unique smooth minimal model S ′ . It follows that Bir(S) ≃
Bir(S ′ ) = Aut(S ′ ). The group Aut(S ′ ) acts by linear transformations on the cohomology. This gives a linear representation ϕ : Aut(S ′ ) → GL(H ∗ (S ′ ; Z)), where
H ∗ (S ′ ; Z) is the direct sum of the cohomology groups of S ′ . The kernel of ϕ is
an algebraic group (see [Lie78]) and hence and extension of a complex torus by a
complex linear algebraic group. Let G ⊂ Aut(S ′ ) be a simple group, then either
G is contained in GLn (Z) for some n, and therefore finite. Or G is isomorphic
to a subgroup of an algebraic group. Since S ′ is of non-negative Kodaira dimension, there are no linear algebraic groups of positive dimension operating on S ′ ,
since otherwise S ′ would be uniruled. Hence H is abelian up to finite index and
therefore G is finite.

3. Subgroups containing loxodromic elements
In all of Section 3 we always work over the field C of complex numbers. The
main result of this section is the following:
Theorem 3.1. A simple subgroup G ⊂ Cr2 (C) does not contain any loxodromic
element.
The starting point to prove Theorem 3.1 is Lemma 2.21. It states that all
loxodromic elements in a simple group G are of monomial type and that, up to
conjugation, G contains a dense subgroup ∆2 ⊂ D2 for each of its loxodromic
elements. Our strategy is to show that if G contains a loxodromic element, these
conditions imply that G is conjugate to a subgroup of GL2 (Z) ⋉ D2 and from this
we will deduce a contradiction to the simplicity of G.
In Section 3.1 we first prove a result about the degrees of elements that conjugate
loxodromic elements to monomial elements. In Section 3.2 we take a closer look at
the dynamical behavior of exceptional curves and base-points. This will allow us
to prove Theorem 3.1 in Section 3.3.
3.1. Degree bounds. We start with some facts about loxodromic monomial elements.
Lemma 3.2. Let A ∈ SL2 (Z) be a loxodromic element. Then either A or −A is
conjugate in GL2 (Z) to a matrix B such that all entries of B are non-negative.
Proof. In [Kar13, Theorem 7.3] it is shown that for a loxodromic
 element
 A ∈
a c
SL2 (Z) either A or −A is conjugate to a matrix of the form
, where
b d
d > b > a ≥ 0. If a 6= 0 then ad − bc = 1 implies c ≥ 0 and we are done. If a = 0,
then we calculate



 

1 1
0 c
1 −1
b c+d−b
=
.
0 1
b d
0 1
b
d−b
Since d − b and b are positive, it follows that c + d − b ≥ 0. If c + d − b = 0 the
matrix is not loxodromic anymore, hence c + d − b > 0 and we are done.

With the help of Lemma 3.2 the following well-known Lemma can be proved:

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

13

Lemma 3.3. For an integer n ∈ Z there exist only finitely many conjugacy classes
of loxodromic elements in GL2 (Z) with trace n.
Lemma 3.4. Let λ > 0 and g ∈ GL2 (Z) ⋉ D2 ⊂ Cr2 (C). If λ1 (g) ≤ λ then g is
conjugate in GL2 (Z) to an element of degree ≤ C(λ), where the constant C(λ) only
depends on λ.
Proof. By Lemma 2.12, we may assume that gh ∈ GL2 (Z). The dynamical degree
λ1 (g) is the spectral radius of g, i.e. the absolute value of the eigenvalue of the
matrix g that is strictly larger than 1. The condition λ1 (g) ≤ λ implies that
| tr(g)| = |λ1 (g) + λ1 (g)−1 | ≤ λ + 1. So tr(g) is contained in the finite set of
integers between −(λ + 1) and (λ + 1). By Lemma 3.3, there exist only finitely
many conjugacy classes in GL2 (Z) to which g can belong. Denote by f1 , . . . , fn
representants of these classes. We set C(λ) = max{deg(f1 ), . . . , deg(fn )}.

Finally, we are able to prove the main result of this section:
Lemma 3.5. Let g ∈ Cr2 (k) be a loxodromic element of monomial type. Then
there exists an m ∈ GL2 (Z) ⋉ D2 and a constant K depending only on d := deg(g),
such that g is conjugate to m by an element of degree ≤ K.
Proof. We observe that λ1 (g) ≤ d. By Lemma 3.4, there exists a constant C(d)
such that g is conjugate to an m ∈ W2 ⋉ D2 of degree ≤ C(d). By Theorem 2.3,
g can be conjugated to m by an element of degree ≤ K, where K = (2r)57 for
r = max{d, C(d)}.

3.2. Base-points and toric boundaries. Let S be a smooth projective surface
with a given regular D2 -action that has an open orbit U ⊂ S. The fixed points of
this action are called toric points, the algebraic set ∂S := S \ U is called the toric
boundary. In what follows, we consider P2 equipped with the standard action of
D2 , or blow-ups of toric points π : S → P2 with the pull-back of the standard action
of D2 on P2 . In this case, ∂S is always a curve whose irreducible components are
curves isomorphic to P1 with self-intersection ≤ 1.
A toric point in the bubble space B(P2 ) is a point of the form (p, S, π), where
π : S → P2 is the blow-up of toric points and p ∈ S is a toric point. If a toric point
q1 ∈ B(P2 ) lies above a point q2 ∈ B(P2 ), then q2 is toric as well.
Let C be a curve on a surface S and f ∈ Bir(S). In what follows, we denote by
f (C) the strict transform of C under f , i.e. the closure of f (C \ {Ind(f )}), and by
f −1 (C) the strict transform of C under f −1 . Note that with this notation, f −1 (C)
does not contain all the points that are mapped by f to C.
Let S be a projective surface, f ∈ Bir(S), and assume that f contracts a curve
C ⊂ S. If f (C) = p ∈ S we say that f contracts C to p. We extend this notion to
infinitely near points. Consider a point in the bubble space B(S) with a representative (p, T, π). Let f˜ ∈ Bir(T ) be given by f˜ := π −1 f π and denote by C̃ the strict
transform of C under π. We say that f contracts C to p if f˜(C̃) = p. If p lies above
a point q in B(S) and f contracts a curve C ⊂ S to p, then f also contracts C to q.
Note as well, that if a birational transformation f ∈ Cr2 (C) contracts a curve C to
a non-toric point in B(P2 ), then there exists a blow-up of toric points π : S → P2
such that π −1 f π(C) is a proper non-toric point of S.
By abuse of notation, in this section we will sometimes denote the lift of a
birational transformation f ∈ Cr2 (C) under a blow-up of toric points π : S → P2

14

CHRISTIAN URECH

again by f . This will simplify the notation, as the choice of π will always be
clear from the context. Similarly, we will identify a curve C on P2 with its strict
transform on S, if there is no ambiguity.
Definition 3.1. Let S be a projective surface and f ∈ Bir(S). We denote by E(f )
the number of irreducible components of the exceptional divisor of f .
Remark 3.1. For f ∈ Cr2 (C), the numbers E(f ) can be bounded by a constant
depending only on the degree of f . If f and g are two Cremona transformation,
then E(f g) ≤ E(f ) + E(g).
Lemma 3.6. Let S be a rational projective surface, f ∈ Bir(S) of monomial type
and π : S 99K P2 a birational transformation. Then E(f n ) is uniformly bounded for
all n by a constant K only depending on π and the degree of πf π −1 .
Proof. The birational transformation π : S 99K P2 only contracts finitely many
irreducible curves. So E(f n ) is uniformly bounded for all n if and only if E(πf n π −1 )
is uniformly bounded. It is therefore enough to consider the case f ∈ Bir(P2 ).
By Lemma 3.5, there exists a g ∈ Cr2 (C) of degree ≤ C, where C only depends
on deg(f ), such that gf g −1 = m ∈ GL2 (Z) ⋉ D2 . We have E(mn ) ≤ 3 for all n.
By Remark 3.1, E(g) is bounded by a constant K ′ depending only on deg(g) and
hence only on deg(f ). Therefore, E(f n ) = E(gmn g −1 ) ≤ 2K ′ + 3 and we thus set
K := 2K ′ + 3.

Lemma 3.7. Let f ∈ Cr2 (C) be a loxodromic element that is not contained in
GL2 (Z) ⋉ D2 . There exists an n ∈ Z+ and a dense open set V ⊂ D2 such that
f n d−1 f −n d is loxodromic for each d ∈ V .
Proof. Let α+ ∈ ∂ H∞ be the attracting fixed point of the isometry of H∞ induced
by f , and let α− ∈ ∂ H∞ be its repulsive fixed point. The axis Ax(f ) is the geodesic
line between α+ and α− . We claim that there exists a dense open subset U ⊂ D2
of elements that fix neither α+ nor α− . Denote by G ⊂ Cr2 (C) the subgroup of
all elements that fix α+ . Let L ⊂ Z(P2 ) be the one-dimensional subspace that
corresponds to α+ . Since G fixes α+ , its linear action on Z(P2 ) restricts to an
action on L by automorphisms preserving the orientation. This yields a group
homomorphism ρ : G → R∗+ . Loxodromic elements don’t fix any vector in Z(P2 ).
Let us note as well that the group G does not contain any parabolic element since
α+ is fixed by a loxodromic element and does therefore not correspond to the class
of a fibration. It follows that the kernel of ρ is a subgroup of elliptic elements, which
is normalised by f . If ker(ρ) is infinite, there exists, by Theorem 2.15, an element
h ∈ Cr2 (C), such that hGh−1 ⊂ GL2 (Z) ⋉ D2 . As f is not in GL2 (Z) ⋉ D2 , the
transformation h is not in GL2 (Z)⋉D2 and therefore, by Lemma 2.14, h−1 D2 h∩D2
is a proper closed subset of D2 . In particular, there exists a dense open set U1 ⊂ D2
that is not contained in G. If ker(ρ) is finite, the existence of such a dense open
U1 ⊂ D2 follows trivially. With the same argument, we obtain a dense open set
U2 ⊂ D2 that does not fix α− . Define U := U1 ∩ U2 . This proves the claim.
Let U 2 = {d2 |∈ U } and let d ∈ U ∩ U 2 be arbitrary. Then d does neither fix
+
α nor α− and d(α+ ) 6= α− . Denote by β + ∈ ∂ H∞ the attracting fixed point
of the loxodromic isometry d−1 f −1 d and by β − ∈ ∂ H∞ its repulsive fixed point.
By the above observation, α+ , α− , β + and β − are pairwise disjoint. Let S1+ be a
small neighborhood of α+ in ∂ H∞ and S1− a small neighborhood of α− . Similarly,
let S2+ be a small neighborhood of β + and S2− a small neighborhood of β − . We

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

15

may assume that S1+ , S1− , S2+ and S2− are pairwise disjoint. Since β + is attractive,
there exists an n1 ∈ Z+ such that d−1 f −n1 d(S1+ ) ⊂ S2+ . Similarly, let n2 ∈ Z+ be
such that f n2 (S2+ ) ⊂ S1+ is a proper subset. For n := max{n1 , n2 }, we obtain that
f n d−1 f −n d(S1+ ) is a proper subset of S1+ . Analogously, if we choose n large enough,
(f n d−1 f −n d)−1 (S2− ) is a proper subset of S2+ . Thus, f n d−1 f −n d has an attractive
fixed point in S1+ and a repulsive fixed point in S2− . In particular, f n d−1 f −n d is
loxodromic.
Consider the family of birational transformations {f n d−1 f −n d | d ∈ D2 }. It
contains one element of dynamical degree λ > 1. By Theorem 2.7, the dynamical
degree is a lower semi-continuous function. Hence, there exists a dense open subset
V ⊂ D2 such that the dynamical degree of f n d−1 f −n d is > 1 for all d ∈ V , which
is equivalent to f n d−1 f −n d being loxodromic.

Lemma 3.8. Let m be a loxodromic monomial transformation and (x, y) affine
coordinates. Let Lx be the line given by x = 0 and Ly be the line given by y = 0.
Then m(Lx ) 6= Lx and m(Ly ) 6= Ly .
Proof. By Lemma 2.12, we may assume that m ∈ GL2 (Z), since d(Lx ) = Lx and
d(Ly ) = Ly for all d ∈ D2 .
It is now enough to observe that m(Lx ) = Lx implies that m is of the form
(xy k , y ±1 ) and m(Ly ) = Ly implies that m is of the form (x±1 , xk y) for some
k ∈ Z. No transformation of the form (xy k , y ±1 ) or of the form (x±1 , xk y) is
loxodromic.

Lemma 3.9. Let m be a loxodromic monomial transformation and π : S → P2 a
blow-up of toric points. Let L ⊂ ∂S be an irreducible boundary component, then
π −1 mπ(L) 6= L.
Proof. Assume that there exists a blow-up of toric points π : S → P2 and a line
L ⊂ ∂S such that π −1 mπ(L) = L. By Lemma 3.8, the line L is not the strict
transform of a line in P2 . After possibly contracting components of ∂S different
from L, we can write π = πk ◦ πk−1 ◦ · · · ◦ π1 , where each πi : Si−1 → Si is the blowup of a single toric point pi such that π1 (L) = p1 and πl ◦ · · · π1 (L) = πl (pl−1 ) = pl
for all 1 ≤ l ≤ k. We have S0 = S and Sk = P2 . Since π −1 mπ(L) = L, we have
that pl is a fixed point of the pull-back of m on Sl for all 1 ≤ l ≤ k.
Let (x0 , y0 ) be local affine coordinates of S such that L is defined by x0 = 0 and
let (x1 , y1 ) be local affine coordinates of S1 such that p1 = (0, 0) and the exceptional
divisor of π2 is given by x2 = 0. We proceed inductively and define local affine
coordinates (xl , yl ) of Sl in such a way that pl = (0, 0) and the exceptional divisor
of πl+1 is given by xl = 0 for all 1 ≤ l ≤ k. With respect to the local affine
coordinates (xl , yl ), the blow-up πl : Sl−1 → Sl is then given by (xl , yl ) 7→ (xl , xl yl )
or (xl , 
yl ) 7→ (xlyl , xl ) and hence π : S → P2 is of the form (xk , yk ) 7→ (xrk yks , xtk yku ),
r s
where
∈ GL2 (Z).
t u
Since m is a monomial transformation, it is of the form m = (xa y b , xc y d ). Hence
′
′
′
′
we obtain that locally π −1 mπ = (xa1 y1b , xc1 y1d ), where
 ′
 


−1
a b′
r s
a b
r s
=
.
c′ d′
t u
c d
t u

16

CHRISTIAN URECH


 ′

a b
a b′
is a loxodromic matrix, the matrix
is loxodromic as
c d
c′ d′
well. Lemma 3.8 now yields a contradiction to the assumption that π −1 mπ(L) =
L.


Since



Remark 3.2. Let S → P2 be a blow-up of toric points. Lemma 3.9 implies in
particular that a loxodromic monomial transformation m does not preserve any
irreducible curve on S, i.e. there exists no irreducible curve C such that m(C) = C.
Indeed, for curves contained in ∂S the claim is proven in Lemma 3.9. Assume now
that there is an irreducible curve C ⊂ S that is not contained in ∂S that satisfies
m(C) = C. Let S ′ → S be a blow-up of toric points such that C intersects ∂S ′ in
a non-toric point p and let L be the irreducible boundary component of ∂S ′ that
contains p. Since m preserves the complement of ∂S ′ and C intersects ∂S ′ in only
finitely many points, there exists a positive integer n such that mn (p) = p. But
this implies m(L′ ) = L′ , which contradicts Lemma 3.9.
Lemma 3.10. Let K be a positive integer and let f ∈ Cr2 (C) be a birational
transformation that contracts a curve C ⊂ P2 that is not contained in ∂ P2 to a
non-toric point p in the bubble space B(P2 ). Let U1 , U2 ⊂ D2 be the subsets such
that for all d ∈ U1 and all 1 ≤ l ≤ K we have:
•

(df )−l (C) is a curve not contained in ∂ P2 ;

and for all d ∈ U2 and all 1 ≤ l ≤ K:
•

(df )l (C) is a non-toric point.

Then the sets U1 and U2 are open. It follows that for all d ∈ U1 ∩ U2 , the transformation (df )K contracts at least K different irreducible curves.
−1
Proof. For all 1 ≤ l ≤ K the condition that f −1 d−1
. . . f −1 d−1
1 (C) is not conl f
2
−1
tained in the exceptional locus of f
nor in ∂ P is an open condition on (D2 )l .
Hence there is an open set V1 ⊂ (D2 )K such that for all (d1 , . . . , dk ) ∈ V1 and all
−1
1 ≤ l ≤ K we have that f −1 d−1
. . . f −1 d−1
1 (C) is not contained in the excepl f
2
tional locus of f −1 nor in ∂ P . We embed D2 into (D2 )K by identifying it with
the diagonal. In that way we can define U1 := D2 ∩ V1 .
To construct U2 we proceed similarly. First we note that there is an open set
V2 ⊂ (D2 )K such that for all 1 ≤ l ≤ K and all (d1 , . . . , dk ) ∈ V2 the point
dl • f• . . . d1 • (f (C)) is not a base-point of f and is not a point that is mapped to a

toric point by f• . We then define U2 := V2 ∩ D2 .

Define K ∈ Z to be the integer from Lemma 3.3 such that for all loxodromic
transformations of monomial type g of degree ≤ deg(f ) one has that g n contracts at
most K −1 different curves. Assume that the open sets U1 and U2 from Lemma 3.10
are non-empty. By choosing a d ∈ U1 ∩ U2 such that df is loxodromic, we obtain
that df is loxodromic but not of monomial type. The main idea of the proof of
Theorem 3.1 will be to use this kind of argument together with Lemma 2.21 to
show that loxodromic elements in a simple group G ⊂ Cr2 (C) only contract curves
contained in ∂ P2 . From this we will then deduce that all loxodromic elements in G
are in fact monomial which will lead to a contradiction. However, the cumbersome
part is to construct a loxodromic transformation f in G for which the two open
sets U1 and U2 are non-empty.

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

17

Lemma 3.11. Let f ∈ Cr2 (C) be a birational transformation that contracts a curve
C that is not contained in ∂ P2 and assume that f (C) is a point not contained in
∂S. Let K ∈ Z+ be a constant. Then there exists a dense open set U ⊂ D2 such
that (df )n (C) is a point not contained in ∂ P2 for all 1 ≤ n ≤ K and all d ∈ U .
Proof. By Lemma 3.10 there exists an open set U ⊂ D2 such that (df )n (C) is a
point not contained in the toric boundary for all 1 ≤ n ≤ K and all d ∈ U . It is
therefore enough to show that there exists one d ∈ D2 with this property. For this,
consider a point q ∈ C that is not contained in ∂ P2 and is not an indeterminacy
point of f and let d ∈ D2 be the transformation that maps the point f (C) to q. It
follows that (df )n (C) = q for all n ∈ Z+ .

Lemma 3.12. Let m ∈ Cr2 (C) be a monomial loxodromic transformation, n ∈ Z+
and p ∈ P2 a point not contained in ∂ P2 . The set
{(dm)n (p) | d ∈ D2 }
contains a dense open set in P2 .
Proof. By Lemma 2.12 we may assume
that

 m ∈ GL2 (Z). We can write m =
a
b
(xa y b , xc y d ) for some matrix A :=
∈ GL2 (Z). Let d = (d1 x, d2 y) ∈ D2 .
c d


r s
=
One calculates md = d′ m, where d′ = (d1 a d2 b x, d1 c d2 d y). Let B :=
t u
id +A + · · · + An−1 . Then (dm)n = d′ mn , where d′ = (d1 r d2 s x, d1 t d2 u y). In order
to prove the lemma, we need to show that the morphism ϕB : D2 → D2 given by
(d1 x, d2 y) 7→ (d1 r d2 s x, d1 t d2 u y) is dominant. First note that (A − id)B = An − id.
Since A is loxodromic, An does not have 1 as an eigenvalue; hence det(An − id) 6= 0
and therefore det(B) 6= 0. By the Smith normal form, we can write B = M1 DM2 ,
where M1 , M2 ∈ GL2 (Z) and D is a diagonal integer matrix of rank two as det(B) 6=
0. Since the morphisms from D2 to itself induced by the matrices M1 , D and M2
are all dominant, the morphism ϕB is dominant.

Lemma 3.13. Let f ∈ Cr2 (C) be a birational transformation that contracts a
curve C that is not contained in ∂ P2 . Let m ∈ Cr2 (C) be a loxodromic monomial
transformation. Then, for every K ∈ Z+ , there exists a dense open subset UK ⊂ D2
such that for all d ∈ UK the birational transformation hd := f dmf −1 satisfies the
following properties:
2
• The strict transform C̃d := (dmf −1 )−1 (C) is a curve not contained in ∂ P ,
in particular, hd contracts C̃d ;
2
−l
• h
d (C̃d ) is a curve not contained in ∂ P for all 1 ≤ l ≤ K.
Proof. Let p ∈ C be a point that is not contained in ∂ P2 . Let X be the union of the
exceptional locus of f and the curves that are mapped to ∂ P2 by f . Denote by Vl ⊂
D2 the set of all diagonal automorphisms d such that (dm)−l (p) is not contained in
X, where 1 ≤ l ≤ K. By Lemma 3.12, the sets Vl contain a subset, which is open
and dense in D2 . Hence, the intersection V1 ∩ · · · ∩ VK+1 contains a subset UK that
is open and dense in D2 . Since, by the construction of UK , the point (dm)−1 (p)
is not contained in X, it follows that the strict transform C̃d = (dmf −1 )−1 (C) is
indeed a curve and not contained in ∂ P2 . This is because (dm)−1 (C) is a curve as
dm is monomial and C is not contained in ∂ P2 . Moreover, the choice of d ensures

18

CHRISTIAN URECH

that (dm)−1 (C) is not contained in X. Similarly, (hd )−l (C̃d ) = f (dm)−l f −1 (C̃d ) =
f (dm)−l−1 (C) is a curve not contained in ∂ P2 for all 1 ≤ l ≤ K.

Lemma 3.14. Let f ∈ Cr2 (C) a birational transformation that contracts a curve
C that is not contained in ∂ P2 and assume that f (C) is a point not contained in
∂ P2 . Let m ∈ Cr2 (C) be a monomial loxodromic birational transformation. Then,
for every K ∈ Z+ , there exists a dense open subset UK ⊂ D2 and for each d ∈ UK
there exists a dense open subset VKd ⊂ D2 such that:
•

for all elements d1 ∈ UK and for all d2 ∈ VKd1 the birational transformation
(d2 f d1 mf −1 )K is loxodromic and contracts K different irreducible curves.

Proof. By Lemma 3.13, there exists a dense open set UK ⊂ D2 such that for all
d1 ∈ UK the strict transform C̃ := (dmf −1 )−1 (C) is a curve not contained in ∂ P2
and such that (f d1 mf −1 )−l (C̃) is a curve not contained in ∂ P2 for all 1 ≤ l ≤ K
and all d ∈ UK .
Fix now any d1 ∈ UK . Since, by assumption, f d1 mf −1 (C̃) is not contained in
∂ P2 , we can apply Lemma 3.11. In other words, there exists a dense open subset
VKd1 ⊂ D2 such that (d2 f d1 mf −1 )l (C̃) is a point not contained in the toric boundary
for all d2 ∈ VKd1 and all 1 ≤ l ≤ K. This implies in particular, that (d2 f d1 mf −1 )K
contracts K different curves, namely the curves (d2 f d1 mf −1 )−l (C̃) for 1 ≤ l ≤ K.
After possibly shrinking VKd1 , we may assume that d2 f d1 mf −1 is loxodromic, by
Theorem 2.7.

Lemma 3.15. Let f ∈ Cr2 (C) be a birational transformation that contracts a
curve C that is not contained ∂ P2 and assume that f (C) is a point not contained
in ∂ P2 . Let m ∈ Cr2 (C) be a monomial loxodromic birational transformation and
let ∆2 ⊂ D2 be a dense subgroup. Then the group hf, m, ∆2 i contains a loxodromic
element that is not of monomial type.
Proof. Let d := deg(f )2 deg(m) and let K be the constant given by Lemma 3.6
such that all elements in g ∈ Cr2 (C) of monomial type of degree ≤ d satisfy the
property that the number of irreducible curves E(g n ) contracted by g n is < K
for all n. Let UK ⊂ D2 and VKd1 for all d1 ∈ UK be the subset given by Lemma
3.14 and fix a d1 ∈ UK ∩ ∆2 and d2 ∈ VKd1 ∩ ∆2 . The birational transformation
d2 f d1 mf −1 is therefore loxodromic, of degree ≤ d and (d2 f d1 mf −1 )K contracts K
different irreducible curves. It follows that d2 f d1 mf −1 ∈ hf, m, ∆2 i is loxodromic
but not of monomial type.

Lemma 3.16. Let f ∈ Cr2 (C) be a birational transformation that contracts a curve
C that is not contained in ∂ P2 to a non-toric point in B(P2 ). Let m ∈ Cr2 (C) be a
loxodromic monomial transformation and ∆2 ⊂ D2 be a dense subgroup. Then the
group hf, m, ∆2 i contains a loxodromic element f ′ with the following properties:
•
•

contracts a curve C̃ not contained in ∂ P2 to a non-toric point in B(P2 );
there exists a dense open subset U ⊂ D2 such that for all d ∈ U the transformation f ′ d−1 f ′−1 d is loxodromic.

Proof. By Lemma 3.13, there exists for each K > 0 a dense open set UK ⊂ D2 such
−1 −l
that C̃d := (dmf −1 )−1 (C) is a curve not contained in ∂ P2 and
T(f dmf ) (C̃d ) is
2
a curve not contained in ∂ P for all 1 ≤ l ≤ K. We fix a e ∈ K∈Z+ UK .

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

19

By Lemma 3.7, there exists an n ∈ Z+ and a dense open subset U ⊂ D2 such
that the transformation (f emf −1 )n d−1 (f emf −1 )−n d is loxodromic for all d ∈ U .
By Theorem 2.7, the subset V ⊂ (D2 )2 consisting of elements (d1 , d2 ) such that
−1 −n
(f d1 mf −1 )n d−1
) d2 is loxodromic, is open and dense. Define the dense
2 (f d1 mf
′ :=
V ∩ (Un × D2 ) and fix (d1 , d2 ) ∈ V ′ ∩ ∆2 × ∆2 . We define now f ′ :=
open set V
(f d1 mf −1 )n ∈ hf, m, ∆2 i and C̃ := (f dmf −1 )−n+1 (C̃d1 ). Again by Theorem 2.7,
there exists a dense open U ⊂ D2 such that f ′ d−1 f ′−1 d is loxodromic for all d ∈
U.

Lemma 3.17. Let G ⊂ Cr2 (C) be a simple group that contains a loxodromic monomial element m. Then G contains no element that contracts a curve that is not
contained in the toric boundary ∂ P2 to a non-toric point in B(P2 ).
Proof. Since G is simple it contains no tight elements. Hence, by Lemma 2.21, all
loxodromic elements in G are of monomial type and G contains a subgroup ∆2 that
is dense in D2 . Assume now that there is an element f ∈ G that contracts a curve
C ⊂ P2 that is not contained in ∂ P2 to a non-toric point in B(P2 ), i.e. there exists
a blow-up of toric points π : S → P2 such that f (C) ∈ S is not a toric point (recall
that, by abuse of notation, f also denotes the lift of f by π).
The group G contains no element that contracts a curve that is not contained in
∂ P2 to a point that is not contained in ∂ P2 , by Lemma 3.15. Hence for all elements
g ∈ G that contract a non-toric curve D, the point g(D) is contained in ∂ P2 .
By Lemma 3.16, there exists a loxodromic element f ′ ∈ hf, m, ∆2 i ⊂ G and a
curve C̃ in P2 not contained in ∂ P2 that is contracted by f ′ to a non-toric point in
B(P2 ), as well as a dense open set U ⊂ D2 such that for all d ∈ U the transformation
gd := d−1 f ′ df ′−1 is loxodromic. Moreover, we may choose the dense open set U ⊂
D2 in such a way that for all d ∈ U we have that C̃d := (df ′−1 )−1 (C ′ ) = f ′ d−1 (C)
is a curve not contained in ∂ P2 and gd contracts C̃d to a non-toric point in B(S).
Let π1 : S1 → P2 be a blow-up of toric points and let L ⊂ ∂S1 be an irreducible
component of ∂S1 . We claim that one of the following is true:
(1) There exists a dense open subset UL ⊂ U such that gd (L) is not contained
in ∂S1 for all d ∈ UL .
(2) There exists a dense open set UL ⊂ U such that gd contracts L to a nontoric point p in B(S1 ) for all d ∈ UL . More precisely, there exists a blowup of toric points π2 : S2 → S1 and an irreducible boundary component
L2 ⊂ ∂S2 such that gd (L) is a proper non-toric point of L2 for all d ∈ UL
(in particular, L2 does not depend on the choice of d ∈ UL ).
(3) There exists a dense open set UL ⊂ U such that for every d ∈ UL ∩ ∆2
there is an element r ∈ G satisfying that rgd (L) is not contained in ∂S1 .
Let us now prove the claim. The first observation is that if f ′−1 (L) is not contained
in ∂S1 , then there is a dense open set UL ⊂ U such that for all d ∈ UL , the image
d(f ′−1 (L)) is neither contained in the indeterminacy locus of f ′ nor in the set of
points that is mapped by f ′ to ∂S1 . This implies that for all d ∈ UL the image
gd (L) = d−1 f ′ df ′−1 (L) is not contained in ∂S1 and we are in situation (1) of our
claim. Hence, in what follows we may assume that (f ′ )−1 (L) is contained in ∂S1 .
We now distinguish various cases:
Case (a): Assume that there is a dense open set UL ⊂ U such that for all d ∈ UL ,
the map gd does not contract L and that gd (L) = L. Since G is simple,
for all d ∈ ∆2 ∩ UL the transformation gd is loxodromic and hence of

20

CHRISTIAN URECH

monomial type. So there exists an hd ∈ Cr2 (C) and a loxodromic monomial
transformation md such that gd = hd md hd−1 . By assumption, gd (L) = L,
−1
i.e. hd md h−1
d (L) = L. Note that by Lemma 3.9, the image hd (L) can not
be a curve, since a loxodromic monomial transformation does not preserve
any curve on a blow-up of toric points. Hence, either there exists a blow′
up of toric points S2 → S1 such that h−1
d (L) = L for some irreducible
−1
boundary component, or hd contracts L to some non-toric point p in
B(S1 ), which has to be a fixed point of md . The first is not possible, since
md (L′ ) 6= L′ by Lemma 3.9. In the latter case we conclude that p is not
contained in ∂S1 , using once more Lemma 3.9. Since hd md h−1
d is contained
md
d −1
in G, there exists a dense subgroup ∆2 ⊂ D2 such that hd ∆m
is
2 hd
contained in G. Let W ⊂ D2 be the dense open subset such that d(p)
is not a base-point of hd and is not contained in the set of points that
−1
d
is mapped to ∂S1 by hd . For a c ∈ ∆m
we have
2 ∩ W and r := hd chd
−1
−1
rgd = hd cmd hd , and therefore rgd (L) = hd cmd hd (L) is not contained in
∂S1 . Hence we are in situation (3).
Case (b): Assume that f ′−1 contracts L to a non-toric point in B(S1 ), i.e. there
exists a blow-up of toric points S1′ → S1 and a smooth rational curve
L′1 ⊂ ∂S1′ such that f ′−1 (L) is a non-toric point on L′1 . Let UL ⊂ U be the
dense open set such that df ′−1 (L) is neither contained in the indeterminacy
locus of f ′ nor in the set of points of L′1 that are mapped by f•′ to a toric
point in B(S1′ ) for all d ∈ UL . We are then in situation (2). Moreover, L2
does not depend on the choice of d ∈ UL .
Case (c): Assume that f ′−1 (L) = L1 , where L1 ⊂ ∂S1 is an irreducible boundary
component. In this case, gd (L) = L for all d ∈ U and we are in case (a).
Case (d): Assume that f ′−1 contracts L to a toric point in B(S1 ). In this case,
there is a blow-up of toric points S2 → S1 such that f ′−1 (L) = L2 , where
L2 ⊂ ∂S2 is an irreducible boundary component. This reduces to case (c).
This proves the claim.
Let d ∈ U and consider for each e ∈ D2 the loxodromic transformation gd emgd−1 .
The transformation d1 (gd emgd−1 ) is loxodromic for all d1 in a dense open subset
of D2 , by Theorem 2.8. The degree of d1 (gd emgd−1 ) is at most deg(f ′ )4 deg(m)
for all d1 , d, e ∈ D2 . By Lemma 3.6 there exists a constant K ∈ Z, such that if
d1 (gd emgd−1 ) is of monomial type, then (d1 (gd emgd−1 ))n contracts at most K − 1
different curves for all n ∈ Z.
There exists for every d ∈ U1 := U a dense open subset Vd1 ⊂ D2 such that
′
C̃e,d := (emgd−1 )−1 (C̃d ) is a curve for all e ∈ V1d (recall that C̃d is a curve not
contained in ∂ P2 that is contracted by gd ). Moreover, for all d ∈ U1 and all
′
e ∈ V1d there exists a dense open subset Wd1 of D2 such that d1 (gd emgd−1 )(C̃e,d
)
−1
−1
′
is not a base-point of gd (such a dense open set exists, since (gd emgd )(C̃e,d
)
is not a toric point). We will now inductively add additional open conditions on
′
) is not contained in the toric
the sets U 1 , Vd1 and Wd1 . If p1 := d1 (gd emgd−1 )(C̃e,d
boundary for some d1 , d, e ∈ D2 , then p1 is not contained in the toric boundary
for all d1 , d, e in a dense open subset T ⊂ (D2 )3 . By chosing (d1 , d, e) ∈ T ∩ (∆2 )3
′
we obtain an element in G that contracts the curve C̃e,d
, which is not contained
in the toric boundary, to a point outside the toric boundary, which is not possible,
by Lemma 3.15. Hence, p1 is contained in ∂ P2 . After a blow-up of toric points

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

21

S1 → P2 we may assume that p1 is a proper non-toric point of ∂S1 , which is, by
our condition on d1 , not a base-point of gd−1 . Let L1 ⊂ ∂S1 be the line containing
p1 , hence we are in one of the situations (1) to (3) described above. The situations
(1) and (3) do not occur since otherwise we would obtain an element in G that
contracts a curve not contained in the toric boundary to a point outside the toric
boundary. Hence we are in situation (2), i.e. there exists a dense open set UL1 ⊂ D2
such that gd−1 contracts L1 to a non-toric point in B(S1 ). We set U2 := UL1 ∩ U1 .
Let S2 → S1 be the blow-up of toric points such that p2 := gd−1 (p1 ) = gd−1 (L1 )
is a proper non-toric point on a line L2 ⊂ ∂S2 . The crucial point here is that
p2 does not depend on the choice of d1 nor on the choice of e. After a blow-up
of toric points S2′ → S2 , the monomial map m maps L2 to another component
L′2 ⊂ ∂S2′ . We define for all d ∈ U2 the set Vd2 as the set of all e ∈ Vd1 such
that em(p2 ) is not an indeterminacy point of gd . Again, by the same argument
as above, we obtain that gd contracts L2 to a non-toric point in B(S2 ) that lies
on or above the toric bundary. After a blow-up of toric points S3 → S2 we may
′
) is a proper
assume that p3 := gd (L2 ) = gd em(p2 ) = gd emgd−1 (d1 gd emgd−1 )(C̃e,d
non-toric point on a line L3 ⊂ ∂S3 . And again, p3 does not depend on the choice
of d1 and e, so we obtain an additional open condition on the choice of d1 and
thus a dense open subset Wd2 ⊂ Wd1 . We now continue this process and obtain
a sequence of blow-ups of toric points S2k−1 → · · · → S2 → S1 and a sequence
of lines L1 , L2 , . . . , L2K , where Li ⊂ ∂Si , as well as inclusions of dense open sets
U2K ⊂ U2K−1 ⊂ · · · ⊂ U1 and, for every d ∈ U2K , inclusions of dense open sets
WdK ⊂ · · · ⊂ Wd2 ⊂ Wd1 and VdK ⊂ · · · ⊂ Vd2 ⊂ Vd1 with the property that for all
′
d ∈ U 2K and all d1 ∈ WdK , e ∈ VdK , one has that (d1 gd emgd−1 )l (C̃e,d
) is a point on
−1
−1 l
′
the line L2l−1 for all 1 ≤ l ≤ K and that gd (d1 gd emgd ) (C̃e,d ) is a point on the
′
line L2l . In particular, (d1 gd emgd−1 )l (C̃e,d
) is a point for all 1 ≤ l ≤ K.
We fix an element d ∈ U2K ∩ ∆2 . By Lemma 3.13, there exists a dense open
′
) is a curve not contained in ∂ P2 for all
set V ⊂ D2 , such that (gd emgd−1 )−l (C̃e,d
1 ≤ l ≤ K and all e ∈ V . We fix an element e ∈ V ∩ VdK ∩ ∆2 . By Lemma 3.10,
there exists a dense open set W ⊂ D2 such that d1 (gd emgd−1 ) is loxodromic for all
′
d1 ∈ W and a dense open set W ′ ⊂ D2 such that (d1 gd emgd−1 )−l (C̃e,d
) is a curve
2
′
K
not contained in ∂ P . Fix a d1 ∈ W ∩ W ∩ Wd ∩ ∆2 . Then the transformation
h := d1 gd emgd−1 has the following properties:
(1)
(2)
(3)
(4)

h is contained in G;
h is loxodromic;
′
) is a point for all 1 ≤ l ≤ K;
hl (C̃e,d
−l
′
h (C̃e,d ) is a curve not contained in ∂ P2 for all 1 ≤ l ≤ K.

The properties (3) and (4) imply that hK contracts K different curves. Hence, by
definition of K, h is not of monomial type. But this is a contradiction to G being
simple, as was explained before.

Lemma 3.18. Let f ∈ Cr2 (C) be a loxodromic element with the following property:
•

For all n ∈ Z no non-toric curve C is contracted by f n to a non-toric point
in the bubble space B(P2 ).

Then either f is monomial or there exists a dense open subset U ⊂ D2 and an
n ∈ Z such that df n d−1 f −n is loxodromic and not of monomial type.

22

CHRISTIAN URECH

Proof. Assume that f is not monomial. Then f n is not monomial for all n 6= 0, by
Lemma 2.17. By Lemma 3.7 there exists a dense open set U ⊂ D2 and an m ∈ Z
such that df m d−1 f −m is loxodromic for all d ∈ U .
All curves that are not contained in the toric boundary and that are contracted
by f m are contracted to toric points in B(P2 ) and these are fixed by diagonal
automorphisms. Hence, for all d ∈ U the map (f m df −m )n = f m dn f −m contracts
only toric curves for all n ∈ Z. Denote by B ⊂ ∂ P2 the union of all the coordinate
lines that are contracted by f m dn f −m for some n ∈ Z. We observe that f m dn f −m
is an isomorphism on P2 \B. As df m d−1 f −m is loxodromic, the map f m df −m
can not be an automorphism of P2 . If B consists of one line, then f m df −m and
d−1 f m df −m are automorphisms of A2 . Since the dynamical degree of an element
in Aut(A2 ) is always an integer, it follows that d−1 f m df −m is not of monomial
type. If B is the union of two coordinate lines, then f m df −m and d−1 f m df −m are
automorphisms of A1 × A1∗ . The A1 -fibration of A1 × A1∗ is given by the invertible
functions on A1 × A1∗ , so automorphisms of A1 × A1∗ preserve this A1 -fibration. In
particular, A1 × A1∗ does not admit any loxodromic automorphism which implies
that this case does not occur. Finally, if B is the union of all the three coordinate
lines, then f df −1 is an automorphism of A1∗ × A1∗ , i.e. a monomial map. By Lemma
2.17, the transformation f is monomial.

3.3. Proof of Theorem 3.1. Let G ⊂ Cr2 (C) be a simple subgroup and assume
that G contains loxodromic elements. By Lemma 2.21, all loxodromic elements
are of monomial type. Assume that G contains a loxodromic element m. After
conjugation we may therefore assume that m is monomial. From Lemma 3.17
it follows that all the curves contracted by elements of G are toric, and hence
Lemma 3.18 implies that all loxodromic elements of G are contained in GL2 (Z)⋉D2 .
Let h ∈ G be an arbitrary element. Since hgh−1 is loxodromic, it is monomial. By
Lemma 2.17, h is contained in GL2 (Z)⋉D2 as well. Therefore G ⊂ GL2 (Z)⋉D2 and
we obtain a non-trivial homomorphism ϕ : G → GL2 (Z) whose kernel contains ∆2
- a contradiction to G being simple. Therefore, G does not contain any loxodromic
element.

4. Proof of Theorem 1.1 and Theorem 1.2
4.1. The parabolic and elliptic case.
Lemma 4.1. let G ⊂ Cr2 (C) be a simple subgroup that contains no loxodromic
element, but a parabolic element. Then G is conjugate to a subgroup of the de
Jonquières group and G is isomorphic to a subgroup of PGL2 (C).
Proof. By Lemma 2.6, we know that G is either conjugate to a subgroup of the
automorphism group of a Halphen surface or to a subgroup of the de Jonquières
subgroup J . By Theorem 2.5, automorphism groups of Halphen surfaces are finite extensions of abelian subgroups. It follows that the automorphism group of a
Halphen surface does not contain infinite simple subgroups. Therefore, G is conjugate to a subgroup of J . Let
1 → PGL2 (C(t)) → J → PGL2 (C) → 1
be the short exact sequence from the semi-direct product structure of J . Since G
is simple, it is either contained in the kernel or the image of ϕ. In both cases it is
isomorphic to a subgroup of PGL2 (C).


SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

23

Lemma 4.2. Let G ⊂ Cr2 (C) be a simple subgroup of elliptic elements. Then either
G is a subgroup of an algebraic group in Cr2 (C) or G is conjugate to a subgroup of
the de Jonquières group J .
Proof. Let G ⊂ Cr2 (C) be a simple subgroup of elliptic elements. If G is a subgroup
of an algebraic group or if G is conjugate to a subgroup of the de Jonquières group,
we are done. So by Theorem 2.10, it only remains to consider the case where G is
a torsion group. In this case, G is isomorphic to a subgroup of an algebraic group,
by Theorem 2.10, and as such it is a linear group. The Theorem of Jordan and
Schur implies that G has a normal abelian subgroup of finite index. This implies
that G is finite and therefore algebraic.

4.2. Proofs. We have now gathered all the results to prove Theorem 1.2 and Theorem 1.1:
Proof of Theorem 1.2. The first statement of the Theorem is proven in Theorem 3.1,
the second statement of Theorem 1.2 is proven in Lemma 4.1 and the third statement in Lemma 4.2.

Proof of Theorem 1.1. Let G be a simple group acting non-trivially on a complex
rational surface S. If S is rational it follows from the classification of maximal algebraic groups (Theorem 2.9) and Theorem 1.2 that G is isomorphic to a subgroup of
PGL3 (C). If S is non-rational the proof follows from Lemma 2.24 and Lemma 2.25.
On the other hand, if S is rational, then PGL3 (C) = Aut(P2 ) is a subgroup
of Bir(S), and in particular, every simple subgroup of PGL3 (C) acts by birational
transformations on S. If G is isomorphic to a subgroup of PGL2 (C), then it acts
non-trivially by birational transformations on the surface P1 ×C for all curves C.
For every finite group G there exists a curve of general type C such that Aut(C) =
G. Hence, G acts non-trivially by birational transformations on the non-rational
surface of negative Kodaira dimension P1 ×C as well as on the surface of nonnegative Kodaira dimension C × C.

5. Finitely generated subgroups
In this section we prove Theorem 1.3. The main advantage when working with a
finitely generated group Γ, is that we can reduce modulo p the coefficients needed
to define the elements in Γ. We start by explaining this construction and will then
apply it in a second step to our problem. The following lemma is well known. A
proof can be found for example in [Nic13, Lemma 3.2]:
Lemma 5.1. Let A be a finitely generated domain. The intersection of all maximal
ideals of A is 0. Moreover, if A is a field, then A is finite.
The following proposition shows how Lemma 5.1 can be applied to obtain information about the structure of subgroups of Cr2 (k) for any field k. A similar
statement has already been proved and applied by de Cornulier in order to show
that the Cremona group is sofic ([Cor13], see also [Can12]).
Proposition 5.2. Let k be a field and let Γ ⊂ Crn (k) be a finitely generated
subgroup. Then there exists a finite field F and a non-trivial group-homomorphism
ϕ : Γ → Crn (F) that satisfies deg(ϕ(f )) ≤ deg(f ) for each f ∈ Γ.

24

CHRISTIAN URECH

Proof. Let g1 , . . . , gl ∈ Γ be a symmetric set of generators. We may assume that
gi 6= id for all i. Fix homogeneous polynomials Gij ∈ C[x0 , . . . , xn ] such that gi =
[Gi0 : · · · : Gin ] and define the endomorphisms Gi := (Gi0 , . . . , Gin ) ∈ End(An+1 ).
Assume that gi−1 = gj and let
Fi := Gi ◦ Gj = (Fi0 , . . . , Fin ) ∈ An+1 .
Note that gi ◦ gj = [Fi0 : · · · : Fin ] = [x0 : · · · : xn ], i.e. Fij = Pi xj for some
homogeneous polynomial Pi ∈ C[x0 , . . . , xn ].
Let T be the finite set of all non-zero coefficients that appear in the polynomials
Gij , the Fij or the polynomials G1i G2j − G1j G2i and denote by r the product of
all elements of T . Let A be the domain generated by the elements of T and by 1.
In particular, we may consider all our polynomials Gij , Fij and G1i G2j − G1j G2i
to be elements of A[x0 , . . . , xn ]. By Lemma 5.1, there exists a maximal ideal I ⊂ A
such that r ∈
/ I. Reduction modulo I yields a homomorphism π : A → F for some
finite field F such that r and hence all elements in T are not contained in the kernel
of π. By reducing the coefficients modulo I, we obtain a ring homomorphism
ψ : A[x0 , . . . , xn ] → F[x0 , . . . , xn ]. Define the rational maps
ϕ(gi ) = [ψ(Gi0 ) : · · · : ψ(Gin )].
Note that
ϕ(gi ) ◦ ϕ(gi−1 ) = [ψ(Fi1 ) : · · · : ψ(Fin )] = [ψ(Pi )x0 : · · · : ψ(Pi )xn ] = id,
so ϕ(gi ) is a birational transformation of PnF . Assume that gi1 gi2 · · · gil = id for some
1 ≤ i1 , . . . , il ≤ k. Then Gi1 ◦ · · · ◦ Gil = (Qx0 , . . . , Qxn ) for some homogeneous
polynomial Q. It follows that ϕ(gi1 )ϕ(gi2 ) · · · ϕ(gil ) = [ψ(Q)x0 : ψ(Q)x1 : · · · :
ψ(Q)xn ] = id. Therefore, the map ϕ can be extended to a homomorphism of groups
ϕ : Γ → Crn (F). By construction, at least one of the polynomials ψ(G1i )ψ(G2j ) −
ψ(G1j )ψ(G2i ) is not zero and hence ϕ(g1 ) 6= ϕ(g2 ); in particular, ϕ is not trivial.
Let g = gi1 gi2 · · · gil ∈ Γ. Then g = [H0 : H1 : · · · : Hn ], where (H0 , . . . , Hn ) =
Gi1 ◦ · · · ◦ Gil . We then have ϕ(g) = [ψ(H0 ) : ψ(H1 ) : · · · : ψ(Hn )]. This shows that
deg(ϕ(g)) ≤ deg(g).

Together with Theorem 2.20 we obtain the following result:
Proposition 5.3. Let k be an algebraically closed field and let Γ ⊂ Cr2 (k) be
a finitely generated subgroup. If Γ contains a loxodromic element, then Γ is not
simple.
Proof. Let f ∈ Γ be a loxodromic element. If there exists a n such that f n is tight
in Γ, the group Γ is not simple by Theorem 2.18 and we are done. If no power of
f is tight, it follows from Theorem 2.20 that Γ contains an infinite subgroup ∆2
that is normalized by f and that is conjugate either to a subgroup of D2 or to a
subgroup of k2 . The group ∆2 being conjugate to a subgroup of D2 or k2 implies
in particular that the degrees of the elements in ∆2 are uniformly bounded by an
integer K. By Proposition 5.2, there exists a finite field F and a non-trivial group
homomorphism ϕ : Γ → Cr2 (F) that satisfies deg(ϕ(f )) ≤ deg(f ). In Cr2 (F) there
exist only finitely many elements of degree ≤ K, hence the image ϕ(∆2 ) is finite.
It follows that ϕ has a proper kernel and therefore that Γ is not simple.

We are now able to prove Theorem 1.3 using the same strategy as in the proof
of Theorem 1.2.

SIMPLE GROUPS OF BIRATIONAL TRANSFORMATIONS IN DIMENSION TWO

25

Lemma 5.4. Let C be a curve over an algebraically closed field k and Γ ⊂
Bir(P1 ×C) be a finitely generated simple subgroup that preserves the P1 -fibration
given by the projection to C. Then Γ is finite.
Proof. Since Γ is simple, it is either isomorphic to a subgroup of PGL2 (k(C)) or to
a subgroup of Aut(C). Since both, PGL3 (k(C)) and Aut(C) satisfy the property
of Malcev by ([BL83, Corollary 1.2]), the group Γ is finite.

Proof of Theorem 1.3. Let k be the algebraic closure of k. Since Bir(Sk ) ⊂ Bir(Sk ),
it is enough to show the statement for algebraically closed fields.
First assume that our surface S is rational. By Proposition 5.3, Γ does not contain any loxodromic element. If Γ contains a parabolic element, then Γ is conjugate
to a subgroup of the de Jonquières group J ≃ PGL2 (C(t)) ⋊ PGL2 (C) or to a
subgroup of the automorphism group Aut(X) of a Halphen surface X. This last
case is not possible by the property of Malcev for automorphism groups ([BL83,
Corollary 1.2]). If Γ is a subgroup of J , the claim follows with Lemma 5.4. If all
elements in Γ are elliptic, the claim follows from Theorem 2.11. In the first case, Γ
is finite by Lemma 5.4. As for the second case we recall that algebraic subgroups of
Cr2 (k) are always linear. Hence Γ is linear and therefore finite, since linear groups
satisfy the property of Malcev.
If S is a non-rational ruled surface, the statement follows from Lemma 5.4. If
S is non-rational and not ruled, it has a unique minimal model S ′ (see [Ba01,
Corollary 10.22]). Hence Γ is conjugate to a subgroup of Bir(S ′ ) = Aut(S ′ ) and
is therefore finite by the property of Malcev for automorphism groups ([BL83,
Corollary 1.2]).

References
[Ba01]

[BB67]
[BC16]

[Bea96]

[BF13]
[BL83]
[Bla09]
[Can11]
[Can12]

[Can15]
[Can18]

Lucian B˘ adescu, Algebraic surfaces, Universitext, Springer-Verlag, New York, 2001,
Translated from the 1981 Romanian original by Vladimir Maşek and revised by the
author. MR 1805816
Andrzej Bialynicki-Birula, Remarks on the action of an algebraic torus on k n . ii, Bull.
Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 15 (1967), 123–125.
Jérémy Blanc and Serge Cantat, Dynamical degrees of birational transformations of
projective surfaces, Journal of the American Mathematical Society 29 (2016), no. 2,
415–471.
Arnaud Beauville, Complex algebraic surfaces, second ed., London Mathematical Society Student Texts, vol. 34, Cambridge University Press, Cambridge, 1996, Translated
from the 1978 French original by R. Barlow, with assistance from N. I. Shepherd-Barron
and M. Reid. MR 1406314
Jérémy Blanc and Jean-Philippe Furter, Topologies and structures of the Cremona
groups, Ann. of Math. (2) 178 (2013), no. 3, 1173–1198. MR 3092478
Hyman Bass and Alexander Lubotzky, Automorphisms of groups and of schemes of
finite type, Israel J. Math. 44 (1983), no. 1, 1–22. MR 693651
Jérémy Blanc, Sous-groupes algébriques du groupe de Cremona, Transform. Groups 14
(2009), no. 2, 249–285. MR 2504924 (2010b:14021)
Serge Cantat, Sur les groupes de transformations birationnelles des surfaces, Ann. of
Math. (2) 174 (2011), no. 1, 299–340. MR 2811600
, A remark on groups of birational transformations and the word problem
(after yves de cornulier), https://perso.univ-rennes1.fr/serge.cantat/Articles/wpic.pdf
(2012).
Serge Cantat, The Cremona groups, to appear in Proceedings of 2015 Summer Institute
on Algebraic Geometry, AMS Proceedings of Symposia in Pure Mathematics (2015).
Serge Cantat,
Four questions,
one partial answer,
https://perso.univrennes1.fr/serge.cantat/Articles/ahl-web.pdf (2018).

26

CHRISTIAN URECH

[CD12]

Serge Cantat and Igor Dolgachev, Rational surfaces with a large group of automorphisms, J. Amer. Math. Soc. 25 (2012), no. 3, 863–905. MR 2904576
[CLdC13] Serge Cantat, Stéphane Lamy, and Yves de Cornulier, Normal subgroups in the cremona
group, Acta mathematica 210 (2013), no. 1, 31–94.
[Cor13]
Yves Cornulier, Sofic profile and computability of Cremona groups, Michigan Math. J.
62 (2013), no. 4, 823–841. MR 3160544
[Cou16] Rémi Coulon, Théorie de la petite simplification: une approche géométrique [d’après
F. Dahmani, V. Guirardel, D. Osin et S. Cantat, S. Lamy], Astérisque (2016), no. 380,
Séminaire Bourbaki. Vol. 2014/2015, Exp. No. 1089, 1–33. MR 3522169
[Dem70] Michel Demazure, Sous-groupes algébriques de rang maximum du groupe de Cremona,
Ann. Sci. École Norm. Sup. (4) 3 (1970), 507–588. MR 0284446 (44 #1672)
[DF01]
Jeﬀrey Diller and Charles Favre, Dynamics of bimeromorphic maps of surfaces, American Journal of Mathematics 123 (2001), no. 6, 1135–1169.
[DGO17] F. Dahmani, V. Guirardel, and D. Osin, Hyperbolically embedded subgroups and rotating
families in groups acting on hyperbolic spaces, Mem. Amer. Math. Soc. 245 (2017),
no. 1156, v+152. MR 3589159
[DI09]
Igor V. Dolgachev and Vasily A. Iskovskikh, Finite subgroups of the plane Cremona
group, Progr. Math., vol. 269, pp. 443–548, Birkhäuser Boston, Inc., Boston, MA, 2009.
MR 2641179
[DP12]
Thomas Delzant and Pierre Py, Kähler groups, real hyperbolic spaces and the Cremona
group, Compos. Math. 148 (2012), no. 1, 153–184. MR 2881312
[Enr93]
Federigo Enriques, Sui gruppi continui di trasformazioni cremoniane nel piano, Rend.
Accad. Lincei, 1er sem (1893).
[Giz80]
M. H. Gizatullin, Rational G-surfaces, Izv. Akad. Nauk SSSR Ser. Mat. 44 (1980),
no. 1, 110–144, 239. MR 563788
[Gri16]
Julien Grivaux, Parabolic automorphisms of projective surfaces (after M. H. Gizatullin), Mosc. Math. J. 16 (2016), no. 2, 275–298. MR 3480704
[IS96]
V. A. Iskovskikh and I. R. Shafarevich, Algebraic surfaces, Algebraic geometry, II,
Encyclopaedia Math. Sci., vol. 35, Springer, Berlin, 1996, pp. 127–262. MR 1392959
[Kar13]
Oleg Karpenkov, Geometry of continued fractions, Algorithms and Computation in
Mathematics, vol. 26, Springer, Heidelberg, 2013. MR 3099298
[Lie78]
David I. Lieberman, Compactness of the Chow scheme: applications to automorphisms
and deformations of Kähler manifolds, Fonctions de plusieurs variables complexes, III
(Sém. François Norguet, 1975–1977), Lecture Notes in Math., vol. 670, Springer, Berlin,
1978, pp. 140–186. MR 521918
[Lon16]
Anne Lonjou, Non simplicité du groupe de Cremona sur tour corps, Ann. Inst. Fourier
(Grenoble) 66 (2016), no. 5, 2021–2046. MR 3533276
[Mal40]
Anatolii Malcev, On isomorphic matrix representations of infinite groups, Matematicheskii Sbornik 50 (1940), no. 3, 405–422.
[Man86] Yu. I. Manin, Cubic forms, second ed., North-Holland Mathematical Library, vol. 4,
North-Holland Publishing Co., Amsterdam, 1986, Algebra, geometry, arithmetic,
Translated from the Russian by M. Hazewinkel. MR 833513
[MK14]
V. D. Mazurov and E. I. Khukhro, Unsolved problems in group theory. the kourovka
notebook. no. 18 (english version).
[Nic13]
Bogdan Nica, Linear groups-malcev’s theorem and selberg’s lemma, arXiv preprint
arXiv:1306.2385 (2013).
[SB13]
N.I. Shepherd-Barron, Some effectivity questions for plane cremona transformations,
https://arxiv.org/abs/1311.6608 (2013).
[Ser08]
Jean-Pierre Serre, Le groupe de Cremona et ses sous-groupes finis, Séminaire Bourbaki
1000 (2008), 2008–2009.
[Ure18]
Christian Urech, Subgroups of elliptic elements of the cremona group,
https://arxiv.org/abs/1802.08485 (2018).
[Xie15]
Junyi Xie, Periodic points of birational transformations on projective surfaces, Duke
Math. J. 164 (2015), no. 5, 903–932. MR 3332894
Office 682, Huxley Building, Mathematics Department, Imperial College London,
180 Queen’s Gate, London SW7 2AZ, UK
E-mail address: christian.urech@gmail.com

