[論文レビュー] 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) という予次元関数 δ を導入する。
• すべての有限 X に対して δ(X) ≥ 0 であり、ex の核が標準的であるような構造のクラス S_p（弱Schanuelクラス）を定義する。
• S_p 内での存在的閉包拡張として、指数的代数的閉性構造（SC_p）を構成する。
• すべての正規指数的代数方程式系が解を持つという要件により、SC_p を公理化する。
• 核が標準的である非可算濃度 λ > ℵ₀ の ∂-独立集合上に、標準的構造 E_λ を構成する。
• 予次元 δ からの次元 ∂ を用いて、定義可能集合 S に対して adim(S) = max_{a∈S} ∂(a/C) と定義する擬似解析的次元を導入する。

実験結果

リサーチクエスチョン

• RQ1 C における指数関数の性質（例えば、準最小性や単調性）を捉えるモデル理論的構造が存在するか？
• RQ2 抽象的指数体において、C における解析的次元に類似した次元概念を定義できるか？
• 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 に対して well-defined であり、その選択に依存しない。