Insufficiency of the algebraic Brauer--Manin obstruction for homogeneous spaces

Résumé technique : Insuffisance de l'obstruction de Brauer–Manin algébrique pour les espaces homogènes

Énoncé du problème
L'article traite de l'échec du principe de Hasse (principe local-global) pour les points rationnels sur les variétés algébriques. Plus précisément, il examine si l'obstruction de Brauer–Manin, un mécanisme cohomologique introduit par Manin, est suffisante pour expliquer tous ces échecs pour les espaces homogènes de groupes algébriques linéaires connexes.

Alors que la suffisance de l'obstruction de Brauer–Manin est établie pour les variétés à géométrie « régulière » (par exemple, les variétés géométriquement rationnellement connexes) et pour les espaces homogènes avec des stabilisateurs connexes ou commutatifs, le cas des stabilisateurs finis non abéliens reste largement ouvert. Des travaux antérieurs par Demarche, Lucchini Arteche, Neftin, Demeio et Lagarde ont démontré que la partie algébrique de l'obstruction de Braier–Manin est insuffisante pour l'approximation faible dans le cas de stabilisateurs métabeliens constants finis. Cependant, l'existence d'espaces homogènes où l'obstruction algébrique ne parvient pas à expliquer l'échec du principe de Hasse lui-même était inconnue. Cet article vise à construire un tel contre-exemple.

Méthodologie
Les auteurs construisent un contre-exemple spécifique utilisant un espace homogène $X$ du groupe linéaire spécial $SL_n$ sur un corps de nombres $k$ contenant une racine $p$-ième primitive (où $p$ est un nombre premier impair). La construction repose sur la machinerie développée par Borovoi et Kunyavskii, affinée par l'auteur dans un travail précédent [Lin24].

1. Construction du groupe : Le stabilisateur géométrique $F$ de l'espace homogène est construit comme une extension centrale de $M \oplus M$ par $Z$, où $M = \mathbb{F}_p^d$ et $Z$ est un quotient de $M \otimes M$. L'extension est définie via un homomorphisme surjectif et non dégénéré $\phi: M \otimes M \to Z$.
2. Données numériques : Les auteurs choisissent $d = [k:\mathbb{Q}] + 3$ et définissent l'inclusion $A \otimes A \to M \otimes M$ (où $A=\mathbb{F}_p$) en associant le générateur à la matrice identité $Id$. Le groupe $F$ possède ainsi une classe de nilpotence 2 et un ordre de $p^{d^2+2d-1}$.
3. Configuration cohomologique : Une classe $\beta \in H^2(k, Z)$ est construite en utilisant la théorie des classes globales. Cette classe s'annule à toutes les places sauf pour un ensemble de places finies distinctes $\{v_1, \dots, v_d\}$, où ses invariants locaux correspondent aux images des matrices de rang un $e_i \otimes e_i$ sous $\phi$.
4. Analyse locale vs globale :
   • Existence locale : En utilisant la dualité locale de Tate et le fait que le rang des groupes de cohomologie locale $H^1(k_v, \mathbb{F}_p)$ est faible (borné par 2 pour les places ne divisant pas $p$), les auteurs montrent que des solutions locales $x_v, y_v$ existent pour l'équation $\beta|_{k_v} = \phi^*(x_v \cup y_v)$ à chaque place $v$. Cela garantit que $X(k_v) \neq \emptyset$ pour toutes les places $v$.
   • Non-existence globale : Les auteurs prouvent qu'aucune solution globale n'existe. Ils utilisent une borne uniforme sur le rang de la matrice $A_v = \text{Inv}_v(x \cup y)$ dérivée de la dimension de $H^1(k_v, \mathbb{F}_p)$. Pour un $d$ suffisamment grand, les contraintes locales forcent $A_v$ à être exactement $e_i \otimes e_i$ aux places spécifiques et $0$ ailleurs. La somme de ces invariants locaux produit la matrice identité $Id$, qui est non nulle, contredisant la loi de réciprocité globale (qui exige que la somme des invariants locaux soit nulle).

Contributions clés et résultats
L'article établit le résultat principal suivant (Théorème 1) :

• Construction du contre-exemple : Il existe un espace homogène $X$ de $SL_n$ sur $k$ avec des stabilisateurs de groupes $p$-adiques finis de classe de nilpotence 2 tels que :

  1. $X$ possède des points dans chaque complétion $k_v$ (solubilité locale).
  2. $X$ n'a pas de points rationnels ($X(k) = \emptyset$).
  3. Le groupe de Brauer algébrique non ramifié satisfait $Br_{nr,1}(X) = Br_0(X)$.

• Obstruction transcendante : Puisque la partie algébrique de l'obstruction de Brauer–Manin est triviale (égale à la partie constante), l'échec du principe de Hasse ne peut être expliqué par des classes algébriques. Les auteurs démontrent que le groupe de Brauer non ramifié complet $Br_{nr}(X)$ est isomorphe à $\mathbb{Z}/p$ modulo les constantes. En construisant une classe transcendante explicite $A_L \in Br_{nr}(X)$ à l'aide d'une forme linéaire $L: M \otimes M \to \mathbb{F}_p$, ils montrent que cette classe produit un couplage de Brauer–Manin non nul :
  $$\sum_v \text{inv}_v(A_L(P_v)) = 1 \in \mathbb{Z}/p$$
  Ceci confirme que l'échec du principe de Hasse est expliqué par une obstruction de Brauer–Manin transcendante.

Signification
L'article fournit le premier exemple d'un espace homogène d'un groupe linéaire connecté où le principe de Hasse échoue en raison d'une obstruction de Brauer–Manin transcendante, tandis que l'obstruction algébrique est insuffisante. Ce résultat souligne la nécessité de considérer les classes transcendantes dans l'arithmétique des espaces homogènes possédant des stabilisateurs non abéliens finis. Il confirme que pour de tels espaces, les conjectures de géométrie « régulière » (qui reposent souvent sur la dualité abélienne) ne suffisent pas, et que la pleine puissance de l'obstruction de Brauer–Manin, incluant les éléments transcendants, est nécessaire pour contrôler les points rationnels. La méthode exploite l'interaction entre la classe de nilpotence du stabilisateur, le rang des groupes de cohomologie locale et les lois de réciprocité globale.