[論文レビュー] The theory of exponential sums

Boris Zilber|arXiv (Cornell University)|Jan 14, 2015

Algebraic Geometry and Number Theory参考文献 13被引用数 3

ひとこと要約

本稿は、未解決のCIT予想に依存しない、代数的に閉じた体における実数乗法の理論の unconditional なモデル理論的公理化を確立している。Laurentの定理とAxの定理を用いて、CIT予想に代わる公理化を構築した。Schanuel予想が複素数体における指数的代数的閉性を示すことを証明し、最近の「ほとんどすべての指数の組」に関する結果により、未解決の仮定なしに、このような指数を持つ複素数体の理論を完全に記述可能であることを示した。

ABSTRACT

We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described complete first-order theories of such structures, conditional on a Diophantine conjecture that generalises the Mordell-Lang conjecture (CIT). Here we get this result unconditionally. The field of complex numbers with raising to real powers satisfies the corresponding theory if Schanuel's conjecture holds. In particular, we have proved that a (weaker) version of Schanuel's conjecture implies that every well-defined system of exponential sums with real exponents has a solution in the complex numbers. Recent result by Bays, Kirby and Wilkie states that the required version of Schanuel's conjecture holds for almost every choice of exponents. It follows that for the corresponding choice of real exponents we have an unconditional description of the first order theory of the complex numbers with raising to these powers.

研究の動機と目的

• 未解決のCIT予想に依存しない、多価的冪演算を備えた代数的に閉じた体の理論に対する unconditional な一階公理化を提供すること。
• Schanuel予想が、実数指数をもつ複素数体における指数的代数的閉性を示すこと。
• 実数指数のほとんどすべての組み合わせに対して、その指数をもつ複素数体の完全な一階理論が、未解決の仮定なしに記述可能であることを示すこと。
• 過剰決定系の指数和の解が、適切なQ線形部分空間の有限個の陪集合に含まれることを示し、係数に依存しない一様な上限を与えること。
• 理論が超安定的かつほぼモデル完全であることを示し、強い幾何的単純性（tame geometry）を示すこと。

提案手法

• CIT予想に代わる、M. LaurentのG_m^nにおける交点に関する定理を用いて、冪演算を伴う体の公理を再定式化すること。
• J. Axの微分体におけるSchanuel予想の定理を応用し、モデル理論的単純性の性質を導出すること。
• 超フィルター極限と射影の議論を用いて、複素空間における指数和系の解集合を分析すること。
• Bays, Kirby, Wilkieによる最近の結果（Schanuel型条件を満たす「ほとんどすべての組」）を活用し、未解決の仮定なしに結果を得ること。
• 指数和の零点集合から得られる射影的集合の族を構成し、射影およびブール演算についての閉包性を示すこと。
• δ^K(z) = tr.deg(exp z) + lin.dim_K(z) - lin.dim_Q(z) ≥ 0 というδ^K不変量を用いて理論を特徴付け、モデル理論的性質を証明すること。

実験結果

リサーチクエスチョン

• RQ1 実数乗法をもつ複素数体の一階理論は、CIT予想に依存しない完全で unconditional な公理化をもつか？
• RQ2 Schanuel予想が、適切に定義された指数和方程式系が複素数体に解を持つことを保証するのはどのような条件下か？
• RQ3 特に超安定性およびほぼモデル完全性を含む、理論のモデル理論的単純性は、未解決の仮定なしに確立可能か？
• RQ4 Schanuel予想のもとで、複素数体における過剰決定系の指数和の解集合の構造はいかなるものか？
• RQ5 どのような実数指数の選択に対して、その指数をもつ複素数体の理論が、未解決の予想を仮定せずに完全に記述可能か？

主な発見

• 本稿は、CIT予想の代わりにLaurentの定理とAxの結果を用いることで、冪演算をもつ代数的に閉じた体の理論に対する unconditional 公理化を提供した。
• Schanuel予想がK ⊆ ℝに成り立つならば、構造ℂ^Kが指数的代数的閉であることを証明した。これは、すべての適切に定義された指数和方程式系がℂに解を持つことを意味する。
• ほとんどすべてのλ ∈ ℂに対して、K = ℚ(λ)とおくと、ℂ^Kは必要なSchanuel条件を満たし、理論ℂ^Kは未解決の仮定なしに完全に記述可能である。
• 過剰決定系の指数和の解は、適切なQ線形部分空間の有限個の陪集合に含まれる。その陪集合の数の上限は係数に依存しないが、指数に依存する可能性がある。
• 理論は超安定的かつほぼモデル完全であり、指数和の零点集合の射影およびブール演算によって得られる集合の族は、射影について閉じている。
• ほとんどすべての指数の選択に対して、δ^K不変量δ^K(z) = tr.deg(exp z) + lin.dim_K(z) - lin.dim_Q(z) ≥ 0 が unconditional に成り立ち、構造がクラスE₀に属することを確認した。