##
**Stratification of the moduli space of four-gonal curves.**
*(English)*
Zbl 1304.14031

A \(\gamma\)-gonal curve is a smooth irreducible projective curve that admits a degree \(\gamma\) branched cover of \(\mathbb P^1\). The locus of \(\gamma\)-gonal curves \(\mathcal M_{g, \gamma}\) provides an important series of subvarieties of the moduli space of genus \(g\) curves \(\mathcal M_g\). (Caution: here the notation \(\mathcal M_{g, \gamma}\) does not stand for the moduli space of pointed curves.) For instance, if \(d=2\), \(\mathcal M_{g, 2}\) is the locus of hyperelliptic curves. For \(d=3\), the canonical model of a trigonal curve \(X\) lies in a scroll surface, which is spanned by the trigonal divisors on \(X\). The (un)balanced type of the scroll surface defines the so-called Maroni invariant of \(X\). In particular, loci of trigonal curves with the same Maroni invariant yield a stratification of \(\mathcal M_{g, 3}\).

In the paper under review, the authors study the locus of four-gonal curves \(\mathcal M_{g, 4}\). Analogous to the case of trigonal curves, they show that for a four-gonal curve \(X\), there (almost always uniquely) exists a surface, ruled by conics, containing the canonical model of \(X\). By analyzing the geometry of such a surface, the authors are able to extract several discrete invariants associated to \(X\). They further study the relation of those invariants as well as their geometric meanings and possible ranges. Finally, the authors apply the invariants to describe a stratification of \(\mathcal M_{g, 4}\). The existence of such a surface has also been obtained, using a different method, by F.-O. Schreyer [Math. Ann. 275, 105–137 (1986; Zbl 0578.14002)].

In the paper under review, the authors study the locus of four-gonal curves \(\mathcal M_{g, 4}\). Analogous to the case of trigonal curves, they show that for a four-gonal curve \(X\), there (almost always uniquely) exists a surface, ruled by conics, containing the canonical model of \(X\). By analyzing the geometry of such a surface, the authors are able to extract several discrete invariants associated to \(X\). They further study the relation of those invariants as well as their geometric meanings and possible ranges. Finally, the authors apply the invariants to describe a stratification of \(\mathcal M_{g, 4}\). The existence of such a surface has also been obtained, using a different method, by F.-O. Schreyer [Math. Ann. 275, 105–137 (1986; Zbl 0578.14002)].

Reviewer: Dawei Chen (Chestnut Hill)

### Citations:

Zbl 0578.14002
PDF
BibTeX
XML
Cite

\textit{M. Brundu} and \textit{G. Sacchiero}, Proc. Edinb. Math. Soc., II. Ser. 57, No. 3, 631--686 (2014; Zbl 1304.14031)

### References:

[1] | Algebraic surfaces (2001) |

[2] | Geometry of algebraic curves I (1985) |

[3] | DOI: 10.1007/BF01679702 · Zbl 0454.14023 |

[4] | DOI: 10.1016/0022-4049(92)90135-3 · Zbl 0768.14016 |

[5] | DOI: 10.1007/BF01448862 · JFM 54.0685.01 |

[6] | DOI: 10.1007/BF01458587 · Zbl 0578.14002 |

[7] | DOI: 10.1080/00927879808826343 · Zbl 0937.14016 |

[8] | DOI: 10.1007/BF01363895 · Zbl 0449.14006 |

[9] | Algebraic geometry 133 (1992) |

[10] | Intersection theory (1998) |

[11] | Algebraic surfaces and holomorphic vector bundles (1998) · Zbl 0902.14029 |

[12] | DOI: 10.1080/00927872.2012.749884 · Zbl 1297.14041 |

[13] | DOI: 10.1081/AGB-120022436 · Zbl 1039.14018 |

[14] | Algebraic geometry 52 (1977) |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.