Images of action of Galois on the Tate module of Elliptic Curve, - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T03:50:16Z http://mathoverflow.net/feeds/question/23805 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/23805/images-of-action-of-galois-on-the-tate-module-of-elliptic-curve Images of action of Galois on the Tate module of Elliptic Curve, Soroosh 2010-05-07T01:35:24Z 2010-05-07T02:13:00Z <p>Let E be an elliptic curve over the rationals, and let $TE = \lim_\leftarrow E[n]$ be the Tate module of the elliptic curve. The action of the Galois group of $\bf Q$ gives rise to a representation $\rho_E : G_{\bf Q} \rightarrow GL_2(\widehat{\bf Z})$. My first question is why is the image of this representation not surjective? I seem to recall there is a very easy argument for it, but I can't remember what that is. My second question is can one use this to give a level structure to all rational elliptic curves? Specifically, can I find a collection of modular curves with some level structure ${X_i/{\bf Q}}$ such that $\cup j(X_i({\bf Q})) = X(1)({\bf Q})$, where $j:X_i \rightarrow X(1)$ is the natural forgetful map? (I'm sure the answer to this is no, but it never hurts to be overly optimistic.)</p> http://mathoverflow.net/questions/23805/images-of-action-of-galois-on-the-tate-module-of-elliptic-curve/23809#23809 Answer by Bjorn Poonen for Images of action of Galois on the Tate module of Elliptic Curve, Bjorn Poonen 2010-05-07T02:13:00Z 2010-05-07T02:13:00Z <p>Let $\Delta$ be the discriminant of $E$. Then the action of <code>$G_{\mathbf{Q}}$</code> on $E[2]$ determines the action on $\sqrt{\Delta}$. On the other hand, the action of <code>$G_{\mathbf{Q}}$</code> on $E[n]$ determines the action on a primitive $n$-th root of unity $\zeta_n$, via the Weil pairing. The Kronecker-Weber theorem implies that $\sqrt{\Delta} \in \mathbf{Q}(\zeta_n)$ for some $n$, and this forces a compatibility between the actions on $E[2]$ and $E[n]$, which forces the image of <code>$G_{\mathbf{Q}}$</code> into an index-2 subgroup of <code>$\operatorname{GL}_2(\hat{\mathbf{Z}})$</code>. But this index-2 subgroup varies with $E$, so you do not get a rational point on a nontrivial modular curve corresponding to any <em>one</em> kind of level structure.</p> <p><strong>Remarks:</strong> </p> <p>1) Nathan Jones in his Ph.D. thesis at UCLA, building on earlier work of William Duke, proved that in a precise sense, asymptotically <code>100%</code> of elliptic curves are such that the image of Galois is of index 2. </p> <p>2) Over higher number fields $K$, quadratic extensions are not necessarily contained in cyclotomic ones, and in fact there exist elliptic curves over certain number fields $K$ other than $\mathbf{Q}$ for which <code>$G_K \to \operatorname{GL}_2(\hat{\mathbf{Z}})$</code> is surjective. The first example was given by Aaron Greicius in his Ph.D. thesis. </p> <p>3) David Zywina then proved that under mild necessary conditions on a number field $K$, asymptotically <code>100%</code> of elliptic curves are such that <code>$G_K \to \operatorname{GL}_2(\hat{\mathbf{Z}})$</code> is surjective.</p>