Adelic equidistribution of algebraic measures in a solvable group and Kloosterman sums (Q873874)

On considère un groupe algébrique connexe \(G/\mathbb Q\) et un réseau de congruence \(\Gamma=G(\mathbb Q)\cap K\) pour un sous-groupe compact ouvert \(K\subset G(\mathbb A_f)\), \(\mathbb A_f\) étant l'anneau des adéles finies de \(\mathbb Q\). On regarde l'espace adélique \[ S(G,K)=G(\mathbb Q)\backslash G(\mathbb R)G(\mathbb A_f)/K \] qui a un nombre fini de composantes connexes paramétrées par \[ G(\mathbb Q)\backslash G(\mathbb A_f)/K, \] dont l'une est le quotient \(\Gamma\, G^+\) oú \(G^+\) est la composante connexe de l'identité de \(G(\mathbb R)\). On se donne ensuite un sous-groupe \(H\subset G\) (défini sur \(\mathbb Q\)) et \(K_H=K\cap H(\mathbb A_f).\) Le quotient \[ S(H,K)=H(\mathbb Q)\backslash H(\mathbb R)H(\mathbb A_f)/K_H \] est plongé naturellement dans \(S(G,K)\) et chaque composante irréductible \(X\) est munie d'une mesure de probabilité canonique \(\mu_X\) venant de la mesure de Haar. Soit alors \(\mathcal E^+\) l'ensemble des composantes irréductibles contenues dans la composante \(\Gamma\, G^+\) de \(S(G,K)\) et soit \(\mu_{a,H}\) la mesure de probabilité \[ \mu_{a,H}=\frac{1}{| \mathcal E^+| }\sum_{\gamma\in{\mathcal E^+}}\mu_\gamma. \] On dit que la propriété \((\mathcal E_a)\) est vérifiée pour une suite \((H_\alpha)\) de sous-groupes de \(G\) comme ci-dessus si les mesures \(\mu_{a,\alpha}=\mu_{a,H_{\alpha}}\) ainsi associées à \(H_\alpha\) convergent faiblement vers la mesure induite par la mesure de probabilité \(G\)-invariante canonique sur l'espace \(\Gamma\, G^+\). Soit \(k=\mathbb Q(i)\) et \(G\) le groupe résoluble défini sur \(\mathbb Q\) donné par le produit sémidirect de \(N\) et \(T\), oú \(N/ \mathbb Q\) est la restriction de \(k\) à \(\mathbb Q\) du groupe additif \({\mathbf G}_a/k\) et \(T\) est le tore défini comme noyau de la norme de \(k\) vers \(\mathbb Q\): \(\text{Res}^k_\mathbb Q{\mathbf G}_m\rightarrow {\mathbf G}_m.\) Pour \(\alpha\in {\mathbb Q}(i)\) soit \[ T_\alpha=\alpha T \alpha^{-1}\subset G. \] Proposition: Pour \(\alpha=\frac{1}{p}\) oú \(p\) est un nombre premier \(\equiv 1 \) modulo \(4\) la suite de tores \(T_\alpha\) vérifie la propriété \(({\mathcal E}_a)\). Cette équirépartition s'avère équivalente à n'importe quelle estimation non triviale de sommes de Kloosterman.