Hasse norm principle for extensions of prime squared degree

Résumé Technique : Principe de Hasse des Normes pour les Extensions de Degré Carré d'un Nombre Premier

Énoncé du Problème
L'article traite de la validité du principe de Hasse des normes (PHN) pour les extensions de corps finis séparables $K/k$ de corps globaux. Plus précisément, il cherche une condition équivalente pour que le PHN soit vérifié lorsque le degré de l'extension est $d = p^2$, où $p$ est un nombre premier impair. L'obstruction au PHN est mesurée par le groupe $X(K/k) := (k^\times \cap N_{K/k}(A_K^\times)) / N_{K/k}(K^\times)$. Le PHN est vérifié si et seulement si $X(K/k) = 1$. Bien que le problème soit entièrement résolu pour les degrés premiers, le degré 4, le degré 6 et les degrés $8 \le d \le 15$, le cas des degrés carrés d'un nombre premier impair ($d=p^2$) restait incomplet, avec seulement des résultats partiels disponibles (par exemple, pour les extensions « adéquates »).

Méthodologie
L'auteur emploie une approche cohomologique reliant l'arithmétique des extensions de corps à la théorie des groupes de leurs groupes de Galois. La méthodologie centrale consiste en :

1. Traduction Cohomologique : Utiliser l'isomorphisme entre le groupe d'obstruction $X(K/k)$ et le groupe de Tate-Shafarevich du tore de norme un $T_{K/k}$. Ce dernier est également lié au deuxième groupe de cohomologie du groupe de Galois $G = \text{Gal}(\tilde{K}/k)$ avec pour coefficients un $G$-réseau spécifique, le module de Chevalley $J_{G/H}$, où $H = \text{Gal}(\tilde{K}/K)$. Plus précisément, l'étude se concentre sur le groupe $X^2_\omega(G, J_{G/H})$, défini comme le noyau de l'application de restriction de $H^2(G, J_{G/H})$ vers la somme directe des groupes de cohomologie sur tous les sous-groupes cycliques de $G$.
2. Classification Théorique des Groupes : L'article analyse les groupes transitifs de degré $p^2$. Il s'appuie sur la classification de ces groupes par Dobson et Witte, en distinguant les cas basés sur la structure du $p$-sous-groupe de Sylow $P$ de $G$.
3. Analyse de Cas :
   • $p$-groupes : L'auteur calcule $X^2_\omega(G, J_{G/H})$ pour les $p$-groupes de degré $p^2$. Cela implique une analyse détaillée de l'exposant du groupe (qu'il soit $p$ ou $p^2$), en utilisant des suites exactes de $G$-réseaux, la décomposition de Mackey et les propriétés du multiplicateur de Bogomolov. Une technique clé consiste à élever le problème à un produit de couronne pour traiter les cas où les applications de restriction sur la troisième cohomologie ne sont pas injectives.
   • Cas Général : Pour les groupes non-$p$, l'article utilise la structure des groupes transitifs pour réduire le problème soit à un produit de groupes transitifs de degré $p$, soit à un produit semi-direct de la forme $(C_p)^2 \rtimes G^\dagger$, où $G^\dagger$ est un sous-groupe de $\text{GL}_2(\mathbb{F}_p)$.
4. Groupes de Représentation Généralisés : Pour calculer la cohomologie pour la structure spécifique de produit semi-direct, l'auteur construit des groupes de représentation généralisés (extensions centrales) et applique les résultats de Drakokhrust et de Macedo–Newton concernant les sous-groupes focaux et la structure des groupes d'automorphismes extérieurs des $p$-groupes extraspécifiques.

Contributions et Résultats Clés
L'article fournit une caractérisation complète du principe de Hasse des normes pour les extensions de degré $p^2$ ($p$ impair).

• Théorème 1.3 (Résultat Principal) : Soit $K/k$ une extension séparable finie de degré $p^2$ avec son corps de clôture $\tilde{K}$, son groupe de Galois $G$ et son stabilisateur $H$.
  • Si $X(K/k) \neq 1$, alors $G$ doit être isomorphe à $(C_p)^2 \rtimes_\phi G^\dagger$ et $H \cong \{1\} \rtimes_\phi G^\dagger$, où $G^\dagger$ est un sous-groupe de $\text{SL}_2(\mathbb{F}_p)$ et $\phi$ est induite par la représentation standard.
  • Si cette condition structurelle est remplie, alors $X(K/k) \cong \mathbb{Z}/p$ si aucun groupe de décomposition de $\tilde{K}/k$ ne contient un sous-groupe isomorphe à $(C_p)^2$ ; sinon, $X(K/k) = 1$.
• Récupération des Résultats Précédents : Le théorème récupère le résultat de Drakokhrust et Platonov, qui stipule que le PHN est vérifié pour les extensions $k$-adéquates de degré $p^2$. L'article fournit une nouvelle preuve de ce fait sans dépendre de la classification des sous-groupes de $\text{SL}_2(\mathbb{F}_p)$, en dérivant directement les conditions nécessaires à partir de calculs cohomologiques.
• Tores de Norme Un et Approximation Faible : L'article établit une condition équivalente pour la non-trivialité du groupe de Brauer non ramifié $H^1(k, \text{Pic}(X))$ d'une compactification lisse du tore de norme un $T_{K/k}$. De plus, il détermine la structure du défaut d'approximation faible $A_k(T_{K/k})$, montrant qu'il est isomorphe à $\mathbb{Z}/p$ sous les mêmes conditions structurelles sur $G$ et l'absence de $(C_p)^2$ dans les groupes de décomposition.
• Calculs Cohomologiques : Le cœur technique (Sections 4 et 5) fournit des calculs explicites de $X^2_\omega(G, J_{G/H})$ pour les groupes transitifs de degré $p^2$. Il prouve que ce groupe s'annule, sauf si $G$ possède la structure spécifique de produit semi-direct impliquant un sous-groupe de $\text{SL}_2(\mathbb{F}_p)$.

Signification
L'article affirme résoudre complètement la Question 1.1 (déterminer les conditions équivalentes pour le PHN) pour tous les degrés carrés de nombres premiers $d=p^2$. En combinant les résultats pour les nombres premiers impairs avec le cas précédemment connu $d=4$, il offre une solution complète pour des degrés $p^2$ arbitraires. Ce travail est significatif pour :

1. Compléter la Classification : Il comble une lacune dans la littérature concernant le PHN pour les degrés $p^2$ où $p$ est un nombre premier impair.
2. Rigueur Méthodologique : Il fournit une preuve alternative, sans recours à l'informatique, pour le cas $p=3$ (degré 9), qui avait été établi précédemment à l'aide de méthodes computationnelles.
3. Unification : Il unifie l'étude du PHN, du groupe de Brauer non ramifié des tores de norme un et du défaut d'approximation faible sous un cadre cohomologique unique dépendant de la structure du groupe de Galois.

L'auteur note que la preuve ne repose pas sur la classification exhaustive des sous-groupes de $\text{SL}_2(\mathbb{F}_p)$, offrant ainsi une dérivation plus structurelle et autonome des conditions nécessaires et suffisantes.