$X_{\mathrm{sym}}(N)$ is the modular curve $X_H$ for $H\leq \GL_2(\widehat{\Z})$ the inverse image of $\begin{pmatrix}1&0\\0&*\end{pmatrix}\leq \GL_2(\Z/N\Z)$.
As a moduli space, $X_{\mathrm{sym}}$ parametrizes isomorphism classes of triples $(E,\phi,P)$, where $E$ is a generalized elliptic curve, $P$ is a point of exact order $N$, and $\phi \colon E \to E'$ is a cyclic $N$-isogeny such that $E[N]$ is generated by $P$ and $\ker\phi$. Alternatively, it parametrizes isomorphism classes of pairs $(E,\psi)$ where $E$ is a generalized elliptic curve and $\psi \colon \mu_N\times \Z/N\Z\xrightarrow{\sim} E[N]$ is a symplectic isomorphism.
Authors:
Knowl status:
- Review status: reviewed
- Last edited by John Voight on 2023-08-02 16:15:22
Referred to by:
History:
(expand/hide all)
- 2024-03-18 15:34:12 by Yongyuan Huang
- 2023-08-02 16:15:22 by John Voight (Reviewed)
- 2023-08-02 16:10:03 by John Voight
- 2023-08-02 16:09:49 by John Voight
- 2023-08-01 13:22:20 by Yongyuan Huang