[论文解读] Fields with pseudo-exponentiation

Boris Zilber|ArXiv.org|Dec 4, 2000

Stochastic processes and financial applications参考文献 5被引用 6

一句话总结

本文提出了一套针对具有伪指数运算的域的模型论框架，构建了模仿复数域上指数运算解析行为的典范结构。它定义了类似于复几何中解析维数的伪解析维数，并证明在不可数基数的典范结构中，可定义集要么是可数的，要么是全不可数大小，支持准极小性。

ABSTRACT

We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.

研究动机与目标

• 通过Hrushovski风格的预维数构造，发展复数域上指数运算的模型论类比。
• 定义并研究指数代数闭结构，作为 C_exp 的模型论抽象。
• 引入并分析一种类比复几何中解析维数的伪解析维数概念。
• 证明在不可数基数的典范结构中，可定义集要么是可数的，要么是全大小，满足准极小性。

提出的方法

• 为域 D 的有限子集 X 引入预维数函数 δ(X) = tr.d.(X) + tr.d.(ex(X)) - dim_Q(X)。
• 将弱Schanuel类 S_p 定义为所有有限子集 X 满足 δ(X) ≥ 0 且 exp 的核为标准的结构。
• 在 S_p 内通过存在闭扩张构造指数代数闭结构（SC_p）。
• 通过要求所有正规指数代数方程组均有解，对 SC_p 进行公理化。
• 在不可数基数 λ > ℵ₀ 的 ∂-无关集上构造典范结构 E_λ，其核为标准的。
• 通过使用预维数 δ 中的维度 ∂，定义伪解析维数 adim(S) = max_{a∈S} ∂(a/C)，其中 S 为可定义集。

实验结果

研究问题

• RQ1 是否存在一个模型论结构，能够捕捉 C 上指数运算的本质性质，如准极小性和齐次性？
• RQ2 能否在抽象指数域中定义一种维数概念，使其行为类似于复数域中的解析维数？
• RQ3 复数域配备指数运算是否与满足弱Schanuel猜想及正规方程组可解性的 SC_0 类中的某个结构元素等价？
• RQ4 在伪指数设定下，不可数基数的典范结构具有怎样的模型论性质？
• RQ5 伪解析维数 adim(S) 与复几何中的代数维数和解析维数之间有何关系？

主要发现

• 指数代数闭结构类 SC_0 可通过要求所有正规指数代数方程组均有解而公理化。
• 对任意不可数 λ > ℵ₀，具有标准核的典范结构 E_λ 满足准极小性：每个可定义子集要么是可数的，要么大小为 λ。
• 伪解析维数 adim(S) 满足：对非空 S 有 adim(S) ≥ 0，且 adim(S) = 0 当且仅当 S 是可数的。
• 对不可约代数簇 V ⊆ D^n 和 W ⊆ R^n，若 V ∩ ln W ≠ ∅，则 adim(V ∩ ln W) ≥ dim V + dim W - n。
• 伪解析维数在代数集上与代数维数一致：adim(V) = dim V 且 adim(ln W) = dim W。
• 维数 adim(S) 是良定义的，且不依赖于 S 可定义时所用参数 C 的选择。