Abstract
Let \(\Bbbk \) be any field of characteristic zero, X a smooth cubic surface in \(\mathbb {P}^3_{\Bbbk }\) and G a group acting on X. We show that if \(X(\Bbbk ) \ne \varnothing \) and G is not trivial and not a group of order 3 acting in a special way then the quotient surface X / G is rational over \(\Bbbk \). For the group G of order 3 we construct examples of both rational and nonrational quotients of both rational and nonrational Gminimal cubic surfaces over \(\Bbbk \).
Keywords
Rationality problems del Pezzo surfaces Minimal model program Cremona groupMathematics Subject Classification
14E07 14E08 14M201 Introduction
Let \(\Bbbk \) be any field of characteristic zero. If \(\Bbbk \) is algebraically closed then any quotient of a rational surface by an action of a finite group is rational by Castelnuovo’s criterion. For del Pezzo surfaces of degree 4 and higher the following theorem holds.
Theorem 1.1
([6, Theorem 1.1]) Let \(\Bbbk \) be a field of characteristic zero, X a del Pezzo surface over \(\Bbbk \) such that \(X(\Bbbk ) \ne \varnothing \) and G a finite subgroup of automorphisms of X. If \(K_X^2 \geqslant 5\) then the quotient variety X / G is \(\Bbbk \)rational. If \(K_X^2 = 4\) and the order of G is not equal to 1, 2 or 4 then X / G is \(\Bbbk \)rational.
Moreover we have the following corollary.
Corollary 1.2
([6, Corollary 1.2]) Let \(\Bbbk \) be a field of characteristic zero, X a smooth rational surface over \(\Bbbk \) such that \(X(\Bbbk ) \ne \varnothing \) and G a finite subgroup of automorphisms of X. If \(K_X^2 \geqslant 5\) then the quotient variety X / G is \(\Bbbk \)rational.
In this paper we find for which finite groups a quotient of cubic surface is \(\Bbbk \)rational and for which is not. The main result of this paper is the following.
Theorem 1.3
Let \(\Bbbk \) be a field of characteristic zero, X a del Pezzo surface over \(\Bbbk \) of degree 3 such that \(X(\Bbbk ) \ne \varnothing \) and G a subgroup of \({\text {Aut}}_{\Bbbk }(X)\). Suppose that G is not trivial and G is not a group of order 3 having no curves of fixed points. Then X / G is \(\Bbbk \)rational.
Note that if G is trivial and X is minimal then X is not \(\Bbbk \)rational (see [5, Theorem V.1.1]). This gives us an example of a del Pezzo surface of degree 3 such that its quotient by the trivial group is not \(\Bbbk \)rational. For a group G of order 3 acting without curves of fixed points on X we construct examples of quotients of Gminimal cubic surface X such that X is \(\Bbbk \)rational and X / G is \(\Bbbk \)rational, X is \(\Bbbk \)rational and X / G is not \(\Bbbk \)rational, X is not \(\Bbbk \)rational and X / G is \(\Bbbk \)rational, and X is not \(\Bbbk \)rational and X / G is not \(\Bbbk \)rational.
To prove Theorem 1.3 we consider possibilities for groups G acting on X. Our main method is to find a normal subgroup N in G such that the quotient X / N is G / Nbirationally equivalent to a smooth rational surface of degree 5 or more. Therefore \(\Bbbk \)rationality of X / G is equivalent to \(\Bbbk \)rationality of the quotient of the obtained surface by the group G / N and we can use Corollary 1.2.
The plan of this paper is as follows. In Sect. 2 we recall some facts about minimal rational surfaces, groups, singularities and quotients. In Sect. 3 we consider quotients of cubic surfaces by nontrivial groups of automorphisms and show that all of them except a case are always \(\Bbbk \)rational.
In the rest of paper we consider the remaining case of a group G of order 3 acting on a Gminimal surface X without curves of fixed points and construct explicit examples of four possible combinations of \(\Bbbk \)rationality and non\(\Bbbk \)rationality of X and X / G. To do this we need to find some conditions on the image of the Galois group \(\mathrm{Gal}(\overline{\Bbbk }/\Bbbk )\) in the Weyl group \(\mathrm{W}(E_6)\) and then find geometric interpretation of the action of the Galois group \(\mathrm{Gal}(\overline{\Bbbk }/\Bbbk )\) on X. Thus Sects. 4 and 5 consist of complicated computations which are required to construct explicit examples in Sect. 6.
In Sect. 4 for non\(\Bbbk \)rational quotients of a \(\Bbbk \)rational cubic surfaces X by a group of order 3 we find all possibilities of the image of the Galois group \(\mathrm{Gal}(\overline{\Bbbk }/ \Bbbk )\) in the Weyl group \(\mathrm{W}(E_6)\) acting on the Picard group of X. In Sect. 5 we find an explicit geometric interpretation of the obtained actions of the Galois group in terms of equations of X. In Sect. 6 for a group G of order 3 acting on a Gminimal cubic surface X without curves of fixed points we construct examples of \(\Bbbk \)rational and non\(\Bbbk \)rational quotients.
Notation Throughout this paper \(\Bbbk \) is any field of characteristic zero, \(\overline{\Bbbk }\) is its algebraic closure. For a surface X we denote \(X {\otimes } \overline{\Bbbk }\) by \(\overline{X}\). For a surface X we denote the Picard group (respectively Ginvariant Picard group) by \(\mathrm{Pic}(X)\) (respectively \(\mathrm{Pic}(X)^G\)). The number \(\rho (X) = \mathrm{rk}\, \mathrm{Pic}(X)\) (respectively \(\rho (X)^G = \mathrm{rk}\, \mathrm{Pic}(X)^G\)) is the Picard number (respectively Ginvariant Picard number) of X. If two surfaces X and Y are \(\Bbbk \)birationally equivalent then we write \(X \approx Y\). If two divisors A and B are linearly equivalent then we write \(A \sim B\).
2 Preliminaries
2.1 Gminimal rational surfaces
In this subsection we review main notions and results of Gequivariant minimal model program following the papers [1, 2, 4]. Throughout this subsection G is a finite group.
Definition 2.1
A rational variety X is a variety over \(\Bbbk \) such that \(\overline{X}=X {\otimes } \overline{\Bbbk }\) is birationally equivalent to \(\mathbb {P}^n_{\overline{\Bbbk }}\). A \(\Bbbk \)rational variety X is a variety over \(\Bbbk \) such that X is birationally equivalent to \(\mathbb {P}^n_{\Bbbk }\). A variety X over \(\Bbbk \) is a \(\Bbbk \)unirational variety if there exists a \(\Bbbk \)rational variety Y and a dominant rational map \(\varphi :Y \dashrightarrow X\).
Definition 2.2
A Gsurface is a pair (X, G) where X is a projective surface over \(\Bbbk \) and G is a finite subgroup of \({\text {Aut}}_{\Bbbk }(X)\). A morphism of Gsurfaces \(f:X \rightarrow X'\) is called a Gmorphism if for each \(g \in G\) one has \(fg = gf\). A smooth Gsurface (X, G) is called Gminimal if any birational morphism of smooth Gsurfaces \((X, G) \rightarrow (X',G)\) is an isomorphism. Let (X, G) be a smooth Gsurface. A Gminimal surface (Y, G) is called a minimal model of (X, G) or Gminimal model of X if there exists a birational Gmorphism \(X \rightarrow Y\).
The following theorem is a classical result about Gequivariant minimal model program.
Theorem 2.3
The classification of Gminimal rational surfaces is well known due to Iskovskikh and Manin (see [2, 4]). We introduce some important notions before surveying it.
Definition 2.4
A smooth rational Gsurface (X, G) admits a conic bundle structure if there exists a Gmorphism \(\varphi :X \rightarrow B\) such that any scheme fibre is isomorphic to a reduced conic in \(\mathbb {P}^2_{\Bbbk }\) and B is a smooth curve.
Definition 2.5
A del Pezzo surface is a smooth projective surface X such that the anticanonical divisor \(K_X\) is ample. A singular del Pezzo surface is a normal projective surface X such that the anticanonical divisor \(K_X\) is ample and all singularities of X are du Val singularities. A weak del Pezzo surface is a smooth projective surface X such that the anticanonical divisor \(K_X\) is nef and big. The number \(d = K_X^2\) is called the degree of a (singular) del Pezzo surface X.
A del Pezzo surface X of degree 3 is isomorphic to a smooth cubic surface in \(\mathbb {P}^3_{\Bbbk }\). The following theorem classifies Gminimal rational surfaces.
Theorem 2.6
([2, Theorem 1]) Let X be a Gminimal rational Gsurface. Then either X admits a Gequivariant conic bundle structure with \(\mathrm{Pic}(X)^{G} \cong \mathbb {Z}^2\), or X is a del Pezzo surface with \(\mathrm{Pic}(X)^{G} \cong \mathbb {Z}\).
Theorem 2.7
(cf. [2, Theorem 4]) Let X admit a Gequivariant conic bundle structure. Suppose that \(K_X^2 = 3, 5, 6\) or X is a blowup of \(\mathbb {P}^2_{\Bbbk }\) at a point. Then X is not Gminimal.
The following theorem is an important criterion of \(\Bbbk \)rationality over an arbitrary perfect field \(\Bbbk \).
Theorem 2.8
 (i)
\(X(\Bbbk ) \ne \varnothing \);
 (ii)
\(K_X^2 \geqslant 5\).
Corollary 2.9
Let X be a smooth rational Gsurface such that \(X(\Bbbk ) \ne \varnothing \) and \(\rho (X)^G + K_X^2 \geqslant 7\). Then there exists a Gminimal model Y of X such that \(K_Y^2 \geqslant 6\). In particular, X is \(\Bbbk \)rational.
Proof
The set \(X(\Bbbk )\) is not empty. Thus \(Y(\Bbbk ) \ne \varnothing \) and \(X \approx Y\) is \(\Bbbk \)rational, by Theorem 2.8. \(\square \)
In this paper we use the notation of the following remark.
Remark 2.10
2.2 Groups

\(\mathfrak {C}_n\) denotes the cyclic group of order n;

\(\mathfrak {D}_{2n}\) denotes the dihedral group of order 2n;

\(\mathfrak {S}_n\) denotes the symmetric group of degree n;

\(\mathfrak {A}_n\) denotes the alternating group of degree n;

\((i_1 i_2 \ldots i_j)\) denotes a cyclic permutation of \(i_1, \ldots , i_j\);

\(\mathfrak {V}_4\) denotes the Klein group isomorphic to \(\mathfrak {C}_2^2\);

\(\langle g_1, \ldots , g_n \rangle \) denotes a group generated by \(g_1, \ldots , g_n\);

\(\mathrm{diag}(a_1, \ldots , a_n)\) denotes the diagonal \(n {\times } n\) matrix with entries \(a_1, \ldots , a_n\);

\(\mathrm {i} = \sqrt{1}\);

\(\xi _n = e^{2\pi \mathrm {i}/n}\);

\(\omega = \xi _3 = e^{2\pi \mathrm {i}/3}\).
Lemma 2.11

\(\mathfrak {C}_2 \cong \langle (12)\rangle \);

\(\mathfrak {C}_2 \cong \langle (12)(34)\rangle \);

\(\mathfrak {C}_3 \cong \langle (123)\rangle \);

\(\mathfrak {V}_4 \cong \langle (12)(34), (13)(24)\rangle \);

\(\mathfrak {C}_5 \cong \langle (12345)\rangle \);

\(\mathfrak {A}_5\).
2.3 Singularities
A toric singularity can be resolved by a sequence of weighted blowups. Therefore it is easy to describe numerical properties of a quotient singularity. We list here these properties for singularities appearing in our paper.
Remark 2.12
Let the group \(\mathfrak {C}_m\) act on a smooth surface X and \(f:X \rightarrow S\) be a quotient map. Let p be a singular point on S of type \(1/m{\cdot }(1,q)\). Let C and D be curves passing through p such that \(f^{1}(C)\) and \(f^{1}(D)\) are \(\mathfrak {C}_m\)invariant and tangent vectors of these curves at the point \(f^{1}(p)\) are eigenvectors of the natural action of \(\mathfrak {C}_m\) on \(T_{f^{1}(p)} X\) (the curve C corresponds to the eigenvalue \(\xi _m\) and the curve D corresponds to the eigenvalue \(\xi _m^q\)).
Let \(\pi :\widetilde{S} \rightarrow S\) be the minimal resolution of the singular point p. Table 1 presents some numerical properties of \(\widetilde{S}\) and S for the singularities appearing in this paper.
The exceptional divisor of \(\pi \) is a chain of transversally intersecting exceptional curves \(E_i\) whose selfintersection numbers are listed in the last column of Table 1. The curves \(\pi ^{1}_*(C)\) and \(\pi ^{1}_*(D)\) transversally intersect at a point only the first and the last of these curves respectively and do not intersect other components of the exceptional divisor of \(\pi \).
Resolutions of singularities
m  q  \(K_{\widetilde{S}}^2  K_S^2\)  \(\pi ^{1}_*(C)^2  C^2\)  \(\pi ^{1}_*(D)^2  D^2\)  \(E_i^2\) 

2  1  0  \(1/2\)  \(1/2\)  \(2\) 
3  1  \(1/3\)  \(1/3\)  \(1/3\)  \(3\) 
3  2  0  \(2/3\)  \(2/3\)  \(2\), \(2\) 
5  2  \(2/5\)  \(2/5\)  \(3/5\)  \(3\), \(2\) 
2.4 Quotients
In this subsection we collect some additional information about quotients of rational surfaces. We use the following definition for convenience.
Definition 2.13
Let X be a Gsurface (respectively surface), \(\widetilde{X} \rightarrow X\) be its minimal resolution of singularities, and Y be a Gminimal model (respectively minimal model) of \(\widetilde{X}\). We call the surface Y a GMMPreduction (respectively MMPreduction) of X.
We need some results about quotients of del Pezzo surfaces of degree 4.
Lemma 2.14
([6, Remark 6.2]) Let a finite group G act on a del Pezzo surface X of degree 4 and \(N \cong \mathfrak {C}_2\) be a normal subgroup in G such that N has no curves of fixed points. Then the surface X / N is G / Nbirationally equivalent to a conic bundle Y with \(K_Y^2 = 2\). If there exists a \(G {\times } \mathrm{Gal}( \overline{\Bbbk }/ \Bbbk )\)fixed point then Y is not G / Nminimal and there exists a G / NMMPreduction Z of Y such that \(K_Z^2 = 8\).
3 del Pezzo surface of degree 3
In this section we prove Theorem 1.3. We start from cyclic groups of prime order. The following theorem classifies actions of cyclic groups of prime order on smooth cubics.
Theorem 3.1
(cf. [1, Theorem 6.10]) Let a group \(\mathfrak {C}_p\) of prime order p act on a del Pezzo surface of degree 3. Then one can choose homogeneous coordinates x, y, z, t in \(\mathbb {P}^3_{\overline{\Bbbk }}\) such that the equation of \(\overline{X}\) and the action of \(\mathfrak {C}_p\) are presented in Table 2, where \(u, v, w, \alpha \) and \(\beta \) are coefficients. These actions have different sets of fixed points on \(\overline{X}\) and correspond to different conjugacy classes of cyclic subgroups in the Weyl group \(\mathrm{W}(E_6)\) acting on \(\mathrm{Pic}(\overline{X})\).
Elements of prime order acting on a cubic surface
Type  Order  Equation  Action 

1  2  \(x^3 + y^3 + z^3 + \alpha xyz + t^2(ux + vy + wz) = 0\)  \(( x \!:\! y \!:\! z \!:\! t )\) 
2  2  \(x^3 + y^3 + xz(z + \alpha t) + yt(z + \beta t) = 0\)  \(( x \!:\! y \!:\! z \!:\! t )\) 
3  3  \(x^3 + y^3 + z^3 + \alpha xyz + t^3 = 0\)  \(( x \!:\! y \!:\! z \!:\! \omega t )\) 
4  3  \(x^3 + y^3 + z^3 + t^3 = 0\)  \(( x \!:\! y \!:\! \omega z \!:\! \omega t )\) 
5  3  \(x^3 + y^3 + zt(ux + vy) + z^3 + t^3 = 0\)  \(( x \!:\! y \!:\! \omega z\! :\! \omega ^2 t )\) 
6  5  \(x^2 y + y^2 z + z^2 t + t^2 x = 0\)  \(( x \!:\!\xi _5 y \!:\! \xi _5^4 z \!:\! \xi _5^3 t )\) 
Note that elements of type 3 and 4 of Table 2 have curves of fixed points \(t = 0\) and \(x = y = 0\) respectively. Therefore an element of order 3 having no curves of fixed points is of type 5 of Table 2. In the latter case the following lemma holds.
Lemma 3.2
Let a finite group G act on a del Pezzo surface X of degree 3 and \(N \cong \mathfrak {C}_3\) be a normal subgroup in G such that N acts as in type 5 of Table 2. Then the surface X / N is G / Nbirationally equivalent to a del Pezzo surface of degree 3.
Proof
The surface X / N has only du Val singularities. Therefore X / N is a singular del Pezzo surface and \(\widetilde{X / N}\) is a weak del Pezzo surface containing exactly six curves \(\pi ^{1}(q_i)\) whose selfintersection is less than \(1\). Thus Y does not contain curves with selfintersection less than \(1\). So Y is a del Pezzo surface of degree 3.\(\square \)
Remark 3.3
Note that in the notation of Lemma 3.2 there are two points on the surface Y where three \((1)\)curves meet each other. These points are images of \(\pi ^{1}_* f (C_j)\). Such a point is called an Eckardt point (see Definition 5.1 below).
Remark 3.4
Note that in the notation of Lemma 3.2 if \(\rho (X)^G > 1\) then X is not Gminimal by Theorem 2.7. Therefore the quotient of X / N is equivalent to a quotient of a del Pezzo surface with degree greater than 3 by a group of order 3. By Theorem 1.1 such a quotient is \(\Bbbk \)rational.
In Sect. 4 for non\(\Bbbk \)rational quotient \(X / \mathfrak {C}_3\) of \(\Bbbk \)rational surface X we find restrictions on the image of the Galois group \(\mathrm{Gal}(\overline{\Bbbk }/ \Bbbk )\) in the Weyl group \(\mathrm{W}(E_6)\) which acts on \(\mathrm{Pic}(\overline{X})\). Now we show that in all other cases of Theorem 1.3 the quotient of X is \(\Bbbk \)rational.
Lemma 3.5
Let a finite group G act on a del Pezzo surface X of degree 3 and \(N \cong \mathfrak {C}_p\) be a normal cyclic subgroup of prime order in G such that N acts not as in type 5 of Table 2. Then there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 5\).
Proof
In type 2 of Table 2 the group \(\mathfrak {C}_2\) fixes pointwisely the lines \(x = y = 0\) and \(z = t = 0\). The line \(z = t = 0\) intersects X at three \(\mathfrak {C}_2\)fixed points and the line \(x = y = 0\) is contained in X. This line is defined over \(\Bbbk \) since it is unique. Therefore this line and can be Gequivariantly contracted. So the quotient X / N is G / Nbirationally equivalent to the quotient of del Pezzo surface of degree 4 by a group of order 2 having four fixed points one of which is \(G {\times } \mathrm{Gal}( \overline{\Bbbk }/ \Bbbk )\)fixed. By Lemma 2.14, there exists a G / NMMPreduction Y of the latter quotient such that \(K_Y^2 = 8\).
Corollary 3.6
Let a finite group G of order 6 act on a del Pezzo surface X of degree 3. Then the surface X / G is birationally equivalent to a surface Y such that \(K_Y^2 \geqslant 5\).
Proof
Let \(N \subset G\) be the subgroup of order 3. Then, by Lemmas 3.2 and 3.5, the quotient X / N is G / Nbirationally equivalent to a surface Z such that either \(K_Z^2 \geqslant 5\) or Z is a del Pezzo surface of degree 3. There exists an MMPreduction Y of \(X / G \approx Z / (G / N)\) such that \(K_Y^2 \geqslant 5\), by Theorem 1.1 and Lemma 3.5 respectively.\(\square \)
Remark 3.7
To prove Theorem 1.3 we need to list all possible automorphism groups of cubic surfaces.
Theorem 3.8
Automorphisms groups of cubic surfaces
Type  Group  Equation 

\(\mathrm {I}\)  \(\mathfrak {C}_3^3 {\rtimes } \mathfrak {S}_4\)  \(x^3 + y^3 + z^3 + t^3 = 0\) 
\(\mathrm {II}\)  \(\mathfrak {S}_5\)  \(x^2 y + y^2 z + z^2 t + t^2 x = 0\) 
\(\mathrm {III}\)  \(H_3(3) {\rtimes } \mathfrak {C}_4\)  \(x^3 + y^3 + z^3 + \alpha xyz + t^3 = 0\) 
\(\mathrm {IV}\)  \(H_3(3) {\rtimes } \mathfrak {C}_2\)  \(x^3 + y^3 + z^3 + \alpha xyz + t^3 = 0\) 
\(\mathrm {V}\)  \(\mathfrak {S}_4\)  \(t(x^2 + y^2 + z^2) + \alpha xyz + t^3 = 0\) 
\(\mathrm {VI}\)  \(\mathfrak {S}_3 {\times } \mathfrak {C}_2\)  \(x^3 + y^3 + \alpha zt(x + y) + z^3 + t^3 = 0\) 
\(\mathrm {VII}\)  \(\mathfrak {C}_8\)  \(x^3 + xy^2 + yz^2 + zt^2 = 0\) 
\(\mathrm {VIII}\)  \(\mathfrak {S}_3\)  \(x^3 + y^3 + zt(ux + vy) + z^3 + t^3 = 0\) 
\(\mathrm {IX}\)  \(\mathfrak {C}_4\)  \(x^3 + \alpha y^3 + xy^2 + yz^2 + zt^2 = 0\) 
\(\mathrm {X}\)  \(\mathfrak {C}_2^2\)  \(x^3 + y^3 + z^3 + \alpha xyz + t^2(x + y + uz) = 0\) 
\(\mathrm {XI}\)  \(\mathfrak {C}_2\)  \(x^3 + y^3 + z^3 + \alpha xyz + t^2(x + uy + vz) = 0\) 
In the paper [1] there is one more column in this table which contains conditions on the parameters. But we are interested only in the structure of the group and its action on \(\mathbb {P}^3_{\overline{\Bbbk }}\) so we omit this column.
Lemma 3.9
Let a finite group G act on a del Pezzo surface X of degree 3 and \(N \cong \mathfrak {V}_4\) be a normal subgroup in G such that nontrivial elements of N act as in type 2 of Table 2. Then there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 = 6\).
Proof
Lemma 3.10
Let a finite group G act on a del Pezzo surface X of degree 3 and \(N \cong \mathfrak {A}_5\) be a normal subgroup in G. Then there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 6\).
Proof
From Theorem 3.8, one can see that there is a unique cubic surface \(\overline{X}\) with \(\mathfrak {A}_5\) action on it. This cubic surface is called the Clebsch cubic. It is well known that the Clebsch cubic is isomorphic to the \(\mathfrak {A}_5\)equivariant blowup at six points on \(\mathbb {P}^2_{\overline{\Bbbk }}\). For convenience of the reader we remind this construction.
Consider the group \(\mathfrak {A}_5\) acting on \(\mathbb {P}^2_{\overline{\Bbbk }}\). By a direct computation one can show that each element g of \(\mathfrak {A}_5\) is a composition of two elements \(h_1\) and \(h_2\) of order two. Any element of order 2 in \(\mathrm {PGL_3}( \Bbbk )\) has a line of fixed points. Thus each element g of \(\mathfrak {A}_5\) has an isolated fixed point p which is the intersection point of the lines fixed by elements \(h_1\) and \(h_2\). The stabilizer group \(N_p\) of p acts on the tangent space of \(\mathbb {P}^2_{\overline{\Bbbk }}\) at p. Therefore \(N_p\) is a subgroup in \(\mathfrak {A}_5\) and \(\mathrm {GL}_2( \Bbbk )\). Thus this is isomorphic to \(\mathfrak {C}_2^2, \mathfrak {S}_3\) or \(\mathfrak {D}_{10}\) if \({\text {ord}}g\) is 2, 3 or 5 respectively. The images of these groups in \(\mathrm {GL}_2( \Bbbk )\) are generated by reflections.
Consider such a point p for an element g of order 5. The stabilizer \(N_p\) of p is isomorphic to \(\mathfrak {D}_{10}\) and g acts in the tangent space of \(\mathbb {P}^2_{\overline{\Bbbk }}\) at p as \(\mathrm{diag}(\xi _5, \xi _5^4)\). One can easily check that the action of g in the tangent spaces of the two other fixed points is conjugate to \(\mathrm{diag}(\xi _5, \xi _5^2)\).
The group \(\mathfrak {A}_5\) contains six subgroups isomorphic to \(\mathfrak {C}_5\). Let \(p_1, \ldots , p_6\) be fixed points of these subgroups whose stabilizers are isomorphic to \(\mathfrak {D}_{10}\). Consider an \(\mathfrak {A}_5\)equivariant blowup \(\sigma :\overline{X}\rightarrow \mathbb {P}^2_{\overline{\Bbbk }}\) of the points \(p_1, \ldots , p_6\). The surface \(\overline{X}\) is a del Pezzo surface of degree 3.
We use the notation of Remark 2.10. Let \(g_2, g_3\) and \(g_5\) be elements in \(\mathfrak {A}_5\) of order 2, 3 and 5 respectively.
The stabilizer of any point \(p_i\) in \(\mathfrak {A}_5\) is isomorphic to \(\mathfrak {D}_{10}\). Therefore there are five lines passing through the point \(p_i\) that are pointwisely fixed by an element of order 2 in \(\mathfrak {A}_5\). But in \(\mathfrak {A}_5\) there are only 15 elements of order 2. Thus each element of order 2 fixes pointwisely a line passing through a pair of points \(p_i\) and \(p_j\) on \(\mathbb {P}^2_{\overline{\Bbbk }}\) and fixes pointwisely a \((1)\)curve \(L_{ij}\) on \(\overline{X}\). By the Lefschetz fixedpoint formula, the element \(g_2\) has three isolated fixed points. Two of them are \(E_i \cap Q_j\) and \(Q_i \cap E_j\) and the third is the preimage of the isolated fixed point p of \(g_2\) on \(\mathbb {P}^2_{\overline{\Bbbk }}\). In the tangent space of \(\overline{X}\) at p the stabilizer group \(N_p\) of p acts as \(\mathfrak {C}_2^2\) generated by reflections.
An element \(g_3\) does not have any invariant \((1)\)curve. Therefore it cannot have curves of fixed points. Thus the action of \(g_3\) on \(\mathbb {P}^2_{\overline{\Bbbk }}\) is conjugate to \(\mathrm{diag} (1, \omega , \omega ^2)\). Hence on the surface \(\overline{X}\) the element \(g_3\) has three isolated points and acts in the tangent spaces of \(\mathbb {P}^2_{\overline{\Bbbk }}\) at these points as \(\mathrm{diag} (\omega , \omega ^2)\). These points cannot be points of the blowup since the stabilizer of any point \(p_i\) in \(\mathfrak {A}_5\) is \(\mathfrak {D}_{10}\). Therefore there are three \(g_3\)fixed points on \(\overline{X}\) and in the tangent spaces of \(\overline{X}\) at these points as \(\mathrm{diag} (\omega , \omega ^2)\). Two of these points do not lie on \((1)\)curves and the third one is a point of intersection of three \((1)\)curves.
An element \(g_5\) has three fixed points on \(\mathbb {P}^2_{\overline{\Bbbk }}\): namely \(p_k\) for some \(k \in \{1, 2, 3, 4, 5, 6 \}\) and two points in whose tangent space the action of \(g_5\) is conjugate to \(\mathrm{diag}(\xi _5, \xi _5^2)\). The \((1)\)curve \(Q_k\) is \(g_5\)invariant thus the quadric \(\sigma (Q_k)\) passes through two \(g_5\)fixed points different from \(p_k\). Therefore the element \(g_5\) has four fixed points on \(\overline{X}\), two of them lie on \(E_k\) and two on \(Q_k\). The element \(g_5\) acts in the tangent spaces of \(\overline{X}\) at \(g_5\)fixed points as \(\mathrm{diag}(\xi _5, \xi _5^2)\).
Now we prove Theorem 1.3.
Proof of Theorem 1.3
We consider each case of Theorem 3.8 and show that if the group G is not trivial and is not conjugate to \(\mathfrak {C}_3\) acting as in type 5 of Table 2 then there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 5\).
 If N is generated by one element of type 3 then \(N \cong \mathfrak {C}_3\), the quotient X / N is smooth and, by the Hurwitz formula, one has$$\begin{aligned} K_{X / N}^2 = \frac{1}{3} \,( 3K_X)^2 = 9. \end{aligned}$$
 If N is generated by two elements of type 3 then \(N \cong \mathfrak {C}_3^2\), the quotient X / N has only one singular point of type \(1/3{\cdot }(1,1)\) and, by the Hurwitz formula, one has$$\begin{aligned} K_{X / N}^2 = \frac{1}{9} \,( 5K_X)^2 = \frac{25}{3}. \end{aligned}$$
 If N is generated by three elements of type 3 then \(N \cong \mathfrak {C}_3^3\), the quotient X / N is smooth and, by the Hurwitz formula, one has$$\begin{aligned} K_{X / N}^2 = \frac{1}{27}\,( 9K_X)^2 = 9. \end{aligned}$$
If the group H does not contain elements of type 3 then either H is trivial or H is isomorphic to \(\mathfrak {C}_3\) generated by an element of type 4 or 5 or \(\mathfrak {C}_3^2\) generated by the elements \(\mathrm{diag}(1, 1, \omega , \omega )\) and \(\mathrm{diag}(1, \omega , 1, \omega )\).
In the last case the group G is a subgroup of \(\mathfrak {C}_3^2 {\rtimes } \mathfrak {D}_8\) where \(\mathfrak {D}_8 = \langle (1243), (23) \rangle \). If G contains the element (14)(23) then the group \(N = \langle (14)(23) \rangle \) is normal in G and there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 5\), by Lemma 3.5. Otherwise the group G is isomorphic to \(\mathfrak {C}_3^2 \rtimes \mathfrak {C}_2\) or \(\mathfrak {C}_3^2\).
If G contains a normal subgroup \(N \cong \mathfrak {C}_3\) generated by element of type 4 then there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 5\), by Lemma 3.5. Otherwise G is conjugate to \(\mathfrak {C}_3^2 {\rtimes } \mathfrak {C}_2\) where \(\mathfrak {C}_2\) is either \(\langle (23) \rangle \) or \(\langle (14) \rangle \). In this case G contains a normal subgroup \(N \cong \mathfrak {C}_3\) generated by an element of type 5. By Lemma 3.2, the quotient X / N is G / Nbirationally equivalent to a del Pezzo surface Z of degree 3 and the group \(G / N \cong \mathfrak {S}_3\). The quotient \(Z / \mathfrak {S}_3\) is \(\Bbbk \)birationally equivalent to a surface Y with \(K_Y^2 \geqslant 5\), by Corollary 3.6.
If the group \(H \cong \mathfrak {C}_3\) is generated by an element of type 4 then there exists a G / HMMPreduction Y of X / H such that \(K_Y^2 \geqslant 5\), by Lemma 3.5.
If the group \(H \cong \mathfrak {C}_3\) is generated by an element of type 5 then \(G \subset \mathfrak {S}_3 {\times } \mathfrak {C}_2\) and the quotient X / H is G / Hbirationally equivalent to a del Pezzo surface Z of degree 3, by Lemma 3.2. Thus if G / H is nontrivial then it contains a subgroup N of order 2. There exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 5\), by Lemma 3.5.
If the group H is trivial then G is a subgroup of \(\mathfrak {S}_4\). Then the group G contains a normal subgroup N isomorphic to \(\mathfrak {C}_2, \mathfrak {C}_3\) or \(\mathfrak {V}_4\), by Lemma 2.11. If \(N \cong \mathfrak {C}_2\) or \(N \cong \mathfrak {V}_4\) then there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 5\), by Lemma 3.5 or Lemma 3.9 respectively. If \(N \cong \mathfrak {C}_3\) then either G is generated by an element of type 5 or \(G \cong \mathfrak {S}_3\) and there exists an MMPreduction Y of X / G such that \(K_Y^2 \geqslant 5\), by Corollary 3.6.
In case II, the group G contains a normal subgroup N isomorphic to \(\mathfrak {C}_2, \mathfrak {C}_3, \mathfrak {V}_4, \mathfrak {C}_5\) or \(\mathfrak {A}_5\), by Lemma 2.11. If N is not isomorphic to \(\mathfrak {C}_3\) then there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 5\), by Lemmas 3.5, 3.9 or 3.10. Otherwise \(N \cong \mathfrak {C}_3\) and G is a subgroup of \(\mathfrak {S}_3 {\times } \mathfrak {C}_2\). Subgroups of this group are considered in case I.
In cases III and IV, let us consider the group \(H = G \cap H_3(3)\). If \({\text {ord}}H > 3\) then H contains a normal subgroup N generated by an element of order 3 acting as in type 3 of Table 2. The group N is normal in G and there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 5\), by Lemma 3.5.
If H is generated by an element of type 5 and G / H is not trivial then \(G \cong \mathfrak {S}_3\) and there exists an MMPreduction Y of X / G such that \(K_Y^2 \geqslant 5\), by Corollary 3.6.
If H is trivial and G is not trivial then \(G \subset \mathfrak {C}_4\) contains a normal subgroup N of order 2 and there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 5\), by Lemma 3.5.
In case VII, if G is not trivial then G contains a normal subgroup N of order 2 and there exists a G / NMMPreduction Y of X / N such that \(K_Y^2 \geqslant 5\), by Lemma 3.5.
In the other cases the group G is conjugate in \(\mathrm {PGL_4}(\overline{\Bbbk })\) to a subgroup of \(\mathfrak {S}_5\). All these possibilities were considered in case II.
4 Minimality conditions
Let X be a cubic surface in \(\mathbb {P}^3_{\Bbbk }\) and let a group \(G \cong \mathfrak {C}_3\) act on X as in type 5 of Table 2. In this section we find some conditions for the action of the Galois group \(\mathrm{Gal}(\overline{\Bbbk }/ \Bbbk )\) on the set of \((1)\)curves under which the surface X is \(\Bbbk \)rational and X / G is not \(\Bbbk \)rational.
Lemma 4.1
The image of the group G in the Weyl group \(\mathrm{W}(E_6)\) is conjugate to \(\langle (123)(456) \rangle \).
Proof
Remark 4.2
An alternative proof of Lemma 4.1 is the following. One can look at Table 1 in [5, Chapter IV, Section 5] and see that conjugacy classes of elements of order 3 in the group \(\mathrm{W}(E_6)\) correspond to the rows 3, 18 and 22 of this table. But in the eighth column of the table one can see that the element g corresponds to the 18th row. In the ninth column one can see that g is conjugate to (123)(456) in \(\mathrm{W}(E_6)\). Also one can see that the order of the centralizer of G in \(\mathrm{W}(E_6)\) is 108.
From now on we can assume that the group G acts on the set of \((1)\)curves on X as \(\langle (123)(456) \rangle \). The Galois group \(\mathrm{Gal}( \overline{\Bbbk }/ \Bbbk )\) commutes with the group G. Therefore to describe possibilities for the group \({\Gamma }\) we should find the centralizer of G in \(\mathrm{W}(E_6)\).
Lemma 4.3
The centralizer of \(G = \langle (123)(456) \rangle \) in \(\mathfrak {S}_6\) is a subgroup \(\mathfrak {C}_3^2 {\rtimes } \mathfrak {C}_2\) generated by \(a = (123)\), \(b = (456)\) and \(c = (14)(25)(36)\).
Proof
The elements a, b and c obviously commute with the element (123)(456) and the group \(\mathfrak {C}_3^2 {\rtimes } \mathfrak {C}_2 = \langle a, b, c \rangle \) has order 18. Thus the centralizer of \(G = \langle (123)(456) \rangle \) in \(\mathfrak {S}_6\) is a subgroup \(\mathfrak {C}_3^2 {\rtimes } \mathfrak {C}_2 = \langle a, b, c \rangle \). \(\square \)
Lemma 4.4
Proof
Let us consider the \((1)\)curve \(E_1\). Since \(L_{14}, L_{15}\) and \(L_{16}\) are invariant, the image of \(E_1\) can be only \(E_1, L_{23}\) or \(Q_1\). The action of the group on these three \((1)\)curves defines the whole action of the group \(\langle r, s \rangle \) on the set of \((1)\)curves. The group \(\mathfrak {S}_3 = \langle r, s \rangle \) fixes all the nine \((1)\)curves \(L_{ij}\), where \(i \in \{1,2,3\}\) and \(j \in \{4,5,6\}\), and permutes \(E_1, L_{23}\) and \(Q_1\) in all possible ways.\(\square \)
Proposition 4.5
Proof
By Lemmas 4.3 and 4.4, the centralizer of G in \(\mathrm{W}(E_6)\) is generated by the subgroups \(\mathfrak {C}_3^2{ \rtimes } \mathfrak {C}_2 = \langle a, b, c \rangle \) and \(\mathfrak {S}_3 = \langle r, s \rangle \). Obviously, the elements a, b, cs, r and s generate this group. One can easily check that a, b, cs and r, s pairwisely commute.\(\square \)
By Remark 3.4, if the quotient of X is not \(\Bbbk \)rational then \(\rho (X)^G = 1\). Moreover, if \(\rho (X) = 1\) then X is not \(\Bbbk \)rational, by Theorem 2.8. Thus to construct non\(\Bbbk \)rational quotient of \(\Bbbk \)rational cubic surface we should find all possibilities of the Galois group \({\Gamma }\) such that \(\rho (X) > 1\) and \(\rho (X)^G = 1\).
Lemma 4.6
If \(\pi _2({\Gamma })\) is trivial and \(\pi _1({\Gamma }) \subset \mathfrak {C}_3^2\) or \(\pi _2({\Gamma }) = \langle s \rangle \) but \(s \notin {\Gamma }\) then \(\rho (X)^G > 1\).
Proof
In these cases the group \({\Gamma }\) is a subgroup of the group \(\langle a, b, c \rangle \). Therefore the groups \({\Gamma }\) and \(G \cong \mathfrak {C}_3\) preserve \(\sum _{i=1}^6 E_i\) and \(\rho (X)^G > 1\).\(\square \)
Lemma 4.7
If \(\pi _2({\Gamma }) = \langle s \rangle \) and \(\pi _1({\Gamma }) \subset \mathfrak {C}_3^2\) then \(\rho (X)^G > 1\).
Proof
In this case the groups \({\Gamma }\) and G preserve the divisor \(\sum _{i=1}^3 E_i  \sum _{i=4}^6 E_i\). Therefore one has \(\rho (X)^G > 1\).\(\square \)
Lemma 4.8
\(\rho (X)^{\langle abcs \rangle } = \rho (X)^{\langle a^2b, cs \rangle } = 1\).
Proof
One has \((abcs)^4 = ab\) and \((abcs)^3 = cs\). Note that the groups \(\mathrm{Pic}(X)^{\langle ab \rangle }\) and \(\mathrm{Pic}(X)^{\langle a^2b \rangle }\) are generated by \(K_X\), \(\sum _{i=1}^3 E_i\) and \(\sum _{i=4}^6 E_i\). One can check that csinvariants in \(\mathrm{Pic}(X)^{\langle ab \rangle }\) and \(\mathrm{Pic}(X)^{\langle a^2b \rangle }\) are generated by \(K_X\).\(\square \)
Corollary 4.9
Suppose that \(\pi _1({\Gamma })\) contains the element cs and at least one element of order 3 and \(cs \in {\Gamma }\) then \(\rho (X) = 1\).
Lemma 4.10
\(\rho (X)^{\langle abr \rangle } = \rho (X)^{\langle a^2br \rangle } = 1.\)
Proof
Note that any abr and \(a^2br\) orbit of a \((1)\)curve consists of three \((1)\)curves meeting each other. Therefore these elements are of type 3 from Table 2. Thus, by Remark 3.7, one has \(\rho (X)^{\langle abr \rangle } = \rho (X)^{\langle a^2br \rangle } = 1\).\(\square \)
Corollary 4.11
If \(r \in \pi _2({\Gamma })\) and \(\pi _1({\Gamma })\) contains ab or \(a^2b\) then \(\rho (X) = 1\).
As a result of all previous lemmas we have the following proposition.
Proposition 4.12
 (i)
\({\Gamma } = \langle cs \rangle \cong \mathfrak {C}_2\);
 (ii)
\({\Gamma } = \langle c, s \rangle \cong \mathfrak {C}_2^2\);
 (iii)
\({\Gamma } = \langle r \rangle \cong \mathfrak {C}_3\);
 (iv)
\({\Gamma } = \langle ar \rangle \cong \mathfrak {C}_3\);
 (v)
\({\Gamma } = \langle a, r \rangle \cong \mathfrak {C}_3^2\);
 (vi)
\({\Gamma } = \langle cs, r \rangle \cong \mathfrak {C}_6\);
 (vii)
\({\Gamma } = \langle r, s \rangle \cong \mathfrak {S}_3\);
 (viii)
\({\Gamma } = \langle a, r, s \rangle \cong \mathfrak {C}_3 {\times } \mathfrak {S}_3\);
 (ix)
\({\Gamma } = \langle r, c \rangle \cong \mathfrak {S}_3\);
 (x)
\({\Gamma } = \langle r, c, s \rangle \cong \mathfrak {S}_3 {\times } \mathfrak {C}_2\).
Proof
At first we show that in all other cases one has either \(\rho (X) = 1\) or \(\rho (X)^G > 1\). If \(r \in \pi _2({\Gamma })\) then if \(\pi _1({\Gamma })\) contains an element ab or \(a^2b\) then \(\rho (X) = 1\), by Corollary 4.11. Therefore in this case \(\pi _1({\Gamma })\) should be trivial or conjugate to \(\langle a \rangle \) or \(\langle cs \rangle \). These possibilities correspond to cases (iii)–(x) of the proposition.
Now we can assume that \(r \notin \pi _2({\Gamma })\). If \(\pi _1({\Gamma })\) contains the element cs and at least one element of order 3 then, by Corollary 4.9, one has \(\rho (X) = 1\) in all cases except \({\Gamma } = \langle ab, c \rangle \), \({\Gamma } = \langle a^2b, c \rangle \) and \({\Gamma } = \langle a, b, c \rangle \). In the last three cases we have \(\rho (X)^G > 1\), by Lemma 4.6. If \(cs \notin \pi _1({\Gamma })\) then \(\rho (X)^G > 1\), by Lemmas 4.6 and 4.7. Therefore \(\pi _1({\Gamma }) = \langle cs \rangle \). This possibility corresponds to cases (i) and (ii) of the proposition.
Now we show that in all these cases one has \(\rho (X) > 1\) and \(\rho (X)^G = 1\). In cases (i), (ii), (vi), (ix) and (x) the \((1)\)curves \(L_{14}, L_{25}\) and \(L_{36}\) are \({\Gamma }\)invariant. Therefore X is not minimal and \(\rho (X) > 1\). In cases (iii), (iv), (v), (vii) and (viii) the triple of disjoint \((1)\)curves \(L_{14}, L_{24}\) and \(L_{34}\) is \({\Gamma }\)invariant. Therefore X is not minimal and \(\rho (X) > 1\). In cases (i) and (ii) one has \(\rho (X)^G = 1\), by Lemma 4.8. In the other cases one has \(\rho (X)^G = 1\), by Lemma 4.10. \(\square \)
Note that if one can contract a \((1)\)curve defined over \(\Bbbk \) and \(\rho (X) = 2\) or \(\rho (X) = 3\) then the obtained del Pezzo surface either is not mininal or can be minimal del Pezzo surface of degree 4. So for each case of Proposition 4.12 we should check whether the surface X is \(\Bbbk \)rational.
Lemma 4.13
If the Galois group \({\Gamma }\) contains the element cs then X is not \(\Bbbk \)rational.
Proof
Note that the \((1)\)curves \(L_{14}, L_{25}\) and \(L_{36}\) are csinvariant and the other \((1)\)curves form csinvariant pairs of \((1)\)curves which are not disjoint. The curves \(L_{14}, L_{25}\) and \(L_{36}\) meet each other. Therefore we can contract no more than one \((1)\)curve and X is not \(\Bbbk \)rational, by Theorem 2.8.\(\square \)
Lemma 4.14
If the Galois group \({\Gamma }\) contains the elements c and r then X is not \(\Bbbk \)rational.
Proof
Note that if a \(\langle c , r \rangle \)orbit contains \(E_i\) then it contains \(Q_j\) with \(i \ne j\). Therefore we cannot contract any of these orbits. Also we cannot contract \(\langle c , r \rangle \)invariant pairs \(L_{15}\) and \(L_{24}, L_{16}\) and \(L_{34}, L_{26}\) and \(L_{35}\). The \((1)\)curves \(L_{14}, L_{25}\) and \(L_{36}\) are \(\langle c , r \rangle \)invariant and meet each other. Therefore we cannot contract more than one \((1)\)curve and X is not \(\Bbbk \)rational, by Theorem 2.8.\(\square \)
Lemma 4.15
If the Galois group \({\Gamma }\) is contained in \(\langle a, r, s \rangle \) then X is \(\Bbbk \)rational.
Proof
We can contract \((1)\)curves \(E_4, L_{56}\) and \(Q_4\), and get a del Pezzo surface of degree 6 which is \(\Bbbk \)rational, by Theorem 2.8.\(\square \)
Now we can prove the following theorem.
Theorem 4.16
 (i)
\({\Gamma } = \langle r \rangle \cong \mathfrak {C}_3\);
 (ii)
\({\Gamma } = \langle ar \rangle \cong \mathfrak {C}_3\);
 (iii)
\({\Gamma } = \langle a, r \rangle \cong \mathfrak {C}_3^2\);
 (iv)
\({\Gamma } = \langle r, s \rangle \cong \mathfrak {S}_3\);
 (v)
\({\Gamma } = \langle a, r, s \rangle \cong \mathfrak {C}_3 {\times } \mathfrak {S}_3\).
Proof
For cases (i), (ii), (vi), (x) of Proposition 4.12 the Galois group \({\Gamma }\) contains the element cs. Therefore X is not \(\Bbbk \)rational, by Lemma 4.13. For case (ix) of Proposition 4.12 the surface X is not \(\Bbbk \)rational, by Lemma 4.14.
For cases (iii), (iv), (v), (vii), (viii) of Proposition 4.12 the Galois group \({\Gamma }\) is contained in \(\langle a, r, s \rangle \cong \mathfrak {C}_3 {\times } \mathfrak {S}_3\). Therefore X is \(\Bbbk \)rational, by Lemma 4.15.\(\square \)
5 Geometric interpretation
Definition 5.1
A point p on a cubic surface is called an Eckardt point if there are three \((1)\)curves passing through p.
Lemma 5.2
The points \(e_1, e_2\) and \(e_3\) are Eckardt points.
Proof
Remark 5.3
Applying explicit equations given in the proof of Lemma 5.2, one can see that the Gorbit of any \((1)\)curve passing through a point \(e_i\) consists of three \((1)\)curves meeting each other at a point. The image of G in the Weyl group \(\mathrm{W}(E_6)\) is conjugate to \(\langle (123)(456) \rangle \), by Lemma 4.1. Therefore nine curves passing through the Eckardt points \(e_i\) are \(L_{ij}\), where \(i \in \{1, 2, 3\}\) and \(j \in \{4, 5, 6\}\). We can assume that the curves \(L_{14}, L_{26}\) and \(L_{35}\) pass through \(e_1\), the curves \(L_{16}, L_{25}\) and \(L_{34}\) pass through \(e_2\) and the curves \(L_{15},L_{24}\) and \(L_{36}\) pass through \(e_3\).
Now we give explicit geometric interpretation of the action of the group \(\pi _1({\Gamma })\).
Lemma 5.4

if \(\pi _1({\Gamma })\) is trivial then \({\Gamma }_1\) and \({\Gamma }_2\) are trivial;

if \(\pi _1({\Gamma }) = \langle cs \rangle \cong \mathfrak {C}_2\) then \({\Gamma }_1\) is trivial and \({\Gamma }_2 \cong \mathfrak {C}_2\);

if \(\pi _1({\Gamma }) = \langle a^2b \rangle \cong \mathfrak {C}_3\) then \({\Gamma }_1\) is trivial and \({\Gamma }_2 \cong \mathfrak {C}_3\);

if \(\pi _1({\Gamma }) = \langle ab \rangle \cong \mathfrak {C}_3\) then \({\Gamma }_1 \cong \mathfrak {C}_3\) and \({\Gamma }_2\) is trivial;

if \(\pi _1({\Gamma }) = \langle a \rangle \cong \mathfrak {C}_3\) then \({\Gamma }_1 \cong \mathfrak {C}_3\), \({\Gamma }_2 \cong \mathfrak {C}_3\) and (2) and (3) have the same splitting field;

if \(\pi _1({\Gamma }) = \langle a^2b, cs \rangle \cong \mathfrak {S}_3\) then \({\Gamma }_1\) is trivial and \({\Gamma }_2 \cong \mathfrak {S}_3\);

if \(\pi _1({\Gamma }) = \langle ab, cs \rangle \cong \mathfrak {C}_6\) then \({\Gamma }_1 \cong \mathfrak {C}_3\) and \({\Gamma }_2 \cong \mathfrak {C}_2\);

if \(\pi _1({\Gamma }) = \langle a, b \rangle \cong \mathfrak {C}_3^2\) then \({\Gamma }_1 \cong \mathfrak {C}_3\), \({\Gamma }_2 \cong \mathfrak {C}_3\) and (2) and (3) have different splitting fields;

if \(\pi _1({\Gamma }) = \langle a, b, cs \rangle \cong \mathfrak {C}_3^2 {\rtimes } \mathfrak {C}_2\) then \({\Gamma }_1 \cong \mathfrak {C}_3\) and \({\Gamma }_2 \cong \mathfrak {S}_3\).
Proof
Note that the group \({\Gamma }_1\) permutes the Eckardt points \(e_1, e_2\) and \(e_3\), and the group \({\Gamma }_2\) permutes three \((1)\)curves passing through an Eckardt point. In the notation of Remark 5.3 one can see that the elements \(a^2b\) and cs of \(\mathrm{W}(E_6)\) preserve the Eckardt points \(e_1, e_2\) and \(e_3\), and permute the \((1)\)curves passing through each of them. Thus the availability of elements conjugate to \(a^2b\) and cs in \(\pi _1({\Gamma })\) is equivalent to the availability of elements of order 3 and 2 in \({\Gamma }_2\) respectively.
The element ab permutes three \((1)\)curves \(E_{14}, E_{25}\) and \(E_{36}\). These curves lie in a plane given by \(\mu _i x = \lambda _i y\), where \((\lambda _i \!:\! \mu _i)\) is a root of (3). Similarly, the element ab preserves the other roots of (3). Thus the availability of the element ab in \(\pi _1({\Gamma })\) is equivalent to the availability of an element of order 3 in \({\Gamma }_1\).
The group \(\langle a, b, cs \rangle \cong \mathfrak {C}_3^2 {\rtimes } \mathfrak {C}_2\) is generated by the elements \(ab, a^2b\) and cs. So for any subgroup of \(\langle a, b, cs \rangle \) one can obtain the result of this lemma. \(\square \)
Let \(h:\overline{X}\rightarrow \mathbb {P}^2_{\overline{\Bbbk }}\) be a Gequivariant blowup of \(\mathbb {P}^2_{\overline{\Bbbk }}\) at six points \(p_1, p_2, p_3, p_4, p_5\) and \(p_6\) and l be a class of line on \(\mathbb {P}^2_{\overline{\Bbbk }}\). Then G has three fixed points on \(\mathbb {P}^2_{\overline{\Bbbk }}\). For each two of these fixed points there is exactly one Ginvariant curve passing through these two points that belongs to one of the following six classes: a line, a quadric passing through \(p_1, p_2\) and \(p_3\), a quadric passing through \(p_4, p_5\) and \(p_6\), a quartic passing through \(p_4, p_5\) and \(p_6\) and having nodes at \(p_1, p_2\) and \(p_3\), a quartic passing through \(p_1, p_2\) and \(p_3\) and having nodes at \(p_4, p_5\) and \(p_6\) or a quintic having nodes at \(p_1, p_2, p_3,p_4, p_5\) and \(p_6\). Proper transforms of these curves on X are Ginvariant and can be permuted by the group \({\Gamma }\). Denote these curves by \(R_{ij}^K\), where K is a class of curve in \(\mathrm{Pic}(\overline{X})\) and i and j are indices of points \(q_i\) and \(q_j\), which \(R_{ij}^K\) is passing through.
Lemma 5.5

the curve \(C_1\) is tangent to the curves \(R_{12}^L, R_{12}^{rL}, R_{12}^{r^2L}, R_{13}^{sL},R_{13}^{srL}, R_{13}^{sr^2L}\) at the point \(q_1\), tangent to the curves \(R_{23}^L, R_{23}^{rL}, R_{23}^{r^2L}, R_{12}^{sL}, R_{12}^{srL}, R_{12}^{sr^2L}\) at the point \(q_2\) and tangent to the curves \(R_{13}^L, R_{13}^{rL}, R_{13}^{r^2L}, R_{23}^{sL}, R_{23}^{srL}, R_{23}^{sr^2L}\) at the point \(q_3\);

the curve \(C_2\) is tangent to the curves \(R_{13}^L, R_{13}^{rL}, R_{13}^{r^2L}, R_{12}^{sL}, R_{12}^{srL}, R_{12}^{sr^2L}\) at the point \(q_1\), tangent to the curves \(R_{12}^L, R_{12}^{rL}, R_{12}^{r^2L}, R_{23}^{sL}, R_{23}^{srL}, R_{23}^{sr^2L}\) at the point \(q_2\) and tangent to the curves \(R_{23}^L,R_{23}^{rL}, R_{23}^{r^2L}, R_{13}^{sL}, R_{13}^{srL}, R_{13}^{sr^2L}\) at the point \(q_3\).
Proof
One has \(C_1 {\cdot } R_{12}^L = C_2{ \cdot } R_{12}^L = 3\). Note that the curves \(C_1, C_2\) and \(R_{12}^K\) pass through the Gfixed points \(q_1\) and \(q_2\), therefore \(R_{12}^L\) cannot meet \(C_1\) and \(C_2\) at any other point since that point should be Ginvariant. Therefore \(R_{12}^L\) is tangent to \(C_1\) and \(C_2\). The curves \(C_1\) and \(C_2\) have different tangents at the points \(q_i\). Thus we can assume that \(R_{12}^L\) is tangent to \(C_1\) at \(q_1\) and tangent to \(C_2\) at \(q_2\).
Now we give explicit geometric interpretation of the action of the group \(\pi _2({\Gamma })\).
Lemma 5.6
In the notation of Sect. 4 the group \(\pi _2({\Gamma })\) contains an element conjugate to s if and only if the Galois group \({\Gamma }_3\) of (4) is of even order.
Proof
Let the group \({\Gamma }_3\) contain an element h such that \(h(q_2) = q_3\) and \(h(q_3) = q_2\). By Lemma 5.5, the curve \(R_{12}^L\) is tangent to \(C_2\) at \(q_2\). Thus the curve \(h(R_{12}^L)\) is tangent to \(h(C_2) = C_2\) at \(q_3\) and passes through \(q_1\). Therefore, by Lemma 5.5, the curve \(h(R_{12}^L)\) is \(R_{13}^{sL}, R_{13}^{srL}\) or \(R_{13}^{sr^2L}\). Hence the group \(\pi _2({\Gamma })\) contains an element conjugate to s.
Now assume that the group \(\pi _2({\Gamma })\) contains an element conjugate to s. If the Galois group \({\Gamma }_3\) is of odd order then this element fixes the points \(q_1, q_2\) and \(q_3\). Therefore the curve \(R_{12}^L\) is mapped by s to \(R_{12}^{sL}\). But \(R_{12}^L\) is tangent to \(C_1\) at \(q_1\) and \(R_{12}^{sL}\) is tangent to \(C_2\) at \(q_2\). This contradiction finishes the proof. \(\square \)
Lemma 5.7
Let X be a Gminimal cubic surface given by (1) and the Galois group \({\Gamma }_3\) of (4) is isomorphic to \(\mathfrak {C}_2\). Then the quotient X / G is birationally equivalent to a minimal del Pezzo surface Z of degree 4. In particular, X / G is not \(\Bbbk \)rational.
Proof
The Galois group \({\Gamma }_3\) of (4) is isomorphic to \(\mathfrak {C}_2\). Therefore we can assume that the Gfixed point \(q_1\) is defined over \(\Bbbk \) and two other Gfixed points \(q_2\) and \(q_3\) are permuted by \({\Gamma }_3\).
The Galois group \({\Gamma }_3\) acts on the set of 27 \((1)\)curves on Y. One cannot contract more than four \((1)\)curves on Y since \(\rho (Y) = 3\). But in Table 1 in [5, Chapter IV,Section 5] there is only one class of elements of order 2 satisfying this property. This class corresponds to the 11th row of the table. For this class one cannot contract more than one \((1)\)curve on Y (see the second column of the table). Therefore one can contract this curve on Y and get a minimal del Pezzo surface Z of degree 4 with \(\rho (Z) = 2\) admitting a structure of conic bundle. The surface \(Z \approx X / G\) is not \(\Bbbk \)rational, by Theorem 2.8. \(\square \)
Lemma 5.8
Proof
The roots of this equation correspond to the pairs of curves \(R_{23}^L\) and \(R_{23}^{sL}\), \(R_{23}^{rL}\) and \(R_{23}^{sr^2L}\), \(R_{23}^{r^2L}\) and \(R_{23}^{srL}\) which are cyclically permuted by \({\Gamma }\) if and only if the group \(\pi _2({\Gamma })\) contains r.\(\square \)
Remark 5.9
6 Examples
In this section we construct explicit examples of quotients of del Pezzo surfaces of degree 3 by a group \(G \cong \mathfrak {C}_3\) acting as in type 5 of Table 2. We use the notation of Sect. 5.
Lemma 6.1
Let X be a cubic surface given by (1). Suppose that the Galois groups \({\Gamma }_1, {\Gamma }_2, {\Gamma }_3\) of (2), (3), (4) are trivial and the Galois group \({\Gamma }_4\) of (5) contains an element of order 3. Then the surface X is Gminimal and \(\Bbbk \)rational, and the quotient X / G is also \(\Bbbk \)rational.
Proof
The group \({\Gamma }_1\) is trivial. Therefore \(X(\Bbbk )\) contains the points \(e_1,e_2\) and \(e_3\). By Lemmas 5.4, 5.6 and 5.8, the group \({\Gamma }\) is conjugate to \(\langle r \rangle \). Therefore one can Galois equivariantly contract the curves \(E_1, L_{23}\) and \(Q_1\) and get a del Pezzo surface of degree 6 which is \(\Bbbk \)rational, by Theorem 2.8.
The image of the group G in the Weyl group \(\mathrm{W}(E_6)\) is \(\langle ab \rangle \) thus X is Gminimal, by Corollary 4.11. Let \(f:X \rightarrow X / G\) be the quotient morphism and \(\pi :\widetilde{X / G} \rightarrow X / G\) the minimal resolution of singularities. The group \({\Gamma }_3\) is trivial. Therefore the points \(q_1, q_2\) and \(q_3\) are defined over \(\Bbbk \). Hence all six irreducible components of the curves \(\pi ^{1}f(q_1), \pi ^{1}f(q_2)\) and \(\pi ^{1}f(q_3)\) are defined over \(\Bbbk \). Thus \(\rho (\widetilde{X / G}) = 7\), and \(\widetilde{X / G}\) and X / G are \(\Bbbk \)rational, by Corollary 2.9. \(\square \)
Example 6.2
Lemma 6.3
Let X be a cubic surface given by (1). Suppose that the Galois groups \({\Gamma }_1, {\Gamma }_2\) of (2), (3) are trivial, the Galois group \({\Gamma }_3\) of (4) is isomorphic to \(\mathfrak {C}_2\) and the Galois group \({\Gamma }_4\) of (5) contains an element of order 3. Then the surface X is Gminimal and \(\Bbbk \)rational, and the quotient X / G is not \(\Bbbk \)rational.
Proof
The group \({\Gamma }_1\) is trivial. Therefore \(X(\Bbbk )\) contains the points \(e_1, e_2\) and \(e_3\). By Lemmas 5.4, 5.6 and 5.8, the group \({\Gamma }\) is conjugate to \(\langle r, s \rangle \). Therefore one can Galois equivariantly contract the curves \(E_1, L_{23}\) and \(Q_1\) and get a del Pezzo surface of degree 6 which is \(\Bbbk \)rational, by Theorem 2.8. The image of the group G in the Weyl group \(\mathrm{W}(E_6)\) is \(\langle ab \rangle \) thus X is Gminimal, by Corollary 4.11. The quotient X / G is not \(\Bbbk \)rational by Lemma 5.7. \(\square \)
Example 6.4
Lemma 6.5
Let X be a cubic surface given by (1). Suppose that the Galois groups \({\Gamma }_1\) and \({\Gamma }_3\) of (2) and (4) are trivial, the Galois group \({\Gamma }_2\) of (3) is isomorphic to \(\mathfrak {C}_2\) and the Galois group \({\Gamma }_4\) of (5) contains an element of order 3. Then the surface X is Gminimal and not \(\Bbbk \)rational, and the quotient X / G is \(\Bbbk \)rational.
Proof
The group \({\Gamma }_1\) is trivial. Therefore \(X(\Bbbk )\) contains the points \(e_1, e_2\) and \(e_3\). By Lemmas 5.4, 5.6 and 5.8, the group \({\Gamma }\) is conjugate to \(\langle c, r \rangle \). Therefore X is not \(\Bbbk \)rational, by Lemma 4.14.
The image of the group G in the Weyl group \(\mathrm{W}(E_6)\) is \(\langle ab \rangle \) thus X is Gminimal, by Corollary 4.11. Let \(f:X \rightarrow X / G\) be the quotient morphism and \(\pi :\widetilde{X / G} \rightarrow X / G\) the minimal resolution of singularities. The group \({\Gamma }_3\) is trivial. Therefore the points \(q_1, q_2\) and \(q_3\) are defined over \(\Bbbk \). Hence all six irreducible components of the curves \(\pi ^{1}f(q_1), \pi ^{1}f(q_2)\) and \(\pi ^{1}f(q_3)\) are defined over \(\Bbbk \). Thus \(\rho (\widetilde{X / G}) = 7\), and \(\widetilde{X / G}\) and X / G are \(\Bbbk \)rational, by Corollary 2.9. \(\square \)
Example 6.6
Lemma 6.7
Let X be a cubic surface given by (1). Suppose that the Galois group \({\Gamma }_1\) of (2) is trivial, the Galois group \({\Gamma }_2\) of (3) is isomorphic to \(\mathfrak {C}_2\) and the Galois group \({\Gamma }_3\) of (4) is isomorphic to \(\mathfrak {C}_2\). Then the surface X is Gminimal and not \(\Bbbk \)rational, and the quotient X / G is also not \(\Bbbk \)rational.
Proof
The group \({\Gamma }_1\) is trivial. Therefore \(X(\Bbbk )\) contains the points \(e_1, e_2\) and \(e_3\). By Lemmas 5.4 and 5.6, the group \({\Gamma }\) contains a subgroup \(\langle cs \rangle \cong \mathfrak {C}_2\). Therefore X is not \(\Bbbk \)rational, by Lemma 4.14. The image of the group G in the Weyl group \(\mathrm{W}(E_6)\) is \(\langle ab \rangle \) thus X is Gminimal, by Corollary 4.9. The quotient X / G is not \(\Bbbk \)rational, by Lemma 5.7. \(\square \)
Example 6.8
Notes
Acknowledgments
The author is grateful to his adviser Yuri G. Prokhorov and to Constantin A. Shramov for useful discussions. Also the author would like to thank the reviewers of this paper for many useful comments.
References
 1.Dolgachev, I.V., Iskovskikh, V.A.: Finite subgroups of the plane Cremona group. In: Tschinkel, Yu., Zarhin, Yu. (eds.) Algebra, Arithmetic, and Geometry, I. Progress in Mathematics, vol. 269, pp. 443–548. Birkhäuser, Boston (2009)CrossRefGoogle Scholar
 2.Iskovskikh, V.A.: Minimal models of rational surfaces over arbitrary fields. Math. USSRIzv. 14(1), 17–39 (1979) (in Russian)Google Scholar
 3.Iskovskikh, V.A.: Factorization of birational mappings of rational surfaces from the point of view of Mori theory. Russian Math. Surveys 51(4), 585–652 (1996)zbMATHMathSciNetCrossRefGoogle Scholar
 4.Manin, Yu.I.: Rational surfaces over perfect fields. II. Math. USSRSb. 1(2), 141–168 (1967) (in Russian)Google Scholar
 5.Manin, Yu.I.: Cubic Forms. NorthHolland Mathematical Library, vol. 4. NorthHolland, Amsterdam (1974)Google Scholar
 6.Trepalin, A.: Quotients of del Pezzo surfaces of high degree (2013). arXiv:1312.6904