Some non noetherian $C^\infty$ quasianalytic local rings

Basic Information

• Paper ID: 1710.01228
• Title: Some non noetherian $C^\infty$ quasianalytic local rings
• Author: Abdelhafed Elkhadiri (University Ibn Tofail, Faculty of Sciences, Kenitra, Morocco)
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 3, 2017 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/1710.01228

Abstract

This paper constructs two non-noetherian examples of quasianalytic rings. The first example is constructed via quasianalytic Denjoy-Carleman classes, and the second originates from model theory. The author proves that if $\mathcal{D}_n$ denotes the ring of germs of $C^\infty$ quasianalytic functions definable in a polynomially bounded o-minimal structure, then the system $\{\mathcal{D}_n / n \in \mathbb{N}^*\}$ is not noetherian, i.e., there exists $m \in \mathbb{N}$, $m > 1$, such that the ring $\mathcal{D}_m$ is not noetherian.

Research Background and Motivation

Importance of the Problem

1. Hadamard's Problem: Provide necessary and sufficient conditions on the growth of partial derivatives of $C^\infty$ function germs at the origin such that the ring $C_n$ is quasianalytic. This problem was given a sufficient condition by Denjoy and completely solved by Carleman, leading to the concept of quasianalytic Denjoy-Carleman function classes.
2. Failure of the Weierstrass Division Theorem: In the quasianalytic setting, the classical Weierstrass division and Weierstrass preparation theorems do not hold. Childress proved that quasianalytic Denjoy-Carleman classes may not satisfy Weierstrass division.
3. Open Problems: Due to the lack of Weierstrass division, many problems remain open in dimensions > 1, particularly:
   • Whether these classes are noetherian
   • Whether they satisfy some form of M. Artin approximation theorem
   • Lack of concrete examples of non-noetherian quasianalytic rings in dimension > 1

Research Motivation

The main motivation of this paper is to fill theoretical gaps by providing concrete examples of non-noetherian quasianalytic rings, which is important for understanding the algebraic properties of quasianalytic rings.

Core Contributions

1. Construction of the first non-noetherian quasianalytic ring: Via the union of quasianalytic Denjoy-Carleman classes and their shifted classes
2. Proof of non-noetherianity of quasianalytic systems from o-minimal structures: If the system strictly contains the analytic system, then it must be non-noetherian
3. Establishment of a theoretical framework for "well-behaved" quasianalytic systems: Definition of strong injectivity and proof of related properties
4. Provision of concrete mathematical constructions: Explicit function classes $C_{M̃_∞}$ as examples of non-noetherian quasianalytic rings

Detailed Methodology

Task Definition

Construct quasianalytic rings satisfying the following conditions:

• Input: Smooth function classes and corresponding growth conditions
• Output: Non-noetherian quasianalytic local rings
• Constraints: Preserve quasianalyticity while destroying noetherianity

Core Mathematical Construction

1. Definition of Denjoy-Carleman Classes

For a function $m(t) = t\log t + t\mu(t)$ (where $\mu(t)$ is increasing and $\lim_{t→∞} \mu(t) = ∞$), define: $M(t) = e^{m(t)}$

A function $f \in E(I^n)$ belongs to class $M$ if and only if there exist $C > 0, ρ > 0$ such that: $\forall x \in I^n, |D^α f(x)| \leq Cρ^{|α|}M(|α|), \forall α \in \mathbb{N}^n, |α| ≫ 0$

2. Characterization of Quasianalyticity

The Denjoy-Carleman theorem provides a necessary and sufficient condition for quasianalyticity: $C_M(I^n) \text{ is quasianalytic} \Leftrightarrow \sum_{p=0}^∞ \frac{M(p)}{M(p+1)} = ∞$

3. Construction of Shifted Classes

For class $M$, define shifted classes: $m_p(t) = m(pt), \quad M_p(t) = e^{m_p(t)}$

Key example: Take $m̃(t) = t\log t + t\log\log\log t$, then all shifted classes $M̃_p$ are quasianalytic.

4. Construction of Non-noetherian Rings

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

This union forms a quasianalytic ring that strictly contains the analytic class.

Technical Innovations

1. Strong Injectivity Concept

Define a local homomorphism $Φ: C_{M̃_∞}(n) → C_{M̃_∞}(k)$ to be strongly injective if the induced homomorphism: $Φ̂^*: \frac{\mathbb{R}[[X_1,...,X_n]]}{C_{M̃_∞}(n)} → \frac{\mathbb{R}[[X_1,...,X_k]]}{C_{M̃_∞}(k)}$ is injective.

2. Well-Behaved Systems

A quasianalytic system $C = \{C_n / n ∈ \mathbb{N}\}$ is called well-behaved if the mappings:

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

are both strongly injective.

Experimental Setup

Theoretical Verification Framework

This paper is primarily theoretical mathematics research, with "experiments" manifested in:

1. Verification of Concrete Examples:
   • Verification of quasianalyticity of $m̃(t) = t\log t + t\log\log\log t$
   • Computation of the corresponding $ω(s)$ function and verification of integral conditions
2. Verification of Counterexample Constructions:
   • Proof that shifted classes of $m(t) = t\log t + t\log\log t$ are not quasianalytic
   • Verification of non-quasianalyticity through integral calculations

Key Calculations

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

When $p > 1$, $\int_{s_0}^∞ \frac{ω_p(s)}{s^2} ds < ∞$, therefore the class $M_p$ is not quasianalytic.

Main Results

Theorem 1 (Constructive Result)

The system $C_{M̃_∞} = \{C_{M̃_∞}(n), n ∈ \mathbb{N}^*\}$ is not noetherian, i.e., there exists $m ∈ \mathbb{N}, m > 1$, such that the ring $C_{M̃_∞}(m)$ is not noetherian.

Proof Strategy:

1. Prove that the system $C_{M̃_∞}$ is well-behaved
2. Apply known results: every well-behaved noetherian system is contained in the analytic system
3. Since $C_{M̃_∞}$ strictly contains the analytic system, it cannot be noetherian

Theorem 2 (o-minimal Structure Result)

Let $R$ be a polynomially bounded o-minimal structure over the real field, and $D_n$ be the ring of germs of quasianalytic functions definable in $R$. If the system $D = \{D_n / n ∈ \mathbb{N}^*\}$ strictly contains the analytic system, then $D$ is not noetherian.

Proof Highlights:

• Utilization of Glaeser's composition theorem
• Proof of strong injectivity of relevant mappings
• Application of the general theory of well-behaved systems

Key Lemma

Lemma 3.3: For all $q ∈ \mathbb{N}$, there exist $C_q > 0, ρ_q > 0$ such that: $M(p+q) ≤ C_q ρ_q^p M(p), \forall p ∈ \mathbb{N}, p ≫ 0$

This lemma ensures the stability properties of Denjoy-Carleman classes.

Related Work

Historical Development

1. Hadamard's Problem: Characterization problem for quasianalytic functions
2. Denjoy-Carleman Theory: Complete characterization of quasianalyticity
3. Generalization of Weierstrass Theorem: Difficulties in the quasianalytic setting

Existing Results

1. Childress's Work: Proof that Weierstrass division may fail in quasianalytic classes
2. Miller's Results: Infinite differentiability of functions in polynomially bounded o-minimal structures
3. Author's Previous Work: Connection between noetherianity and Weierstrass division theorem

Position of This Paper

This paper provides the first concrete examples of non-noetherian quasianalytic rings, filling a theoretical gap.

Conclusions and Discussion

Main Conclusions

1. Existence Result: Non-noetherian quasianalytic rings do exist, refuting possible conjectures
2. Construction Methods: Two different construction methods are provided (Denjoy-Carleman classes and o-minimal structures)
3. General Principle: Well-behaved quasianalytic systems that strictly contain the analytic system must be non-noetherian

Theoretical Significance

1. Algebraic Geometry: Provides important examples for the study of algebraic properties of quasianalytic rings
2. Real Analytic Geometry: Reveals the essential differences between quasianalytic and analytic rings
3. Model Theory: Connects o-minimal structure theory with algebraic properties

Limitations

1. Complexity of Construction: The given examples are relatively complex and not very intuitive
2. Specific Dimension: Does not explicitly indicate the minimum non-noetherian dimension
3. Algorithmic Problems: Does not address related computational and decision problems

Future Directions

1. Optimality Problems: Search for "minimal" non-noetherian quasianalytic rings
2. Algorithmic Aspects: Study decision algorithms for noetherianity of quasianalytic rings
3. Application Exploration: Applications in differential equations and dynamical systems

In-Depth Evaluation

Strengths

1. Theoretical Contribution: Solves a long-standing open problem and provides concrete counterexamples
2. Methodological Innovation: Introduces new concepts such as "well-behaved systems" and "strong injectivity"
3. Technical Depth: Synthesizes deep results from real analysis, algebraic geometry, and model theory
4. Completeness: Provides two different construction methods, enhancing the generality of results

Weaknesses

1. Readability: Some technical details may be difficult for non-specialists to understand
2. Concreteness: Does not provide explicit minimum counterexample dimension
3. Computational Complexity: Does not discuss the complexity of related decision problems

Impact

1. Theoretical Impact: Provides important negative results for quasianalytic ring theory
2. Methodological Impact: Concepts like strong injectivity may have applications in other problems
3. Long-term Value: Provides new perspectives for understanding algebraic properties of smooth function rings

Applicable Scenarios

1. Pure Mathematics Research: Theoretical research in algebraic geometry and real analytic geometry
2. Differential Equation Theory: Problems involving existence and uniqueness of quasianalytic solutions
3. Model Theory Applications: Study of algebraic properties of o-minimal structures

References

The paper cites the following important literature:

1. T. Carleman, "Les fonctions quasi-analytiques" (1926) - Foundational work in quasianalytic theory
2. C.L. Childress, "Weierstrass division in quasianalytic local ring" - Failure of Weierstrass division
3. C. Miller, "Infinite differentiability in polynomially bounded o-minimal structure" - Smoothness in o-minimal structures
4. A. Elkhadiri, "Link between Noetherianity and the Weierstrass division theorem" - Author's previous work on noetherianity

Overall Assessment: This is a high-quality theoretical mathematics paper that solves an important open problem in quasianalytic ring theory. By constructing concrete counterexamples, the author not only answers the noetherianity question but also develops new theoretical tools. Although technically demanding, it has significant theoretical value for the related field.