Algunos anillos locales cuasianalíticos $C^\infty$ no noetherianos

Información Básica

• ID del Artículo: 1710.01228
• Título: Algunos anillos locales cuasianalíticos $C^\infty$ no noetherianos
• Autor: Abdelhafed Elkhadiri (Universidad Ibn Tofail, Facultad de Ciencias, Kenitra, Marruecos)
• Clasificación: math.AG (Geometría Algebraica)
• Fecha de Publicación: 3 de octubre de 2017 (preimpresión en arXiv)
• Enlace del Artículo: https://arxiv.org/abs/1710.01228

Resumen

Este artículo construye dos ejemplos no noetherianos de anillos cuasianalíticos. El primer ejemplo se construye mediante clases cuasianalíticas de Denjoy-Carleman, y el segundo proviene de la teoría de modelos. El autor demuestra que si $\mathcal{D}_n$ denota el anillo de gérmenes de funciones cuasianalíticas $C^\infty$ definibles en estructuras o-minimales polinomialmente acotadas, entonces el sistema $\{\mathcal{D}_n / n \in \mathbb{N}^*\}$ no es noetheriano, es decir, existe $m \in \mathbb{N}$, $m > 1$, tal que el anillo $\mathcal{D}_m$ no es noetheriano.

Antecedentes y Motivación de la Investigación

Importancia del Problema

1. Problema de Hadamard: Proporcionar condiciones necesarias y suficientes sobre el crecimiento de las derivadas parciales de gérmenes de funciones $C^\infty$ en el origen para que el anillo $C_n$ sea cuasianalítico. Este problema fue abordado inicialmente por Denjoy con condiciones suficientes y completamente resuelto por Carleman, lo que condujo al concepto de clases de funciones cuasianalíticas de Denjoy-Carleman.
2. Fallo del Teorema de División de Weierstrass: En el contexto cuasianalítico, los teoremas clásicos de división de Weierstrass y preparación de Weierstrass no se cumplen. Childress demostró que las clases cuasianalíticas de Denjoy-Carleman pueden no satisfacer la división de Weierstrass.
3. Problemas Abiertos: Debido a la falta de división de Weierstrass, muchos problemas permanecen abiertos en dimensión > 1, en particular:
   • Si estas clases son noetherianas
   • Si satisfacen alguna versión del teorema de aproximación de M. Artin
   • La ausencia de ejemplos concretos de anillos cuasianalíticos no noetherianos en dimensión > 1

Motivación de la Investigación

La motivación principal de este artículo es llenar los vacíos teóricos y proporcionar ejemplos concretos de anillos cuasianalíticos no noetherianos, lo cual es de importancia fundamental para comprender las propiedades algebraicas de los anillos cuasianalíticos.

Contribuciones Principales

1. Construcción del primer anillo cuasianalítico no noetheriano: Mediante la unión de clases cuasianalíticas de Denjoy-Carleman y sus clases desplazadas
2. Demostración de la no noetherianidad de sistemas cuasianalíticos provenientes de estructuras o-minimales: Si el sistema contiene estrictamente al sistema analítico, entonces necesariamente no es noetheriano
3. Establecimiento de un marco teórico para sistemas cuasianalíticos de "buen comportamiento": Definición del concepto de inyectividad fuerte y demostración de propiedades relacionadas
4. Provisión de construcciones matemáticas concretas: Presentación de la clase de funciones explícita $C_{M̃_∞}$ como ejemplo de anillo cuasianalítico no noetheriano

Explicación Detallada de Métodos

Definición de la Tarea

Construir anillos cuasianalíticos que satisfagan las siguientes condiciones:

• Entrada: Clases de funciones suaves y condiciones de crecimiento correspondientes
• Salida: Anillos locales cuasianalíticos no noetherianos
• Restricciones: Mantener la propiedad cuasianalítica mientras se destruye la propiedad noetheriana

Construcción Matemática Central

1. Definición de Clases de Denjoy-Carleman

Para una función $m(t) = t\log t + t\mu(t)$ (donde $\mu(t)$ es creciente y $\lim_{t→∞} \mu(t) = ∞$), se define: $M(t) = e^{m(t)}$

Una función $f \in E(I^n)$ pertenece a la clase $M$ si y solo si existen $C > 0, ρ > 0$ tales que: $\forall x \in I^n, |D^α f(x)| \leq Cρ^{|α|}M(|α|), \forall α \in \mathbb{N}^n, |α| ≫ 0$

2. Caracterización de la Cuasianalicidad

El teorema de Denjoy-Carleman proporciona la condición necesaria y suficiente para la cuasianalicidad: $C_M(I^n) \text{ es cuasianalítico} \Leftrightarrow \sum_{p=0}^∞ \frac{M(p)}{M(p+1)} = ∞$

3. Construcción de Clases Desplazadas

Para la clase $M$, se definen las clases desplazadas: $m_p(t) = m(pt), \quad M_p(t) = e^{m_p(t)}$

Ejemplo clave: Tomando $m̃(t) = t\log t + t\log\log\log t$, todas las clases desplazadas $M̃_p$ son cuasianalíticas.

4. Construcción del Anillo No Noetheriano

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

Esta unión constituye un anillo cuasianalítico que contiene estrictamente la clase analítica.

Puntos de Innovación Técnica

1. Concepto de Inyectividad Fuerte

Se define un homomorfismo local $Φ: C_{M̃_∞}(n) → C_{M̃_∞}(k)$ como fuertemente inyectivo si el homomorfismo inducido: $Φ̂^*: \frac{\mathbb{R}[[X_1,...,X_n]]}{C_{M̃_∞}(n)} → \frac{\mathbb{R}[[X_1,...,X_k]]}{C_{M̃_∞}(k)}$ es inyectivo.

2. Sistemas de Buen Comportamiento

Un sistema cuasianalítico $C = \{C_n / n ∈ \mathbb{N}\}$ se denomina de buen comportamiento si los mapeos:

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

son fuertemente inyectivos.

Configuración Experimental

Marco de Verificación Teórica

Este artículo es principalmente investigación matemática teórica, donde los "experimentos" se manifiestan en:

1. Verificación de Ejemplos Concretos:
   • Verificación de la cuasianalicidad de $m̃(t) = t\log t + t\log\log\log t$
   • Cálculo de la función $ω(s)$ correspondiente y verificación de la condición integral
2. Verificación de la Construcción de Contraejemplos:
   • Demostración de que las clases desplazadas de $m(t) = t\log t + t\log\log t$ no son cuasianalíticas
   • Verificación de la no cuasianalicidad mediante cálculo integral

Cálculos Clave

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

Cuando $p > 1$, $\int_{s_0}^∞ \frac{ω_p(s)}{s^2} ds < ∞$, por lo tanto la clase $M_p$ no es cuasianalítica.

Resultados Principales

Teorema 1 (Resultado Constructivo)

El sistema $C_{M̃_∞} = \{C_{M̃_∞}(n), n ∈ \mathbb{N}^*\}$ no es noetheriano, es decir, existe $m ∈ \mathbb{N}, m > 1$, tal que el anillo $C_{M̃_∞}(m)$ no es noetheriano.

Esquema de Demostración:

1. Demostración de que el sistema $C_{M̃_∞}$ tiene buen comportamiento
2. Aplicación de resultados conocidos: Todo sistema noetheriano de buen comportamiento está contenido en el sistema analítico
3. Dado que $C_{M̃_∞}$ contiene estrictamente el sistema analítico, no puede ser noetheriano

Teorema 2 (Resultado de Estructuras o-minimales)

Sea $R$ una estructura o-minimal polinomialmente acotada sobre el cuerpo de los números reales, y $D_n$ el anillo de gérmenes de funciones cuasianalíticas definibles en $R$. Si el sistema $D = \{D_n / n ∈ \mathbb{N}^*\}$ contiene estrictamente el sistema analítico, entonces $D$ no es noetheriano.

Puntos Clave de la Demostración:

• Utilización del teorema de composición de Glaeser
• Demostración de la inyectividad fuerte de los mapeos relacionados
• Aplicación de la teoría general de sistemas de buen comportamiento

Lema Clave

Lema 3.3: Para todo $q ∈ \mathbb{N}$, existen $C_q > 0, ρ_q > 0$ tales que: $M(p+q) ≤ C_q ρ_q^p M(p), \forall p ∈ \mathbb{N}, p ≫ 0$

Este lema garantiza las propiedades de estabilidad de las clases de Denjoy-Carleman.

Trabajo Relacionado

Desarrollo Histórico

1. Problema de Hadamard: Problema de caracterización de funciones cuasianalíticas
2. Teoría de Denjoy-Carleman: Proporciona una caracterización completa de la cuasianalicidad
3. Generalización del Teorema de Weierstrass: Dificultades en el contexto cuasianalítico

Resultados Existentes

1. Trabajo de Childress: Demostración del posible fallo de la división de Weierstrass en clases cuasianalíticas
2. Resultados de Miller: Diferenciabilidad infinita de funciones en estructuras o-minimales polinomialmente acotadas
3. Trabajo Anterior del Autor: Conexión entre noetherianidad y el teorema de división de Weierstrass

Posición de Este Artículo

Este artículo proporciona por primera vez ejemplos concretos de anillos cuasianalíticos no noetherianos, llenando un vacío teórico importante.

Conclusiones y Discusión

Conclusiones Principales

1. Resultado de Existencia: Los anillos cuasianalíticos no noetherianos efectivamente existen, refutando posibles conjeturas
2. Métodos de Construcción: Se proporcionan dos métodos de construcción diferentes (clases de Denjoy-Carleman y estructuras o-minimales)
3. Principio General: Los sistemas cuasianalíticos de buen comportamiento que contienen estrictamente el sistema analítico necesariamente no son noetherianos

Significado Teórico

1. Geometría Algebraica: Proporciona ejemplos importantes para la investigación de propiedades algebraicas de anillos cuasianalíticos
2. Geometría Analítica Real: Revela las diferencias esenciales entre anillos cuasianalíticos y anillos analíticos
3. Teoría de Modelos: Conecta la teoría de estructuras o-minimales con propiedades algebraicas

Limitaciones

1. Complejidad de la Construcción: Los ejemplos proporcionados tienen construcciones relativamente complejas y no son suficientemente intuitivos
2. Dimensión Concreta: No se especifica explícitamente la dimensión mínima no noetheriana
3. Problemas Algorítmicos: No se abordan problemas computacionales y de decisión relacionados

Direcciones Futuras

1. Problemas de Optimalidad: Búsqueda de anillos cuasianalíticos no noetherianos "mínimos"
2. Aspecto Algorítmico: Investigación de algoritmos de decisión para la noetherianidad de anillos cuasianalíticos
3. Exploración de Aplicaciones: Aplicaciones en ecuaciones diferenciales y sistemas dinámicos

Evaluación Profunda

Fortalezas

1. Contribución Teórica: Resuelve un problema abierto de larga data y proporciona contraejemplos concretos
2. Innovación Metodológica: Introduce nuevos conceptos como "sistemas de buen comportamiento" e "inyectividad fuerte"
3. Profundidad Técnica: Síntesis de resultados profundos de análisis real, geometría algebraica y teoría de modelos
4. Completitud: Proporciona dos métodos de construcción diferentes, aumentando la generalidad de los resultados

Debilidades

1. Legibilidad: Para no especialistas, ciertos detalles técnicos pueden ser difíciles de comprender
2. Concreción: No se proporciona la dimensión mínima explícita del contraejemplo
3. Complejidad Computacional: No se discute la complejidad de los problemas de decisión relacionados

Impacto

1. Impacto Teórico: Proporciona resultados negativos importantes para la teoría de anillos cuasianalíticos
2. Impacto Metodológico: Los conceptos como inyectividad fuerte pueden tener aplicaciones en otros problemas
3. Valor a Largo Plazo: Proporciona nuevas perspectivas para comprender las propiedades algebraicas de anillos de funciones suaves

Escenarios de Aplicabilidad

1. Investigación Matemática Pura: Investigación teórica en geometría algebraica y geometría analítica real
2. Teoría de Ecuaciones Diferenciales: Problemas de existencia y unicidad de soluciones cuasianalíticas
3. Aplicaciones de Teoría de Modelos: Investigación de propiedades algebraicas de estructuras o-minimales

Referencias

El artículo cita las siguientes referencias importantes:

1. T. Carleman, "Les fonctions quasi-analytiques" (1926) - Trabajo fundamental en teoría cuasianalítica
2. C.L. Childress, "Weierstrass division in quasianalytic local ring" - Fallo de la división de Weierstrass
3. C. Miller, "Infinite diffentiability in polynomially bounded o-minimal structure" - Suavidad en estructuras o-minimales
4. A. Elkhadiri, "Link between Noetherianity and the Weierstrass division theorem" - Trabajo anterior del autor sobre noetherianidad

Evaluación General: Este es un artículo de matemática teórica de alta calidad que resuelve un importante problema abierto en la teoría de anillos cuasianalíticos. Al construir contraejemplos concretos, el autor no solo responde a la cuestión de la noetherianidad, sino que también desarrolla nuevas herramientas teóricas. Aunque es técnicamente denso, posee un valor teórico importante para los campos relacionados.