[論文レビュー] Wilkie's conjecture for restricted elementary functions

Gal Binyamini, Dmitry Novikov|arXiv (Cornell University)|May 16, 2016

Advanced Topology and Set Theory参考文献 13被引用数 4

ひとこと要約

この論文は、制限付き指数関数および正弦関数を含む構造 ℝ^RE において定義可能な集合に対して、ウィルキーの予想およびピラの精密化されたバージョンを証明する。この構造におけるトランスセントラル部分集合内の高さが有界な有理点および代数的点の数は、log H に対して多項式的に増加し、その上限は定義可能な集合の複雑さに依存する有効的かつ一様な境界を持つ。

ABSTRACT

We consider the structure ${\mathbb R}^{\mathrm{RE}}$ obtained from $({\mathbb R},

研究の動機と目的

• 構造 ℝ^RE における定義可能な集合のトランスセントラル部分集合内の有理点の増加率に関するウィルキーの予想を確立すること。
• ℝ^RE-定義可能な集合における固定された数体からまたは固定された次数の代数的点を数えるピラの精密化された予想を検証すること。
• このような点の数に対する有効的かつ一様な境界を提供すること。指数は定義可能な集合の複雑さに依存する。
• ホロモーフィック・パフィアン多様体および分割の手法を、制限付き初等関数に対応するように拡張すること。
• 楕円関数やモジュラー関数を含む他のタム構造への一般化の可能性を検討すること。

提案手法

• 制限付き指数関数および正弦関数の実解析的・パフィアン構造に基づく分割の議論を用いる。
• 関与する関数のパフィアン鎖構造を用いて、定義可能な集合の分割を定義する。
• ホロモーフィック・パフィアン多様体およびその射影に対する有効的境界に依存する。モデル理論および複素解析の結果を活用する。
• トランスセントラル有理点と特定の分割の間の単射対応を確立し、その分割数による数え上げを可能にする。
• ℝ^RE の言語における量化子なしの論理式を用い、パフィアン幾何学からの有効的推定を適用する。
• 定義可能な族全体にわたる一様な議論であり、最終的な不等式における指数および定数の有効的境界を提供する。

実験結果

リサーチクエスチョン

• RQ1 構造 ℝ^RE において、定義可能な集合のトランスセントラル部分集合内の有理点の増加率に関するウィルキーの予想は証明可能か？
• RQ2 固定された数体からまたは次数が有界な代数的点を数えるピラの精密化された予想は、ℝ^RE-定義可能な集合に対して成立するか？
• RQ3 増加指数が定義可能な集合の複雑さおよび数体または次数に依存する関係は何か？
• RQ4 有理点の数に対する境界は有効的か？また、定数は論理式の複雑さから計算可能か？
• RQ5 この手法は、楕円関数やモジュラー関数を含む他の構造へ拡張可能か？

主な発見

• 任意の ℝ^RE-定義可能な集合のトランスセントラル部分集合における高さが H 以下の有理点の数は、定数 N および κ に対して N·(log H)^κ で抑えられる。ここで N および κ は集合に依存する。
• 境界における指数 κ はすべての数体に対して一様に選べるため、ピラの精密化された予想の確認が得られる。
• 次数が有界な k の代数的点については、トランスセントラル部分集合におけるその数は、定数が k および集合に依存する N·(log H)^κ で抑えられる。
• 境界は有効的である：指数 κ および定数 N は定義式の複雑さから計算可能である。
• この手法は定義可能な族全体に一様に適用可能であり、有効的ディオファントス的応用の可能性を示唆する。
• このアプローチは楕円関数を含む構造へ一般化可能であるが、モジュラー関数は非パフィアン的挙動のため、依然として困難である。