Existence and equidistribution of denominator \(n\)-matrices in unitary and orthogonal groups (Q933633)

Pour tout entier \(k\geq 2\) et tout anneau \(A\), on note \(M(k,A)\) l'ensemble de matrices carrées de taille \(k\times k\) à coefficients dans \(A\). Le dénominateur \(d\) d'une matrice \(A\in M(k,{\mathbb Q}(i)\) est défini comme le plus petit entier \(d\in{\mathbb N}^*\) tel que \(dA\) soit une matrice de \(M(k,{\mathbb Z}[i])\). Soient \(H\in M(k,{\mathbb Z}[i])\) une matrice hermitienne définie positive, \(h\) la forme hermitienne associée. Pour tout entier \(n\), on note \({\mathcal T}(n,H,A)\) l'ensemble des matrices \(M\in M(k,{\mathbb Z}[i]\bigotimes_{\mathbb Z}A)\) de déterminant \(n^k\) telles que: -- les coefficients de \(M\) sont premiers entre eux, -- la matrice \(M\) est solution de l'équation \((E_n):M^*HM=n^2H.\) On note \({\mathcal U}(H,A)\) l'ensemble des \(n\in {\mathbb N}\) tels qu'il existe \(M\in {\mathcal T}(n,H,A)\), et \({\mathcal U}_l(H)=\)\break \(\bigcap_{p\,\text{premier}}{\mathcal U}(H,{\mathbb Z}_p)\). Pour qu'il existe des matrices de dénominateur \(n\) dans \(\text{SU}(h,{\mathbb Q})\), il faut que \(n\) soit dans \({\mathcal U}(H,{\mathbb Z})\), et donc il faut que \(n\) soit dans \({\mathcal U}_l(H)\). Théorème. Soient \(k\geq 2\), \(H\in M(k,{\mathbb Z}[i])\) une matrice hermitienne définie positive. Alors il existe \(N_0\in {\mathbb N}\) tel que pour tout \(n\geq N_0\), les deux assertions suivantes sont équivalentes: (1) L'entier \(n\) appartient à \({\mathcal U}_l(H)\). (2) L'entier \(n\) appartient à \({\mathcal U}(H,{\mathbb Z})\). Théorème. Soient \(k\geq 2\), \(H\in M(k,{\mathbb Z}[i])\) une matrice hermitienne définie positive et \(h\) la forme hermitienne associée. Notons \(\mu\) la probabilité de Haar sur \(\text{SU}(h,{\mathbb R})\). Pour tout entier \(n\), soit \(\Gamma_n\) l'ensemble des \(\frac1n M\) pour \(M\in {\mathcal T}(n,H,{\mathbb Z})\). Alors quand \(n\) tend vers l'infini dans \({\mathcal U}_l(H)\), les \(\Gamma_n\) s'équirépartissent dans \(\text{SU}(h,{\mathbb R})\), c'est-à-dire qu'on la convergence: \[ \frac{1}{\text{Card}(\Gamma_n)}\sum_{\gamma\in\Gamma_n}\delta_\gamma\to\mu, \] as \(n\to\infty\), \(n\in{\mathcal U}_l(H)\), dans l'espace des probabilités sur \(\text{SU}(h,{\mathbb R})\) muni de la topologie faible. On étude ensuite le cas des groupes orthogonaux.