Download Rationality of the quotient of P2 by finite group of automorphisms

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Field (mathematics) wikipedia , lookup

Factorization of polynomials over finite fields wikipedia , lookup

Algebraic variety wikipedia , lookup

Group action wikipedia , lookup

Congruence lattice problem wikipedia , lookup

Dessin d'enfant wikipedia , lookup

Modular representation theory wikipedia , lookup

Complexification (Lie group) wikipedia , lookup

Group (mathematics) wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Transcript
Cent. Eur. J. Math. • 12(2) • 2014 • 229-239
DOI: 10.2478/s11533-013-0340-7
Central European Journal of Mathematics
Rationality of the quotient of P2 by finite group
of automorphisms over arbitrary field
of characteristic zero
Research Article
Andrey S. Trepalin1,2,3∗
1 Department of Algebra, Faculty of Mathematics, MSU, Vorobyevy Gory 1, Moscow, 117234, Russia
2 Laboratory of Algebraic Geometry, GU-HSE, Vavilova Str. 7, Moscow, 117312, Russia
3 Independent University of Moscow, Bolshoy Vlasyevskiy Pereulok 11, Moscow, 119002, Russia
Received 22 January 2013; accepted 19 April 2013
Abstract: Let k be a field of characteristic zero and G be a finite group of automorphisms of projective plane over k. Castelnuovo’s criterion implies that the quotient of projective plane by G is rational if the field k is algebraically closed.
In this paper we prove that P2k /G is rational for an arbitrary field k of characteristic zero.
MSC:
14E07, 14E08, 14L30, 14M20, 13A50
Keywords: Noether problem • Rationality • del Pezzo surfaces • Minimal Model Program • Cremona group
© Versita Sp. z o.o.
1.
Introduction
Let G be a finite group and k be a field. Consider a pure transcendental extension K/k of transcendence degree
n = ord G. Let us identify K with k{(xg )}, where g runs through all the elements of the group G. The group G naturally
acts on K as h(xg ) = xhg . Noether [20] asked whether the field of invariants KG is rational (i.e. pure transcendental)
over k or not. In the language of algebraic geometry, this is a question about the rationality of the quotient variety Ank /G.
The most complete answer to this question is known for abelian groups, but even in this case quotient variety can be
non-rational. Swan proved that if G is the cyclic group of order 47 and k = Q then KG is not rational [24]. An example
with a smaller cyclic group of order 8 was given by Lenstra [15]. Further results for abelian groups were obtained
in [10, 26].
∗
E-mail: [email protected]
229
Unauthenticated
Download Date | 6/17/17 12:54 PM
Rationality of the quotient of P2 by finite group of automorphisms over arbitrary field of characteristic zero
For nonabelian groups there are some examples of non-rational field of invariants even in the case k = k. Saltman
proved that for any prime p there exists a nonabelian group of order p9 such that KG is not rational if char k 6= p [22].
Later this result was improved by Bogomolov, who proved that there exists such a group of order p6 [4], and Moravec,
Hoshi and Kang, who proved this result for a group of order p5 [12, 19].
Noether’s problem can be generalized as follows. Let G be a finite group, let V be a finite-dimensional vector space
over an arbitrary field k and let ρ : G → GL(V ) be a representation. The question is if the quotient variety V /G is
k-rational. Note that V /G has a natural birational structure of an A1 -fibration over P(V )/G, which is locally trivial in
Zarisky topology. So the rationality of V /G follows from the rationality of P(V )/G (e.g. see [5, Lemma 1.2]).
In this generalization it is natural to start with a low-dimensional case. The most general result is known for dimensions 1
and 2.
Theorem 1.1 (Lüroth).
Let k be an arbitrary field and let G ⊂ PGL2 (k) be a finite subgroup. Then P1k /G is k-rational.
The following theorem is a consequence of Castelnuovo’s rationality criterion.
Theorem 1.2.
Let k be an algebraically closed field of characteristic zero and let G ⊂ PGL3 (k) be a finite subgroup. Then P2k /G is
k-rational.
For an algebraically closed field k it is not known if any quotient of P3k by a finite group is k-rational (for details
see [21]). If in this case the field k is not algebraically closed then P3k /G can be non-rational even for abelian group G
[1, Example 2.3].
On the other hand, if the field k is not algebraically closed there is no complete answer even for quotients of P2k . In [11]
it is proved that the field k(x, y)G is rational for monomial action of G on the set {x, y}. It corresponds to k-rationality
of quotients of toric surfaces by groups having an invariant two-dimensional torus on such a surface. From results of the
paper [1] it follows that a quotient P2k /G and a quotient P1k × P1k /G is k-rational if G is cyclic (G could be infinite).
The main result of this paper is the following.
Theorem 1.3.
Let k be an arbitrary field of characteristic zero and let G ⊂ PGL3 (k) be a finite subgroup. Then P2k /G is k-rational.
Corollary.
Let k be an arbitrary field of characteristic zero and let G ⊂ GL3 (k) be a finite subgroup. The field of invariants
k(x1 , x2 , x3 )G is k-rational.
Note that if X is a k-rational surface and G ⊂ Aut(X ) then X /G may fail to be k-rational. For example, each del Pezzo
surface of degree 4 (which is a full intersection of two quadrics in P4k ) is 2-k-unirational [17, Theorem 7.8] but not all
of them are k-rational. It means that there exists a k-rational surface X such that its quotient by a group of order 2
is birationally equivalent to a non-k-rational del Pezzo surface of degree 4. Moreover, there are known constructions
of non-k-rational quotients of k-rational del Pezzo surfaces of degrees 4 and 3 by cyclic groups of orders 2 and 3
respectively.
Non-k-rational quotients of k-rational surfaces play an important role in studying of finite subgroups of the Cremona
group Cr2 (k) = Bir(P2k ). If a group G faithfully acts on two k-rational surfaces X1 and X2 and X1 /G is k-rational and
X2 /G is not k-rational then there are at least two nonconjugate embeddings of G into Cr2 (k).
As a by-product in Section 4 we prove the following result which is interesting in its own sake.
230
Unauthenticated
Download Date | 6/17/17 12:54 PM
A.S. Trepalin
Corollary 1.4.
Let X be a del Pezzo surface of degree 6 over k, X (k) =
6 ∅ and G be a finite subgroup of automorphisms of X . The
quotient variety X /G is k-rational.
The plan of proof of Theorem 1.3 is the following. We want to find a normal subgroup N in G. If such a group exists then
we consider the quotient P2k /N. Next, we G/N-equivariantly resolve the singularities of P2k /N, run the G/N-equivariant
minimal model program [13] and get a surface X . Then we apply the same procedure to the surface X and the group G/N.
This method does not work if the group G is cyclic of prime order or simple nonabelian, but in these cases one can
easily prove that the quotient P2k /G is k-rational (see subsections 4.1 and 4.5, respectively).
The structure of the paper is as follows. In Section 2 we describe main notions and some results of the minimal model
program which are used in this work. In Section 3 we sketch the classification of finite subgroups in PGL3 (k) where k
is an algebraically closed field of characteristic zero. In Section 4 we prove Theorem 1.3.
The author is grateful to his adviser Yuri G. Prokhorov for posing the problem and numerous helpful advice and to
Constantin A. Shramov for useful discussions. Also the author would like to thank the reviewers of this paper for many
useful comments.
We use the following notation.
• k denotes an arbitrary field of characteristic zero,
• k denotes the algebraic closure of a field k,
• X = X ⊗ k,
• Cn denotes the cyclic group of order n,
• D2n denotes the dihedral group of order 2n,
• Sn denotes the symmetic group of degree n,
• An denotes the alternating group of degree n,
• ω = e2πi/3 ,


α 0 0


• diag (α, β, γ) =  0 β 0 ,
0 0γ
• KX denotes the canonical divisor of a variety X ,
• Pic(X ) (resp. Pic(X )G ) denotes the Picard group (resp. G-invariant Picard group) of a variety X ,
• ρ(X ) = rk Pic(X ), ρ(X )G = rk Pic(X )G ,
• Fn denotes the rational ruled (Hirzebruch) surface PP1 (O ⊕ O(n)),
• X ≈ Y means that X and Y are birationally equivalent.
2.
G-equivariant minimal model program
In this section we review main notions and results of G-equivariant minimal model program following the papers [8, 9,
13, 16].
Definition 2.1.
A rational surface X is a surface over k such that X = X ⊗ k is birationally equivalent to P2k . A k-rational surface X
is a surface over k such that X is birationally equivalent to P2k . A surface X over k is a k-unirational surface if there
exists a k-rational variety Y and a dominant rational map φ : Y 99K X .
231
Unauthenticated
Download Date | 6/17/17 12:54 PM
Rationality of the quotient of P2 by finite group of automorphisms over arbitrary field of characteristic zero
Definition 2.2.
A G-surface is a pair (X , G) where X is a projective surface over k and G is a subgroup of Autk (X ). A morphism of
surfaces f : X → X 0 is called a G-morphism (X , G) → (X 0 , G) if for each g ∈ G one has fg = gf. A smooth G-surface
(X , G) is called G-minimal if any birational morphism of smooth G-surfaces (X , G) → (X 0 , G) is an isomorphism. Let
(X , G) be a smooth G-surface. A G-minimal surface (Y , G) is called a minimal model of (X , G) if there exists a birational
G-morphism X → Y .
The classification of G-minimal rational surfaces is well known due to Iskovskikh and Manin [13, 16]. We introduce some
important notions before surveying it.
Definition 2.3.
A smooth rational G-surface (X , G) admits a structure of a conic bundle if there exists a G-morphism φ : X → C such
that any scheme fibre is isomorphic to a reduced conic in P2k and C is a smooth curve.
Definition 2.4.
A del Pezzo surface is a smooth projective surface X such that the anticanonical divisor −KX is ample.
A del Pezzo surface X over k is isomorphic to P2k , Pk1 × Pk1 or the blowup of P2k at up to 8 points in general position. If
X is the blowup of Pk2 at 1 or 2 points, then for any group G ⊂ Aut(X ) the surface X is not G-minimal. In the first
case the exceptional divisor of the blowup is a unique (−1)-curve, therefore it can be G-equivariantly contracted. In the
second case the proper transform of the line passing through two points of the blowup is a unique (−1)-curve meeting
each other (−1)-curve, so it can be G-equivariantly contracted.
The number KX2 is called the degree of a del Pezzo surface X .
Theorem 2.5 ([13, Theorem 1]).
Let X be a G-minimal rational G-surface. Then either X admits a structure of a conic bundle with Pic(X )G ∼
= Z2 , or X
is a del Pezzo surface with Pic(X )G ∼
= Z.
Theorem 2.6 (cf. [13, Theorems 3 and 4]).
Let X admit a G-equivariant structure of conic bundle, G ⊂ Aut(X ).
• If KX2 = 3, 5, 6, 7 or X ∼
= F1 then X is not G-minimal.
• If KX2 = 8 then X is isomorphic to Fn .
The following theorem is an important criterion of k-rationality over an arbitrary perfect field k.
Theorem 2.7 ([14, Chapter 4]).
A minimal rational surface X over a perfect field k is k-rational if and only if the following two conditions are satisfied:
X (k) 6= ∅ and KX2 ≥ 5.
If a surface X is birationally equivalent to a quotient P2k /G then X is k-unirational. Thus there exists a Zariski dense
subset of k-points on X . The surface X is rational by Theorem 1.2. Therefore if X is a smooth surface birationally
equivalent to P2k /G and KX2 ≥ 5, then X is k-rational by Theorem 2.7.
An important class of rational surfaces is the class of toric surfaces.
Definition 2.8.
A toric variety is a normal variety over k containing an algebraic torus as a Zariski dense subset, such that the action
of the torus on itself by left multiplication extends to the whole variety. A variety X is called a k-form of a toric variety
if X is toric.
232
Unauthenticated
Download Date | 6/17/17 12:54 PM
A.S. Trepalin
Obviously, a k-form of a toric variety is k-rational. The following lemma is well known. We give a proof for convenience
of the reader.
Lemma 2.9.
Let X be a G-minimal k-unirational surface. The following are equivalent:
(i) X is a k-form of a toric surface.
(ii) KX2 ≥ 6.
(iii) X is isomorphic to P2k , a nonsingular quadric Q ⊂ P3k , a del Pezzo surface of degree 6 or a minimal rational ruled
surface Fn , n ≥ 2.
Proof.
(i) ⇒ (ii) Assume that X = P2k , i.e. X is a Brauer–Severi scheme. Since X (k) 6= ∅ one has X = P2k and
= 9. From now we assume that X 6= P2k . Then there exists a birational morphism f : X → (Fn )k which is a blowup
of (Fn )k at k ≥ 0 points p1 , . . . , pk , no two lying in the same fibre of the structure morphism π : (Fn )k → Pk1 . Let T 2 ⊂ X
be a Zariski dense torus acting on X . The morphism f : X → (Fn )k induces an action of T 2 on (Fn )k and the points
p1 , . . . , pk are fixed by this action. Moreover, the morphism π ◦ f : X → P1k induces an action of T 2 on P1k and the points
π(p1 ), . . . , π(pk ) are fixed by this action. But a torus acting non-trivially on Pk1 has exactly two fixed points. Therefore
if X is toric then k ≤ 2 and KX2 = KX2 ≥ 6.
KX2
(ii) ⇒ (iii) Let X be a G-minimal k-unirational G-surface such that KX2 ≥ 6. By Theorem 2.5, either X admits a structure
of a conic bundle, or X is a del Pezzo surface. If X admits a conic bundle structure and KX2 = 6 or KX2 = 7 then X
is not G-minimal by Theorem 2.6. Therefore KX2 = 8 and X is isomorphic to Fn , n 6= 1, by Theorem 2.6. A del Pezzo
surface of degree 7 is never G-minimal and a del Pezzo surface X of degree 8 is G-minimal only if X is isomorphic to a
nonsingular quadric Q ⊂ P3k . Therefore if X is a G-minimal del Pezzo surface and KX2 ≥ 6 then X is isomorphic to P2k ,
a nonsingular quadric Q ⊂ P3k or a del Pezzo surface of degree 6.
(iii) ⇒ (i) If X is isomorphic to (Fn )k then one can obtain a split torus from X by cutting of the (−n)-section, an n-section
and two fibres. If X is a del Pezzo surface of degree 6 then the complement of the set of (−1)-curves on X is a split
torus. The surface P2k is obviously toric.
We will use the following definition for convenience.
Definition 2.10.
e → X be its (G-equivariant) minimal resolution of singularities, and Y be a G-equivariant
Let X be a G-surface, X
e . We call the surface Y a G-MMP-reduction of X .
minimal model of X
Theorem 2.11 (cf. [25, Theorem 2]).
If X is a k-form of a toric surface, G ⊂ Aut(X ), then any G-MMP-reduction Y of X is a k-form of toric surface. Moreover,
if X (k) \ Sing(X ) 6= ∅ then both X and Y are k-rational.
Proof.
Note that for any toric surface S there are not any singularities or negative curves lying in a torus, since a
torus acts transitively on itself. Therefore minimal resolution of singularities and G-equivariant MMP preserves any
torus lying on X . Thus Y is a k-form of toric surface.
If a point p ∈ X (k) \ Sing(X ) then its image on Y is a k-point. By Lemma 2.9 one has KY2 ≥ 6. Therefore Y is k-rational
by Theorem 2.7. The surface Y is birationally equivalent to X . So X is k-rational.
3.
Finite subgroups in PGL3 (k)
In this section we assume that k is algebraically closed.
233
Unauthenticated
Download Date | 6/17/17 12:54 PM
Rationality of the quotient of P2 by finite group of automorphisms over arbitrary field of characteristic zero
Definition 3.1 ([3, Chapter I, § 7]).
Any finite subgroup of GLn (k) is called a linear group in n variables.
We will use detailed classification of finite linear subgroups in 3 variables over k. Let a group G ⊂ GLn (k) act on the
space V = kn .
Definition 3.2 ([3, Chapter I, § 14, § 44]).
If the action of the linear group G on V is reducible then the group G is called intransitive. Otherwise the group G is
called transitive.
Let G be a transitive group. If there exists a non-trivial decomposition V = V1 ⊕ · · · ⊕ Vl to subspaces such that for any
element g ∈ G and i ∈ {1, . . . , l} one has gVi = Vj for some j ∈ {1, . . . , l} then the group G is called imprimitive.
Otherwise the group G is called primitive.
Convention.
Let f : SLn (k) → PGLn (k) be the natural surjective map. A group G ⊂ PGLn (k) is called intransitive (resp. imprimitive,
primitive, etc.) if the group f −1 (G) ⊂ SLn (k) is so.
The following lemma is well known.
Lemma 3.3.
Any representation of a finite group G in GLn (k) is conjugate to a representation of the group G in GLn (Q) ⊂ GLn (k).
According to Lemma 3.3, it is sufficient to know the classification of finite subgroups of PGL3 (C) to classify finite
subgroups of PGL3 (k). Finite subgroups of SL3 (C) were completely classified in [3, Chapter V] and [18, Chapter XII].
Using this result and Lemma 3.3 one can obtain the following theorem.
Theorem 3.4.
Any finite subgroup in PGL3 (k) modulo conjugation is one of the following. Intransitive groups:
(A) A diagonal abelian group.
(B) A group having a unique fixed point on P2k .
Imprimitive groups:
(C) A group having a normal diagonal abelian subgroup N such that G/N ∼
= C3 .
(D) A group having a normal diagonal abelian subgroup N such that G/N ∼
=S .
3
Primitive groups having a non-trivial normal subgroup (the Hessian group and its subgroups):
(E) The group C23 o C4 of order 36.
(F) The group C23 o Q8 of order 72.
(G) The Hessian group C23 o SL2 (F3 ) of order 216.
Simple groups:
(H) The icosahedral group A5 of order 60.
(I) The Klein group PSL2 (F7 ) of order 168.
(K) The Valentiner group A6 of order 360.
234
Unauthenticated
Download Date | 6/17/17 12:54 PM
A.S. Trepalin
4.
Rationality of the quotient variety
In this section, for each finite group G ⊂ PGL3 (k) (see Theorem 3.4), we prove that the quotient variety P2k /G is k-rational.
The k-rationality of P2k /G is proved in subsections 4.1 and 4.5 in cases where G is conjugate to a diagonal abelian or a
simple nonabelian group respectively over k. Otherwise there is a non-trivial normal subgroup N G. Then we use the
following lemma.
Lemma 4.1.
Let X be a G-surface, N be a normal subgroup of G and Y be a (G/N)-MMP-reduction of X /N. The surfaces X /G and
Y /(G/N) are birationally equivalent over k.
Proof.
One has X /G = (X /N)/(G/N). The birational map X /N 99K Y is (G/N)-equivariant. Thus (X /N)/(G/N) and
Y /(G/N) are birationally equivalent over k.
Therefore if X is a (G/N)-MMP-reduction of P2k /N then k-rationality of X /(G/N) implies k-rationality of P2k /G. If there
is a normal subgroup M in the group G/N we can repeat this procedure applying Lemma 4.1 to the surface X and the
normal subgroup M G/N.
4.1.
Diagonal abelian groups
Let G ⊂ PGL3 (k) be an abelian subgroup which is conjugate to a diagonal subgroup of PGL3 (k). Then the action of G
on P2k can be considered as an action of a finite subgroup of a torus in P2k . The following lemma is well known.
Lemma 4.2.
Let X be an n-dimensional toric variety over a field k of arbitrary characteristic and let G be a finite subgroup conjugate
to a subgroup of an n-dimensional torus T n ⊂ X acting on X . Then the quotient X /G is a toric variety.
In particular, if G is a finite cyclic subgroup of connected component of the identity Aut0 (X ) ⊂ Aut(X ), then the quotient
X /G is a toric variety.
Proof.
The algebra of regular functions of T n is
1
1
k T n = k x1 , . . . , x n , , . . . ,
x1
xn
k
and its monomials form a lattice x1 1 · · · xnkn : ki ∈ Z = M ∼
= Zn . The group G acts on the algebra k T n and if
n
P ∈ k T is a G-invariant polynomial then P consists of G-invariant monomials. Therefore G-invariants form an
n-dimensional sublattice in the lattice M. It means that T n /G is an n-dimensional Zariski dense torus in X /G. For any
T n -orbit A ⊂ X the torus T n /G acts on A/G. So X /G is a toric variety.
If G is a finite cyclic subgroup of connected component of the identity in Aut(X ) then G is a subgroup of a maximal torus
in Aut(X ) [6, Theorem 11.10]. Therefore X /G is a toric variety.
By Lemma 4.2 the surface P2k /G is a k-form of a toric surface. Thus it is k-rational by Theorem 2.11.
4.2.
Groups having a unique fixed point
The fixed k-point p of G is defined over k because it is unique. Let V → P2k be the blowup at p. The surface V admits
a G-equivariant P1k -bundle structure V → P1k whose fibres are proper transforms of lines passing through the point p.
235
Unauthenticated
Download Date | 6/17/17 12:54 PM
Rationality of the quotient of P2 by finite group of automorphisms over arbitrary field of characteristic zero
Obviously this P1k -bundle has a G-invariant section: the exceptional divisor of the blowup at p. So one has (e.g. see
[5, Lemma 1.2])
P2k /G ≈ V /G ≈ A1k × P1k /G
and it is k-rational by Theorem 1.1.
4.3.
Imprimitive groups
Every imprimitive group G ⊂ PGL3 (k) contains a normal abelian subgroup N which is conjugate to a diagonal subgroup
in PGL3 (k). The quotient group G/N permutes eigenspaces of N transitively so it is isomorphic to C3 or S3 (it corresponds
to cases (C) and (D) of Theorem 3.4). Moreover, a (G/N)-MMP-reduction of P2k /N is a k-form of a toric surface X by
Lemma 4.2 and Theorem 2.11. Therefore the k-rationality of P2k /G follows from Lemma 4.1 and the following proposition.
Proposition 4.3.
Let X be a G-minimal k-unirational k-form of a toric surface and let G be a group C3 or S3 acting on X . Then X /G is
k-rational.
In the proof of this proposition quotient singularities of certain types play an important role. The following remark is
useful.
Remark 4.4.
Let ξ be a primitive n-th root of unity and let the group Cn act on a smooth surface X with a fixed point P ∈ X . Let
f : X → X /Cn be the quotient map. If Cn acts on the tangent space at the point P as diag (ξn , ξnn−1 ) then the point f(P)
is a du Val singularity of type An−1 .
e → S is a minimal resolution of singularities then K e = π ∗ KS .
If a surface S has only du Val singularities and π : S
S
Proposition 4.5.
Let a group G contain a normal subgroup Cp , where p is prime. If X is a G-minimal k-unirational k-form of a toric
surface then there exists a (G/Cp )-MMP-reduction Y of X /Cp such that Y is a k-form of a toric surface. In particular,
X /Cp is k-rational.
Proof.
By Lemma 2.9 the surface X is isomorphic to P2k , a quadric in P3k , Fn , n ≥ 2, or a del Pezzo surface of degree 6.
If the group Cp is a subgroup of the connected component of the identity Aut0 (X ) ⊂ Aut(X ) then any (G/Cp )-MMPreduction Y of X /Cp is a k-form of a toric surface by Lemma 4.2. Otherwise X is isomorphic to a quadric in P3k or a del
Pezzo surface of degree 6 and the group Cp acts on Pic(X ) faithfully.
If X = P1k × P1k and Cp is not a subgroup of Aut0 (X ) then p = 2 and the action of the group C2 is conjugate to
(x1 : x0 ; y1 : y0 ) 7→ (y1 : y0 ; x1 : x0 )
where (x1 : x0 ; y1 : y0 ) are homogeneous coordinates on P1k × P1k . The set of fixed points is a (1, 1)-curve x1 /x0 = y1 /y0
on P1k × P1k whose class in Pic Pk1 × P1k equals to O(1, 1) = −(1/2)KP1 × P1 . The quotient variety Y = Pk1 × P1k /C2 is
k
k
nonsingular since C2 does not have isolated fixed points on X . By the Hurwitz formula one has KY2 = (3KX /2)2 /2 = 9.
The surface Y is rational so it is isomorphic to Pk2 . Thus Y is a k-form of a toric surface.
If X is a del Pezzo surface of degree 6 then X is isomorphic to a blowup of P2k at three points in general position. The
automorphism group of X is T 2 o D12 where T 2 is a two-dimensional torus over k and D12 faithfully acts on Pic(X ) and
the set of (−1)-curves {Ci }, 1 ≤ i ≤ 6, forming a hexagon (the irreducible components of the exceptional divisor of the
blowup and the proper transforms of lines passing through a pair of points of the blowup).
Recall that D12 is generated by two elements r and s with relations
r 6 = s2 = (rs)2 = 1.
236
Unauthenticated
Download Date | 6/17/17 12:54 PM
A.S. Trepalin
There are four cyclic subgroups of prime order in the group D12 up to conjugacy:
(a) C2 = hsi;
(b) C2 = hrsi;
(c) C2 = hr 3 i;
(d) C3 = hr 2 i.
In the case (a) we have two C2 -invariant disjoint (−1)-curves and the others are not C2 -invariant. Therefore the action
of G is not minimal.
In the case (b) we have the C2 -invariant pair of disjoint (−1)-curves (two other C2 -invariant pairs of (−1)-curves are not
disjoint). As above the action of G is not minimal.
In the remaining cases (c) and (d) let us denote the quotient morphism X → X /Cp by g. The group Cp has no fixed points
P
P
on 6i=1 Ci . Since 6i=1 Ci ∼ −KX is ample, Cp has no curves of fixed points. Hence KX = g∗ KX /Cp and so −KX /Cp is
ample.
In the case (c) by the Lefschetz fixed-point formula there are four fixed points. So the quotient X /C2 has exactly four
A1 -singularities, KX2 /C2 = 3 and X /C2 is isomorphic to a singular cubic surface in P3k . Such a cubic is G/C2 -equivariantly
birationally equivalent to P2k [7, Lemma 1.1].
In the case (d) a generator h ∈ C3 acts on the tangent space of a fixed point in one of the following ways: diag (ω, ω),
diag (ω2 , ω2 ) or diag (ω, ω2 ). Denote by a, b and c the number of corresponding points. Then the Lefschetz fixed-point
formula and the holomorphic Lefschetz fixed-point formula yield
a + b + c = 3,
−
a
b
c
−
+ = 1.
3ω 3ω2
3
Therefore a = b = 0, c = 3 and so X /C3 has exactly three A2 -singularities. One has KX2 /C3 = 2. Thus X /C3 is
P6
a singular del Pezzo surface of degree 2 with du Val singularities. The image g
i=1 Ci consist of two irreducible
components which are two (−1)-curves contained in the smooth locus of X /C3 . Moreover, ρ(X /C3 ) = ρ(X )C3 = 2.
Therefore contractions of these curves correspond to two extremal rays of the Mori cone of X /C3 so all other curves
on X /C3 have positive selfintersection.
For any del Pezzo surface V of degree 2 with at worst du Val singularities the linear system |−KV | is base point free
and defines a double cover f : V → P2k branched over a reduced quartic B ⊂ Pk2 . In our case V = X /C3 from the local
equations one can obtain that B is irreducible and has 3 cusps. Let us consider three lines l1 , l2 , l3 on Pk2 passing
through pairs of these cusps. The preimage f −1 (li ) is a pair of rational curves meeting each other at two singular points.
Let a be one of the irreducible components of f −1 (li ). Then one has
1
1
· (a + i(a)) · KX /C3 =
−KX2 /C3 = −1,
2
2
a · f −1 (li ) = a · −KX /C3 = 1,
2
1
1
a · i(a) < (a + i(a))2 =
−KX /C3 = 1.
2
2
a · KX /C3 =
Therefore the intersection number of each pair of distinct irreducible components of f −1 (l1 ), f −1 (l2 ) and f −1 (l3 ) is positive
]
and less than 1. If π : X
/C3 → X /C3 is the minimal (G/C3 )-equivariant resolution of singularities then the proper
transform π∗−1 f −1 (l1 + l2 + l3 ) consist of six disjoint (−1)-curves, defined over k. We can (G/C3 )-equivariantly contract
these six curves and get a surface Y with
2
KY2 = KX]
+ 6 = KX2 /C3 + 6 =
/C
3
1 2
K + 6 = 8.
3 X
So Y is a k-form of a toric surface by Lemma 2.9.
237
Unauthenticated
Download Date | 6/17/17 12:54 PM
Rationality of the quotient of P2 by finite group of automorphisms over arbitrary field of characteristic zero
Remark 4.6 (recommended by reviewer).
One can avoid the reference to fixed-point theorems and properties of singular del Pezzo surfaces of degree 2 and
explicitly find six disjoint (−1)-curves, defined over k.
We can C3 -equivariantly blow down three (−1)-curves on X and get a P2k . The group C3 has only isolated fixed points
on X . Therefore on P2k the action of C3 is conjugate to diag (1, ω, ω2 ). Thus the quotient P2k /C3 is a cubic surface with
three singularities of type A2 . It is given by the equation w 3 = xyz in Pk3 . Moreover, the quotient X /C3 is isomorphic to
a blowup of P2k /C3 at a point p.
There are three lines li on Pk2 /C3 with equations x = w = 0, y = w = 0, z = w = 0 each joining a pair of singular
points. Also there are three conics ci : the residual to the lines li with respect to the plane section containing li and
]
passing through the point p. One can check that the proper transform of these six curves on X
/C3 consist of six disjoint
(−1)-curves, defined over k.
Now we come to the proof of Proposition 4.3.
Proof of Proposition 4.3.
If G = C3 then Proposition 4.3 directly follows from Proposition 4.5. If G = S3 then
we apply Lemma 4.1 to the surface X and the normal subgroup C3 S3 . By Proposition 4.5 there exists a C2 -MMPreduction Y of X /C3 which is a k-form of a toric surface. The surface Y /C2 is k-rational by Proposition 4.5.
As a by-result we obtain the following.
Proof of Corollary 1.4.
The proof is a combination of Lemma 4.2, Proposition 4.5 and Lemma 4.1 applied to the
normal subgroups N G, M G/N, L (G/N)/M and K = ((G/N)/M)/L defined in the following way:
N = G ∩ T G ⊂ T o D12 ,
2
2
M = G/N ∩ C2 G/N ⊂ D12 ,
L = (G/N)/M ∩ C3 (G/N)/M ⊂ S3 ∼
= D12 /C2 ,
∼
K = ((G/N)/M)/L C = S /C .
2
4.4.
3
3
Primitive groups having a non-trivial normal subgroup
Primitive groups having non-trivial normal subgroups are the Hessian group (G) = C23 o SL2 (F3 ) and its subgroups
(F) = C23 o Q8 and (E) = C23 o C4 (for details see [2, Section 4]). Moreover, we may assume that they have a common
normal subgroup N isomorphic to C23 o C2 . The quotients of the groups (E), (F), (G) by N are as follows: (E)/N = C2 ,
(F)/N = C22 , (G)/N = A4 .
The group N is generated by elements of order 2. Any element g of order 2 in PGL3 (k) is conjugate to diag (−1, 1, 1), that
is, g is a reflection. The quotient Pk2 /N is a weighted projective space by the Chevalley–Shephard–Todd theorem [23].
Any weighted projective space is a toric variety, therefore any (G/N)-MMP-reduction X of P2k /N is a k-form of a toric
surface by Theorem 2.11. By Lemma 4.1 the k-rationality of the quotients P2k /(E) and P2k /(F) follows from the k-rationality
of the quotients X /C2 and X /C22 .
The k-rationality of X /C2 directly follows from Proposition 4.5. The k-rationality of X /C22 follows from Lemma 4.1 applied
to the surface X and a normal subgroup C2 C22 . By Proposition 4.5 there exists a C2 -MMP-reduction Y of X /C2 which
is a k-form of a toric surface. The surface Y /C2 is k-rational by Proposition 4.5.
The Hessian group (G) is generated by reflections of order 3 (see e.g. [2, Section 4]). Therefore the quotient Pk2 /(G) is
a weighted projective space by the Chevalley–Shephard–Todd theorem. It is a toric surface so P2k /(G) is k-rational by
Theorem 2.11.
238
Unauthenticated
Download Date | 6/17/17 12:54 PM
A.S. Trepalin
4.5.
Simple groups
Let G ⊂ PGL3 (k) be a simple group. Note that each simple group (H)–(K) from Theorem 3.4 is generated by elements
of order 2 because its order is even (so there is at least one element of order 2) and elements of order 2 generate a
normal subgroup. Therefore, similar to the previous subsection, G is generated by reflections and the quotient P2k /G is
a weighted projective space. It is a toric surface so P2k /G is k-rational by Theorem 2.11.
Acknowledgements
The author was partially supported by AG Laboratory HSE, RF government grant, ag. 11.G34.31.0023 and the grants
RFFI 11-01-00336-a, MK-503.2010.1 and N.SH.-4713.2010.1.
References
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[15]
[16]
[17]
[18]
[19]
[20]
[21]
[22]
[23]
[24]
[25]
[26]
Ahmad H., Hajja M., Kang M., Rationality of some projective linear actions, J. Algebra, 2000, 228(2), 643–658
Artebani M., Dolgachev I., The Hesse pencil of plane cubic curves, Enseign. Math., 2009, 55(3-4), 235–273
Blichfeldt H.F., Finite Collineation Groups, University of Chicago Press, Chicago, 1917
Bogomolov F.A., The Brauer group of quotient spaces by linear group actions, Math. USSR-Izv., 1988, 30(3), 455–485
Bogomolov F.A., Katsylo P.I., Rationality of some quotient varieties, Mat. Sb. (N.S.), 1985, 126(168)(4), 584–589 (in
Russian)
Borel A., Linear Algebraic Groups, 2nd ed., Grad. Texts in Math., 126, Springer, New York, 1991
Coray D.F., Tsfasman M.A., Arithmetic on singular Del Pezzo surfaces, Proc. Lond. Math. Soc., 1988, 57(1), 25–87
Dolgachev I.V., Iskovskikh V.A., Finite subgroups of the plane Cremona group, In: Algebra, Arithmetic, and Geometry:
in Honor of Yu.I. Manin, I, Progr. Math., 269, Birkhäuser, Basel, 2009, 443–548
Dolgachev I.V., Iskovskikh V.A., On elements of prime order in the plane Cremona group over a perfect field, Int.
Math. Res. Not. IMRN, 2009, 18, 3467–3485
Endô S., Miyata T., Invariants of finite abelian groups, J. Math. Soc. Japan, 1973, 25, 7–26
Hajja M., Rationality of finite groups of monomial automorphisms of k(x, y), J. Algebra, 1987, 109(1), 46–51
Hoshi A., Kang M., Unramified Brauer groups for groups of order p5 , preprint aviable at http://arxiv.org/abs/1109.2966
Iskovskikh V.A., Minimal models of rational surfaces over arbitrary fields, Math. USSR-Izv., 1980, 14(1), 17–39
Iskovskikh V.A., Factorization of birational mappings of rational surfaces from the point of view of Mori theory,
Russian Math. Surveys, 1996, 51(4), 585–652
Lenstra H.W. Jr., Rational functions invariant under a finite abelian group, Invent. Math., 1974, 25(3-4), 299–325
Manin Ju.I., Rational surfaces over perfect fields II, Mat. Sb., 1967, 1(2), 141–168
Manin Yu.I., Cubic Forms: Algebra, Geometry, Arithmetic, North-Holland Math. Library, 4, North-Holland, Amsterdam–London, 1974
Miller G.A., Blichfeldt H.F., Dickson L.E., Theory and Applications of Finite Groups, Dover, New York, 1961
Moravec P., Unramified Brauer groups of finite and infinite groups, Amer. J. Math., 2012, 134(6), 1679–1704
Noether E., Rationale Functionenkörper, Jahresbericht der Deutschen Mathematiker-Vereinigung, 1913, 22, 316–319
Prokhorov Yu.G., Fields of invariants of finite linear groups, In: Cohomological and Geometric Approaches to Rationality Problems, Progr. Math., 282, Birkhäuser, Boston, 2010, 245–273
Saltman D.J., Noether’s problem over an algebraically closed field, Invent. Math., 1984, 77(1), 71–84
Shephard G.C., Todd J.A., Finite unitary reflection groups, Canadian J. Math., 1954, 6, 274–304
Swan R.G., Invariant rational functions and a problem of Steenrod, Invent. Math., 1969, 7, 148–158
Voskresenskii V.E., On two-dimensional algebraic tori II, Math. USSR-Izv., 1967, 1(3), 691–696
Voskresenskii V.E., Fields of invariants for abelian groups, Russian Math. Surveys, 1973, 28(4), 79–105
239
Unauthenticated
Download Date | 6/17/17 12:54 PM