Rationality of the moduli spaces of 2-elementary $K3$ surfaces
Author:
Shouhei Ma
Journal:
J. Algebraic Geom. 24 (2015), 81-158
DOI:
https://doi.org/10.1090/S1056-3911-2014-00622-6
Published electronically:
March 5, 2014
MathSciNet review:
3275655
Full-text PDF
Abstract |
References |
Additional Information
Abstract: $K3$ surfaces with non-symplectic involution are classified by open sets of seventy-five arithmetic quotients of type IV. We prove that those moduli spaces are rational except two classical cases.
References
- Valery Alexeev and Viacheslav V. Nikulin, Del Pezzo and $K3$ surfaces, MSJ Memoirs, vol. 15, Mathematical Society of Japan, Tokyo, 2006. MR 2227002
- Daniel Allcock, The period lattice for Enriques surfaces, Math. Ann. 317 (2000), no. 3, 483–488. MR 1776113, DOI https://doi.org/10.1007/PL00004410
- E. Arbarello, M. Cornalba, P. A. Griffiths, and J. Harris, Geometry of algebraic curves, I. Springer, 1985.
- Michela Artebani and Shigeyuki Kond\B{o}, The moduli of curves of genus six and $K3$ surfaces, Trans. Amer. Math. Soc. 363 (2011), no. 3, 1445–1462. MR 2737272, DOI https://doi.org/10.1090/S0002-9947-2010-05126-8
- Ingrid Bauer and Alessandro Verra, The rationality of the moduli space of genus-4 curves endowed with an order-3 subgroup of their Jacobian, Michigan Math. J. 59 (2010), no. 3, 483–504. MR 2745749, DOI https://doi.org/10.1307/mmj/1291213953
- F. A. Bogomolov and P. I. Katsylo, Rationality of some quotient varieties, Mat. Sb. (N.S.) 126(168) (1985), no. 4, 584–589 (Russian). MR 788089
- Armand Borel, Some metric properties of arithmetic quotients of symmetric spaces and an extension theorem, J. Differential Geometry 6 (1972), 543–560. MR 338456
- G. Casnati and A. Del Centina, On certain spaces associated to tetragonal curves of genus $7$ and $8$, Commutative algebra and algebraic geometry (Ferrara), Lecture Notes in Pure and Appl. Math., vol. 206, Dekker, New York, 1999, pp. 35–45. MR 1702097
- F. Catanese, On the rationality of certain moduli spaces related to curves of genus $4$, Algebraic geometry (Ann Arbor, Mich., 1981) Lecture Notes in Math., vol. 1008, Springer, Berlin, 1983, pp. 30–50. MR 723706, DOI https://doi.org/10.1007/BFb0065697
- V. Chernousov, P. Gille, and Z. Reichstein, Resolving $G$-torsors by abelian base extensions, J. Algebra 296 (2006), no. 2, 561–581. MR 2201056, DOI https://doi.org/10.1016/j.jalgebra.2005.02.026
- Arthur B. Coble, Point sets and allied Cremona groups. I, Trans. Amer. Math. Soc. 16 (1915), no. 2, 155–198. MR 1501008, DOI https://doi.org/10.1090/S0002-9947-1915-1501008-7
- Michel Demazure, Henry Charles Pinkham, and Bernard Teissier (eds.), Séminaire sur les Singularités des Surfaces, Lecture Notes in Mathematics, vol. 777, Springer, Berlin, 1980 (French). Held at the Centre de Mathématiques de l’École Polytechnique, Palaiseau, 1976–1977. MR 579026
- Igor V. Dolgachev, Rationality of fields of invariants, Algebraic geometry, Bowdoin, 1985 (Brunswick, Maine, 1985) Proc. Sympos. Pure Math., vol. 46, Amer. Math. Soc., Providence, RI, 1987, pp. 3–16. MR 927970
- I. Dolgachev and S. Kond\B{o}, The rationality of the moduli spaces of Coble surfaces and of nodal Enriques surfaces, Izv. Ross. Akad. Nauk Ser. Mat. 77 (2013), no. 3, 77–92; English transl., Izv. Math. 77 (2013), no. 3, 509–524. MR 3098788, DOI https://doi.org/10.4213/im7959
- Igor Dolgachev and David Ortland, Point sets in projective spaces and theta functions, Astérisque 165 (1988), 210 pp. (1989) (English, with French summary). MR 1007155
- P. I. Katsylo, Rationality of the moduli spaces of hyperelliptic curves, Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), no. 4, 705–710 (Russian). MR 755954
- P. I. Katsylo, Rationality of fields of invariants of reducible representations of $\text {SL}_2$. Mosc. Univ. Math. Bull. 39 (1984) 80–83.
- P. I. Katsylo, Rationality of the variety of moduli of curves of genus $5$, Mat. Sb. 182 (1991), no. 3, 457–464 (Russian); English transl., Math. USSR-Sb. 72 (1992), no. 2, 439–445. MR 1110077, DOI https://doi.org/10.1070/SM1992v072n02ABEH001271
- P. Katsylo, Rationality of the moduli variety of curves of genus $3$, Comment. Math. Helv. 71 (1996), no. 4, 507–524. MR 1420508, DOI https://doi.org/10.1007/BF02566434
- Shigeyuki Kond\B{o}, The rationality of the moduli space of Enriques surfaces, Compositio Math. 91 (1994), no. 2, 159–173. MR 1273647
- Shigeyuki Kond\B{o}, A complex hyperbolic structure for the moduli space of curves of genus three, J. Reine Angew. Math. 525 (2000), 219–232. MR 1780433, DOI https://doi.org/10.1515/crll.2000.069
- Shouhei Ma, The unirationality of the moduli spaces of 2-elementary $K3$ surfaces, Proc. Lond. Math. Soc. (3) 105 (2012), no. 4, 757–786. With an appendix by Ken-Ichi Yoshikawa. MR 2989803, DOI https://doi.org/10.1112/plms/pds008
- S. Ma, The rationality of the moduli spaces of trigonal curves of odd genus. J. Reine. Angew. Math. 683 (2013), 181–187. arXiv:1012.0983.
- G. Martens and F.-O. Schreyer, Line bundles and syzygies of trigonal curves, Abh. Math. Sem. Univ. Hamburg 56 (1986), 169–189. MR 882414, DOI https://doi.org/10.1007/BF02941515
- Keiji Matsumoto, Takeshi Sasaki, and Masaaki Yoshida, The monodromy of the period map of a $4$-parameter family of $K3$ surfaces and the hypergeometric function of type $(3,6)$, Internat. J. Math. 3 (1992), no. 1, 164. MR 1136204, DOI https://doi.org/10.1142/S0129167X92000023
- Rick Miranda, The moduli of Weierstrass fibrations over ${\bf P}^{1}$, Math. Ann. 255 (1981), no. 3, 379–394. MR 615858, DOI https://doi.org/10.1007/BF01450711
- Takehiko Miyata, Invariants of certain groups. I, Nagoya Math. J. 41 (1971), 69–73. MR 272923
- David R. Morrison and Masa-Hiko Sait\B{o}, Cremona transformations and degrees of period maps for $K3$ surfaces with ordinary double points, Algebraic geometry, Sendai, 1985, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam, 1987, pp. 477–513. MR 946248, DOI https://doi.org/10.2969/aspm/01010477
- D. Mumford, J. Fogarty, and F. Kirwan, Geometric invariant theory, 3rd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], vol. 34, Springer-Verlag, Berlin, 1994. MR 1304906
- Noboru Nakayama, Classification of log del Pezzo surfaces of index two, J. Math. Sci. Univ. Tokyo 14 (2007), no. 3, 293–498. MR 2372472
- V. V. Nikulin, Integral symmetric bilinear forms and some of their applications. Math. USSR Izv. 14 (1980), 103–167.
- V. V. Nikulin, Factor groups of groups of automorphisms of hyperbolic forms with respect to subgroups generated by $2$-reflections. J. Soviet Math. 22 (1983), 1401–1476.
- I. R. Shafarevich (ed.), Algebraic geometry. IV, Encyclopaedia of Mathematical Sciences, vol. 55, Springer-Verlag, Berlin, 1994. Linear algebraic groups. Invariant theory; A translation of Algebraic geometry. 4 (Russian), Akad. Nauk SSSR Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow, 1989 [ MR1100483 (91k:14001)]; Translation edited by A. N. Parshin and I. R. Shafarevich. MR 1309681
- N. I. Shepherd-Barron, The rationality of certain spaces associated to trigonal curves, Algebraic geometry, Bowdoin, 1985 (Brunswick, Maine, 1985) Proc. Sympos. Pure Math., vol. 46, Amer. Math. Soc., Providence, RI, 1987, pp. 165–171. MR 927955
- N. I. Shepherd-Barron, The rationality of some moduli spaces of plane curves, Compositio Math. 67 (1988), no. 1, 51–88. MR 949271
- N. I. Shepherd-Barron, Invariant theory for $S_5$ and the rationality of $M_6$, Compositio Math. 70 (1989), no. 1, 13–25. MR 993171
- Ken-Ichi Yoshikawa, $K3$ surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space, Invent. Math. 156 (2004), no. 1, 53–117. MR 2047658, DOI https://doi.org/10.1007/s00222-003-0334-3
- Ken-Ichi Yoshikawa, $K3$ surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space, II: A structure theorem for $r(M)>10$, J. Reine Angew. Math. 677 (2013), 15–70. MR 3039773, DOI https://doi.org/10.1515/crelle.2012.009
References
- Valery Alexeev and Viacheslav V. Nikulin, Del Pezzo and $K3$ surfaces, MSJ Memoirs, vol. 15, Mathematical Society of Japan, Tokyo, 2006. MR 2227002 (2007e:14059)
- Daniel Allcock, The period lattice for Enriques surfaces, Math. Ann. 317 (2000), no. 3, 483–488. MR 1776113 (2002a:14040), DOI https://doi.org/10.1007/PL00004410
- E. Arbarello, M. Cornalba, P. A. Griffiths, and J. Harris, Geometry of algebraic curves, I. Springer, 1985.
- Michela Artebani and Shigeyuki Kondō, The moduli of curves of genus six and $K3$ surfaces, Trans. Amer. Math. Soc. 363 (2011), no. 3, 1445–1462. MR 2737272 (2011m:14042), DOI https://doi.org/10.1090/S0002-9947-2010-05126-8
- Ingrid Bauer and Alessandro Verra, The rationality of the moduli space of genus-$4$ curves endowed with an order-$3$ subgroup of their Jacobian, Michigan Math. J. 59 (2010), no. 3, 483–504. MR 2745749 (2011m:14043), DOI https://doi.org/10.1307/mmj/1291213953
- F. A. Bogomolov and P. I. Katsylo, Rationality of some quotient varieties, Mat. Sb. (N.S.) 126(168) (1985), no. 4, 584–589 (Russian). MR 788089 (86k:14033)
- Armand Borel, Some metric properties of arithmetic quotients of symmetric spaces and an extension theorem, J. Differential Geometry 6 (1972), 543–560. Collection of articles dedicated to S. S. Chern and D. C. Spencer on their sixtieth birthdays. MR 0338456 (49 \#3220)
- G. Casnati and A. Del Centina, On certain spaces associated to tetragonal curves of genus $7$ and $8$, Commutative algebra and algebraic geometry (Ferrara), Lecture Notes in Pure and Appl. Math., vol. 206, Dekker, New York, 1999, pp. 35–45. MR 1702097 (2000g:14040)
- F. Catanese, On the rationality of certain moduli spaces related to curves of genus $4$, Algebraic geometry (Ann Arbor, Mich., 1981) Lecture Notes in Math., vol. 1008, Springer, Berlin, 1983, pp. 30–50. MR 723706 (85b:14032), DOI https://doi.org/10.1007/BFb0065697
- V. Chernousov, P. Gille, and Z. Reichstein, Resolving $G$-torsors by abelian base extensions, J. Algebra 296 (2006), no. 2, 561–581. MR 2201056 (2007k:20102), DOI https://doi.org/10.1016/j.jalgebra.2005.02.026
- Arthur B. Coble, Point sets and allied Cremona groups. I, Trans. Amer. Math. Soc. 16 (1915), no. 2, 155–198. MR 1501008, DOI https://doi.org/10.2307/1988716
- Michel Demazure, Henry Charles Pinkham, and Bernard Teissier (eds.), Séminaire sur les Singularités des Surfaces, Lecture Notes in Mathematics, vol. 777, Springer, Berlin, 1980 (French). Held at the Centre de Mathématiques de l’École Polytechnique, Palaiseau, 1976–1977. MR 579026 (82d:14021)
- Igor V. Dolgachev, Rationality of fields of invariants, Algebraic geometry, Bowdoin, 1985 (Brunswick, Maine, 1985) Proc. Sympos. Pure Math., vol. 46, Amer. Math. Soc., Providence, RI, 1987, pp. 3–16. MR 927970 (89b:14064)
- I. Dolgachev and S. Kondō, The rationality of the moduli spaces of Coble surfaces and of nodal Enriques surfaces. Izv. Math. 77 (2013), no. 3, 509–524. arXiv:1201.6093 MR 3098788
- Igor Dolgachev and David Ortland, Point sets in projective spaces and theta functions, Astérisque 165 (1988), 210 pp. (1989) (English, with French summary). MR 1007155 (90i:14009)
- P. I. Katsylo, Rationality of the moduli spaces of hyperelliptic curves, Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), no. 4, 705–710 (Russian). MR 755954 (86c:14008)
- P. I. Katsylo, Rationality of fields of invariants of reducible representations of $\text {SL}_2$. Mosc. Univ. Math. Bull. 39 (1984) 80–83.
- P. I. Katsylo, Rationality of the variety of moduli of curves of genus $5$, Mat. Sb. 182 (1991), no. 3, 457–464 (Russian); English transl., Math. USSR-Sb. 72 (1992), no. 2, 439–445. MR 1110077 (93b:14044)
- P. Katsylo, Rationality of the moduli variety of curves of genus $3$, Comment. Math. Helv. 71 (1996), no. 4, 507–524. MR 1420508 (98h:14031), DOI https://doi.org/10.1007/BF02566434
- Shigeyuki Kondō, The rationality of the moduli space of Enriques surfaces, Compositio Math. 91 (1994), no. 2, 159–173. MR 1273647 (95g:14040)
- Shigeyuki Kondō, A complex hyperbolic structure for the moduli space of curves of genus three, J. Reine Angew. Math. 525 (2000), 219–232. MR 1780433 (2001j:14039), DOI https://doi.org/10.1515/crll.2000.069
- S. Ma, The unirationality of the moduli spaces of $2$-elementary $K3$ surfaces (with an appendix by Ken-Ichi Yoshikawa). Proc. London Math. Soc. (3) 105 (2012), no. 4, 757–786. arXiv:1011.1963. MR 2989803
- S. Ma, The rationality of the moduli spaces of trigonal curves of odd genus. J. Reine. Angew. Math. 683 (2013), 181–187. arXiv:1012.0983.
- G. Martens and F.-O. Schreyer, Line bundles and syzygies of trigonal curves, Abh. Math. Sem. Univ. Hamburg 56 (1986), 169–189. MR 882414 (88d:14019), DOI https://doi.org/10.1007/BF02941515
- Keiji Matsumoto, Takeshi Sasaki, and Masaaki Yoshida, The monodromy of the period map of a $4$-parameter family of $K3$ surfaces and the hypergeometric function of type $(3,6)$, Internat. J. Math. 3 (1992), no. 1, 164. MR 1136204 (93a:33029), DOI https://doi.org/10.1142/S0129167X92000023
- Rick Miranda, The moduli of Weierstrass fibrations over $\textbf {P}^{1}$, Math. Ann. 255 (1981), no. 3, 379–394. MR 615858 (83b:14010), DOI https://doi.org/10.1007/BF01450711
- Takehiko Miyata, Invariants of certain groups. I, Nagoya Math. J. 41 (1971), 69–73. MR 0272923 (42 \#7804)
- David R. Morrison and Masa-Hiko Saitō, Cremona transformations and degrees of period maps for $K3$ surfaces with ordinary double points, Algebraic geometry, Sendai, 1985, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam, 1987, pp. 477–513. MR 946248 (89k:14067)
- D. Mumford, J. Fogarty, and F. Kirwan, Geometric invariant theory, 3rd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], vol. 34, Springer-Verlag, Berlin, 1994. MR 1304906 (95m:14012)
- Noboru Nakayama, Classification of log del Pezzo surfaces of index two, J. Math. Sci. Univ. Tokyo 14 (2007), no. 3, 293–498. MR 2372472 (2009a:14048)
- V. V. Nikulin, Integral symmetric bilinear forms and some of their applications. Math. USSR Izv. 14 (1980), 103–167.
- V. V. Nikulin, Factor groups of groups of automorphisms of hyperbolic forms with respect to subgroups generated by $2$-reflections. J. Soviet Math. 22 (1983), 1401–1476.
- V. L. Popov and E. B. Vinberg, Invariant theory. in: Algebraic Geometry, IV, in: Encyclopaedia Math. Sci., vol. 55, Springer, 1994, 123–284. MR 1309681 (95g:14002)
- N. I. Shepherd-Barron, The rationality of certain spaces associated to trigonal curves, Algebraic geometry, Bowdoin, 1985 (Brunswick, Maine, 1985) Proc. Sympos. Pure Math., vol. 46, Amer. Math. Soc., Providence, RI, 1987, pp. 165–171. MR 927955 (89e:14023)
- N. I. Shepherd-Barron, The rationality of some moduli spaces of plane curves, Compositio Math. 67 (1988), no. 1, 51–88. MR 949271 (89k:14011)
- N. I. Shepherd-Barron, Invariant theory for $S_5$ and the rationality of $M_6$, Compositio Math. 70 (1989), no. 1, 13–25. MR 993171 (90b:14058)
- Ken-Ichi Yoshikawa, $K3$ surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space, Invent. Math. 156 (2004), no. 1, 53–117. MR 2047658 (2005f:58062), DOI https://doi.org/10.1007/s00222-003-0334-3
- Ken-Ichi Yoshikawa, $K3$ surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space II: A structure theorem for $r(M)> 10$, J. Reine Angew. Math. 677 (2013), 15–70. arXiv:1007.2830. MR 3039773
Additional Information
Shouhei Ma
Affiliation:
Graduate School of Mathematical Sciences, the University of Tokyo, Tokyo 153-8914, Japan
Address at time of publication:
Graduate School of Mathematics, Nagoya University, Nagoya 464-8604, Japan
Email:
ma@math.nagoya-u.ac.jp
Received by editor(s):
November 9, 2011
Received by editor(s) in revised form:
February 27, 2012, and July 31, 2012
Published electronically:
March 5, 2014
Additional Notes:
Supported by Grant-in-Aid for JSPS Fellows [21-978] and Grant-in-Aid for Scientific Research (S), No. 22224001.
Article copyright:
© Copyright 2014
University Press, Inc.
The copyright for this article reverts to public domain 28 years after publication.