Automorphisms of Cubic Surfaces in Positive Characteristic
Total Page:16
File Type:pdf, Size:1020Kb
Izvestiya: Mathematics 83:3 Izvestiya RAN : Ser. Mat. 83:3 5–82 DOI: https://doi.org/10.1070/IM8803 Automorphisms of cubic surfaces in positive characteristic I. Dolgachev and A. Duncan Abstract. We classify all possible automorphism groups of smooth cubic surfaces over an algebraically closed field of arbitrary characteristic. As an intermediate step we also classify automorphism groups of quartic del Pezzo surfaces. We show that the moduli space of smooth cubic surfaces is rational in every characteristic, determine the dimensions of the strata admitting each possible isomorphism class of automorphism group, and find explicit normal forms in each case. Finally, we completely character- ize when a smooth cubic surface in positive characteristic, together with a group action, can be lifted to characteristic zero. Keywords: cubic surfaces, automorphisms, positive characteristic. In remembrance of Vassily Iskovskikh § 1. Introduction Let X be a smooth cubic surface in P3 defined over an algebraically closed field k of arbitrary characteristic p. The primary purpose of this paper is to classify the possible automorphism groups of X. Along the way, we also classify the possible automorphism groups of del Pezzo surfaces of degree 4. This is progress towards the larger goal of classifying finite subgroups of the plane Cremona group in positive characteristic (see [1] for characteristic 0). In characteristic 0, the first attempts at a classification of cubic surfaces were undertaken by S. Kantor [2], then A. Wiman [3] in the late nineteenth century. In 1942, B. Segre [4] classified all automorphism groups in his book on cubic surfaces. Unfortunately, all of these classification had errors. The first correct classification was carried out using computers by T. Hosoh [5] in 1997. A modern classification, which does not require computers, can be found in [6]. Our approach emphasizes the similarities across characteristics, rather than the differences. There is a well-known injective group homomorphism Aut(X) → W (E6), unique up to conjugacy, where Aut(X) is the group of automorphisms of X and W (E6) is the Weyl group of the root system E6. This homomorphism can also be described as the induced action of Aut(X) on the configuration of 27 lines. In this way, automorphism groups of cubic surfaces can be directly compared to each other even if they are defined over different fields. The second author was partially supported by National Security Agency grant H98230-16-1-0309. AMS 2010 Mathematics Subject Classification. 14J50,14J26. c 2019 Russian Academy of Sciences (DoM), London Mathematical Society, Turpion Ltd. 2 I. Dolgachev and A. Duncan Let (k) be the coarse moduli space of smooth cubic surfaces over k. The Mcub space cub(k) is rational in all characteristics (Theorem 7.1). The conjugacy classesM of elements in Weyl groups of root systems were classified by Carter [7], although we use the Atlas [8] labelling 1A,..., 12C for the classes in W (E6). To each conjugacy class of W (E6) we may associate the closed subvariety of cub(k) corresponding to surfaces admitting an automorphism of that class. For example,M the 1A stratum corresponds to the set of all cubic surfaces since 1A is the class of the trivial automorphism. This gives a stratification of (k) by conjugacy Mcub classes of W (E6). Some of these strata will be empty (for example, 12C) and some will coincide with others (for example, the 9A and 3C strata coincide). We will see that every non-empty stratum is irreducible and even unirational (Corollary 14.2). We see the strata for cubic surfaces in characteristic 0 in Fig. 1, where we choose only one label for each stratum. Here an arrow A B means that the stratum A strictly contains the stratum B and those arrows implied→ by transitivity are omitted for clarity. Each successive row corresponds to strata of dimension one less than the preceding row with the 1A stratum having dimension 4 and the strata for 3C, 5A, 8A, and 12A all being single points. See Figs. 2, 3, and 4 in the Appendix for other characteristics. 1A 2AE zz EE zz EE zz EE z} z EE EE 2BD 3DE EE DD zz EE EE DDzz EE EE zzDD EE EE z} z D! E" E" 4BD 6E 3A 4A DD zz yy yy DDzz yy yy zzDD yy yy z} z D! y| y y| y 5A 3C 12A 8A Figure 1. Specialization of strata in cub when p = 2, 3, 5 M 6 We are interested in the full automorphism groups of smooth cubic surfaces. Each automorphism group gives rise to a conjugacy class of subgroups of W (E6). Remarkably and conveniently, the strata in this case are the same as the strata for cyclic groups. Thus, we can name the stratum of a conjugacy class of automorphism groups by a cyclic subgroup that gives rise to the same stratum. These labels may not be unique, but this is a feature when comparing different characteristics. For example, the 3C, 5A, 12A strata are all distinct in characteristic 0, but they coincide in characteristic 2. We can now state our main theorem. Theorem 1.1. Suppose X is a smooth cubic surface in P3 defined over an alge- braically closed field k of arbitrary characteristic p. Then the group of automor- phisms of X is one of the groups in Table 1 and all such groups occur. Each row of Automorphisms of cubic surfaces in positive characteristic 3 the table corresponds to the stratum of cub(k) which admits an automorphism of the named class. The heading “dim” givesM the dimension of the stratum, char(k) gives the conditions on the characteristic, and Aut(X) is the full automorphism group of a general cubic surface in that stratum along with its order. (See § 2.1 for explanations of the group-theoretic notation.) Table 1. Automorphism groups of cubic surfaces Name dim char(k) Aut(X) Order 1A 4 any 1 1 2A 3 any 2 2 2B 2 = 2 22 4 6 2 24 16 3A 1 any 3(3) ⋊ 2 54 H 3 3C 0 = 2, 3 3 ⋊ S4 648 6 2 PSU4(2) 25920 3D 2 any S3 6 4A 1 = 2 4 4 6 3 2 2 ⋊ S4 192 4B 1 = 2 S4 24 6 2 (same as 4A) 5A 0 = 2, 5 S5 120 6 2 (same as 3C) 6E 1 = 2 S3 S2 12 6 × 2 (same as 4A) 8A 0 = 2, 3 8 8 6 3 3(3) ⋊ 8 216 H 12A 0 = 2, 3 3(3) ⋊ 4 108 6 H 3 (same as 8A) 2 (same as 3C) In addition to classifying the automorphism groups and the dimensions of their strata, we also find explicit equations for the cubic surfaces in each class (see the summary in Table 8). The specific choices of normal forms are certainly subjec- tive, but they all have the nice property that the number of parameters is exactly the same as the dimension of the corresponding stratum of the moduli space. In particular, they show that all of the strata are unirational. There are several approaches that one could take to carry out the classification; for some other approaches see Remarks 4.9, 8.2, and 8.3. We have taken a concep- tual geometric approach; as a consequence, we believe many of our intermediate 4 I. Dolgachev and A. Duncan results and their corollaries will be of independent interest. We discuss these in the remainder of the introduction, while also providing a tour of the cubic surfaces and their automorphisms. 1.1. Lifting to characteristic 0. Let X be a smooth projective irreducible vari- ety over an algebraically closed field k of positive characteristic and G a finite group of automorphisms of X. We say that a group G is tame (respectively, wild) if the characteristic p does not divide (respectively, divides) the order of G. One expects that the behavior of tame groups to be similar across different characteristics. The 7 4 order of W (E6) is 51840 = 2 3 5, so one only expects unusual automorphism groups of| cubic| surfaces in characteristics× × 2, 3, 5. More precisely, we say a pair (X, G) can be lifted to characteristic 0 if there exists a complete discrete valuation ring R of characteristic 0 with residue field k, and a smooth projective A-scheme with an action of G over A, such that the fibre over the closed point is G-equivariantlyX isomorphic to X. When X is a smooth rational surface (for example, a smooth cubic) and G is tame, the pair can be lifted to characteristic 0 by a result of Serre (see § 5 of [9]). An obvious obstruction to doing this for wild groups is that some automorphism groups in characteristic 2 and 3 do not act on any cubic surface in characteristic 0. This is the only obstruction. Theorem 1.2. Let X be a smooth cubic surface defined over an algebraically closed field k of positive characteristic and let G be a group of automorphisms of X . Then (X, G) can be lifted to characteristic 0 if and only if G W (E6) is realized as a group of automorphisms on some smooth cubic surface in⊂ characteristic 0. In positive characteristics, it is natural to ask if there are actions of infinitesimal group schemes on cubic surfaces, but this is impossible (Theorem 2.4). 1.2. Reflections and Eckardt points. Recall that a reflection of a vector space is a linear transformation of order 2 that fixes a hyperplane pointwise. An auto- morphism g : X X of a cubic surface X is a reflection if g is the restriction of → 3 an automorphism of P that can be represented by a reflection in GL4(k).