🔢 mathematics

Linear theories of global fields with absolute values

Cet article étudie la théorie des corps globaux en tant qu'espaces vectoriels munis d'un prédicat pour une valeur absolue, démontrant que cette théorie est décidable pour les valeurs ultramétriques et réelles archimédiennes mais indécidable pour les valeurs complexes, tout en axiomatisant les théories existentielles pour l'ensemble des valeurs non complexes.

Auteurs originaux : Arno Fehm, Pierre Touchard

Publié 2026-03-27

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Arno Fehm, Pierre Touchard

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

🕵️‍♂️ L'Enquête : Peut-on tout deviner sur un nombre ?

Imaginez que vous êtes un détective mathématique. Votre mission : comprendre la "personnalité" d'un nombre (ou d'un ensemble de nombres) en posant des questions.

Dans le monde des mathématiques, il existe des "champs" (des familles de nombres comme les rationnels $\mathbb{Q}$ ou les nombres algébriques). Traditionnellement, pour étudier ces familles, on leur demande de faire des multiplications et des additions. Mais il y a un gros problème : si on leur permet de multiplier, le système devient imprévisible. C'est comme si le détective posait trop de questions et que le suspect commençait à inventer des mensonges complexes. On ne peut plus jamais être sûr de la réponse (c'est ce qu'on appelle l'indécidabilité).

Les auteurs de ce papier, Arno Fehm et Pierre Touchard, ont une idée géniale : Et si on interdisait la multiplication ?

Ils proposent d'étudier ces familles de nombres en ne leur permettant que l'addition et la multiplication par un nombre fixe (comme "multiplier par 2" ou "multiplier par 3"). C'est ce qu'ils appellent la théorie linéaire. C'est comme si on demandait à un joueur de football de courir et de passer le ballon, mais sans jamais pouvoir tirer au but.

Mais attention, ils ajoutent un indice crucial : la "taille" des nombres. En mathématiques, on peut mesurer la taille d'un nombre de différentes façons (comme mesurer la distance à Paris, ou la distance à Tokyo). C'est ce qu'on appelle les valeurs absolues.

🌍 Les trois types de "Règles du Jeu"

Les auteurs examinent trois scénarios différents selon la façon dont on mesure la taille des nombres. Voici l'analogie :

1. Le Scénario "Ultramétrique" (Les Places Finies) 🏰

Imaginez un monde où la géométrie est bizarre. Si vous avez deux amis, et que vous mesurez la distance entre vous et eux, la distance entre eux deux ne peut jamais être plus grande que la plus grande des deux distances. C'est le monde des nombres $p$ -adiques (liés aux nombres premiers).

La découverte : Dans ce monde, si on interdit la multiplication directe mais qu'on garde la mesure de taille, le détective peut tout comprendre. La théorie est décidable. On peut écrire un algorithme (un programme informatique) qui répondra toujours "Oui" ou "Non" à n'importe quelle question logique sur ces nombres. C'est un monde ordonné et prévisible.

2. Le Scénario "Réel" (Les Places Réelles) 📏

C'est notre monde habituel, où les nombres sont sur une ligne droite (comme sur une règle). On mesure la distance classique (la valeur absolue).

La découverte : C'est plus compliqué.
- Si on ne demande que des questions simples (existencielles, du genre "Existe-t-il un nombre... ?"), on peut encore trouver la réponse. C'est décidable.
- MAIS, si on permet des questions plus complexes (avec des "et", des "ou", des "pour tout"), le système redevient imprévisible (indécidable).
- L'astuce des auteurs : Ils montrent que même sans avoir le symbole "multiplication" dans la boîte à outils, on peut reconstruire la multiplication en utilisant seulement l'addition et la mesure de taille. C'est comme si le détective pouvait déduire comment multiplier deux nombres en observant simplement comment ils se comportent par rapport à zéro et à l'unité. Une fois qu'on a reconstruit la multiplication, on retombe dans le chaos de l'indécidabilité.

3. Le Scénario "Complexe" (Les Places Complexes) 🌀

Ici, les nombres vivent dans un plan (comme une carte avec une latitude et une longitude). C'est le monde des nombres complexes ($a + bi$).

La découverte : C'est le pire scénario. Même avec des questions très simples, le système est indécidable.
Pourquoi ? Parce que dans ce monde, la simple mesure de la taille (la distance au centre du plan) suffit à cacher toute la complexité de la multiplication. Le détective est piégé : il ne peut pas prédire l'avenir.
L'exception : Si le champ de nombres ne contient aucun nombre imaginaire pur (c'est-à-dire qu'il est très "proche" des réels), alors on peut redevenir décidable pour les questions simples. Mais dès qu'il y a un peu de "magie complexe", tout s'effondre.

🧩 Le Grand Puzzle : Mélanger les Règles

La deuxième partie du papier est comme un puzzle géant. Les auteurs se demandent : "Que se passe-t-il si on regarde un nombre avec plusieurs règles de mesure en même temps ?" (Par exemple, mesurer sa taille par rapport à 2, par rapport à 3, et par rapport à l'infini).

Ils découvrent une règle d'or pour que le système reste prévisible (décidable) :

Il ne faut aucune règle de mesure "complexe" (pas de plan, juste des lignes).
Il ne faut aucune règle de mesure "réelle" si on demande des questions trop compliquées.

Si ces conditions sont respectées, les auteurs peuvent écrire une "recette" (une axiomatisation) qui décrit parfaitement le comportement de ces nombres. C'est comme si ils avaient trouvé le code source de l'univers pour ces cas particuliers.

🎭 L'Analogie Finale : Le Jeu de la Cuisine

Imaginez que les nombres sont des ingrédients.

La multiplication est l'acte de cuisiner (mélanger, transformer). C'est dangereux et imprévisible.
L'addition est juste empiler les ingrédients. C'est sûr.
La valeur absolue est une balance qui pèse les ingrédients.

Les auteurs disent :

Si vous êtes dans une cuisine "p-adique" (règles étranges), vous pouvez tout prédire en utilisant seulement la balance et l'empilement.
Si vous êtes dans une cuisine "réelle", vous pouvez prédire les choses simples, mais si vous essayez de cuisiner un grand plat, vous perdez le contrôle.
Si vous êtes dans une cuisine "complexe", la balance seule vous trompe : vous ne pouvez rien prédire, même pour les petits plats.

🏆 Conclusion

Ce papier est une victoire pour la logique mathématique. Il nous dit exactement quand nous pouvons avoir une certitude totale sur le comportement des nombres (quand la théorie est décidée) et quand nous devons accepter que certains mystères resteront insolubles.

Ils ont prouvé que même en retirant l'outil le plus puissant (la multiplication), la simple mesure de la taille des nombres suffit à révéler des secrets profonds, parfois pour nous donner la réponse, et parfois pour nous montrer que certaines portes sont définitivement fermées.

1. Problématique et Contexte

L'article s'attaque à la question de la décidabilité des théories du premier ordre des corps globaux (extensions finies de $\mathbb{Q}$ ou de $\mathbb{F}_p(t)$ ).

Contexte connu : La théorie du premier ordre d'un corps global dans le langage des anneaux (avec l'addition et la multiplication) est indécidable (résultats de Julia Robinson et Rumely). La décidabilité de la théorie existentielle reste un problème ouvert majeur.
Approche proposée : Les auteurs étudient la théorie d'un corps global $k$ non pas comme un anneau, mais comme un $k$ -espace vectoriel (théorie linéaire). Le langage ne contient que l'addition, le zéro, le un, et la multiplication scalaire par des éléments de $k$ (symboles unaires $\cdot_\lambda$ ).
Structure additionnelle : Pour enrichir cette structure linéaire et capturer l'arithmétique, ils ajoutent des prédicats liés aux valeurs absolues (places) du corps. Pour une place $p$ $p$ , ils introduisent :
- $L_p(x, y) \iff |x|_p \le |y|_p$ (relation d'ordre des valeurs absolues).
- $M_p(x, y, z) \iff |xy|_p = |z|_p$ (relation multiplicative des valeurs absolues).

L'objectif est de déterminer pour quelles places (finies, réelles, complexes) et quelles combinaisons de prédicats la théorie est décidable, et d'obtenir des éliminations de quantificateurs.

2. Méthodologie

Les auteurs utilisent une combinaison de techniques de théorie des modèles, d'algèbre et d'analyse non archimédienne/archimédienne :

Élimination de quantificateurs pour les espaces vectoriels valués :
- Ils commencent par étudier le cas d'une seule place finie (ultramétrique). Ils définissent une théorie à deux sorts ( $K$ pour l'espace vectoriel, $\Gamma$ pour la valeur de la valuation) et prouvent un théorème d'élimination de quantificateurs pour les espaces vectoriels sur un corps valué discrètement (Théorème 3.5).
- Ils étendent ce résultat à une théorie enrichie incluant la structure du groupe des valeurs (groupe $\mathbb{Z}$ -ordonné) pour obtenir l'élimination de quantificateurs complète (Théorème 3.8).
Interprétabilité et Définition de la multiplication :
- Le cœur de la méthode réside dans l'analyse de la capacité à définir la multiplication du corps ($xy=z$) à partir de l'addition et des prédicats de valeur absolue.
- Cas ultramétrique : La multiplication est "cachée" dans la structure de la valeur absolue, mais ne permet pas de définir l'anneau complet de manière simple sans prédicats supplémentaires.
- Cas réel (archimédien) : Ils montrent que l'ordre $\le_p$ et la valeur absolue permettent de définir la multiplication de manière quantificateur-libre (Proposition 4.7), reliant ainsi la théorie linéaire à la théorie du corps complet.
- Cas complexe : Ils démontrent que si le corps n'est pas contenu dans $\mathbb{R}$ , la sous-structure réelle $k \cap \mathbb{R}$ est définissable, et que la multiplication peut être définie existentiellement, ce qui mène à l'indécidabilité.
Approximation Faible (Weak Approximation) :
- Pour traiter des familles de places (théorie globale), ils utilisent le théorème d'approximation faible d'Artin-Whaples. Ils axiomatisent ce principe dans le langage logique pour montrer que la théorie d'un corps avec plusieurs places est déterminée par les théories locales de chaque place (Théorème 5.6).

3. Résultats Principaux

Les résultats sont synthétisés dans les théorèmes 1.1 et 1.2 de l'article :

A. Théorie d'une seule place (Théorème 1.1)

Soit $k$ un corps global et $p$ une place.

Cas fini (ultramétrique) : La théorie de $(k, +, 0, 1, (\cdot_\lambda), L_p, M_p)$ est décidable. Elle coïncide avec celle du corps complété $\hat{k}_p$ . De plus, elle admet une élimination de quantificateurs.
Cas réel (archimédien) :
- La théorie avec seulement $L_p$ est décidable et coïncide avec celle de $\hat{k}_p \cong \mathbb{R}$ .
- Cependant, si l'on ajoute le prédicat multiplicatif $M_p$ , la théorie devient indécidable. En effet, $M_p$ combiné à $L_p$ permet de définir la multiplication du corps, ramenant le problème à l'indécidabilité de la théorie du corps.
Cas complexe : La théorie avec $L_p$ $L_{p}$ est indécidable. La valeur absolue complexe permet de définir la sous-structure réelle $k \cap \mathbb{R}$ $k \cap R$ et, par extension, la multiplication.
- Nuance existentielle : Si $k \cap i\mathbb{R} = \{0\}$ (c'est-à-dire que $k$ ne contient pas d'imaginaire pur non nul), la théorie existentielle est décidable. Sinon, elle est équivalente à Turing à la théorie existentielle de la partie réelle $k \cap \mathbb{R}$ .

B. Théorie d'une famille de places (Théorème 1.2)

Pour un corps global $k$ et des ensembles de places $S_1 \subseteq S_0 \subseteq P_k$ :

La théorie $Th(k, +, 0, 1, (\cdot_\lambda), (L_p)_{p \in S_0}, (M_p)_{p \in S_1})$ $T h (k, +, 0, 1, (\cdot_{λ}), (L_{p})_{p \in S_{0}}, (M_{p})_{p \in S_{1}})$ est décidable si et seulement si :
1. $S_0$ ne contient aucune place complexe.
2. $S_1$ ne contient aucune place infinie (réelle ou complexe).
Dans le cas décidable, la théorie est complète, model-complète, et admet une élimination de quantificateurs (si $S_1 = \emptyset$ ).
L'axiomatisation repose sur les théories locales de chaque place couplées au schéma d'axiomes d'approximation faible.

4. Contributions Clés

Classification de la décidabilité : L'article fournit une frontière précise entre les structures décidables et indécidables pour les corps globaux vus comme espaces vectoriels avec des contraintes de valeur absolue. La distinction cruciale est la présence de places complexes ou l'ajout de prédicats multiplicatifs sur les places réelles.
Élimination de quantificateurs généralisée : Ils établissent de nouveaux résultats d'élimination de quantificateurs pour les espaces vectoriels valués, étendant les travaux antérieurs de van den Dries et d'autres, en traitant spécifiquement le cas des corps globaux et des familles de places.
Lien entre théorie linéaire et théorie des corps : L'article démontre comment des prédicats apparemment faibles (comparaison de normes) peuvent, selon le contexte (réel vs complexe), coder toute la structure multiplicative du corps, rendant la théorie indécidable.
Axiomatisation explicite : Ils fournissent une axiomatisation complète et effective pour les cas décidables, incluant le schéma d'approximation faible adapté au langage linéaire.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

Théorie des modèles des corps globaux : Il offre une nouvelle perspective sur la décidabilité des corps globaux en "affaiblissant" le langage (en retirant la multiplication binaire) mais en ajoutant des structures analytiques (valeurs absolues). Cela permet de contourner les résultats d'indécidabilité classiques de Robinson tout en identifiant précisément où l'indécidabilité réapparaît.
Applications potentielles : Les résultats sur les théories existentielles et la décidabilité des fragments linéaires pourraient avoir des applications en géométrie diophantienne et en théorie des nombres effective, où l'on cherche à résoudre des équations sous contraintes de valuations.
Méthodologie : L'utilisation combinée de l'élimination de quantificateurs pour les espaces vectoriels valués et de l'approximation faible constitue une méthode robuste pour traiter les structures globales à partir de données locales.

En résumé, Fehm et Touchard établissent que la théorie linéaire d'un corps global est décidable tant que l'on évite les places complexes et que l'on ne demande pas à la fois l'ordre et la multiplicité des normes sur les places réelles. Dès que ces conditions sont violées, la puissance expressive du langage suffit à coder l'arithmétique entière du corps, rendant la théorie indécidable.