The point of Shimura varieties, as far as I've understood it, is that for a given Shimura datum $(G,D)$, there exist models, by which I mean that for congruence subgroups $\Gamma$ there exists a Shimura variety $X(\Gamma)$ defined over some number field. Hence we get a action of the absolute galois group $G_{\mathbb{Q}}$ on $$V:=\lim_{\Gamma} H^*_{ét}(X(\Gamma),\mathbb{Q}_{\ell}).$$ However, from an adelic point of view, we also get a (continuous) action of $G(\mathbb{A}_f)$ on the shimura variety, and so in fact $V$ is a representation of $G_{\mathbb{Q}}\times G(\mathbb{A}_f)$. The point now (from a Galois representation/ Langlandian point of view) is that for every representation $\rho:G_{\mathbb{Q}}\rightarrow \mathbb{\mathbb{Q}_\ell}^\times$, we can associate a representation of $G(\mathbb{A}_f)$ as $$\text{Hom}(\rho,V).$$ The main difficulty (as far as I understand it) is now to show that we can generate sufficently many representations that way to prove Langlands Program. My question is how this argument looks like in abelian case, i.e. what happens when $G=\text{GL}_1$? The Shimura varieties of tori are relatively simple to understand, namely we know that the Shimura variety associated to $\text{GL}_1$ is of the form $$\mathbb{Q}^\times \backslash \mathbb{A}_f^\times/K$$ for an open compact subgroup $K\subset \mathbb{A}_f^\times$ and is a finite étale scheme over some number field. How do we finish the proof from there on to get Artin's reciprocity? Or do we need to restrict ourself to the local case to even be able to complete the proof?