Alcuni anelli locali quasianalitici $C^\infty$ non noetheriani

Informazioni Fondamentali

• ID Articolo: 1710.01228
• Titolo: Alcuni anelli locali quasianalitici $C^\infty$ non noetheriani
• Autore: Abdelhafed Elkhadiri (Università Ibn Tofail, Facoltà di Scienze, Kenitra, Marocco)
• Classificazione: math.AG (Geometria Algebrica)
• Data di Pubblicazione: 3 ottobre 2017 (preprint arXiv)
• Link dell'articolo: https://arxiv.org/abs/1710.01228

Riassunto

Questo articolo costruisce due esempi non noetheriani di anelli quasianalitici. Il primo esempio è costruito attraverso classi quasianalitiche di Denjoy-Carleman, mentre il secondo proviene dalla teoria dei modelli. L'autore dimostra che se $\mathcal{D}_n$ denota l'anello dei germi di funzioni quasianalitiche $C^\infty$ definibili in una struttura o-minimale polinomialmente limitata, allora il sistema $\{\mathcal{D}_n / n \in \mathbb{N}^*\}$ non è noetheriano, cioè esiste $m \in \mathbb{N}$, $m > 1$, tale che l'anello $\mathcal{D}_m$ non è noetheriano.

Contesto di Ricerca e Motivazione

Importanza del Problema

1. Problema di Hadamard: Fornire condizioni necessarie e sufficienti sulla crescita delle derivate parziali di un germe di funzione $C^\infty$ nell'origine affinché l'anello $C_n$ sia quasialitico. Questo problema è stato affrontato da Denjoy con condizioni sufficienti e completamente risolto da Carleman, portando al concetto di classi quasianalitiche di Denjoy-Carleman.
2. Fallimento del Teorema di Divisione di Weierstrass: Nel contesto quasialitico, i classici teoremi di divisione e preparazione di Weierstrass non valgono. Childress ha dimostrato che le classi quasianalitiche di Denjoy-Carleman potrebbero non soddisfare la divisione di Weierstrass.
3. Problemi Aperti: A causa della mancanza della divisione di Weierstrass, molti problemi rimangono aperti nel caso di dimensione > 1, in particolare:
   • Se queste classi sono noetheriane
   • Se soddisfano una qualche versione del teorema di approssimazione di M. Artin
   • Mancanza di esempi concreti di anelli quasianalitici non noetheriani per dimensione > 1

Motivazione della Ricerca

La motivazione principale di questo articolo è colmare i vuoti teorici fornendo esempi concreti di anelli quasianalitici non noetheriani, il che è di importanza cruciale per comprendere le proprietà algebriche degli anelli quasianalitici.

Contributi Principali

1. Costruzione del primo anello quasialitico non noetheriano: Attraverso l'unione di classi quasianalitiche di Denjoy-Carleman e delle loro classi traslate
2. Dimostrazione della non noetherianità del sistema quasialitico derivante da strutture o-minimali: Se il sistema contiene strettamente il sistema analitico, allora necessariamente non è noetheriano
3. Stabilimento di un quadro teorico per sistemi quasianalitici "ben comportati": Definizione del concetto di iniettività forte e dimostrazione delle proprietà correlate
4. Fornitura di costruzioni matematiche concrete: Presentazione della classe di funzioni esplicita $C_{M̃_∞}$ come esempio di anello quasialitico non noetheriano

Dettagli dei Metodi

Definizione del Compito

Costruire anelli quasianalitici che soddisfino le seguenti condizioni:

• Input: classi di funzioni lisce e condizioni di crescita corrispondenti
• Output: anelli locali quasianalitici non noetheriani
• Vincoli: mantenere la proprietà quasialitica mentre si distrugge la proprietà noetheriana

Costruzione Matematica Centrale

1. Definizione delle Classi di Denjoy-Carleman

Per una funzione $m(t) = t\log t + t\mu(t)$ (dove $\mu(t)$ è una funzione crescente e $\lim_{t→∞} \mu(t) = ∞$), si definisce: $M(t) = e^{m(t)}$

Una funzione $f \in E(I^n)$ appartiene alla classe $M$ se e solo se esistono $C > 0, ρ > 0$ tali che: $\forall x \in I^n, |D^α f(x)| \leq Cρ^{|α|}M(|α|), \forall α \in \mathbb{N}^n, |α| ≫ 0$

2. Caratterizzazione della Quasianaliticitá

Il teorema di Denjoy-Carleman fornisce la condizione necessaria e sufficiente per la quasianaliticitá: $C_M(I^n) \text{ è quasialitico} \Leftrightarrow \sum_{p=0}^∞ \frac{M(p)}{M(p+1)} = ∞$

3. Costruzione delle Classi Traslate

Per una classe $M$, si definiscono le classi traslate: $m_p(t) = m(pt), \quad M_p(t) = e^{m_p(t)}$

Esempio chiave: prendendo $m̃(t) = t\log t + t\log\log\log t$, tutte le classi traslate $M̃_p$ sono quasianalitiche.

4. Costruzione dell'Anello Non Noetheriano

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

Questa unione costituisce un anello quasialitico che contiene strettamente la classe analitica.

Punti di Innovazione Tecnica

1. Concetto di Iniettività Forte

Si definisce un omomorfismo locale $Φ: C_{M̃_∞}(n) → C_{M̃_∞}(k)$ fortemente iniettivo se l'omomorfismo indotto: $Φ̂^*: \frac{\mathbb{R}[[X_1,...,X_n]]}{C_{M̃_∞}(n)} → \frac{\mathbb{R}[[X_1,...,X_k]]}{C_{M̃_∞}(k)}$ è iniettivo.

2. Sistemi Ben Comportati

Un sistema quasialitico $C = \{C_n / n ∈ \mathbb{N}\}$ si dice ben comportato se le applicazioni:

• $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)$

sono entrambe fortemente iniettive.

Impostazione Sperimentale

Quadro di Verifica Teorica

Questo articolo è principalmente ricerca matematica teorica, gli "esperimenti" si manifestano in:

1. Verifica di esempi concreti:
   • Verifica della quasianaliticitá di $m̃(t) = t\log t + t\log\log\log t$
   • Calcolo della funzione $ω(s)$ corrispondente e verifica della condizione integrale
2. Verifica della costruzione di controesempi:
   • Dimostrazione che le classi traslate di $m(t) = t\log t + t\log\log t$ non sono quasianalitiche
   • Verifica della non quasianaliticitá attraverso il calcolo integrale

Calcoli Chiave

Per $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}$

Quando $p > 1$, $\int_{s_0}^∞ \frac{ω_p(s)}{s^2} ds < ∞$, pertanto la classe $M_p$ non è quasialitica.

Risultati Principali

Teorema 1 (Risultato Costruttivo)

Il sistema $C_{M̃_∞} = \{C_{M̃_∞}(n), n ∈ \mathbb{N}^*\}$ non è noetheriano, cioè esiste $m ∈ \mathbb{N}, m > 1$, tale che l'anello $C_{M̃_∞}(m)$ non è noetheriano.

Idea della Dimostrazione:

1. Dimostrazione che il sistema $C_{M̃_∞}$ è ben comportato
2. Applicazione del risultato noto: ogni sistema noetheriano ben comportato è contenuto nel sistema analitico
3. Poiché $C_{M̃_∞}$ contiene strettamente il sistema analitico, non può essere noetheriano

Teorema 2 (Risultato da Strutture o-minimali)

Sia $R$ una struttura o-minimale polinomialmente limitata sul campo dei numeri reali, e sia $D_n$ l'anello dei germi di funzioni quasianalitiche definibili in $R$. Se il sistema $D = \{D_n / n ∈ \mathbb{N}^*\}$ contiene strettamente il sistema analitico, allora $D$ non è noetheriano.

Punti Chiave della Dimostrazione:

• Utilizzo del teorema della funzione composita di Glaeser
• Dimostrazione dell'iniettività forte delle applicazioni correlate
• Applicazione della teoria generale dei sistemi ben comportati

Lemma Chiave

Lemma 3.3: Per ogni $q ∈ \mathbb{N}$, esistono $C_q > 0, ρ_q > 0$ tali che: $M(p+q) ≤ C_q ρ_q^p M(p), \forall p ∈ \mathbb{N}, p ≫ 0$

Questo lemma garantisce le proprietà di stabilità delle classi di Denjoy-Carleman.

Lavori Correlati

Sviluppo Storico

1. Problema di Hadamard: Problema della caratterizzazione delle funzioni quasianalitiche
2. Teoria di Denjoy-Carleman: Fornisce una caratterizzazione completa della quasianaliticitá
3. Generalizzazione del Teorema di Weierstrass: Difficoltà nel contesto quasialitico

Risultati Esistenti

1. Lavoro di Childress: Dimostrazione che la divisione di Weierstrass può fallire nelle classi quasianalitiche
2. Risultati di Miller: Differenziabilità infinita delle funzioni in strutture o-minimali polinomialmente limitate
3. Lavori Precedenti dell'Autore: Connessione tra noetherianità e teorema di divisione di Weierstrass

Posizione di Questo Articolo

Questo articolo fornisce per la prima volta esempi concreti di anelli quasianalitici non noetheriani, colmando un vuoto teorico.

Conclusioni e Discussione

Conclusioni Principali

1. Risultato di Esistenza: Gli anelli quasianalitici non noetheriani effettivamente esistono, confutando possibili congetture
2. Metodi di Costruzione: Fornisce due diversi metodi di costruzione (classi di Denjoy-Carleman e strutture o-minimali)
3. Principio Generale: I sistemi quasianalitici ben comportati che contengono strettamente il sistema analitico necessariamente non sono noetheriani

Significato Teorico

1. Geometria Algebrica: Fornisce esempi importanti per lo studio delle proprietà algebriche degli anelli quasianalitici
2. Geometria Analitica Reale: Rivela le differenze essenziali tra anelli quasianalitici e anelli analitici
3. Teoria dei Modelli: Connette la teoria delle strutture o-minimali con le proprietà algebriche

Limitazioni

1. Complessità della Costruzione: Gli esempi forniti hanno costruzioni relativamente complesse e non sono molto intuitivi
2. Dimensione Concreta: Non specifica esplicitamente la dimensione minima di non noetherianità
3. Problemi Algoritmici: Non affronta i problemi computazionali e di decisione correlati

Direzioni Future

1. Problemi di Ottimalità: Ricerca dei sistemi quasianalitici non noetheriani "più piccoli"
2. Aspetti Algoritmici: Studio di algoritmi di decisione per la noetherianità degli anelli quasianalitici
3. Esplorazione di Applicazioni: Applicazioni nelle equazioni differenziali e nei sistemi dinamici

Valutazione Approfondita

Punti di Forza

1. Contributo Teorico: Risolve un problema aperto di lunga data fornendo controesempi concreti
2. Innovazione Metodologica: Introduce nuovi concetti come "sistemi ben comportati" e "iniettività forte"
3. Profondità Tecnica: Combina risultati profondi dall'analisi reale, dalla geometria algebrica e dalla teoria dei modelli
4. Completezza: Fornisce due diversi metodi di costruzione, aumentando la generalità dei risultati

Carenze

1. Leggibilità: Per i non specialisti, alcuni dettagli tecnici potrebbero essere difficili da comprendere
2. Concretezza: Non fornisce la dimensione minima esplicita del controesempio
3. Complessità Computazionale: Non discute la complessità dei problemi di decisione correlati

Impatto

1. Impatto Teorico: Fornisce risultati negativi importanti per la teoria degli anelli quasianalitici
2. Impatto Metodologico: I concetti come l'iniettività forte potrebbero avere applicazioni in altri problemi
3. Valore a Lungo Termine: Fornisce una nuova prospettiva per comprendere le proprietà algebriche degli anelli di funzioni lisce

Scenari di Applicabilità

1. Ricerca Matematica Pura: Ricerca teorica in geometria algebrica e geometria analitica reale
2. Teoria delle Equazioni Differenziali: Problemi riguardanti l'esistenza e l'unicità di soluzioni quasianalitiche
3. Applicazioni della Teoria dei Modelli: Studio delle proprietà algebriche delle strutture o-minimali

Bibliografia

L'articolo cita i seguenti lavori importanti:

1. T. Carleman, "Les fonctions quasi-analytiques" (1926) - Lavoro fondamentale della teoria quasialitica
2. C.L. Childress, "Weierstrass division in quasianalytic local ring" - Fallimento della divisione di Weierstrass
3. C. Miller, "Infinite diffentiability in polynomially bounded o-minimal structure" - Levigatezza in strutture o-minimali
4. A. Elkhadiri, "Link between Noetherianity and the Weierstrass division theorem" - Lavoro precedente dell'autore sulla noetherianità

Valutazione Complessiva: Questo è un articolo di matematica teorica di alta qualità che risolve un importante problema aperto nella teoria degli anelli quasianalitici. Attraverso la costruzione di controesempi concreti, l'autore non solo risponde alla questione della noetherianità, ma sviluppa anche nuovi strumenti teorici. Sebbene sia di natura altamente tecnica, possiede un valore teorico significativo per i campi correlati.