A modular curve $X_H$ with $-I\in H\in \GL_2(\widehat\Z)$ has the property that if an elliptic curve $E$ over a number field $K$ has $j$-invariant $j(E)\ne 0,1728$ in the image of $j\colon X_H\to X(1)$, then the mod-$N$ Galois image of every twist of $E$ is conjugate to a subgroup of the projection of $H$ to $\GL_2(\Z/N\Z)$. Modular curves $X_H$ with $-I\not\in H$ do not enjoy this property.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by Andrew Sutherland on 2022-03-24 20:52:32

**Referred to by:**

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

- 2022-03-24 20:52:32 by Andrew Sutherland (Reviewed)
- 2022-03-24 20:48:54 by Andrew Sutherland
- 2022-03-20 20:10:02 by Andrew Sutherland
- 2022-03-20 20:07:50 by Andrew Sutherland

**Differences**(show/hide)