Parametrizing the moduli space of curves and applications to smooth plane quartics over finite fields
type: Item
instance of: scholarly article
title: Parametrizing the moduli space of curves and applications to smooth plane quartics over finite fields
zbMATH Open document ID: 1333.14060
DOI: 10.1112/S146115701400031X
author: Reynald Lercier
author: Christophe Ritzenthaler
author: Florent Rovetta
author: Jeroen Sijsling
published in: LMS Journal of Computation and Mathematics
publication date: 2014-09-05T00:00:00Z
full work available at URL: https://arxiv.org/abs/1403.0562
Mathematics Subject Classification ID: 14Q05
Mathematics Subject Classification ID: 13A50
Mathematics Subject Classification ID: 14H10
Mathematics Subject Classification ID: 14H37
zbMATH DE Number: 6340491
zbMATH Keywords: moduli space of curves
zbMATH Keywords: plane quartic
MaRDI profile type: Publication
arXiv ID: 1403.0562
cites work: Hyperelliptic curves and their invariants: geometric, arithmetic and algorithmic aspects
cites work: Rationality of the moduli variety of curves of genus 3
cites work: On the characterization of complex Shimura varieties
cites work: Computer search for curves with many points among abelian covers of genus 2 curves
cites work: Explicit computations of Serre’s obstruction for genus-3 curves and application to optimal curves
cites work: Automorphisms of prime order of curves
cites work: Constructing pairing-friendly hyperelliptic curves using Weil restriction
cites work: Rudolf Henn: a balance
cites work: Classical algebraic geometry. A modern view
cites work: On the Kodaira dimension of the moduli space of curves
cites work: On the projective invariants of quartic plane curves
cites work: Genus 2 Hyperelliptic Curve Families with Explicit Jacobian Order Evaluation and Pairing-Friendly Constructions
cites work: On the number of curves of genus 2 over a finite field.
cites work: Picard group of moduli of hyperelliptic curves
cites work: Writing representations over minimal fields
cites work: The Field of Definition of a Variety
cites work: Fields of moduli and fields of definition of odd signature curves
cites work: Lectures on introduction to moduli problems and orbit spaces
cites work: Twists of genus three curves over finite fields
cites work: The structure of some finite quotients and moduli for curves
cites work: Q4226082
Recommended article: Moduli of sheaves supported on quartic space curves
Recommended article: Rational parametrizations of moduli spaces of curves
Recommended article: Q5506613
Recommended article: The moduli space of Hessian quartic surfaces and automorphic forms
Recommended article: Compactifications of the moduli space of plane quartics and two lines
Recommended article: The geometry of the moduli space of non-cyclic biquadratic field extensions
Recommended article: Field theory for function fields of plane quartic curves
Recommended article: Moduli of Plane Quartics, Gopel Invariants and Borcherds Products
Recommended article: On the rationality of the moduli space of Lüroth quartics
review text: Let \({\mathcal M}_g\) denote the coarse moduli space of (projective, geometrically irreducible, nonsingular algebraic) curves of genus \(g>1\) defined over a field \(k\) of characteristic \(p\). One is often interested to explicitly write down models for a curve corresponding to a point of \({\mathcal M}_g\); this can be done e.g. if a \textit{universal family} is available which is not the case in general. In the paper under review, new concepts that substitute the notion of universal family are introduced whenever \(p=0\) or \(p>2g+1\); specially the so-called \textit{representative family} which, given a subvariety \(\mathcal S\) of \({\mathcal M}_g\), is a family of curves \(\mathcal C\to\mathcal S\) whose points are in a natural bijection with those of \(\mathcal S\). It turns out that the existence of a representative family is quite related to the question of whether the field of moduli of a curve is a field of definition.NEWLINENEWLINEThe authors illustrate their results by working out on families of quartic plane curves \(C\subseteq {\mathbb P}^2\) and by taking \(\mathcal S={\mathcal S}_G\) to be a subvariety of such curves with a given automorphism group \(G\subseteq \mathrm{PGL}_3\). It turns out that the classification of such groups is known if \(p=0\) or \(p\geq 5\); cf. \textit{I. V. Dolgachev}'s book [Classical algebraic geometry. A modern view. Cambridge: Cambridge University Press (2012; Zbl 1252.14001)]. Then one can compute representative family of \({\mathcal S}_G\) via Galois descent to extensions of function fields. They also give an algorithm to compute the twists of a plane quartic and work out an implementation with MAGMA of some results of the paper for prime fields of order \(p\) with \(7<p<256\).
reviewed by: Fernando Torres
description: scientific article; zbMATH DE number 6340491