arXiv:1709.05698v1 [math.AG] 17 Sep 2017

THE RATIONALITY PROBLEM FOR FORMS OF M 0,n
MATHIEU FLORENCE AND ZINOVY REICHSTEIN
Abstract. Let X be a del Pezzo surface of degree 5 defined over a field F . A theorem
of Yu. I. Manin and P. Swinnerton-Dyer asserts that every Del Pezzo surface of degree
5 is rational. In this paper we generalize this result as follows. Recall that del Pezzo
surfaces of degree 5 over a field F are precisely the F -forms of the moduli space M 0,5 of
stable curves of genus 0 with 5 marked points. Suppose n > 5 is an integer, and F is an
infinite field of characteristic 6= 2. It is easy to see that every twisted F -form of M 0,n is
unirational over F . We show that
(a) If n is odd, then every twisted F -form of M 0,n is rational over F .
(b) If n is even, there exists a field extension F/k and a twisted F -form X of M 0,n
such that X is not retract rational over F .

1. Introduction
Let X be a del Pezzo surface of degree 5 defined over a field F . Yu. I. Manin [Man63,
Theorem 3.15] showed that if X has an F -point, then X is rational over F . P. SwinnertonDyer [SD72] then proved that X always has an F -point; for alternative proofs of this
assertion, see [SB92] and [Sko93]. In summary, one obtains the following result, published
earlier by F. Enriques [E1897] (with an incomplete proof).
Theorem 1.1. (Enriques, Manin, Swinnerton-Dyer) Every del Pezzo surface of degree 5
defined over a field F is F -rational. Equivalently, every F -form of M 0,5 is F -rational.
The purpose of this paper is to generalize this celebrated theorem as follows. As usual,
we will denote the moduli space of smooth (respectively, stable) curves of genus g with n
marked points by Mg,n (respectively, M g,n ). Recall that these moduli spaces are defined
over the prime field. A form of a scheme X defined over a field F is an F -scheme Y ,
such that X and Y become isomorphic over the separable closure F sep . We will use the
terms “form”, “F -form” and “twisted form” interchangeably throughout this paper. For
a discussion of this notion and further references, see Section 2.
We now recall that M 0,5 is a split del Pezzo surface of degree 5, and F -forms of M 0,5
are precisely the del Pezzo surfaces of degree 5 defined over F . The main result of this
paper is Theorem 1.2 below.
Theorem 1.2. Let n > 5 be an integer and F be an infinite field of characteristic 6= 2.
2010 Mathematics Subject Classification. 14E08, 14H10, 20G15, 16K50.
Key words and phrases. Rationality, moduli spaces of marked curves, twisted forms, Galois cohomology, Brauer group.
Florence was partially supported by the French National Agency (Project GeoLie ANR-15-CE40-0012).
Reichstein was partially supported by National Sciences and Engineering Research Council of Canada
Discovery grant 253424-2017.
1

2

MATHIEU FLORENCE AND ZINOVY REICHSTEIN

(a) Assume n is odd. Then every F -form of M 0,n is rational over F .
(b) Assume n is even. If Br2 (F ) 6= 0, then there exists an F -form X of M 0,n such that
X is not retract rational over F .
Several remarks are in order.
(1) If F is assumed to be an infinite field of characteristic different from 2, Theorem 1.1
is recovered from Theorem 1.2(a) by setting n = 5.
(2) In part (b), Br2 denotes the 2-torsion of the Brauer group. The condition that
Br2 (F ) 6= 0 is fairly mild; it is equivalent to the existence of a non-split quaternion
algebra over F . In particular, Br2 (F ) 6= 0 if F = k(t1 , t2 ) where k is an arbitrary field of
characteristic 6= 2 and t1 , t2 are independent variables.
(3) The assumption that F is infinite is only used in part (a); see Section 6. In part
(b) it is automatic. Indeed, by a theorem of J. Wedderburn, Br2 (F ) = (0) for any finite
field F ; see e.g., [GS06, Remark 6.2.7].
(4) For n > 5, all F -forms of M 0,n are unirational over F ; see [DR15, Theorem 6.1] or
Proposition 4.4(a) below.
(5) It is natural to ask if similar rationality results hold for forms of M g,n for g > 1.
Theorems of J. Harris D. Mumford, D. Eisenbud and G. Farkas [HM82, EH87, Fa00, Fa11],
assert that Mg,0 is not unirational for any g > 23, and hence, neither is Mg,n for any n > 0.
Moreover, A. Logan [Lo03] exhibited an explicit integer f (g), for each 1 6 g 6 22 such
that Mg,n is not unirational as long as n > f (g). Deciding for which of the finitely many
remaining pairs (g, n) the moduli space Mg,n is rational, stably rational or unirational,
over C is a problem of ongoing interest; see, e.g., [CF07]. We have shown that in some
cases (for small n, g > 1), every form of M g,n is stably rational. We plan to publish these
results in a forthcoming paper [FloR17].
The remainder of this paper will be devoted to proving Theorem 1.2.
2. Preliminaries on moduli spaces of curves and their twisted forms
The F -forms of a quasi-projective variety X are in a natural bijective correspondence
with H 1 (F, Aut(X)); see [Se97, II.1.3]. Here Aut(X) is a functor which associates to the
scheme S/F the abstract group Aut(XS ). This functor is not representable by an algebraic
group defined over F in general. If it is, one usually says that Aut(X) is an algebraic group.
In the case, where Aut(X) is an algebraic group, the bijective correspondence between
H 1 (F, Aut(X)) and the set of F -forms of X (up to F -isomorphism) can be described
explicitly by using the twisting operation. That is, to an Aut(X)-torsor τ : Y → Spec(F ),
we associate the F -variety τ X := (X × Y )/ Aut(X), which is a twisted form of X. Up
to F -isomorphism, τ X depends only on the class α of τ in H 1 (F, Aut(X)); see [Se97,
Section III.1.3]. By abuse of notation, we will sometimes write α X in place of τ X. For
the definition and basic properties of the twisting operation we refer the reader to [Flo08,
Section 2] or [DR15, Section 3]. Conversely, to a twisted form X ′ of X defined over F ,
we associate the Aut(X)-torsor IsomF (X, X ′ ) → Spec(F ).
The following recent result is the starting point for our investigation.
Theorem 2.1. Let F be a field of characteristic 6= 2. If 2g + n > 5, then the natural
embedding Sn → AutF (M g,n ) is an isomorphism.

FORMS OF MODULI SPACES

3

In the case g = 0 and F = C, Theorem 2.1 was proved by A. Bruno and M. Mella [BM13].
In the more general situation, where F = C but g > 0 is arbitrary, it is due to A. Massarenti [Mas14], and in full generality to B. Fantechi and A. Massarenti [FM17, Theorem
A.2 and Remark A.4]. As an immediate consequence, we obtain the following.
Corollary 2.2. Let F be a field of characteristic 6= 2, and g, n be non-negative integers
such that 2g + n > 5. Then every F -form of M g,n is isomorphic to α M g,n for some
α ∈ H 1 (F, Sn ).


Remark 2.3. If Sn is the full automorphism group of the moduli space M0,n of smooth
marked curves, then M 0,n can be replaced by M0,n in the statement of Theorems 1.2. The
proof remains unchanged. In particular, by [Lin11, Section 4.10, Corollary 7], this is the
case if F = C.

Remark 2.4. Recall that M g,n is, by definition, the coarse moduli space of the functor
which assigns to a scheme X, defined over F , the set of isomorphism classes of pairs (C, s),
where C → X is a stable curve of genus g over X and s = (s1 , . . . , sn ) is an n-tuple of
disjoint sections si : X → C. Equivalently, we may view s as a single closed embedding
s : X (n) ֒→ C (over X), where X (n) = X ×Spec(F ) Spec(F n ) is the disjoint union of n
copies of X. To place our results into the context of moduli theory, we remark that if
2g + n ≥ 5, then every form of M g,n admits a similar functorial interpretation. Suppose
α : Y → Spec(F ) is an Sn -torsor represented by an n-dimensional étale algebra E/F .
Then α M g,n is the coarse moduli space for the functor
X 7→ {isomorphism classes of pairs (C, s)},

where C → X is a stable curve of genus g, and s is an embedding X ×Spec(F ) Spec(E) → C
(over X). We will not use this functorial description of α M g,n in the sequel.
3. Preliminaries on the Noether problem
Let G be a linear algebraic group, and G → GL(V ) be a finite-dimensional representation of G, both defined over a field F . We will assume that this representation is
generically free, i.e., there is a dense open subset U ⊂ V such that the scheme-theoretic
stabilizer of every point of U is trivial.
The following questions originated in the work of E. Noether. Here (R) stands for
rationality, (SR) for stable rationality and (RR) for retract rationality.
Noether’s problem (R): Is F (V )G rational over F ?
Noether’s problem (SR): Is F (V )G stably rational over F ? That is, is there a field
E/F (V )G such that E is rational over both F (V )G and F ?
Noether’s Problem (RR): Is F (V )G retract rational over F ?
Recall that an irreducible variety Y defined over F is called retract rational if the
identity map Y → Y factors through the affine space AnF for some n > 1:
(3.1)

id

Y ❇
❇

j

❇i
❇!

AnF .

⑤
⑤

/Y
⑤=
⑤

4

MATHIEU FLORENCE AND ZINOVY REICHSTEIN

Here i and j are composable rational maps, i.e., the image of i and the domain of j
intersect non-trivially. A finitely generated field extension L/F is called retract rational
if some (and thus any) model Y of L/F is retract rational. Here by a model of L/F we
mean an irreducible variety Y defined over F such that F (Y ) = L.
Noether’r original paper [Noe13] only considered problem (R) (and only in the case,
were G is a finite group and V is the regular representation of G). Subsequent attempts
to solve problem (R) naturally led to problems (SR) and (RR). Note, in particular, that
the answers to problems (SR) and (RR) depend only on the group G and not on the
choice of generically free representation V . For this reason we will refer to these problems
as Noether’s problems (SR) and (RR) for G in the sequel. The answer to problem (R)
may a priori depend on the choice of V .
Remark 3.2. (see [CTS08, Section 4.2]) Suppose G is a special group defined over F ,
i.e., H 1 (K, G) = {1} for every field extension K/F . Recall that a special group is always
linear and connected; see [Se58, Theorem 4.4.1.1].
Let π : V 99K V /G be the rational quotient map. That is, V /G is any variety defined
over F whose function field in F (V )G , and π is induced by the inclusion of fields F (V )G ֒→
F (V ). If G is special, π has a rational section and thus V is birationally isomorphic to
V /G × G over F . Consequently, Noether’s problem (SR) has a positive solution for G if
and only if G is itself stably rational over F , and similarly for Noether’s problem (RR).
Definition 3.3. We will say that a G-torsor α over a field K is r-trivial if it can be
connected to the trivial torsor by a rational curve. In other words, α is r-trivial if
there exists an open subset C ⊂ A1 defined over K, a G-torsor Y → C, and K-points
p1 , p2 : Spec(K) → C such that p∗1 (Y ) ≃ α and p∗2 (Y ) is split.
Note that our notion of r-triviality is a minor variant of the more commonly used notion
of R-triviality, introduced by Manin [Man72]. A G-torsor α over K is called R-trivial if
it can be connected to the trivial torsor by a chain of rational curves defined over K.
Lemma 3.4. Suppose Noether’s problem (RR) has a positive solution for an affine algebraic group G/K. Then every G-torsor α : X → Spec(K) is r-trivial, for every infinite
field K containing F .
Proof. There is a dense G-invariant open subset V0 ⊂ V which is the total space of a
G-torsor π : V0 → Y ; see [Se03, Section 5]. Here π ∗ F (Y ) = F (V )G . Recall that we are
assuming Y is retract rational. After replacing Y by a dense open subset, we may further
assume that Y is a locally closed subvariety of An , i : Y 99K An in (3.1) is the inclusion
map, and j : An 99K Y is regular on some dense open subset U of An containing Y .
It is well known that π is a versal torsor; once again, see [Se03, Section 5] or [DR15].
In particular, there is a K-point p1 : Spec(K) → Y such that π restricts to α over p1 , i.e.,
p∗1 (π) = α. Similarly, there is a point p2 : Spec(K) → Y such that π splits over p2 . It now
suffices to connect p1 and p2 by an affine rational curve C ⊂ Y , defined over K, which is
smooth at p1 and p2 . After removing a closed subset from C away from p1 and p2 , we may
assume that C is isomorphic to an open subset of A1K . Then we obtain a torsor T → C
with the desired properties by pulling back π to C.

FORMS OF MODULI SPACES

5

To construct C, we first connect p1 and p2 by a rational curve C0 in An , then set
C := j(C0 ). Note that since j : U → Y is the identity map on Y , the differential djp is
surjective for every p ∈ Y . Hence, we can choose C0 so that C is smooth at p1 and p2 . 
4. The Noether problem for a class of twisted groups
Let G0 := G(F n /F ) = (GL2 ×Gnm )/Gm , where Gm is centrally embedded into GL2 ×Gnm
by t 7→ (t−1 Id, t, . . . , t). The group G0 and its twisted forms,
G(E/F ) := (GL2 × RE/F (Gm ))/Gm ,

(4.1)

where E/F is an étale algebra of degree n, will play a prominent role in the sequel.
Recall that M 0,n is Sn -equivariantly birationally isomorphic to (P1 )n /PGL2 . In turn,
1 n
(P ) /PGL2 is Sn -equivariantly birationally isomorphic to
(A2 )n /(GL2 × (Gm )n ) .

Here we identify Gnm with the diagonal maximal torus in GLn , and (A2 )n with the affine
space Mat2,n of 2 × n matrices. The group GL2 acts on Mat2,n via multiplication on the
left, and the torus Gnm acts via multiplication on the right. These two commuting linear
actions give rise to a linear representation
GL2 × Gnm → GL(Mat2,n ) .
One readily checks that the kernel of this representation is
H = {(t−1 Id, t, . . . , t) ∈ GL2 × Gnm | t ∈ Gm } ≃ Gm
and that the induced representation
φ : G0 = (GL2 × Gnm )/Gm → GL(Mat2,n )
is generically free (recall that we are assuming that n > 5 throughout). Now identify
Sn with the subgroup of permutation matrices in GLn , and let this group act on Mat2,n
linearly, via multiplication on the right. In summary,
M 0,n ≃ (P1 )n /PGL2 ≃ Mat2,n /G0 ,

(4.2)

where ≃ denotes an Sn -equivariant birational isomorphism.
Let τ be an Sn -torsor over Spec(F ). Since Sn normalizes Gnm in GLn , we can twist the
group G0 and the representation φ by τ and obtain a new group
(4.3)

τ

G0 := τ (GL2 × RE/F (Gm ))/ τ H := G(E/F )

and a new representation τ φ : τ G0 → GL(α Mat2,n ) defined over F . Note that Sn acts
trivially on H, and thus τ H ≃ H ≃ Gm over F . Moreover, by Hilbert’s Theorem 90,
τ
Mat2,n is isomorphic to Mat2,n as an F -vector space. Explicitly,
τ
τ

G0 ≃ G(E/F ) := (GL2 × RE/F (Gm ))/Gm ,

Mat2,n is the affine space A(F 2 ⊗F E), where GL2 acts F -linearly on F 2 ⊗F E via
multiplication on F 2 and RE/F (Gm )) acts via multiplication on E. We have thus proved
the following:

6

MATHIEU FLORENCE AND ZINOVY REICHSTEIN

Proposition 4.4. Let F be a field, τ be an Sn -torsor over Spec(F ), and E/F be the étale
algebra associated to τ .
(a) (cf. [DR15, Theorem 6.1]) τ M 0,n is unirational.
(b) τ M 0,n is rational over F if and only if Noether’s problem (R) for the representation
τ
φ of the group G(E/F ) has a positive solution.
(c) τ M 0,n is stably rational over F if and only if Noether’s problem (SR) for the group
G(E/F ) has a positive solution.
(d) τ M 0,n is retract rational over F if and only if Noether’s problem (RR) for the group
G(E/F ) has a positive solution.

5. The Galois cohomology of G(E/F )
Let E/F be a finite-dimensional étale algebra and G := G(E/F ) := (GL2 ×RE/F (Gm ))/Gm
be the algebraic group we considered in the previous section; see (4.1).
Lemma 5.1. Let F : FieldsF → Sets be the functor from the category of field extensions
of F to the category of sets, defined as follows:
F (K) := {isomorphism classes of quaternion K-algebras A
such that A is split by E ⊗F K}.
Then the functors F and H 1 (∗, G) are isomorphic.
Proof. Consider the the short exact sequence
(5.2)

1 → RE/F (Gm ) → G → PGL2 → 1

of algebraic groups and the associated long exact sequence
(5.3)

α

δ

H 1 (K, RE/F (Gm )) → H 1 (K, G) −
→ H 1 (K, PGL2 ) −
→ H 2 (K, RE/F (Gm ))

of Galois cohomology sets. By Shapiro’s Lemma,
H 1 (K, RE/F (Gm )) ≃ H 1 (K ⊗F E, Gm ) = {1} ,
and H 2 (K, RE/F (Gm )) ≃ H 2 (K ⊗F E, Gm ) is in a natural bijective correspondence with
the Brauer group Br(K ⊗F E). Thus the long exact sequence (5.3) simplifies to
(5.4)

α

δ

{1} → H 1 (K, G) −
→ H 1 (K, PGL2 ) −
→ Br(K ⊗F E) .

Here H 1 (K, PGL2 ) is the set of isomorphism classes of quaternion algebras A/K. The
connecting map δ takes an algebra A/K to A ⊗K (K ⊗F E). By [Se97, Proposition 42],
α is injective.1 Hence, we can identify H 1 (K, G) with the kernel of δ, and the lemma
follows.

1Note

that a priori the exact sequence (5.4) only tells us that α has trivial kernel. Injectivity is not
automatic, since H 1 (K, RE/F (Gm )) and H 1 (K, G) are pointed sets with no group structure.

FORMS OF MODULI SPACES

7

Remark 5.5. When n is odd, Lemma 5.1 tells us that H 1 (K, G) = {1} for every field
K/F . In other words, G(E/F ) is a special group. Using the short exact sequence (5.2)
one readily checks that G(E/F ) is rational over F . By Remark 3.2, we conclude that
the Noether problem (SR) for this group has a positive solution. In other words, every
F -form of M 0,n is stably rational over F . This is a bit weaker than Theorem 1.2(a), which
will be proved in the next section.
6. Proof of Theorem 1.2(a)
Suppose n = 2s + 1 > 5 is odd. Our goal is to show that τ M 0,n is rational over F for
every infinite field F and every τ ∈ H 1 (F, Sn ). Let E/F be the étale algebra representing
τ . In view of Proposition 4.4(b), it suffices to show that Noether’s problem (R) for the
representation τ φ of the group G(E/F ) has a positive solution.
Recall that τ φ is the natural representation of G(E/F ) on F 2 ⊗F E of G(E/F ). The
quotient A(F 2 ⊗F E)/GL2 is the Grassmannian Gr(2, E) (up to birational equivalence).
Thus the quotient A(F 2 ⊗F E)/G(E/F ) is birational to the quotient Gr(2, E)/RE/F (Gm ).
Note that the diagonal subgroup Gm ֒→ Gnm acts trivially on Gr(2, n). Hence,
Gm = α (Gm ) ֒→ α (Gnm ) = RE/F (Gm )
0
acts trivially on Gr(2, E), and RE/F
(Gm ) := RE/F (Gm )/Gm acts faithfully on Gr(2, E).
0
Our proof of the rationality of the quotient variety Gr(2, E)/RE/F
(Gm ) below is inspired
by the arguments in [Flo13].
Fix an F -vector subspace W of E of dimension s, and define the rational map

fW : Gr(2, E) 99K P̌(E)
V → V · W,

where V · W is the F -linear span of elements of the form v · w in E, as v ranges over V and
w ranges over W . Here v · w stands for the product of v and w in E, and P̌(E) denotes the
dual projective space to P(E). In other words, points of P̌(E) are 2s-dimensional F -linear
subspaces of E.
Lemma 6.1. (a) The dual projective space P̌(E)0 has a point H whose orbit with respect
0
to the natural action of RE/F
(Gm ) is dense and whose stabilizer is trivial.
(b) Suppose W ∈ Gr(s, E) is such that fW is well defined (i.e., dim(V · W ) = 2s
for general V ∈ Gr(2, E)). Then fW is equivariant with respect to the natural action of
0
RE/F
(Gm ) on Gr(2, E) and P̌(E).
(c) There exists W ∈ Gr(s, E) defined over F such that fW is well defined and dominant.
Proof. The assertions of parts (a) and (b) can be checked after passing to the separable
closure of F sep of F . In other words, we may assume that F = F sep. In this case E is the
0
(Gm ) = Gnm /Gm , and P̌(E) = P̌n−1 .
split algebra F n , RE/F
(a) (t1 , . . . , tn ) ∈ Gnm /Gm takes the hyperplane H ∈ P̌(E) given by c1 x1 + · · ·+ cn xn = 0
−1
to the hyperplane given by (t−1
1 c1 )x1 +· · ·+(tn cn )xn = 0. Thus any H with c1 , . . . , cn 6= 0
has a dense orbit in P̌(E) with trivial stabilizer. In fact, all such H lie in the same dense
orbit; for future reference, we will denote this dense orbit by P̌(E)0 .

8

MATHIEU FLORENCE AND ZINOVY REICHSTEIN

(b) Given t = (t1 , . . . , tn ) ∈ Gnm , we see that
(tv) · w = (t1 a1 b1 , . . . , tn an bn ) = t(v · w) .
for any v = (a1 , . . . , an ) ∈ V and w = (b1 , . . . , bn ) ∈ W . Hence, (tV ) · W = t(V · W ), as
desired.
(c) Recall that the eigenvalues of a ∈ E are the eigenvalues of the multiplication map
E → E given by x 7→ ax. They are elements of F sep . Under an isomorphism between
E ⊗F F sep and (F sep )n (over F sep ), a will be identified with an element of (F sep )n of the
form (λ1 , . . . , λn ), where λ1 , . . . , λn are the eigenvalues of a.
Choose a ∈ E with distinct eigenvalues in F sep . Elements of E with distinct eigenvalues
form a Zariski open subvariety U of A(E) defined over F . Passing to F sep, we see that
U 6= ∅. Since F is assumed to be infinite, F -points are dense in U. We choose a to be
one of these F -points, and set W = spanF (1, a, . . . , as−1 ). We claim that for this choice
of W , the rational map fW is well defined and dominant.
First let us show that fW is well defined. From the definition of V · W it is clear that
dim(V · W ) 6 2s for any V ∈ Gr(2, E) and that equality holds for V in a Zariski open
subset of Gr(2, E). Thus in order to show that fW is a well-defined rational map, it
suffices to exhibit one element V ∈ Gr(2, E) such that dim(V · W ) = 2s. We claim that
V = spanF (1, as ) has this property, i.e.,
V · W = spanF (1, a, . . . , as−1 , as , . . . , a2s−1 )
is a 2s-dimensional subspace of E. It suffices to show that 1, a, . . . , a2s are linearly independent over F . Passing to F sep , we can write a = (λ1 , . . . , λ2s+1 ), where λ1 , . . . , λ2s+1 are
distinct elements of F sep . (Recall that n = 2s+1 throughout.) Since the (2s+1)×(2s+1)
Vandermonde matrix


1 ...
1
 λ1 . . . λ2s+1 


. . . . . . . . . . . . . . .
λ2s
. . . λ2s
1
2s+1
is non-singular, we conclude that 1, a, . . . , a2s are linearly independent over F sep and hence,
over F , as desired. This shows that fW is well defined.
0
(Gm )It remains to show that fW is dominant. By part (b), the image of fW is an RE/G
invariant subvariety of P̌(E). In view of part (a), it suffices to show that this subvariety
intersects the dense open orbit P̌(E)0 . In fact, it suffices to show that V · W ∈ P̌(E)0 for
V = spanF (1, as ), as above. To do this, we may pass to F sep and thus identify E ⊗F F sep
with (F sep )n . Then a = (λ1 , . . . , λn ), where λ1 , . . . , λn are distinct non-zero elements of
F sep . Recall from part (a) that the complement of P̌(E) consists of hyperplanes of the
form c1 x1 + · · · + c2s x2s = 0, where ci = 0 for some i but (c1 , . . . , c2s ) 6= (0, . . . , 0). It
remains to show that the hyperplane V · W = spanF (1, a, . . . , as−1 , as , . . . , a2s−1 ) is not of
this form. Indeed, assume the contrary. By symmetry we may assume that the equation
of the hyperplane span(1, . . . , a2s−1 ) in E is c1 x1 + · · · + c2s x2s = 0, with c2s+1 = 0. Since
ai ∈ V · W , this means that
c1 λi1 + · · · + c2s λi2s = 0 for i = 0, 1, . . . , 2s − 1.

FORMS OF MODULI SPACES

9

Since λ1 , . . . , λ2s are distinct, the 2s × 2s Vandermonde matrix


1
...
1
 λ1
. . . λ2s 


. . . . . . . . . . . . . . . . .
2s−1
λ12s−1 . . . λ2s
is non-singular. This implies that c1 = · · · = c2s = 0, a contradiction. We conclude that
V · W ∈ P̌(E)0 , as desired.


We are now ready to finish the proof of Theorem 1.2(a).
Let W ∈ Gr(s, E) be the s-dimensional F -vector subspace of E given by Lemma 6.1.
0
Choose a dense open RE/F
(Gm )-invariant subvariety U ⊂ Gr(2, E) defined over F such
that fW : Gr(2, E) 99K P̌(E)0 restricts to a regular map on U, and the rational quo0
0
tient map Gr(2, E) 99K Gr(2, E)/RE/F
(Gm ) restricts to a RE/F
(Gm )-torsor π : U →
0
0
Gr(2, E)/RE/F (Gm ) (over a suitably chosen birational model of Gr(2, E)/RE/F
(Gm )). In
0
summary, we obtain the following diagram of RE/F (Gm )-equivariant dominant rational
maps:
fW
Gr(2, E) ❴ ❴ ❴ ❴ ❴ ❴ ❴ ❴/ P̌(E)

O

O

open

open

?

U

fW

/

?

P̌(E)0

∼

0
RE/F
(Gm )

π R0E/F (Gm )-torsor



0
Gr(2, E)/RE/F
(Gm ).

Now choose an F -point H ∈ P̌(E)0 ; this can be done because we are assuming that F is an
−1
infinite field. From the diagram, we see that fW
(H) ⊂ U is a section of π. In particular,
−1
0
Gr(2, E)/RE/F
(Gm ) is birationally isomorphic to fW
(H) over F . It thus remains to show
−1
that fW (H) is rational over F .
Let Z be the F -vector subspace of E given by Z = {a ∈ E | a · W ⊂ H}. Clearly
V ∈ U belongs to φ−1 (H) if and only if V ⊂ Z or equivalently, V ∈ Gr(2, Z). Thus
−1
−1
fW
(H) = Gr(2, Z) ∩ U is a dense open subset of Gr(2, Z). Clearly fW
(H) is non-empty.
−1
Since Gr(2, Z) is rational over F , we conclude that fW (H) is also rational over F , as
desired.

7. Proof of Theorem 1.2(b)
We will deduce Theorem 1.2(b) from the following proposition.
Proposition 7.1. Suppose F is a field of characteristic 6= 2 and A = (a1 , a2 ) is a quater√
nion division algebra over F , for some a1 , a2 ∈ F ∗ . Set a3 = a1 a2 and Ei = F ( ai ), for
i = 1, 2, 3. Consider the étale F -algebra
E = E1n1 × E2n2 × E3n3 ,

for some n1 , n2 , n3 > 1. Then Noether’s problem (RR) has a negative solution for the
group G(E/F ) = (GL2 × RE/F (Gm ))/Gm .

10

MATHIEU FLORENCE AND ZINOVY REICHSTEIN

Assuming that Proposition 7.1 is established, we can complete the proof of Theorem 1.2
as follows. By a theorem of A. S. Merkurjev [Mer81], Br2 (F ) is generated, as an abelian
group by classes of quaternion algebras. Since we are assuming that Br2 (F ) 6= 0, one of
these classes, say, (a1 , a2 ) is non-split. That is, (a1 , a2 ) is a division algebra. Since we are
assuming that n > 6 is even, we can choose n1 , n2 , n3 > 1 so that n1 + n2 + n3 = n. For
n
example, we can take n1 = − 2, n2 = 1 and n3 = 1. By Proposition 7.1, Noether’s
2
problem (RR) has a negative solution for the group G(E/F ) = (GL2 × RE/F (Gm ))/Gm .
By Proposition 4.4(d), the F -form τ M 0,n of M 0,n is not retract rational over F , where
τ ∈ H 1 (K, Sn ) is the class of the étale algebra E/F . This completes the proof of Theorem 1.2(b).

Proof of Proposition 7.1. Since E1 , E2 , E3 are maximal subfields of A,
A ⊗F Ei ≃ Mat2 (Ei )
for i = 1, 2, 3. In other words, A is split by E/F . Thus by Lemma 5.1, A corresponds to
a class in H 1 (F, G), where G := G(E/F ). Denote this class by α.
Our assumption that there exists a non-split quaternion algebra over F , implies that
F is an infinite field; see Remark (3) in the Introduction. Thus Lemma 3.4 applies: it
suffices to show that α is not r-trivial. Assume the contrary. Using Lemma 5.1 once
again, we see that this means the following: there exists a quaternion algebra A(t) over
F (t) such that
(a) A(t) is split by F (t) ⊗F E, and
(b) A(t) is unramified at t = 0 and t = 1, A(0) is split over F , and A(1) is isomorphic
to A.
Here A(0) and A(1) denote A(t) specialized to the points t = 0 and t = 1. We now recall
the Faddeev exact sequence
(7.2)

0 → Br(F ) → Br(F (t)) → ⊕η∈P1F H 1 (Fη , Q/Z) ;

see e.g., [GS06, Corollary 6.4.6]. For η ∈ P1F denote the image of the Brauer class [A(t)] ∈
Br(F (t)) in H 1 (Fη , Q/Z) by αη .
√
By property (a) above, A(t) is split by Ei (t) := F (t) ⊗F Ei = F (t)( ai ) for i = 1, 2, 3.
Note that Ei (t) is a field extension of F (t) of degree 2. Since A(t) is a quaternion algebra
over F (t), A(t)⊗2 is split over F (t) and hence, 2αη = 0 for every η ∈ P1 . In particular,
every αη lies in H 1 (Fη , Z/2Z) ֒→ H 1 (Fη , Q/Z).
We claim that αη is the trivial class in H 1 (Fη , Z/2Z) = Fη∗ /(Fη∗)2 for every η ∈ P1 .
If we can prove this claim, then the Faddeev exact sequence (7.2) will tell us that A(t)
is constant, i.e., that A(t) is isomorphic to B ⊗F F (t) over F (t), for some quaternion
algebra B defined over F . Consequently, A(0) and A(1) are both isomorphic to B over
F and hence, are isomorphic to each other. Since A(0) is split over F , and A(1) ≃ A is a
quaternion division algebra, this is a contradiction, and the proof of Proposition 7.1 will
be complete.
It remains to prove the claim. Assume the contrary. Suppose αη = (b), where (b)
denotes the class of b ∈ Fη∗ in H 1 (Fη , Z/2Z) = Fη∗ /(Fη∗ )2 . Since we are assuming αη 6= (0),
√
b is not a square in Fη∗ . On the other hand, since A(t) splits over F (t)( ai ), b becomes

FORMS OF MODULI SPACES

11

√
√ ∗
) for i = 1, 2, 3. This is only possible if Fη ( ai ) is a field extension of
a square in Fη ( ai √
√
Fη of degree 2 and b = fi ai for some fi ∈ Fη∗ , where i = 1, 2, 3. Equivalently, b = fi2 ai
or (b) = (ai ) in H 1 (Fη , Z/pZ). Since a1 a2 a3 is a complete square in F ∗ , we conclude that
αη = (b) = (b) + (b) + (b) = (a1 ) + (a2 ) + (a3 ) = (a1 a2 a3 ) = 0
is the trivial class in H 1 (Fη , Z/2Z) = Fη∗ /(Fη∗ )2 , a contradiction. This completes the proof
of the claim and thus of Proposition 7.1 and of Theorem 1.2(b).

Acknowledgements
We are grateful to J.-L. Colliot-Thélène, A. Massarenti, M. Mella, M. Talpo and A.
Vistoli for stimulating conversations. We also thank the anonymous referee for helpful
comments.
References
[BM13] A. Bruno and M. Mella, The automorphism group of M 0,n , J. Eur. Math. Soc. (JEMS) 15 (2013),
no. 3, 949–968. MR3085097
[CF07] G. Casnati, C. Fontanari, On the rationality of moduli spaces of pointed curves, J. Lond. Math.
Soc. (2) 75, no. 3: 582–596, 2007.
[CTS08] J.-L. Colliot-Thélène, J.-J. Sansuc, The rationality problem for fields of invariants under linear
algebraic groups (with special regards to the Brauer group), in Algebraic groups and homogeneous
spaces, 113–186, Tata Inst. Fund. Res. Stud. Math, Tata Inst. Fund. Res., Mumbai. MR2348904
(2008m:13010)
[DR15] A. Duncan, Z. Reichstein, Versality of algebraic group actions and rational points on twisted
varieties, J. Algebraic Geom. 24 (2015), no. 3, 499–530. MR3344763
[EH87] D. Eisenbud, J. Harris, The Kodaira dimension of the moduli space of curves of genus ≥ 23,
Invent. Math. 90 (1987), no. 2, 359–387. MR0910206 (88g:14027)
[E1897] F. Enriques, Sulle irrazionalità da cui può farsi dipendere la resoluzione d’un’ equazione algebrica f (x, y, z) = 0 con funzioni razionali di due parametri, Math. Ann. 49 (1897), 1–23. JFM
28.0559.02
[FM17] B. Fantechi, A. Massarenti, On the rigidity of moduli of curves in arbitrary characteristic, Int.
Math. Res. Not. 8, (2017), 2431–2463. MR3658203
[Fa00] G. Farkas, The geometry of the moduli space of curves of genus 23, Math. Ann. 318 (2000),
no. 1, 43–65. MR1785575 (2001f:14048)
[Fa11] G. Farkas, Birational aspects of the geometry of Mg , in Surveys in differential geometry. Vol.
XIV. Geometry of Riemann surfaces and their moduli spaces, 57–110, Surv. Differ. Geom., 14,
Int. Press, Somerville, MA. MR2655323 (2011g:14065).
[Flo08] M. Florence, On the essential dimension of cyclic p-groups, Invent. Math. 171 (2008), no. 1,
175–189.
[Flo13] M. Florence, Géométrie birationnelle équivariante des grassmanniennes, J. Reine Angew. Math.
674 (2013), 81–98. MR3010547
[FloR17] M. Florence, Z. Reichstein, On the rationality problem for forms of moduli spaces of stable
marked curves of genus ≥ 1, preprint.
[GS06] P. Gille and T. Szamuely, Central simple algebras and Galois cohomology, Cambridge Studies in Advanced Mathematics, 101, Cambridge Univ. Press, Cambridge, 2006. MR2266528
(2007k:16033)
[HM82] J. Harris and D. Mumford, On the Kodaira dimension of the moduli space of curves, Invent.
Math. 67 (1982), no. 1, 23–88. MR0664324 (83i:14018)

12

MATHIEU FLORENCE AND ZINOVY REICHSTEIN

[Lin11] V. . Lin, Algebraiqeskie funkcii, konfiguracionnye prostranstva, prostranstva
Teihmllera, i novye golomorfno-kombinatornye invarianty, Funkcional. anal. i
ego priloжeni, 45 (2011), no. 3, 55–78.
English translation: V. Ya. Lin, Algebraic functions, configuration spaces, Teichmüller spaces,
and new holomorphically combinatorial invariants, in Funct. Anal. Appl. 45 (2011), no. 3, 204–
224. MR2883239 (2012m:32005)
[Lo03] A. Logan, The Kodaira dimension of moduli spaces of curves with marked points. Amer. J. Math.
125, no. 1, 105–138, 2003.
[Man63] . I. Manin, Racionalьnye poverhnosti nad soverxennymi polmi, Inst. Hautes
Études Sci. Publ. Math. No. 30 (1966), 55–113. MR0225780 (37 #1373)
English Translation: Yu. I. Manin, Rational surfaces over perfect fields, in American Mathematical Society Translations, Series 2, Vol. 84, Amer. Math. Soc., Providence, RI, 1969. MR0252145
[Man72] . I. Manin, Kubiqeskie formy: algebra, geometri, arifmetika, Izdat. “Nauka”,
Moscow, 1972. MR0360592
English Translation: Yu. I. Manin and M. Hazewinkel, Cubic forms: algebra, geometry, arithmetic, North-Holland, Amsterdam, 1974. MR0460349
[Mas14] A. Massarenti, The automorphism group of M g ,n , J. Lond. Math. Soc. (2) 89 (2014), no. 1,
131–150. MR3174737
[Mer81] A. S. Merkurjev, On the norm residue symbol of degree 2, Dokl. Akad. Nauk SSSR 261 (1981),
no. 3, 542–547. MR0638926
[Noe13] E. Noether, Rationale Funktionenkörper, Jahresber. Deutsch. Math.-Verein. 22 (1913) 316–319.
[SB92] N. I. Shepherd-Barron. The rationality of quintic Del Pezzo surfaces—a short proof. Bull. London
Math. Soc., 24(3):249–250, 1992.
[Se58] J.-P. Serre, Espaces fibrés algébriques, in: Anneaux de Chow et Applications, Séminaire C. Chevalley, 1958, exposé 1. Reprinted in J.-P. Serre, Exposés de séminaires 1950–1999, deuxième édition,
augmentée, Documents mathématiques 1, Société mathématique de France 2008, 107–140.
[Se97] J.-P. Serre, Galois cohomology, Springer-Verlag, Berlin, 1997.
[Se03] J.-P. Serre, Cohomological invariants, Witt invariants, and trace forms. In Cohomological invariants in Galois cohomology, volume 28 of Univ. Lecture Ser., pp. 1–100. Amer. Math. Soc.,
Providence, RI, 2003. Notes by Skip Garibaldi.
[Sko93] A. N. Skorobogatov. On a theorem of Enriques-Swinnerton-Dyer. Ann. Fac. Sci. Toulouse Math.
(6), 2(3):429–440, 1993.
[SD72] H. P. F. Swinnerton-Dyer. Rational points on del Pezzo surfaces of degree 5. In Algebraic geometry, Oslo 1970 (Proc. Fifth Nordic Summer School in Math.), pages 287–290. Wolters-Noordhoff,
Groningen, 1972.
Institut de Mathématiques de Jussieu, Université Paris 6, place Jussieu, 75005 Paris,
France
E-mail address: mathieu.florence@imj-prg.fr
Department of Mathematics, University of British Columbia, BC, Canada V6T 1Z2
E-mail address: reichst@math.ubc.ca

