Let $N \geq 5$ be a prime, and $H$ a subgroup of $GL_2(\mathbb{F}_N)$. As shown in Chapter IV of [DeRap], there is a curve $X_H(N)$, defined over $K_N := \mathbb{Q}(\zeta_N)^{\det H}$, which is a coarse moduli space of elliptic curves with level-$H$ structure; that is, given any $L$ an extension of $K_N$, the $L$-points of $X_H(N)$ correspond to $\bar{L}$-isomorphism classes of elliptic curves over $L$ whose associated mod-$N$ representation on $N$-torsion points is contained in (a conjugate of) $H$. (Sometimes this is a fine moduli space, but I don't think this is important for this question).

It is certainly not the case that, if $E/L$ has level-$H$ structure at $N$, then so too do all twists of $E$. For example, if $H$ were the subgroup $\left\{\left(\begin{array}{cc}1 & \ast \\ 0 & \ast \end{array}\right)\right\}$, corresponding to $X_1(N)$, then it is not true.

But this is true sometimes; e.g., if $H = \left\{\left(\begin{array}{cc}\ast & \ast \\ 0 & \ast \end{array}\right)\right\}$, the Borel subgroup; this follows from the slogan: if an elliptic curve has a rational cyclic isogeny, then so too do all twists. A similar argument sows this for $H$ being the normaliser of a split Cartan subgroup, viz $\left\{\left(\begin{array}{cc}\ast & 0 \\ 0 & \ast \end{array}\right)\right\} \bigcup \left\{\left(\begin{array}{cc}0 & \ast \\ \ast & 0 \end{array}\right)\right\}$. I'll say that these level structures are twist-invariant.

This leads me to ask:

Is there a characterisation of the twist-invariant level structures? What is it about a subgroup $H$ that makes it twist-invariant?

[DeRap] : P. Deligne, M. Rapoport, ``Les schemas de modules de courbes elliptiques''.


The criterion is that H contains -I.

  • 1
    $\begingroup$ @Jordan: Is that still true if there are twists by 4th or 6th roots of unity? Or are you just considering quadratic twists? $\endgroup$ Mar 4 '13 at 19:44
  • $\begingroup$ @Joe Silverman: The answer has to be no. Consider the elliptic curves 32a1 and 32a2 which differ by a quartic twist by -4. The first one does not have a full level 2 structure, but the second does. So even though $\Gamma(2)$ contains $-I$, it is not "quartic twist" invariant. $\endgroup$ Mar 4 '13 at 21:12
  • 1
    $\begingroup$ I guess if you want to cover 4th and 6th roots then you need the group to contain elements corresponding to $\mu_4$ and $\mu_6$, i.e. conjugate to $\left(\begin{array}{cc}0 & -1 \\ 1 & 0 \end{array}\right)$ and $\left(\begin{array}{cc}-1 & -1 \\ 1 & 0 \end{array}\right)$ $\endgroup$ Mar 5 '13 at 0:14
  • $\begingroup$ Just considering quadratic twists! $\endgroup$
    – JSE
    Mar 5 '13 at 3:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.