Optimal embeddings for maximal orders of central simple algebras of degree 3 over number fields

Résumé technique : Embeddings optimaux pour les ordres maximaux des algèbres simples centrales de degré 3

Énoncé du problème
Cet article aborde le problème des embeddings entiers d'ordres dans des algèbres simples centrales (ASC) sur des corps de nombres. Alors que le principe local-global vaut pour les embeddings de corps dans des ASC (via la théorie du corps de classes), il échoue pour les embeddings entiers. Plus précisément, un ordre $S$ d'une extension de corps $K/F$ de degré $n$ peut ne pas s'embedder optimalement dans tous les ordres maximaux d'une ASC $B$ de degré $n$.

Des travaux antérieurs de Chevalley, Chinburg, Friedman, Chan, Xu, Linowitz, Shemanske et Voight ont établi des critères de « sélectivité » pour $n=2$ (algèbres de quaternions) et pour les ordres d'Eichler. Cet article étend l'étude de la sélectivité optimale au cas où $B$ est une algèbre simple centrale de degré 3 sur un corps de nombres $F$, et où $K/F$ est une extension de degré 3. L'objectif principal est de déterminer exactement quand un ordre $S \subset K$ ne peut pas s'embedder optimalement dans tous les ordres maximaux de $B$, et de quantifier la proportion d'ordres maximaux qui admettent de tels embeddings.

Méthodologie
Les auteurs emploient une combinaison de la théorie globale du corps de classes et d'une analyse locale détaillée :

1. Cadre global (Sandwich de sélectivité) :
   L'article utilise le cadre du « sandwich de sélectivité » adapté des travaux de Voight sur les quaternions. Il relie l'existence d'embeddings optimaux à la norme réduite d'un ensemble spécifique d'éléments $E$ dans l'algèbre. L'objet clé est le groupe $F^\times \text{Nr}(\mathbb{E})$ au sein du groupe des idèles $\mathbb{A}_F^\times$.

   • L'article établit que si $K$ n'est pas contenu dans un corps de classes spécifique $H_{GN(\mathcal{O})}$ associé à l'ordre maximal $\mathcal{O}$, alors $S$ s'embedde dans tous les ordres maximaux du genre.
   • Si $K \subseteq H_{GN(\mathcal{O})}$, le problème se réduit à l'analyse de l'indice de $F^\times \text{Nr}(\mathbb{E})$ par rapport à $F^\times \text{Nr}(\mathbb{K}^\times)$.

2. Analyse locale (degré 3) :
   Une partie significative du travail est consacrée au calcul des nombres d'embeddings locaux $m(S_p, \mathcal{O}_p)$ pour des algèbres de degré 3 sur des corps locaux $F_p$.

   • Cas normal : Les auteurs analysent les embeddings dans $M_3(R_p)$ et les algèbres à division. Ils dérivent des critères explicites d'optimalité en utilisant des réductions matricielles modulo l'idéal maximal.
   • Embeddings optimaux spéciaux : Contrairement au cas de degré 2, les auteurs identifient un phénomène spécifique au degré 3 : les « embeddings optimaux spéciaux ». Ceux-ci se produisent lorsque la réduction des matrices d'embedding tombe dans une forme spécifique de bloc de Jordan (Cas 3 dans le Lemme 3.3) où l'argument de conjugaison standard vers la représentation régulière échoue.
   • Cas décomposé et inerte : L'article calcule la structure de l'ensemble de la norme réduite $\text{Nr}(E_p)$ pour les cas décomposés ($K_p \cong F_p \times F_p \times F_p$) et inerts (extension non ramifiée). Ils déterminent que le nombre de classes de conjugaison d'embeddings optimaux est soit 1, soit 2, selon le discriminant de l'ordre $S_p$.

3. Synthèse :
   En combinant les résultats locaux via la réciprocité d'Artin, les auteurs relient l'ensemble de sélectivité global à l'idéal discriminant de l'ordre $S$.

Contributions et résultats clés

• L'ensemble de sélectivité $D(S)$ : L'article définit un « ensemble de sélectivité » $D(S)$ pour un ordre $S$ dans une extension non ramifiée de degré 3 $K/F$. Cet ensemble est un sous-ensemble du groupe de Galois $\text{Gal}(K/F)$, construit via l'application de restriction du groupe de classes d'idéaux de $F$ vers le groupe de Galois, appliquée aux facteurs premiers de la racine carrée du discriminant de $S$.
  $$D(S) = \{ \rho([\mathfrak{p}^k]) : \mathfrak{p}^k \parallel \sqrt{\text{disc}(S)}, \mathfrak{p}^{k+1} \nmid \sqrt{\text{disc}(S)} \}$$

• Théorème principal (Théorème 4.1) : L'article établit une condition nécessaire et suffisante pour qu'un ordre $S$ soit « sélectif » (c'est-à-dire non embeddable dans tous les ordres maximaux) :
  $S$ ne peut pas s'embedder optimalement dans tout ordre maximal de $B$ si et seulement si :

  1. $K/F$ est partout non ramifiée.
  2. $B \cong M_3(F)$ (c'est-à-dire que $B$ est décomposée).
  3. $D(S) \neq \text{Gal}(K/F)$.

  Dans le cas où ces conditions sont remplies, l'article prouve que $S$ peut s'embedder optimalement dans exactement $|D(S)|/3$ des classes d'isomorphisme d'ordres maximaux du genre. Puisque $|\text{Gal}(K/F)| = 3$, cela implique que l'embedding est possible soit dans $1/3$, soit dans $2/3$ des classes, selon la taille de $D(S)$.

• Raffinement des résultats antérieurs : L'article fournit un contre-exemple à l'application directe des résultats de sélectivité issus du degré 2 ou de généralisations antérieures de degrés supérieurs. Plus précisément, il démontre un ordre $S_2$ qui, selon les anciens critères d'embeddings non optimaux (Linowitz et Shemanske), s'embedderait dans tous les ordres maximaux, mais qui échoue à admettre un embedding optimal dans tous ceux-ci.

Signification
L'article prétend établir la condition de sélectivité précise pour les embeddings optimaux dans les algèbres simples centrales de degré 3. Sa signification réside dans :

1. Généralisation : L'extension de la théorie de la sélectivité optimale des algèbres de quaternions (degré 2) au degré 3, une étape non triviale due à la complexité accrue des classes de similarité matricielle et à l'émergence d'embeddings « spéciaux ».
2. Quantification exacte : Le passage au-delà des résultats d'existence binaire pour fournir un dénombrement exact ($1/3$ ou $2/3$) des ordres maximaux admettant des embeddings optimaux, gouverné explicitement par l'arithmétique du discriminant de l'ordre.
3. Correction de l'intuition : La mise en évidence du fait que les résultats pour les embeddings non optimaux ou les degrés inférieurs ne se généralisent pas automatiquement aux embeddings optimaux en degré 3, nécessitant l'analyse locale spécifique des cas « spéciaux » présentée dans l'article.

Le travail repose sur la notation standard de la théorie du corps de classes et de la théorie des ordres dans les ASC, s'appuyant directement sur les travaux fondateurs d'Eichler, Voight et Linowitz/Shemanske.