Quelques anneaux locaux quasianalytiques $C^\infty$ non noethériens

Informations fondamentales

• ID de l'article: 1710.01228
• Titre: Quelques anneaux locaux quasianalytiques $C^\infty$ non noethériens
• Auteur: Abdelhafed Elkhadiri (Université Ibn Tofail, Faculté des Sciences, Kénitra, Maroc)
• Classification: math.AG (Géométrie algébrique)
• Date de publication: 3 octobre 2017 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/1710.01228

Résumé

Cet article construit deux exemples non noethériens d'anneaux quasianalytiques. Le premier exemple est construit via les classes quasianalytiques de Denjoy-Carleman, le second provient de la théorie des modèles. L'auteur démontre que si $\mathcal{D}_n$ désigne l'anneau des germes de fonctions quasianalytiques $C^\infty$ définissables dans une structure o-minimale polynomialement bornée, alors le système $\{\mathcal{D}_n / n \in \mathbb{N}^*\}$ n'est pas noethérien, c'est-à-dire qu'il existe $m \in \mathbb{N}$, $m > 1$, tel que l'anneau $\mathcal{D}_m$ n'est pas noethérien.

Contexte et motivation de la recherche

Importance du problème

1. Problème de Hadamard: Fournir les conditions nécessaires et suffisantes sur la croissance des dérivées partielles d'un germe de fonction $C^\infty$ à l'origine pour que l'anneau $C_n$ soit quasianalytique. Ce problème a reçu une condition suffisante de Denjoy et a été complètement résolu par Carleman, conduisant au concept de classes de fonctions quasianalytiques de Denjoy-Carleman.
2. Défaillance du théorème de division de Weierstrass: Dans le contexte quasianalytique, les théorèmes classiques de division et de préparation de Weierstrass ne s'appliquent pas. Childress a démontré que les classes quasianalytiques de Denjoy-Carleman peuvent ne pas satisfaire la division de Weierstrass.
3. Problèmes non résolus: En raison de l'absence de division de Weierstrass, de nombreuses questions restent ouvertes en dimension > 1, en particulier:
   • Ces classes sont-elles noethériennes?
   • Satisfont-elles une certaine forme du théorème d'approximation de M. Artin?
   • Absence d'exemples concrets d'anneaux quasianalytiques non noethériens en dimension > 1

Motivation de la recherche

La motivation principale de cet article est de combler les lacunes théoriques en fournissant des exemples concrets d'anneaux quasianalytiques non noethériens, ce qui est important pour comprendre les propriétés algébriques des anneaux quasianalytiques.

Contributions principales

1. Construction du premier anneau quasianalytique non noethérien: Via l'union de classes quasianalytiques de Denjoy-Carleman et de leurs classes décalées
2. Démonstration de la non-noethérianité du système quasianalytique issu de structures o-minimales: Si le système contient strictement le système analytique, il ne peut pas être noethérien
3. Établissement d'un cadre théorique pour les systèmes quasianalytiques "bien comportés": Définition du concept d'injectivité forte et preuve des propriétés associées
4. Fourniture de constructions mathématiques explicites: Présentation de la classe de fonctions $C_{M̃_∞}$ comme exemple d'anneau quasianalytique non noethérien

Détails de la méthode

Définition de la tâche

Construire des anneaux quasianalytiques satisfaisant les conditions suivantes:

• Entrée: classe de fonctions lisses et conditions de croissance correspondantes
• Sortie: anneau local quasianalytique non noethérien
• Contraintes: préserver la propriété quasianalytique tout en détruisant la propriété noethérienne

Construction mathématique centrale

1. Définition des classes de Denjoy-Carleman

Pour une fonction $m(t) = t\log t + t\mu(t)$ (où $\mu(t)$ est croissante et $\lim_{t→∞} \mu(t) = ∞$), définir: $M(t) = e^{m(t)}$

Une fonction $f \in E(I^n)$ appartient à la classe $M$ si et seulement s'il existe $C > 0, ρ > 0$ tels que: $\forall x \in I^n, |D^α f(x)| \leq Cρ^{|α|}M(|α|), \forall α \in \mathbb{N}^n, |α| ≫ 0$

2. Caractérisation de la quasianalyticité

Le théorème de Denjoy-Carleman fournit la condition nécessaire et suffisante de quasianalyticité: $C_M(I^n) \text{ est quasianalytique} \Leftrightarrow \sum_{p=0}^∞ \frac{M(p)}{M(p+1)} = ∞$

3. Construction de classes décalées

Pour la classe $M$, définir les classes décalées: $m_p(t) = m(pt), \quad M_p(t) = e^{m_p(t)}$

Exemple clé: prendre $m̃(t) = t\log t + t\log\log\log t$, alors toutes les classes décalées $M̃_p$ sont quasianalytiques.

4. Construction de l'anneau non noethérien

Définir: $C_{M̃_∞}(I^n) = \bigcup_{p=1}^∞ C_{M̃_p}(I^n)$

Cette union constitue un anneau quasianalytique contenant strictement la classe analytique.

Points d'innovation technique

1. Concept d'injectivité forte

Définir un homomorphisme local $Φ: C_{M̃_∞}(n) → C_{M̃_∞}(k)$ comme fortement injectif si l'homomorphisme induit: $Φ̂^*: \frac{\mathbb{R}[[X_1,...,X_n]]}{C_{M̃_∞}(n)} → \frac{\mathbb{R}[[X_1,...,X_k]]}{C_{M̃_∞}(k)}$ est injectif.

2. Systèmes bien comportés

Un système quasianalytique $C = \{C_n / n ∈ \mathbb{N}\}$ est dit bien comporté si les applications:

• $e(f)(x_1,x_2,...,x_n) = f(x_1x_2,x_2,...,x_n)$
• $r_d(f)(x_1,x_2,...,x_n) = f(x_1^d,x_2,...,x_n)$

sont toutes fortement injectives.

Configuration expérimentale

Cadre de vérification théorique

Cet article est principalement une recherche mathématique théorique, l'"expérimentation" se manifeste par:

1. Vérification d'exemples concrets:
   • Vérification de la quasianalyticité de $m̃(t) = t\log t + t\log\log\log t$
   • Calcul de la fonction $ω(s)$ correspondante et vérification de la condition intégrale
2. Vérification de la construction de contre-exemples:
   • Preuve que les classes décalées de $m(t) = t\log t + t\log\log t$ ne sont pas quasianalytiques
   • Vérification de la non-quasianalyticité par calcul intégral

Calculs clés

Pour $m(t) = t\log t + t\log\log t$: $\frac{ω_p(s)}{s^2} \sim \frac{p^2}{e} \frac{1}{s^{\frac{2p-1}{p}}\log s}$

Lorsque $p > 1$, $\int_{s_0}^∞ \frac{ω_p(s)}{s^2} ds < ∞$, donc la classe $M_p$ n'est pas quasianalytique.

Résultats principaux

Théorème 1 (Résultat constructif)

Le système $C_{M̃_∞} = \{C_{M̃_∞}(n), n ∈ \mathbb{N}^*\}$ n'est pas noethérien, c'est-à-dire qu'il existe $m ∈ \mathbb{N}, m > 1$, tel que l'anneau $C_{M̃_∞}(m)$ n'est pas noethérien.

Schéma de preuve:

1. Prouver que le système $C_{M̃_∞}$ est bien comporté
2. Appliquer le résultat connu: tout système noethérien bien comporté est contenu dans le système analytique
3. Puisque $C_{M̃_∞}$ contient strictement le système analytique, il ne peut pas être noethérien

Théorème 2 (Résultat de structure o-minimale)

Soit $R$ une structure o-minimale polynomialement bornée sur le corps des réels, et $D_n$ l'anneau des germes de fonctions quasianalytiques définissables dans $R$. Si le système $D = \{D_n / n ∈ \mathbb{N}^*\}$ contient strictement le système analytique, alors $D$ n'est pas noethérien.

Points clés de la preuve:

• Utilisation du théorème de composition de Glaeser
• Preuve de l'injectivité forte des applications pertinentes
• Application de la théorie générale des systèmes bien comportés

Lemme clé

Lemme 3.3: Pour tout $q ∈ \mathbb{N}$, il existe $C_q > 0, ρ_q > 0$ tels que: $M(p+q) ≤ C_q ρ_q^p M(p), \forall p ∈ \mathbb{N}, p ≫ 0$

Ce lemme garantit les propriétés de stabilité des classes de Denjoy-Carleman.

Travaux connexes

Développement historique

1. Problème de Hadamard: Problème de caractérisation des fonctions quasianalytiques
2. Théorie de Denjoy-Carleman: Caractérisation complète de la quasianalyticité
3. Généralisation du théorème de Weierstrass: Difficultés dans le contexte quasianalytique

Résultats existants

1. Travaux de Childress: Preuve que la division de Weierstrass peut échouer dans les classes quasianalytiques
2. Résultats de Miller: Différentiabilité infinie des fonctions dans les structures o-minimales polynomialement bornées
3. Travaux antérieurs de l'auteur: Lien entre la noethérianité et le théorème de division de Weierstrass

Position de cet article

Cet article fournit pour la première fois des exemples concrets d'anneaux quasianalytiques non noethériens, comblant une lacune théorique.

Conclusions et discussion

Conclusions principales

1. Résultat d'existence: Les anneaux quasianalytiques non noethériens existent réellement, réfutant une conjecture possible
2. Méthodes de construction: Fourniture de deux méthodes de construction différentes (classes de Denjoy-Carleman et structures o-minimales)
3. Principe général: Les systèmes quasianalytiques bien comportés contenant strictement le système analytique ne peuvent pas être noethériens

Signification théorique

1. Géométrie algébrique: Fournit des exemples importants pour l'étude des propriétés algébriques des anneaux quasianalytiques
2. Géométrie analytique réelle: Révèle les différences essentielles entre les anneaux quasianalytiques et analytiques
3. Théorie des modèles: Connecte la théorie des structures o-minimales aux propriétés algébriques

Limitations

1. Complexité de la construction: La construction des exemples donnés est relativement complexe et peu intuitive
2. Dimension explicite: Ne précise pas clairement la dimension minimale de non-noethérianité
3. Problèmes algorithmiques: N'aborde pas les problèmes de calcul et de décision connexes

Directions futures

1. Problèmes d'optimalité: Recherche du "plus petit" anneau quasianalytique non noethérien
2. Aspects algorithmiques: Étude des algorithmes de décision pour la noethérianité des anneaux quasianalytiques
3. Exploration d'applications: Applications aux équations différentielles et aux systèmes dynamiques

Évaluation approfondie

Avantages

1. Contribution théorique: Résout un problème ouvert depuis longtemps en fournissant des contre-exemples concrets
2. Innovation méthodologique: Introduction de nouveaux concepts tels que les "systèmes bien comportés" et l'"injectivité forte"
3. Profondeur technique: Utilisation synthétique de résultats profonds de l'analyse réelle, de la géométrie algébrique et de la théorie des modèles
4. Complétude: Fourniture de deux méthodes de construction différentes, renforçant l'universalité des résultats

Insuffisances

1. Lisibilité: Pour les non-spécialistes, certains détails techniques peuvent être difficiles à comprendre
2. Spécificité: Ne fournit pas la dimension minimale explicite du contre-exemple
3. Complexité computationnelle: Ne discute pas de la complexité des problèmes de décision connexes

Impact

1. Impact théorique: Fournit un résultat négatif important pour la théorie des anneaux quasianalytiques
2. Impact méthodologique: Les concepts tels que l'injectivité forte peuvent avoir des applications dans d'autres problèmes
3. Valeur à long terme: Offre une nouvelle perspective pour comprendre les propriétés algébriques des anneaux de fonctions lisses

Domaines d'application

1. Recherche en mathématiques pures: Études théoriques en géométrie algébrique et géométrie analytique réelle
2. Théorie des équations différentielles: Problèmes d'existence et d'unicité des solutions quasianalytiques
3. Applications de la théorie des modèles: Étude des propriétés algébriques des structures o-minimales

Références

L'article cite les références importantes suivantes:

1. T. Carleman, "Les fonctions quasi-analytiques" (1926) - Travail fondateur de la théorie quasianalytique
2. C.L. Childress, "Weierstrass division in quasianalytic local ring" - Défaillance de la division de Weierstrass
3. C. Miller, "Infinite diffentiability in polynomially bounded o-minimal structure" - Lissité dans les structures o-minimales
4. A. Elkhadiri, "Link between Noetherianity and the Weierstrass division theorem" - Travaux antérieurs de l'auteur sur la noethérianité

Évaluation générale: Cet article est un travail mathématique théorique de haute qualité qui résout un problème ouvert important dans la théorie des anneaux quasianalytiques. En construisant des contre-exemples concrets, l'auteur non seulement répond à la question de la noethérianité, mais développe également de nouveaux outils théoriques. Bien que techniquement exigeant, il possède une valeur théorique importante pour les domaines connexes.