modcurve.cuspsall knowls · up · search:
The cusps on $X_H$ are the points whose image under the canonical morphism $j\colon X_H\to X(1)\simeq \mathbb P^1$ is $\infty$. It is only the noncuspidal points that parametrize elliptic curves (with level structure).
The cusps of a modular curve $X_H$ correspond to the complement of $Y_H$ in $X_H$, where $Y_H$ is the coarse moduli stack $\mathcal M_H^0$ defined in [MR:0337993, 10.1007/978-3-540-37855-6_4].
The rational cusps (also called $\Q$-cusps) are the cusps fixed by $\Gal_\Q$.
- Review status: beta
- Last edited by Ciaran Schembri on 2022-11-05 14:13:14
Referred to by:History: (expand/hide all)
- 2022-11-05 14:13:14 by Ciaran Schembri
- 2022-03-24 18:09:59 by Bjorn Poonen
- 2022-03-20 17:07:29 by Andrew Sutherland
Side by side (inline)
Inline (side by side)