Analogue of the Galois Theory for normal fields and B-extensions (characteristic free approach)

1. Problématique

L'article vise à résoudre un problème ouvert de longue date : l'établissement d'une théorie de Galois unifiée valable pour toutes les extensions finies normales de corps, indépendamment de la caractéristique du corps de base.

Historiquement, la théorie de Galois classique s'applique aux extensions galoisiennes (séparables et normales), établissant une correspondance bijective entre les sous-corps intermédiaires et les sous-groupes du groupe de Galois. Pour les extensions purement inséparables (en caractéristique $p > 0$), des analogues ont été développés par Jacobson, Sweedler et d'autres, où les groupes de Galois sont remplacés par des algèbres de Lie de dérivations. Cependant, il n'existait pas de cadre unique couvrant simultanément les extensions galoisiennes, purement inséparables et les extensions normales mixtes (ni galoisiennes ni purement inséparables).

2. Méthodologie

L'auteur adopte une approche théorique des anneaux, indépendante de la caractéristique, basée sur la théorie des algèbres simples centrales.

• Concept clé : Les extensions B. L'auteur introduit la notion d'« extension B ». Une extension finie $L/K$ est dite extension B si l'algèbre des endomorphismes $E(L/K) = \text{End}_K(L)$ est générée par deux structures fondamentales :

  1. L'algèbre des opérateurs différentiels $D(L/K)$ sur l'algèbre $K$-linéaire $L$.
  2. Le groupe d'automorphismes $G(L/K) = \text{Aut}_{K\text{-alg}}(L)$.

  Formellement, $L/K$ est une extension B si :
  $$E(L/K) = D(L/K) \rtimes G(L/K)$$
  où $\rtimes$ désigne l'algèbre de groupe tordue (skew group algebra).

• Outils principaux :

  • Le Théorème du Double Centralisateur appliqué à l'algèbre simple centrale $E(L/K)$.
  • L'étude des sous-algèbres de $E(L/K)$ contenant $L$.
  • La décomposition tensorielle des extensions normales en une partie purement inséparable et une partie galoisienne.

3. Contributions Clés et Résultats Principaux

A. Caractérisation des extensions normales

Le résultat le plus surprenant et fondamental de l'article est l'équivalence suivante (Théorème 6.4) :

La classe des extensions B coïncide exactement avec la classe des extensions finies normales.

Cela fournit une nouvelle caractérisation de la normalité d'une extension $L/K$ : une extension est normale si et seulement si l'algèbre des endomorphismes est générée par les opérateurs différentiels et les automorphismes.

• Les extensions galoisiennes sont des extensions B où $D(L/K) = L$ (algèbre commutative).
• Les extensions purement inséparables sont des extensions B où $G(L/K) = \{e\}$ (groupe trivial).
• Les extensions normales mixtes (ni galoisiennes ni purement inséparables) sont des extensions B où ni $D(L/K)$ ni $G(L/K)$ ne sont triviaux.

B. Théorie de Galois pour les extensions purement inséparables

Pour une extension purement inséparable $L/K$, l'article établit une correspondance de Galois analogue (Théorème 4.6) :

• Il existe une bijection entre les sous-corps intermédiaires $M$ et les algèbres d'opérateurs différentiels $D(L/M)$.
• Il existe une bijection entre les sous-corps et les algèbres de Lie dominantes (une notion nouvelle introduite par l'auteur) de l'algèbre des opérateurs différentiels propres $D(L/K)^+$.
• Ici, les algèbres d'opérateurs différentiels jouent le rôle du groupe de Galois.

C. Théorie de Galois pour les extensions normales (Cas général)

Pour une extension normale $L/K$ (caractéristique $p$), l'article établit un analogue de la correspondance de Galois (Théorème 7.4) reliant les sous-corps $M$ à des structures algébriques mixtes :

• Correspondance 1 : $M \mapsto C_{E(L/K)}(M) = D(L/M) \rtimes G(L/M)$.
• Correspondance 2 : $M \mapsto (D(L/M)^+, G(L/M))$, où $D(L/M)^+$ est une algèbre de Lie dominante et $G(L/M)$ un sous-groupe, formant ce que l'auteur appelle un dom-groupe (dominant pair).

L'inverse de la correspondance fait intervenir les invariants sous l'action du groupe et les constantes sous l'action des opérateurs différentiels :
$$M = L^{G(L/M)} \cap L^{D(L/M)^+}$$

D. Structure des algèbres associées

L'article décrit explicitement la structure des algèbres $D(L/K)$, $L \rtimes G(L/K)$ et $D(L/K) \rtimes G(L/K)$.

• Pour une extension normale $L/K$, on a la décomposition tensorielle :
  $$E(L/K) \cong D(L_{pi}/K) \otimes (L_{sep} \rtimes G(L_{sep}/K))$$
  où $L_{pi}$ est la plus grande sous-extension purement inséparable et $L_{sep}$ la plus grande sous-extension séparable (galoisienne).
• L'auteur montre que $L$ se décompose comme $L = L_{pi} \otimes_K L_{gal}$ (Théorème 5.4), ce qui permet de séparer les comportements différentiels et automorphes.

E. Sous-corps normaux et extensions co-normales

L'article définit la plus petite extension co-normale $(L/K)_{nor}$ (le plus petit sous-corps $M$ tel que $L/M$ soit normale).

• En caractéristique $p$, $(L/K)_{nor} = L_{G(L/K)}^{dif} / K$ (Théorème 8.4).
• En caractéristique 0, $(L/K)_{nor} = L_{G(L/K)} / K$ (Proposition 8.5).

4. Signification et Impact

1. Unification : Ce travail réussit à unifier la théorie de Galois classique (séparable) et la théorie des extensions purement inséparables sous un seul paradigme : celui des extensions B. Il démontre que la « symétrie maximale » (l'existence de suffisamment d'automorphismes et d'opérateurs différentiels pour générer tout l'endomorphisme) est l'essence de la normalité.
2. Nouveaux concepts : L'introduction des algèbres de Lie dominantes et des dom-groupes offre de nouveaux outils pour étudier les extensions non-galoisiennes, généralisant les travaux de Jacobson et Sweedler.
3. Preuves conceptuelles : L'approche par les algèbres simples centrales permet de fournir des preuves courtes et conceptuelles de résultats classiques de la théorie de Galois, en les déduisant du théorème du double centralisateur.
4. Indépendance de la caractéristique : Bien que les mécanismes diffèrent (dérivations en caractéristique $p$, automorphismes en caractéristique 0), le cadre algébrique global reste cohérent, offrant une perspective nouvelle sur la structure des extensions de corps.

En résumé, V. V. Bavula propose une refondation de la théorie de Galois pour les extensions normales en remplaçant le groupe de Galois unique par une paire dynamique composée d'un groupe d'automorphismes et d'une algèbre de Lie d'opérateurs différentiels, révélant ainsi la structure profonde unifiant les cas séparables et inséparables.