Distributions of Integral Points and Dedekind Zeta Values

1. Problématique et Contexte

L'article s'intéresse au problème de comptage asymptotique des points entiers sur une variété affine définie sur l'anneau des entiers $\mathcal{O}$ d'un corps de nombres $F$. Plus précisément, les auteurs étudient le nombre de matrices $n \times n$ à coefficients dans $\mathcal{O}$ dont le polynôme caractéristique est un polynôme monique régulier $\chi(x) \in \mathcal{O}[x]$ de degré $n$, et dont la norme archimédienne est bornée par un paramètre $T$.

Soit $X$ la variété représentant l'ensemble de ces matrices. La fonction de comptage est définie par :
$$N(X, T) = \#\{ A \in M_n(\mathcal{O}) \mid \det(xI_n - A) = \chi(x) \text{ et } \|A\| \le T \}$$

Des travaux antérieurs (notamment Eskin-Mozes-Shah, Shapira-Zheng, Zhang) ont établi que lorsque $T \to \infty$, ce nombre suit une loi asymptotique de la forme :
$$N(X, T) \sim C(\chi) T^{[F:\mathbb{Q}]d} (\log T)^r$$
où $d = n(n-1)/2$ et $r$ est lié à la décomposition de $\chi$ en facteurs irréductibles.

Le problème central résolu par cet article est la détermination explicite de la constante de premier terme $C(\chi)$ en termes d'invariants arithmétiques. Alors que les méthodes classiques (comme celle de Hardy-Littlewood) expriment souvent ces constantes comme des produits de densités locales, ce cas spécifique (espace homogène non compact) ne permet pas une telle factorisation simple. Les auteurs visent à relier $C(\chi)$ aux valeurs des fonctions zêta de Dedekind associées aux ordres dans l'algèbre étale $K = F[x]/(\chi(x))$.

2. Méthodologie

La preuve combine des techniques d'analyse harmonique, de théorie des nombres et de géométrie arithmétique, suivant une approche structurée en plusieurs étapes clés :

A. Propriété d'équi-distribution raffinée

Les auteurs utilisent la théorie des flots unipotents sur les espaces homogènes. Ils raffinent les résultats de Zhang [41] pour établir une propriété d'équi-distribution précise pour les orbites du groupe $\Gamma = G(F) \cap \text{St}(X)$ agissant sur $X(\mathcal{O})$.
Ils montrent que la contribution de chaque orbite au comptage global est proportionnelle au volume d'une fenêtre de troncature, multiplié par un facteur géométrique $v_\chi$ (volume d'un polytope spécifique) et un terme logarithmique $(\log T)^r$.

B. Formule de comptage via l'obstruction de Brauer-Manin

En utilisant la décomposition de l'ensemble des points entiers $X(\mathcal{O})$ en orbites sous l'action de $\Gamma$, et en s'appuyant sur l'obstruction de Brauer-Manin, le problème de comptage est reformulé comme une somme d'intégrales orbitales locales indexées par le groupe de Brauer de $X$.
Cette somme est exprimée en termes d'intégrales orbitales $\kappa$-généralisées (où $\kappa$ est un caractère du groupe de cohomologie $H^1(F, T(\mathbb{A}_{\bar{F}})/T(\bar{F}))$).

C. Lemme fondamental et Endoscopie

Les intégrales orbitales $\kappa$ apparaissant dans la formule sont identifiées comme des intégrales orbitales tordues sur le groupe $GL_n$ (ou son algèbre de Lie).
Les auteurs appliquent le Lemme Fondamental (dans sa version tordue, due à Lemaire-Waldspurger) pour transférer ces intégrales tordues vers des intégrales orbitales stables sur des sous-groupes endoscopiques $H$.
Ces sous-groupes endoscopiques sont de la forme $H = \text{Res}^1_{E/F} GL_m$, où $E$ est une extension cyclique non ramifiée de $F$ contenue dans les facteurs de $K$.

D. Relation avec les fonctions zêta des ordres

L'étape finale consiste à relier les intégrales orbitales stables sur les groupes endoscopiques aux valeurs des fonctions zêta. En utilisant les résultats de Yun [40], les auteurs établissent un lien direct entre l'intégrale orbitale locale (sur l'ordre $\mathcal{O}_E[\gamma]$) et le rapport des fonctions zêta $\zeta_{R_E}(s) / \zeta_K(s)$ évalué en $s=1$.
Ils calculent également le volume $v_\chi$ du polytope associé en utilisant la théorie des zonotopes graphiques et l'identité de Cayley pondérée.

3. Résultats Principaux

Les auteurs obtiennent une formule explicite pour la constante $C(\chi)$.

Théorème 1.2 (Cas général) :
Pour un polynôme régulier $\chi(x)$, la constante $C(\chi)$ est donnée par :
$$C(\chi) = \sum_{E} \phi([E:F]) \delta(E) \cdot \lim_{s \to 1} (s-1)^{r+1} \zeta_{R_E}(s) \cdot \mathcal{K}$$
où :

• La somme porte sur les corps intermédiaires $E$ ($F \subset E \subset K_i$) tels que $E/F$ est une extension cyclique non ramifiée partout (y compris aux places archimédiennes).
• $\phi$ est la fonction indicatrice d'Euler.
• $\delta(E)$ est un facteur local dépendant des groupes de normes unitaires.
• $\zeta_{R_E}(s)$ est la fonction zêta de Dedekind associée à l'ordre $R_E = \mathcal{O}_E[x]/(\chi_E(x))$.
• $\mathcal{K}$ est un facteur explicite impliquant le volume de la boule unité, le discriminant de $F$, et les valeurs de la fonction zêta de $F$.

Cas particulier $F=\mathbb{Q}$ (Théorème 1.1) :
Si $F=\mathbb{Q}$, la formule se simplifie considérablement :
$$C(\chi) = \left( \lim_{s \to 1} (s-1)^{r+1} \zeta_R(s) \right) \cdot v_\chi \cdot \frac{w_n}{\prod_{k=2}^n \Lambda(k)}$$
où $R = \mathbb{Z}[x]/(\chi(x))$ et $v_\chi$ est un volume polytopique explicite.

4. Contributions Clés et Innovations

1. Élimination des hypothèses restrictives : Les travaux précédents (Wei-Xu, Jeon-Lee, Lee) nécessitaient des conditions fortes, telles que $\chi(0)=1$ ou que $K/F$ soit une extension cyclique de degré premier. Cet article élimine ces restrictions en travaillant directement sur l'algèbre de Lie $\mathfrak{gl}_n$ plutôt que sur le groupe $SL_n$, permettant ainsi de traiter des polynômes $\chi$ complètement réductibles et des extensions non cycliques.
2. Lien explicite avec les zêtas d'ordres : C'est la première fois que la constante de comptage pour un tel espace homogène est exprimée directement en termes de résidus de fonctions zêta d'ordres (et non seulement de corps de nombres). Cela généralise le théorème classique d'Eskin-Mozes-Shah pour les corps de nombres.
3. Calcul du volume polytopique : Les auteurs calculent explicitement le volume $v_\chi$ d'un polytope défini par des conditions de troncature, en le reliant aux zonotopes graphiques et en utilisant une identité de Cayley généralisée. Ce volume apparaît comme un facteur géométrique crucial dans la constante asymptotique.
4. Synthèse de l'endoscopie et du comptage : La preuve offre une illustration claire de la manière dont le lemme fondamental et la théorie de l'endoscopie peuvent être utilisés pour résoudre des problèmes de comptage de points entiers, en transférant le problème vers des sous-groupes plus simples où les calculs sont faisables.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Théorie des nombres : Il fournit une formule complète pour le nombre de matrices entières avec un polynôme caractéristique donné, reliant des objets géométriques (points entiers) à des objets analytiques (fonctions zêta).
• Formule des traces et Endoscopie : L'article illustre la puissance de la stratégie "Beyond Endoscopy" (au-delà de l'endoscopie) avancée par Langlands. En reliant les intégrales orbitales aux résidus de fonctions zêta, il ouvre la voie à l'étude de la contribution des représentations triviales dans la formule des traces.
• Géométrie Arithmétique : Il démontre que l'obstruction de Brauer-Manin et la dualité de Tate-Nakayama jouent un rôle central dans la structure fine des points entiers sur les espaces homogènes, au-delà des cas elliptiques simples.

En résumé, Cai et Deng réussissent à résoudre un problème de comptage asymptotique complexe en le décomposant via l'endoscopie, en utilisant le lemme fondamental pour simplifier les intégrales, et en les identifiant aux valeurs critiques des fonctions zêta des ordres, fournissant ainsi une formule universelle et explicite.