Valuations hensélienne définissables en caractéristique résiduelle positive

Informations fondamentales

• ID de l'article : 2401.06884
• Titre : Definable henselian valuations in positive residue characteristic
• Auteurs : Margarete Ketelsen, Simone Ramello, Piotr Szewczyk
• Classification : math.LO (Logique mathématique), math.AC (Algèbre commutative)
• Date de publication : 12 novembre 2025 (version arXiv v3)
• Lien de l'article : https://arxiv.org/abs/2401.06884

Résumé

Cet article étudie la question de la $\mathcal{L}_{\mathrm{ring}}$-définissabilité des anneaux de valuations hensélienne non triviales. S'appuyant sur les travaux antérieurs de Jahnke et Koenigsmann, les auteurs fournissent une caractérisation complète des corps henséliens admettant une valuation hensélienne définissable non triviale. En particulier, cet article traite le cas où la valuation hensélienne canonique possède une caractéristique résiduelle positive, en utilisant des techniques de théorie des modèles et d'algèbre provenant des corps domptés (tame fields).

Contexte et motivation de la recherche

Problème de recherche

Le problème central étudié dans cet article est : Quels corps admettent une valuation hensélienne définissable non triviale ? Il s'agit d'une question classique de la théorie des modèles des corps valués.

Importance du problème

1. Signification historique : Julia Robinson a observé pour la première fois lors de l'étude du dixième problème de Hilbert que l'anneau de valuation sur $\mathbb{Q}_p$ est un sous-ensemble $\mathcal{L}_{\mathrm{ring}}$-définissable
2. Applications en théorie des modèles : La compréhension de la définissabilité des valuations est importante pour l'étude des lignes de classification des corps, comme les travaux de Johnson sur la classification des corps dp-finis
3. Valeur théorique : Ce problème incarne la philosophie du principe d'Ax-Kochen/Ershov — les questions de théorie des modèles concernant les corps valués devraient être répondues en utilisant les propriétés de leur corps résiduel et de leur groupe de valeurs

Limitations des approches existantes

Jahnke et Koenigsmann ont résolu le cas de caractéristique résiduelle zéro dans JK17 (Théorème 1.1), mais leur méthode dépend essentiellement du théorème d'élimination des quantificateurs pour la caractéristique résiduelle zéro, qui garantit que la structure induite du groupe de valeurs est un groupe abélien ordonné. Lorsque la caractéristique résiduelle est positive, la situation devient beaucoup plus complexe :

• Des phénomènes de défaut (defect) peuvent apparaître
• L'absence d'élimination complète des quantificateurs
• Nécessité de traiter les techniques des corps domptés (tame fields)

Motivation de la recherche

L'objectif de cet article est de supprimer l'hypothèse de caractéristique résiduelle zéro, généraliser le théorème de Jahnke-Koenigsmann au cas de caractéristique résiduelle positive, et fournir une caractérisation complète.

Contributions principales

1. Généralisation du théorème principal : Généralisation du théorème de Jahnke-Koenigsmann de la caractéristique résiduelle 0 à la caractéristique résiduelle positive, donnant une caractérisation complète (Théorème principal)
2. Introduction de nouvelles conditions : Dans le cas de caractéristique résiduelle positive, identification de deux nouvelles conditions nécessaires et suffisantes :
   • Condition (5) : $(K, v_K)$ n'est pas sans défaut (not defectless)
   • Condition (6) : Il existe $L \succeq Kv_K$ tel que $(L, v_L)$ n'est pas sans défaut
3. Innovations techniques :
   • Utilisation de la théorie du défaut indépendant pour construire des valuations définissables (Section 4)
   • Utilisation des résultats d'imbrication purement stable de Jahnke-Simon sur les corps domptés pour traiter la définissabilité du groupe de valeurs
   • Application astucieuse du théorème de définissabilité de Beth pour traiter les problèmes de paramètres
4. Exemples concrets : Construction d'exemples explicites satisfaisant diverses combinaisons de conditions, démontrant en particulier la nécessité des conditions (5) et (6)

Explication détaillée de la méthode

Définition de la tâche

Entrée : Un corps hensélien $K$ (non séparablement clos) avec valuation hensélienne canonique $v_K$
Sortie : Déterminer si $K$ admet une valuation hensélienne définissable non triviale
Contraintes : Si $\text{char}K = 0$ et $\text{char}Kv_K = p > 0$, supposer que $\mathcal{O}_{v_K}/p$ est semi-parfait (semi-perfect)

Architecture globale

La stratégie de preuve du document se divise en deux directions :

Direction 1 : Nécessité (Théorème 3.5)

Preuve que si $K$ admet une valuation hensélienne définissable, alors au moins une des six conditions est satisfaite.

Idée centrale : En supposant que les six conditions ne sont pas satisfaites, construire une contradiction.

Étapes clés :

1. Prendre une extension $\aleph_1$-saturée $(M, v) \succeq (K, v_K)$ de $K$
2. Utiliser le fait que $Mv \equiv Kv_K$ est t-hensélien mais non séparablement clos, pour obtenir que $Mv$ est hensélien
3. Construire la valuation composée $v_M = v_L \circ v$, où $L = Mv$
4. Prouver que $(M, v_M)$ est un corps dompté avec groupe de valeurs divisible
5. Appliquer le Lemme 3.4 : Si $(K,v)$ est un corps dompté de caractéristique résiduelle positive avec groupe de valeurs divisible, alors tout coarsening propre de $v$ ne peut pas être $\mathcal{L}_{\mathrm{val}}$-définissable
6. Obtenir une contradiction

Noyau technique - Lemme 3.4 :

Si (K,v) est un corps dompté de caractéristique résiduelle positive,
vK est divisible, et w est un coarsening propre de v,
alors w ne peut pas être L_val-définissable

La preuve dépend de :

• Fait 3.2 (Jahnke-Simon) : Le groupe de valeurs d'un corps dompté est purement stablement imbriqué en tant que groupe abélien ordonné
• Fait 3.3 : Un groupe abélien ordonné divisible n'a pas de sous-groupe convexe non trivial propre définissable

Direction 2 : Suffisance

Preuve par cas que chacune des six conditions peut conduire à la construction d'une valuation définissable.

Cas 1-4 (Conditions 1, 2, 3, 4) : Application directe du Théorème 2.8 (théorème fondamental de Jahnke-Koenigsmann)

Cas 5 ($(K,v_K)$ a un défaut) :

• Outil principal : Théorie du défaut indépendant (Section 4)
• Résultat principal : Théorème 4.11 - Si $(K,v)$ admet une extension de Galois avec défaut indépendant de degré $p$, alors $K$ admet une valuation hensélienne définissable

Cas 6 (Il existe $L \succeq Kv_K$ tel que $(L,v_L)$ a un défaut) :

• Caractéristique mixte : Proposition 4.18
• Caractéristique positive : Proposition 4.20

Technique du défaut indépendant (Noyau de la Section 4)

Définition (Définitions 4.4-4.6)

Pour une extension de Galois avec défaut de degré $p$ : $(K,v) \subseteq (L,v)$, définir : $\Sigma_L := \left\{v\left(\frac{\sigma f - f}{f}\right) \mid f \in L^\times\right\}$ où $\sigma \in \text{Gal}(L|K) \setminus \{\text{id}\}$.

Cette extension a un défaut indépendant s'il existe un sous-groupe convexe propre (possiblement trivial) $H \subseteq vK$ tel que :

1. $vK/H$ n'a pas d'élément positif minimal
2. $\Sigma_L = \{\alpha \in vK_\infty \mid \alpha > H\}$

Lemme clé (Version généralisée du Lemme 4.2)

S'il existe un ensemble $\mathcal{L}_{\mathrm{ring}}$-définissable $D \subseteq K$ tel que : $v(D) = \{\gamma \in vK \mid \gamma > H\}$ pour un sous-groupe convexe propre $H$, alors le coarsening correspondant $v_H$ est définissable.

Esquisse de la preuve du Théorème 4.11

1. Soit $L = K(\theta)$ une extension avec défaut indépendant de degré $p$
2. L'ensemble $D := \{\frac{\sigma(f) - f}{f} \mid f \in L^\times\}$ satisfait $v(D) = \{>\!H\}$
3. Par interprétation, $f^{-1}(D) \subseteq K^p$ est définissable
4. Utiliser le théorème de définissabilité de Beth pour prouver que $f^{-1}(\mathcal{O}_H) \subseteq K^p$ est définissable
5. Restriction à $K$ donne une valuation hensélienne définissable

Application du théorème de définissabilité de Beth (Remarque 4.1) : Pour prouver que $D$ est $\mathcal{L}_{\mathrm{ring}}(c)$-définissable, il suffit de prouver que pour deux modèles quelconques $(L, c', D_1), (L, c', D_2) \equiv_{\mathcal{L}} (K, c, D)$, on a $D_1 = D_2$.

Points d'innovation technique

1. Double rôle de la divisibilité du groupe de valeurs (Section 3) :
   • Comme obstacle : La divisibilité du groupe de valeurs limite l'existence de coarsenings définissables (Lemme 3.4)
   • Comme outil : Simplifie les arguments dans les constructions d'ultrapuissance (Proposition 3.6)
2. Exploitation du défaut (Section 4) :
   • Transformation du phénomène algébrique (extensions avec défaut) en définissabilité
   • Le défaut indépendant fournit une structure suffisante pour définir la valuation
3. Élimination des paramètres :
   • Caractéristique mixte : Utilisation de AJ18, Théorème 1.1.(B)
   • Caractéristique positive : Construction via ultrapuissance et ensembles définissables délicats (Proposition 4.20)
4. Technique combinatoire :
   • Le Lemme 4.8 prouve que la combinaison d'une valuation sans défaut avec un corps à défaut indépendant reste un corps à défaut indépendant
   • Ceci est crucial pour traiter les décompositions de valuations complexes

Configuration expérimentale

Cet article est un article de mathématiques pures théoriques et n'implique pas d'« expériences » au sens traditionnel. Cependant, la Section 6 fournit une construction d'exemples concrets, qui peut être considérée comme une « vérification expérimentale » de la théorie.

Exemples construits

Exemple 6.8 (Satisfaisant la condition 5)

• Construction : Corps de séries de Puiseux $K := \bigcup_{n \geq 0} K_0((t^{1/n}))$
• Corps de base : $K_0$ est un corps de caractéristique positive qui est non-hensélien, t-hensélien, de type dompté-divisible
• Vérification des propriétés :
  • $\neg 1$ : $Kv_K = K_0$ n'est pas séparablement clos
  • $\neg 2$ : $K_0$ est t-hensélien
  • $\neg 3$ : Par la Proposition 6.2
  • $\neg 4$ : $v_t K$ est divisible (= $\mathbb{Q}$)
  • $5$ : Par le Lemme 6.7, $(K, v_t)$ a un défaut
• Conclusion : $K$ admet une valuation hensélienne définissable

Exemple 6.17 (Satisfaisant la condition 6)

• Construction : $K := K_0((\mathbb{Q}))$, où $K_0$ est un corps t-hensélien de type défaut-divisible
• Vérification des propriétés :
  • $\neg 1, \neg 2, \neg 3, \neg 4$ : Similaire à l'Exemple 6.8
  • $\neg 5$ : $(K_0((\mathbb{Q})), v_t)$ est dompté, donc sans défaut
  • $6$ : Il existe $L \equiv K_0$ tel que $(L, v_L)$ a un défaut
• Conclusion : $K$ admet une valuation hensélienne définissable

Techniques de construction

Lemme 6.13 (Adapté de AJ18) : Étant donné un corps parfait $K$ (caractéristique $p$), un nombre premier $n > p$ et $q > n$, construire un corps valué équicaractéristique $(K', v)$ tel que :

• $K'v = K$, $vK' = \mathbb{Q}$
• $(K', v)$ n'est pas $q$-hensélien, mais est $n^{\leq}$-hensélien
• $(K', v)$ admet une véritable extension immédiate de degré $p$

Proposition 6.14 : En prenant la limite projective des constructions ci-dessus, construire un corps non-hensélien, t-hensélien de type défaut-divisible.

Résultats expérimentaux

Résultat principal (Théorème principal)

Soit $K$ un corps hensélien parfait et non séparablement clos. Si $\text{char}K = 0$ et $\text{char}Kv_K = p > 0$, supposer que $\mathcal{O}_{v_K}/p$ est semi-parfait. Alors $K$ admet une valuation hensélienne définissable non triviale si et seulement si au moins une des conditions suivantes est satisfaite :

1. $Kv_K$ est séparablement clos
2. $Kv_K$ n'est pas t-hensélien
3. Il existe $L \succeq Kv_K$ tel que $v_L L$ n'est pas divisible
4. $v_K K$ n'est pas divisible
5. $(K, v_K)$ n'est pas sans défaut
6. Il existe $L \succeq Kv_K$ tel que $(L, v_L)$ n'est pas sans défaut

Comparaison avec le Théorème 1.1 :

• Théorème 1.1 (JK17) : Traite uniquement le cas $\text{char}Kv_K = 0$, avec seulement les conditions 1-4
• Théorème principal : Supprime la restriction de caractéristique résiduelle, ajoute les conditions 5 et 6

Observations clés (Remarque 1.2)

• Les conditions 5 et 6 sont triviales (toujours non satisfaites) quand $\text{char}Kv_K = 0$
• Par conséquent, le Théorème principal se réduit au Théorème 1.1 en caractéristique résiduelle 0
• Les conditions 5 et 6 sont essentiellement des phénomènes nouveaux de caractéristique résiduelle positive

Complétude des exemples

Les Exemples 6.8 et 6.17 démontrent la nécessité des conditions 5 et 6 :

• Il existe un corps satisfaisant $\neg 1 \wedge \neg 2 \wedge \neg 3 \wedge \neg 4 \wedge 5$
• Il existe un corps satisfaisant $\neg 1 \wedge \neg 2 \wedge \neg 3 \wedge \neg 4 \wedge \neg 5 \wedge 6$

Question 6.18 pose un problème ouvert : Existe-t-il un corps satisfaisant $\neg 1 \wedge \cdots \wedge \neg 6$ ? S'il existe, il n'admettrait pas de valuation hensélienne définissable, prouvant l'optimalité du théorème.

Résultats techniques

1. Lemme 3.4 : Quand le groupe de valeurs d'un corps dompté est divisible, les coarsenings ne sont pas définissables (résultat d'obstacle)
2. Proposition 3.6 : Quand le groupe de valeurs est divisible mais ne l'est pas dans les extensions de base, il existe une valuation définissable (résultat de construction)
3. Théorème 4.11 : Les extensions avec défaut indépendant impliquent l'existence d'une valuation définissable
4. Corollaire 4.14 : Le défaut implique une valuation définissable sous des conditions appropriées
5. Lemme 4.8 : La combinaison d'une valuation sans défaut avec un corps à défaut indépendant préserve la propriété de défaut indépendant

Travaux connexes

Historique des valuations définissables

1. Julia Robinson (1963) : Première observation que l'anneau de valuation de $\mathbb{Q}_p$ est définissable
2. Prestel-Ziegler (1978) : Construction de corps non-henséliens t-henséliens
3. Jahnke-Koenigsmann (2015, 2017) :
   • JK15 : Méthode générale pour définir les valuations hensélienne
   • JK17 : Caractérisation complète en caractéristique résiduelle 0 (Théorème 1.1)
4. Anscombe-Jahnke (2018) :
   • Élimination des paramètres en caractéristique mixte
   • Construction de corps de type dompté-divisible

Théorie des corps domptés

1. Kuhlmann (1990, 2016) :
   • Étude systématique de la théorie du défaut
   • Théorie des modèles des corps domptés
2. Kuhlmann-Rzepka (2023) :
   • Théorie du défaut indépendant
   • Corps profondément ramifiés

Techniques de théorie des modèles

1. Jahnke-Simon (2020) : Imbrication purement stable du groupe de valeurs des corps domptés (Fait 3.2)
2. Principe d'Ax-Kochen/Ershov : Philosophie de répondre aux questions de théorie des modèles en utilisant le corps résiduel et le groupe de valeurs

Positionnement de cet article

Cet article est une continuation naturelle des travaux de Jahnke-Koenigsmann, en introduisant :

• Technique du défaut indépendant (provenant de Kuhlmann-Rzepka)
• Imbrication stable des corps domptés (provenant de Jahnke-Simon)

pour traiter avec succès le point technique difficile de la caractéristique résiduelle positive.

Conclusion et discussion

Conclusions principales

1. Caractérisation complète : Sous les hypothèses appropriées (perfectibilité, semi-perfectibilité en caractéristique mixte), caractérisation complète des corps henséliens admettant une valuation hensélienne définissable
2. Identification de nouveaux phénomènes : Le défaut (conditions 5 et 6) est une source de définissabilité spécifique à la caractéristique résiduelle positive
3. Contribution technique : Démonstration de comment transformer une structure algébrique (défaut indépendant) en définissabilité logique

Limitations

1. Conditions d'hypothèse :
   • Exigence que $K$ soit parfait (caractéristique positive) ou que $\mathcal{O}_{v_K}/p$ soit semi-parfait (caractéristique mixte)
   • Ces conditions peuvent ne pas être satisfaites dans certains cas naturels
2. Problème des paramètres :
   • La valuation donnée par le Corollaire 4.14 en caractéristique positive peut nécessiter des paramètres
   • La Remarque 6.16 montre que c'est essentiel (on ne peut pas toujours éliminer les paramètres)
3. Problèmes ouverts :
   • Question 6.18 : Existe-t-il un corps ne satisfaisant aucune condition ?
   • Question 4.9 : Comportement du défaut indépendant sous composition
   • Remarque 6.3 : Techniques de construction d'exemples concrets en caractéristique mixte

Directions futures

1. Suppression des hypothèses : Étude des corps non-parfaits ou où $\mathcal{O}_{v_K}/p$ n'est pas semi-parfait
2. Complexité des paramètres :
   • Caractérisation précise de quand les paramètres sont nécessaires
   • Étude de la complexité des quantificateurs des paramètres
3. Complexité computationnelle : Analyse de la complexité des formules définissantes
4. Généralisations et applications :
   • Caractérisation d'autres propriétés de théorie des modèles (comme NIP, dp-rank)
   • Connexions avec la théorie des lignes de classification des corps
5. Exemples concrets :
   • Construction d'un corps satisfaisant $\neg 1 \wedge \cdots \wedge \neg 6$ (s'il existe)
   • Exemples explicites en caractéristique mixte

Évaluation approfondie

Points forts

1. Complétude théorique :
   • Résolution complète du problème de caractéristique résiduelle positive laissé par Jahnke-Koenigsmann
   • Les six conditions forment une caractérisation complète et élégante
   • Connexion parfaite avec le cas de caractéristique résiduelle 0
2. Innovation technique :
   • L'application du défaut indépendant est une innovation majeure, appliquant avec succès la théorie algébrique de Kuhlmann-Rzepka à la théorie des modèles
   • Utilisation astucieuse du théorème de définissabilité de Beth (Remarque 4.1, Théorème 4.11)
   • Insight du « double rôle » de la divisibilité du groupe de valeurs (Section 3)
3. Profondeur de la preuve :
   • Lemme 4.8 (combinaison de valuations sans défaut avec défaut indépendant) est techniquement fort et important
   • Construction d'élimination des paramètres de la Proposition 4.20 est ingénieuse
   • Construction des exemples de la Section 6 démontre une compréhension fine de la théorie
4. Qualité de la rédaction :
   • Structure claire : Section 2 préparation, 3-4 techniques principales, 5 synthèse, 6 exemples
   • Motivation explicite : Chaque technique introduite a un objectif clair
   • Détails complets : Preuves rigoureuses, références précises
5. Valeur des exemples :
   • Les Exemples 6.8 et 6.17 ne valident pas seulement la théorie, mais démontrent aussi l'indépendance des conditions
   • L'adaptation du Lemme 6.13 démontre une compréhension profonde de la littérature

Insuffisances

1. Nécessité des hypothèses non clarifiée :
   • Les hypothèses de perfectibilité et semi-perfectibilité sont-elles techniques ou essentielles ?
   • Le document ne discute pas suffisamment de la nécessité de ces hypothèses
2. Problème des paramètres non complètement résolu :
   • L'élimination des paramètres en caractéristique positive ne réussit que dans des cas spéciaux (Proposition 4.20)
   • La Remarque 6.16 indique que c'est impossible en général, mais manque d'analyse systématique
3. Technicité de la construction des exemples :
   • La construction de la Section 6 dépend fortement des techniques de AJ18 et PZ78
   • Absence d'exemples en caractéristique mixte (la Remarque 6.3 l'admet)
4. Problèmes ouverts :
   • La Question 4.9 (composition du défaut indépendant) est contournée dans la preuve
   • La Question 6.18 (indépendance complète des conditions) reste non résolue
5. Discussion insuffisante des applications :
   • L'article se concentre sur la caractérisation théorique, avec peu de discussion sur les impacts pratiques (comme la classification des corps dp-finis de Johnson)

Impact

1. Contribution théorique :
   • Progrès majeur : Résolution du problème central du domaine
   • Fournit une base théorique complète pour les recherches futures
   • L'introduction de la technique du défaut indépendant peut inspirer d'autres applications
2. Contribution méthodologique :
   • Démontre comment combiner l'algèbre (théorie du défaut) et la théorie des modèles (définissabilité)
   • L'utilisation systématique du théorème de Beth et des ultrapuissances fournit un modèle méthodologique
3. Valeur pratique :
   • Fournit un cadre algorithmique pour déterminer si un corps concret admet une valuation définissable
   • Les six conditions sont toutes des propriétés vérifiables
4. Reproductibilité :
   • Preuves détaillées, références claires
   • Construction d'exemples donnant des étapes concrètes
   • Problèmes ouverts clairs, facilitant les recherches futures
5. Impact sur le domaine :
   • Devrait devenir une référence standard de la théorie de la définissabilité des corps valués
   • Peut stimuler l'application ultérieure de la théorie des corps domptés en théorie des modèles
   • Fournit une base technique pour l'étude d'autres propriétés de théorie des modèles (NIP, stabilité, etc.)

Scénarios d'application

1. Recherche théorique :
   • Détermination de l'existence de valuations définissables lors de l'étude des propriétés de théorie des modèles des corps
   • Construction d'exemples de corps avec des propriétés spécifiques
2. Théorie de la classification :
   • Base technique pour la classification des corps dp-finis de Johnson
   • Recherche sur d'autres lignes de classification (NIP, simple, etc.)
3. Géométrie arithmétique :
   • Étude de théorie des modèles des corps locaux et globaux
   • Problèmes de définissabilité en géométrie p-adique
4. Logique computationnelle :
   • Problèmes de décision pour les corps
   • Traitement des valuations dans la preuve automatisée de théorèmes
5. Enseignement :
   • Manuel avancé de théorie des modèles des corps valués
   • Cas exemplaire d'intersection entre l'algèbre et la logique

Références clés

1. JK17 Jahnke & Koenigsmann : Defining coarsenings of valuations - Objet de généralisation directe de cet article
2. KR23 Kuhlmann & Rzepka : Deeply ramified fields and independent defect - Source de la théorie du défaut indépendant
3. JS20 Jahnke & Simon : NIP henselian valued fields - Outil clé pour l'imbrication stable du groupe de valeurs
4. AJ18 Anscombe & Jahnke : Henselianity in the language of rings - Élimination des paramètres et construction d'exemples
5. EP05 Engler & Prestel : Valued Fields - Référence standard de la théorie des corps valués

Résumé

Ceci est un article de mathématiques pures théoriques de haute qualité qui résout avec succès un problème central de la théorie des modèles des corps valués. Les principales réalisations de l'article sont :

1. Complétude théorique : Fournit une caractérisation complète des valuations hensélienne définissables des corps henséliens, généralisant le résultat classique de Jahnke-Koenigsmann
2. Innovation technique : Application ingénieuse de la théorie du défaut indépendant à la définissabilité, démontrant une fusion profonde de l'algèbre et de la logique
3. Rigueur : Preuves détaillées, références précises, exemples suffisants

Les limitations de l'article résident principalement dans :

• La nécessité insuffisamment discutée de certaines hypothèses techniques
• La résolution incomplète du problème des paramètres en caractéristique positive
• Quelques problèmes ouverts (comme la Question 6.18) dont la résolution affinerait davantage la théorie

Dans l'ensemble, ceci est un article avec des contributions importantes à la théorie des modèles des corps valués, qui devrait devenir une référence standard du domaine et fournir une base solide pour les recherches futures.