Abstract:Let $X_\Delta(N)$ be an intermediate modular curve of level $N$, meaning that there exist (possibly trivial) morphisms $X_1(N)\rightarrow X_\Delta(N) \rightarrow X_0(N)$. For all such intermediate modular curves, we give an explicit description of all primes $p$ such that $X_\Delta(N)_{\overline{\mathbb F}_p}$ is either hyperelliptic or trigonal. Furthermore we also determine all primes $p$ such that $X_\Delta(N)_{\mathbb F_p}$ is trigonal. This is done by first using the Castelnuovo-Severi inequality to establish a bound $N_0$ such that if $X_0(N)_{{\overline{\mathbb F}_p}}$ is hyperelliptic or trigonal, then $N \leq N_0$. To deal with the remaining small values of $N$, we develop a method based on the careful study of the canonical ideal to determine, for a fixed curve $X_\Delta(N)$, all the primes $p$ such that the $X_\Delta(N)_{ {\overline{\mathbb F}_p}}$ is trigonal or hyperelliptic. Furthermore, using similar methods, we show that $X_\Delta(N)_{{\overline{\mathbb F}_p}}$ is not a smooth plane quintic, for any $N$ and any $p$.

Reduction of Hyperelliptic Curves in Residue Characteristic 2

Reduction of Hyperelliptic Curves in Residue Characteristic 2

Reduction and isogenies of elliptic curves

Conductor-discriminant inequality for hyperelliptic curves in odd residue characteristic

Enumerating hyperelliptic curves over finite fields in quasilinear time

Computing the Weil representation of a superelliptic curve

The Average Size of 2-Selmer Groups of Elliptic Curves in Characteristic 2

Genus two curves with everywhere good reduction over quadratic fields

Reduction types of CM curves

Quadratic Euler Characteristic of Symmetric Powers of Curves

A ruled residue theorem for function fields of elliptic curves

Weak Total Ramification and Semistable Reduction

On Hyperelliptic Curves of Odd Degree and Genus g with Six Torsion Points of Order 2g + 1

Local Solubility of Hyperelliptic Curves

Refined tropical invariants and characteristic numbers

Irreducible smooth representations in defining characteristic without central character

Semistable reduction of covers of degree $p$

2-descent for Bloch--Kato Selmer groups and rational points on hyperelliptic curves II

Algebraic Curves With Many Rational Points Over Finite Fields Of Characteristic 2

Hyperelliptic and trigonal modular curves in characteristic $p$