2025-11-23T14:58:17.230001

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

Elkhadiri
We give an example of a non-noetherian quasi-analytic ring constructed using a quasi-analytic Denjoy-Carleman class. If we denote by $ \mathcal{D}_n$ the ring of those $ C^\infty$ quasianalytic function germs at $0\in \mathbb{R}^n$ which are definable in a polynomially bounded o-minimal structure. We show that 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.
academic

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

基本信息

  • 论文ID: 1710.01228
  • 标题: Some non noetherian C∞C^\infty quasianalytic local rings
  • 作者: Abdelhafed Elkhadiri (University Ibn Tofail, Faculty of Sciences, Kenitra, Morocco)
  • 分类: math.AG (Algebraic Geometry)
  • 发表时间: 2017年10月3日 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/1710.01228

摘要

本文构造了两个拟解析环的非诺特性例子。第一个例子通过拟解析Denjoy-Carleman类构造，第二个例子来源于模型论。作者证明了如果 Dn\mathcal{D}_n 表示在多项式有界o-minimal结构中可定义的 C∞C^\infty 拟解析函数芽环，那么系统 {Dn/n∈N∗}\{\mathcal{D}_n / n \in \mathbb{N}^*\} 不是诺特的，即存在 m∈Nm \in \mathbb{N}, m>1m > 1，使得环 Dm\mathcal{D}_m 不是诺特的。

研究背景与动机

问题的重要性

  1. Hadamard问题: 给出 C∞C^\infty 函数芽在原点的偏导数增长的必要充分条件，使得环 CnC_n 是拟解析的。这个问题由Denjoy给出充分条件，Carleman完全解决，导致了拟解析Denjoy-Carleman函数类的概念。
  2. Weierstrass除法定理的失效: 在拟解析环境中，经典的Weierstrass除法和Weierstrass预备定理都不成立。Childress证明了拟解析Denjoy-Carleman类可能不满足Weierstrass除法。
  3. 未解决的问题: 由于缺乏Weierstrass除法，在维数 > 1 的情况下许多问题仍然开放，特别是：
    • 这些类是否为诺特的
    • 是否满足某种M. Artin逼近定理
    • 缺乏维数 > 1 时非诺特拟解析环的具体例子

研究动机

本文的主要动机是填补理论空白，提供具体的非诺特拟解析环的例子，这对理解拟解析环的代数性质具有重要意义。

核心贡献

  1. 构造了第一个非诺特拟解析环: 通过拟解析Denjoy-Carleman类及其shifted类的并集构造
  2. 证明了来自o-minimal结构的拟解析系统的非诺特性: 如果系统严格包含解析系统，则必然不是诺特的
  3. 建立了"良好行为"拟解析系统的理论框架: 定义了强单射性概念并证明相关性质
  4. 提供了具体的数学构造: 给出了明确的函数类 CM~∞C_{M̃_∞} 作为非诺特拟解析环的例子

方法详解

任务定义

构造满足以下条件的拟解析环：

  • 输入：光滑函数类和相应的增长条件
  • 输出：非诺特的拟解析局部环
  • 约束：保持拟解析性质的同时破坏诺特性质

核心数学构造

1. Denjoy-Carleman类的定义

对于函数 m(t)=tlog⁡t+tμ(t)m(t) = t\log t + t\mu(t)（其中 μ(t)\mu(t) 是增函数且 lim⁡t→∞μ(t)=∞\lim_{t→∞} \mu(t) = ∞），定义： M(t)=em(t)M(t) = e^{m(t)}

函数 f∈E(In)f \in E(I^n) 属于类 MM 当且仅当存在 C>0,ρ>0C > 0, ρ > 0 使得： ∀x∈In,∣Dαf(x)∣≤Cρ∣α∣M(∣α∣),∀α∈Nn,∣α∣≫0\forall x \in I^n, |D^α f(x)| \leq Cρ^{|α|}M(|α|), \forall α \in \mathbb{N}^n, |α| ≫ 0

2. 拟解析性刻画

Denjoy-Carleman定理给出拟解析性的充要条件： CM(In)是拟解析的⇔∑p=0∞M(p)M(p+1)=∞C_M(I^n) \text{是拟解析的} \Leftrightarrow \sum_{p=0}^∞ \frac{M(p)}{M(p+1)} = ∞

3. Shifted类的构造

对于类 MM，定义shifted类： mp(t)=m(pt),Mp(t)=emp(t)m_p(t) = m(pt), \quad M_p(t) = e^{m_p(t)}

关键例子：取 m~(t)=tlog⁡t+tlog⁡log⁡log⁡tm̃(t) = t\log t + t\log\log\log t，则所有shifted类 M~pM̃_p 都是拟解析的。

4. 非诺特环的构造

定义： CM~∞(In)=⋃p=1∞CM~p(In)C_{M̃_∞}(I^n) = \bigcup_{p=1}^∞ C_{M̃_p}(I^n)

这个并集构成一个严格包含解析类的拟解析环。

技术创新点

1. 强单射性概念

定义局部同态 Φ:CM~∞(n)→CM~∞(k)Φ: C_{M̃_∞}(n) → C_{M̃_∞}(k) 是强单射的，如果诱导的同态： Φ^∗:R[[X1,...,Xn]]CM~∞(n)→R[[X1,...,Xk]]CM~∞(k)Φ̂^*: \frac{\mathbb{R}[[X_1,...,X_n]]}{C_{M̃_∞}(n)} → \frac{\mathbb{R}[[X_1,...,X_k]]}{C_{M̃_∞}(k)} 是单射的。

2. 良好行为系统

拟解析系统 C={Cn/n∈N}C = \{C_n / n ∈ \mathbb{N}\} 称为良好行为的，如果映射：

  • e(f)(x1,x2,...,xn)=f(x1x2,x2,...,xn)e(f)(x_1,x_2,...,x_n) = f(x_1x_2,x_2,...,x_n)
  • rd(f)(x1,x2,...,xn)=f(x1d,x2,...,xn)r_d(f)(x_1,x_2,...,x_n) = f(x_1^d,x_2,...,x_n)

都是强单射的。

实验设置

理论验证框架

本文主要是理论数学研究，"实验"体现在：

  1. 具体例子的验证：
    • 验证 m~(t)=tlog⁡t+tlog⁡log⁡log⁡tm̃(t) = t\log t + t\log\log\log t 的拟解析性
    • 计算相应的 ω(s)ω(s) 函数并验证积分条件
  2. 反例构造的验证：
    • 证明 m(t)=tlog⁡t+tlog⁡log⁡tm(t) = t\log t + t\log\log t 的shifted类不是拟解析的
    • 通过积分计算验证非拟解析性

关键计算

对于 m(t)=tlog⁡t+tlog⁡log⁡tm(t) = t\log t + t\log\log t： ωp(s)s2∼p2e1s2p−1plog⁡s\frac{ω_p(s)}{s^2} \sim \frac{p^2}{e} \frac{1}{s^{\frac{2p-1}{p}}\log s}

当 p>1p > 1 时，∫s0∞ωp(s)s2ds<∞\int_{s_0}^∞ \frac{ω_p(s)}{s^2} ds < ∞，因此类 MpM_p 不是拟解析的。

主要结果

定理1（构造性结果）

系统 CM~∞={CM~∞(n),n∈N∗}C_{M̃_∞} = \{C_{M̃_∞}(n), n ∈ \mathbb{N}^*\} 不是诺特的，即存在 m∈N,m>1m ∈ \mathbb{N}, m > 1，使得环 CM~∞(m)C_{M̃_∞}(m) 不是诺特的。

证明思路：

  1. 证明系统 CM~∞C_{M̃_∞} 是良好行为的
  2. 应用已知结果：每个良好行为的诺特系统都包含在解析系统中
  3. 由于 CM~∞C_{M̃_∞} 严格包含解析系统，因此不能是诺特的

定理2（o-minimal结构结果）

设 RR 是实数域上的多项式有界o-minimal结构，DnD_n 是在 RR 中可定义的拟解析函数芽环。如果系统 D={Dn/n∈N∗}D = \{D_n / n ∈ \mathbb{N}^*\} 严格包含解析系统，则 DD 不是诺特的。

证明要点：

  • 利用Glaeser复合函数定理
  • 证明相关映射的强单射性
  • 应用良好行为系统的一般理论

关键引理

引理3.3: 对所有 q∈Nq ∈ \mathbb{N}，存在 Cq>0,ρq>0C_q > 0, ρ_q > 0 使得： M(p+q)≤CqρqpM(p),∀p∈N,p≫0M(p+q) ≤ C_q ρ_q^p M(p), \forall p ∈ \mathbb{N}, p ≫ 0

这个引理保证了Denjoy-Carleman类的稳定性质。

相关工作

历史发展

  1. Hadamard问题：拟解析函数的刻画问题
  2. Denjoy-Carleman理论：给出了拟解析性的完整刻画
  3. Weierstrass定理的推广：在拟解析环境中的困难

现有结果

  1. Childress的工作：证明了Weierstrass除法在拟解析类中可能失效
  2. Miller的结果：多项式有界o-minimal结构中函数的无穷可微性
  3. 作者之前的工作：诺特性与Weierstrass除法定理之间的联系

本文的位置

本文首次给出了具体的非诺特拟解析环的例子，填补了理论空白。

结论与讨论

主要结论

  1. 存在性结果：非诺特拟解析环确实存在，打破了可能的猜想
  2. 构造方法：提供了两种不同的构造方法（Denjoy-Carleman类和o-minimal结构）
  3. 一般性原理：严格包含解析系统的良好行为拟解析系统必然不是诺特的

理论意义

  1. 代数几何：为拟解析环的代数性质研究提供了重要例子
  2. 实解析几何：揭示了拟解析环与解析环的本质区别
  3. 模型论：连接了o-minimal结构理论与代数性质

局限性

  1. 构造的复杂性：所给例子的构造相对复杂，不够直观
  2. 具体维数：未明确指出最小的非诺特维数
  3. 算法问题：未涉及相关的计算和判定问题

未来方向

  1. 最优性问题：寻找"最小的"非诺特拟解析环
  2. 算法方面：研究拟解析环诺特性的判定算法
  3. 应用探索：在微分方程和动力系统中的应用

深度评价

优点

  1. 理论贡献：解决了一个长期开放的问题，提供了具体的反例
  2. 方法创新：引入了"良好行为系统"和"强单射性"等新概念
  3. 技术深度：综合运用了实分析、代数几何和模型论的深刻结果
  4. 完整性：给出了两种不同的构造方法，增强了结果的普遍性

不足

  1. 可读性：对于非专家，某些技术细节可能难以理解
  2. 具体性：未给出明确的最小反例维数
  3. 计算复杂性：未讨论相关判定问题的复杂性

影响力

  1. 理论影响：为拟解析环理论提供了重要的负面结果
  2. 方法影响：强单射性等概念可能在其他问题中有应用
  3. 长远价值：为理解光滑函数环的代数性质提供了新视角

适用场景

  1. 纯数学研究：代数几何、实解析几何理论研究
  2. 微分方程理论：涉及拟解析解的存在性和唯一性问题
  3. 模型论应用：o-minimal结构的代数性质研究

参考文献

论文引用了以下重要文献：

  1. T. Carleman, "Les fonctions quasi-analytiques" (1926) - 拟解析理论的奠基工作
  2. C.L. Childress, "Weierstrass division in quasianalytic local ring" - Weierstrass除法的失效
  3. C. Miller, "Infinite diffentiability in polynomially bounded o-minimal structure" - o-minimal结构中的光滑性
  4. A. Elkhadiri, "Link between Noetherianity and the Weierstrass division theorem" - 作者之前关于诺特性的工作

总评：这是一篇高质量的理论数学论文，解决了拟解析环理论中的一个重要开放问题。通过构造具体的反例，作者不仅回答了诺特性问题，还发展了新的理论工具。虽然技术性较强，但对相关领域具有重要的理论价值。