What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine the Q - and C - gonality (i.e., gonality equal to 4) of all quotient curves \(X^+_0(N)\). Specifically, the author studied the Q - and C - gonality of the quotient curve \(X^+_0(N)=X_0(N)/w_N\) of the modular curve \(X_0(N)\) under the Atkin - Lehner involution \(w_N\). Through this research, the author was able to find several new cases where the Q - gonality of the modular curve \(X_0(N)\) is equal to 8. ### Main contributions 1. **Determine all quadrilateral quotient curves \(X^+_0(N)\)**: The author used known methods and some new computational techniques to determine all quotient curves \(X^+_0(N)\) with Q - and C - gonality. 2. **Discover new modular curves \(X_0(N)\) with Q - gonality equal to 8**: As a result of the above research, the author found several new modular curves \(X_0(N)\) whose Q - gonality is equal to 8. ### Specific results - **Theorem 1.1**: The Q - gonality of the quotient curve \(X^+_0(N)\) is equal to 3 if and only if \(N\) belongs to a specific set (see Theorem 1.1 in the original text). - **Theorem 1.2**: The Q - gonality of the quotient curve \(X^+_0(N)\) is equal to 4 and the C - gonality is equal to 3 if and only if \(N\) belongs to a specific set (see Theorem 1.2 in the original text). - **Theorem 1.3**: The Q - and C - gonality of the quotient curve \(X^+_0(N)\) are both equal to 4 if and only if \(N\) belongs to a specific set (see Theorem 1.3 in the original text). - **Theorem 1.4**: The Q - gonality of the quotient curve \(X^+_0(N)\) is greater than 4 and the C - gonality is equal to 4 if and only if \(N\in\{243, 271\}\). ### Methods and techniques - **Ogg inequality**: Used to determine the lower bound of the \(F_p\)-gonality of the modular curve \(X_0(N)\). - **Castelnuovo - Severi inequality**: Used to produce the lower bound of the gonality. - **Magma calculation**: Heavily used Magma for calculations to verify various assumptions and conclusions. ### Conclusion Through these studies, the author not only solved the gonality problem of \(X^+_0(N)\), but also provided new tools and methods for further research on the geometric properties of modular curves.

Tetragonal modular quotients $X_0^+(N)$

Tetragonal modular quotients $X_0^{+d}(N)$

Tetragonal intermediate modular curves

A Ball Quotient Parametrizing Trigonal Genus 4 Curves

Hyperelliptic and trigonal modular curves in characteristic $p$

Intermediate modular curves with infinitely many cubic points over $\mathbb{Q}$

Modular curves $X_1(n)$ as moduli spaces of point arrangements and applications

The genus two G-function for cubic elliptic orbifold and modularity

Tetraelliptic modular curves $X_1(N)$

Infinitely many cubic points on $X_0(N)/\langle w_d\rangle$ with $N$ square-free

Toric ranks and component groups of modular curves

Modular Representations and Coinvariants of the Dihedral Group

Quadratic points on $X_0(163)$

Moduli of plane quartics, Gopel invariants and Borcherds products

Geometries in perturbative quantum field theory

Modular representations of $\mathrm{GL}_2({\mathbb F}_q)$ using calculus

Sporadic Cubic Torsion

Moduli spaces of curves with polynomial point counts

Torsion points and isogenies on CM elliptic curves

Drinfeld singular moduli, hyperbolas, units

Monogenic Cyclic Quartic Trinomials