Skip to main content
1 of 5
Hugo Chapdelaine
  • 7.6k
  • 2
  • 28
  • 70

On the universal elliptic curve of a torsion free subgroup

So let $\Gamma\subseteq SL_2(\mathbf{Z})$ be a finite index subgroup (not necessarily a congruence subgroup). Recall that we have an action of $SL_2(\mathbf{R})$ on $\mathbb{H}=\{z\in\mathbf{C}:\Im(z)>0\}$ by moebius transformations and therefore of $\Gamma$. If $\tau\in\mathbb{H}$ and $[a,b,c,d]=\gamma\in SL_2(\mathbf{Z})$ then we have an isomorphism of complex tori $$ \mathbf{C}/(\mathbf{Z}+\tau\mathbf{Z})\rightarrow \mathbf{C}/((a\tau+b)\mathbf{Z}+(c\tau+d)) \mathbf{Z}\rightarrow (\mathbf{C}/\mathbf{Z}+\gamma\tau\mathbf{Z}) \;\;\;\; (*) $$ where the first map is the identity and the second map is the multiplication by $(c\tau+d)^{-1}$. Let $$ \tilde{\mathcal{E}}_{\Gamma}=\{(\tau,x):\tau\in\mathbb{H},x\in \mathbf{C}/(\mathbf{Z}+\tau\mathbf{Z})\} $$ We have a natural left action of $\Gamma$ on $\tilde{\mathcal{E}}_{\Gamma}$ given by $$ \gamma(\tau,x)=(\gamma\tau,j(\gamma,\tau)^{-1}x), $$ which is just a reinterpretation of $(*)$. Here $j(\gamma,\tau)=c\tau+d$. We thus get the following family of elliptic curves $$ \pi_\Gamma:\Gamma\backslash\tilde{\mathcal{E}}_{\Gamma}=:\mathcal{E}_{\Gamma}\rightarrow Y_{\Gamma}:=\Gamma\backslash \mathbb{H} $$ In general one always have that $Y_{\Gamma}$ is a quasi-projective curve defined over $\mathbf{C}$ (in fact it is always possible to define this curve over $\overline{\mathbf{Q}}$).

[For example, when $\Gamma=\Gamma_0(N)$ one may look at the modular polynomial $f_N(x,y)\in\mathbf{Z}[x,y]$. Then using the modular interpretation one can show that there exists a (complex analytic) immersion of $Y_{\Gamma_0(N)}$ onto the plane curve $C_N: f_N(x,y)=0$. If I remember correctly, in the finite chart $\mathbf{C}^2$ (for $N$ large enough) the singularities of $C_N$ are nodes and thus one can blow-up these points (over $\mathbf{Q}$!). From this one can construct a complex analytic isomorphism between $Y_{\Gamma_0(N)}$ and the blow-up (which is quasi-projective scheme defined over $\mathbf{Q}$.]

In general, even though $Y_{\Gamma}$ is quasi-projective one does not necessarily have that $\mathcal{E}_{\Gamma}$ is a quasi-projective surface. For instance this happens when one takes $\Gamma=SL_2(\mathbf{Z})$.

[ here is a rough sketch on how to show that $\mathcal{E}_{SL_2(\mathbf{Z})}$ is not quasi-projective: Let $A=\mathbf{C}[\frac{1}{\lambda},\frac{1}{1-\lambda}]$ be the ring of regular functions of $A_{\mathbf{C}}^1=Y_{SL_2(\mathbf{Z})}-\{0,1\}$. Then there is an action of $S_3$ on $A$ given by $\lambda\mapsto\frac{1}{\lambda}$ and $\lambda\mapsto\frac{1}{1-\lambda}$. Now let $E$ be the generic fiber of $\mathcal{E}_{SL_2(\mathbf{Z})}\rightarrow Spec(A)$ and show that this action on $A$ lift to an action on $E$. Finally doing a local computation on $E[2]$ show that this implies that $\sqrt{\lambda}\in A$ which is absurd.]

So here are 2 natural questions.

Q1: If $\Gamma$ is torsion free, is $\mathcal{E}_{\Gamma}$ quasi-projective?

Q2: If the answer is yes, then what is the cleanest (and if possible most transparent) way of showing that $\mathcal{E}_{\Gamma}$ is quasi-projective?

So for the second question, the thing that I have in mind would be to 1) construct some complex analytic immersion $\pi:\mathcal{E}_{\Gamma}\rightarrow Z$, where $Z$ is a quasi-projective surface and 2) performing a sequence of blow-ups on $Z$ I would try to construct an embedding.

Hugo Chapdelaine
  • 7.6k
  • 2
  • 28
  • 70