Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: RATIONALITY OF R 2 AND R 3 IGOR V. DOLGACHEV To Fedya Bogomolov 1. Introduction Let R g be the moduli space of genus g curves together with a non- trivial 2-torsion divisor class . In this paper we shall prove that the moduli spaces R 2 and R 3 are rational varieties. The rationality of R 4 was proven by F. Catanese [3]. He also claimed the rationality of R 3 but the proof was never published. The first published proof of rationality of R 3 was given by P. Katsylo in [10]. Some years earlier A. Del Centina and S. Recillas [5] constructed a map of degree 3 from R 3 to the moduli space M be 4 of bi-elliptic curves of genus 4 and claimed that it could be used for proving the rationality of R 3 based on the rationality of M be 4 proven by F. Bardelli and Del Centina in [1]. In an unpublished preprint of 1990 I had shown that it is indeed possible. The present paper is based on this old preprint and also includes a proof of rationality of R 2 which I could not find in the literature. The relation between the moduli spaces R 3 and M be 4 is based on an old construction of P. Roth [13] and, independently, A. Coble [4]. Much later it had been rediscovered and generalized by S. Recillas [11], and nowadays is known as the trigonal construction. To each curve C of genus g together with a g 1 4 it associates a curve X of genus g + 1 together with a g 1 3 and a non-trivial 2-torsion divisor class η . The Prym variety of the pair ( X, η ) is isomorphic to the Jacobian variety of C . When g = 3 and g 1 4 = | K C + | , the associated curve X turns out to be a canonical bi-elliptic curve of genus 4, the bi-elliptic involution τ switches the two g 1 3 on X , and the 2-torsion class η is coming from a 2-torsion divisor class on the elliptic quotient X/ ( τ ). To make this paper self-contained we remind the construction following A. Coble. The author is grateful to the referee for some valuable comments on the paper. 2. Rationality of R 2 Let C be a genus 2 curve and x 1 , . . . , x 6 be its six Weierstrass points. A non-trivial 2-torsion divisor class on C is equal to the divisor class 1 2 IGOR V. DOLGACHEV [ x i- x j ] for some i 6 = j . The hyperelliptic series g 1 2 defines a degree 2 map C → P 1 and the images of the Weierstrass points are the zeroes of a binary form of degree 6. This defines a birational isomorphism between the moduli space M 2 of genus 2 curves and the GIT-quotient P ( V (6)) // SL(2), where V ( m ) denotes the space of binary forms of de- gree m . A non-trivial 2-torsion divisor class is defined by choosing a degree 2 factor of the binary sextic. Thus the moduli space R 2 is bi- rationally isomorphic to the GIT-quotient ( P ( V (4)) × P ( V (2))) // SL(2) and the canonical projection R 2 → M 2 corresponds to the multipli- cation map V (4) × V (2) → V (6). At this point we may conclude by referring to Katsylo’s result on rationality of fields of invariants of SL(2) in reducible representations [9]. However, we proceed by giving a morein reducible representations [9]....
View Full Document

This note was uploaded on 02/24/2012 for the course MATH 285 taught by Professor Igordolgachev during the Fall '04 term at University of Michigan-Dearborn.

Page1 / 7


This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online