$\DeclareMathOperator\SL{SL}\DeclareMathOperator\Gal{Gal}\newcommand{\Z}{\mathbb{Z}}$In Grothendieck's *Esquisse* he claims that the action of
$$\Gal(\mathbb Q)\to\text{Out}(\pi\_1(M\_{1,1})=\text{Out}(\widehat{\SL(2,\Z)})$$
obtained from the homotopy exact sequence of the étale fundamental group contains, after abelianization, all abelian $\ell$-adic representations defined by Jacobians and generalised Jacobians of algebraic curves defined over number fields. My questions (which might be hopelessly broad and misguided) are the following:


1. How can one show this?
2. Has any work been done extending this idea? A list of references is most welcome.


The original text is the following paragraph:



> 
> ...from the point of view of Galois-Teichmüller theory, $\SL(2,\Z)$ can
> be considered as the fundamental “building block” of the "Teichmüller
> tower". The element of the structure of $\SL(2,\Z)$ which fascinates me
> above all is of course the outer action of $\Gal(\mathbb Q)$ on its
> profinite compactification. By Bielyi’s theorem, taking the profinite
> compactifications of subgroups of finite index of $\SL(2,\Z)$, and the
> induced outer action (up to also passing to an open subgroup of
> $\Gal(\mathbb Q)$), *we essentially find the fundamental groups of all
> algebraic curves* (not necessarily compact) *defined over number
> fields* $K$, and the outer action of $\Gal(K)$ on them – at least it is
> true that every such fundamental group appears as a quotient of one of
> the first groups (\*). Taking the “anabelian yoga” (which remains
> conjectural) into account, which says that an anabelian algebraic
> curve over a number field $K$ (finite extension of $\mathbb Q$) is
> known up to isomorphism when we know its mixed fundamental group (or
> what comes to the same thing, the outer action of $\Gal(K)$ on its
> profinite geometric fundamental group), we can thus say that *all
> algebraic curves defined over number fields are “contained” in the
> profinite compactification $\widehat{\SL(2, \Z)}$, and in the knowledge
> of a certain subgroup $\Gal(\mathbb Q)$ of its group of outer
> automorphisms*! Passing to the abelianisations of the preceding
> fundamental groups, we see in particular that all the abelian
> $\ell$-adic representations dear to Tate and his circle, defined by
> Jacobians and generalised Jacobians of algebraic curves defined over
> number fields, are contained in this single action of $\Gal(\mathbb Q)$
> on the anabelian profinite group $\widehat{\SL(2, \Z)}$!
> 
> 
> 



Abelian $\ell$-adic representations in $\widehat{\mathrm{SL}(2,\mathbb{Z})}$
What Grothendieck is doing to get all the Galois representations is:


1) Take a finite index subgroup of $\pi\_1(\mathcal M\_{1,1})$ that is stable by the $\operatorname{Gal}(\overline{\mathbb Q}|\mathbb Q)$ action.


2) Take the maximal pro-$\ell$ quotient of its abelianization.


3) Look at the action of $\operatorname{Gal}(\overline{\mathbb Q}|\mathbb Q)$ on this $\mathbb Z\_\ell$ module.


The key points are, in step 1, that every such subgroup defines an algebraic curve over $\mathbb Q$, in step 2, that the maximal pro-$\ell$ quotient of the subgroup is the Tate module of its Jacobian, and in step 3, that the action of $\operatorname{Gal}(\overline{\mathbb Q}|\mathbb Q)$ by conjugation is the same action defined by Tate.


This all follows from the basic categorical theory of the \'{e}tale fundamental group as worked out by Grothendieck.


The only missing step is that *every* algebraic curve defined over $\mathbb Q$ arises this way. This is Belyi's theorem.


In terms of your second question, here are some things that pop into my head. First, the fact that abelianizations of finite index subgroups of $\pi\_1$ are homology of covers has been crucial in all of the progress on Grothendieck's anabelian conjecture for curves (that a hyperbolic curve is determined by its fundamental group) <http://www.math.sci.osaka-u.ac.jp/~nakamura/zoo/rhino/NTM300.pdf>. In addition, nilpotent quotients of fundamental groups have been connected to homology in works like Deligne's three points on $\mathbb P^1$ paper and the work coming out of that.


However, I don't know any work that has been successful in using Grothendieck's observation to prove something deep about the Tate modules of Jacobians of curves. The information we get about them from other sources seems much easier to use.


