$X_{\text{sp}}(N)$ is the modular curve for the subgroup $H\le \GL_2(\widehat\Z)$ given by the inverse image of a Cartan subgroup $\begin{pmatrix} * & 0\\ 0& * \end{pmatrix}$ that is split at every prime dividing $N$. As a moduli space it parameterizes triples $(E,C,D)$ where $E$ is an elliptic curve over $k$, and $C$ and $D$ are $\Gal_k$-stable cyclic subgroups such that $E[N](\overline{k})\simeq C \oplus D$.

**Authors:**

**Knowl status:**

- Review status: beta
- Last edited by John Voight on 2023-11-26 23:01:25

**Referred to by:**

**History:**(expand/hide all)

- 2023-11-26 23:01:25 by John Voight
- 2023-11-26 23:00:53 by John Voight
- 2023-07-09 09:00:55 by Andrew Sutherland
- 2022-11-06 16:55:49 by Ciaran Schembri

**Differences**(show/hide)