Real radiciality and monoreal extensions

Résumé Technique Détaillé : Radicalité Réelle et Extensions Monoréales

Énoncé du Problème et Motivation
L'article traite du développement d'un analogue aux extensions purement inseparables (radicales) dans le contexte de la géométrie algébrique réelle. Dans l'algèbre classique, une extension de corps $K \to L$ est purement insepérable si le polynôme minimal de chaque élément possède une racine unique dans toute extension de corps algébriquement close, ce qui correspond à l'extension induisant une bijection au niveau du spectre. Cependant, en algèbre réelle, les corps formellement réels sont de caractéristique zéro, ce qui signifie que toutes les extensions algébriques sont séparables. Par conséquent, la notion classique d'inseparabilité ne s'applique pas directement.

Les auteurs sont motivés par une question géométrique : étant donné une variété algébrique réelle $V$, existe-t-il une « plus grande » variété algébrique réelle $W$ entre $V$ et sa normalisation qui induit une bijection sur les points réels ? Bien que la seminormalisation résolve cela pour les corps algébriquement clos, l'article note (citant [6]) qu'une telle construction échoue en géométrie algébrique réelle car les points réels peuvent disparaître en tant que points complexes, empêchant ainsi la surjectivité. Par conséquent, les auteurs déplacent leur attention de la bijectivité vers l'injectivité au niveau du spectre réel. Le problème central est de définir et de caractériser les extensions « réelles radicales » — celles où les morphismes vers des corps clos réels admettent au plus un relèvement — et d'étudier les extensions « monoréales », où de tels relèvements existent et sont uniques.

Méthodologie et Définitions
Les auteurs emploient des outils de la géométrie algébrique réelle, spécifiquement la théorie des corps clos réels et du spectre réel ($\text{Specr}$).

1. Extensions Monoréales :

   • Définition : Un polynôme irréductible $P \in K[X]$ est monoréal s'il admet exactement une racine dans tout corps étendu clos réel de $K$. Une extension algébrique $K \to L$ est monoréale si le polynôme minimal de chaque élément de $L$ est monoréal.
   • Caractérisation : Pour les extensions finies, $K \to L$ est monoréale si et seulement si tout morphisme $K \to R$ (où $R$ est un corps clos réel) admet exactement un relèvement vers $L$.
   • Propriétés : Les auteurs établissent que les extensions monoréales sont stables par composition et par restriction. Ils prouvent l'existence et l'unicité d'une clôture monoréale pour tout corps formellement réel, analogue à la clôture purement insepérable dans l'algèbre classique.

2. Radicalité Réelle :

   • Définition : Une extension $K \to L$ est réelle radicale si tout morphisme $K \to R$ admet au plus un relèvement vers $L$. Cela relâche la condition d'existence de la monoréalité pour se concentrer uniquement sur l'injectivité.
   • Extensions d'Anneaux : Le concept est généralisé aux extensions d'anneaux $A \to B$. Une extension est réelle radicale si des morphismes distincts $B \to R$ restent distincts lorsqu'ils sont composés avec $A \to B$. Ceci est caractérisé par l'injectivité du morphisme induit sur le spectre réel, $\text{Specr}(B) \to \text{Specr}(A)$.

3. Extensions Polyréales :

   • Pour explorer la factorisation, les auteurs définissent les extensions polyréales comme celles où aucun élément non trivial n'est monoréal (les polynômes minimaux ont zéro ou $\ge 2$ racines réelles). Ils étudient si les extensions algébriques peuvent être factorisées en parties monoréales et polyréales.

Résultats Clés et Contributions

• Stabilité et Clôture (Section 1) :

  • Les extensions monoréales sont stables par composition, restriction et changement de base (Propositions 1.8, 1.9, 1.10).
  • La clôture monoréale d'un corps $K$ existe, est unique à isomorphisme près, et est la plus grande extension monoréale contenue dans toute extension algébrique formellement réelle (Théorème 1.13).
  • Une description géométrique est fournie pour la clôture monoréale de $\mathbb{R}(t)$, l'identifiant à un corps de fonctions continues $f: \mathbb{R} \to \mathbb{R} \cup \{\pm \infty\}$ dont les graphes coïncident avec leurs clôtures de Zariski à un nombre fini de points près (Proposition 1.16).
  • L'article démontre qu'une factorisation des extensions algébriques en une partie monoréale suivie d'une partie polyréale est possible et unique (Théorème 1.25), tandis que l'ordre inverse n'est généralement pas possible.

• Relation avec le Spectre Réel (Section 2) :

  • Bijectivité vs Injectivité : Une extension finie est monoréale si et seulement si le morphisme induit sur le spectre réel est un homéomorphisme (bijectif).
  • Radicalité Réelle : Une extension algébrique est réelle radicale si et seulement si le morphisme induit sur le spectre réel est injectif (Proposition 2.3).
  • Contraintes de Degré : Pour les extensions réelles radicales finies, une dichotomie existe : soit l'extension est de degré impair et est monoréale, soit elle est de degré pair et le corps cible n'est pas formellement réel (Proposition 2.7).
  • Contre-exemples : L'article fournit des exemples montrant que la radicalité réelle n'est pas stable par restriction (ex: $\mathbb{Q} \to \mathbb{Q}(\sqrt{2}) \to \mathbb{Q}(i, \sqrt{2})$) et que l'injectivité sur le spectre réel n'implique pas la surjectivité.

• Extensions d'Anneaux et Applications Géométriques (Section 3) :

  • Les auteurs caractérisent les extensions d'anneaux réelles radicales via l'injectivité du morphisme $\text{Specr}(B) \to \text{Specr}(A)$ (Théorème 3.4).
  • Ils étudient la relation entre l'injectivité sur le spectre réel et l'injectivité sur l'ensemble des idéaux premiers réels ($R\text{-Spec}$). Si l'injectivité sur le spectre réel implique l'injectivité sur les corps résiduels réels, elle n'implique pas généralement l'injectivité sur les idéaux premiers réels (Remarque 3.6).
  • Théorème Géométrique : Dans le contexte des variétés algébriques affines sur un corps clos réel, si un morphisme dominant de type fini est injectif sur les points réels, alors le morphisme induit sur les idéaux premiers réels est injectif (Proposition 3.7).
  • Résultat Géométrique Principal : Pour les algèbres de type fini, le morphisme sur le spectre réel est injectif si et seulement si le morphisme sur les idéaux premiers réels est injectif et que les extensions de corps résiduels sont réelles radicales (Théorème 3.8).
  • Bijection sous Centralité : Si $A \to B$ est une extension finie de domaines réels, $A$ est centrale, et le morphisme est injectif sur le spectre réel, alors le morphisme est une bijection (Proposition 3.9).

Signification et Revendications
L'article affirme établir un cadre robuste pour la « radicalité réelle », servant d'analogue réel à la radicalité classique. La principale signification réside dans le déplacement de l'attention de la bijectivité (qui est souvent impossible en géométrie réelle en raison de la disparition des points réels) vers l'injectivité.

Les auteurs démontrent que :

1. Les extensions monoréales fournissent une classe d'extensions bien comportementée avec une clôture unique, analogue aux extensions purement insepérables.
2. La radicalité réelle est la condition correcte pour assurer l'injectivité au niveau du spectre réel.
3. Dans le contexte géométrique (variétés affines), l'injectivité au niveau du spectre réel est étroitement liée à l'injectivité sur les idéaux premiers réels, à condition que le morphisme se comporte bien sur les points réels clos.

L'article conclut que bien qu'une « seminormalisation » (une variété induisant une bijection sur les points réels) n'existe pas généralement en géométrie algébrique réelle, l'étude des morphismes injectifs via les extensions réelles radicales offre une alternative viable et structurée pour comprendre la topologie des variétés algébriques réelles. Le travail repose sur les outils standards de l'algèbre réelle (spectre réel, corps clos réels) et cite des travaux fondateurs de Grothendieck [8] et d'autres dans le domaine de la géométrie algébrique réelle [3, 5, 10].