指数関数のモデル理論を複素解析から精密化する
Logarithmic--exponential preparation in sharply o-minimal structures
この論文をやさしく読む
ひとことで言うと
実数の指数関数を含む構造の幾何を、複素解析を用いて精密に調べます。
何に役立つ？
定義可能な集合の複雑さや有理点の分布を、定量的に制限するモデル理論の基礎になります。
この研究の面白いところ
対数・指数の準備定理を複素化し、有理点を次数がlog Hの多項式で抑えられる代数超曲面に載せる結果も導きます。
どこまで分かった？
指定されたo-minimal構造や、内部を持たない定義可能集合などの条件の下での定理です。任意の実数集合の有理点を扱うものではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
定義域を制限しない実指数関数のモデル理論に対し、複素解析的な手法を展開する。その帰結として、構造ℝ^RE_expおよびより一般の構造について、多くの基礎的な結果のシャープな形を導く。特に、シャープなo-極小性、Wilkieの補集合定理のシャープな形、Wilkie予想のシャープな形、および項による区分的定義可能性のシャープな形を確立する。 この手法は、Lion–Rolinの対数・指数（LE）準備定理の複素化に基づく。また、ℝ_an,expについても並行する複素理論を展開し、例えば、疎な（閉包の内部が空の）定義可能集合上の高さHの有理点を、次数がpoly(log H)の代数的超曲面で補間できることを証明する。これは、ℝ_an^powについて同じ主張を証明したCluckers–Pila–Wilkieの定理を一般化する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We develop a complex-analytic approach to the model theory of the (real) unrestricted exponential. As a consequence we derive sharp forms of many of the foundational results for the structure ${\mathbb R}^\text{RE}_{\exp}$ (and more general structures). In particular we establish sharp o-minimality, a sharp form of Wilkie's theorem of the complement, a sharp form of Wilkie's conjecture and a sharp form of piecewise definability by terms. Our approach is based on a complexification of the LE-preparation theorem of Lion--Rolin. We also develop a parallel complex theory for ${\mathbb R}_\text{an,exp}$, proving for example that the rational points of height $H$ on a nowhere-dense definable set can be interpolated by an algebraic hypersurface of degree $\text{poly}(\log H)$. This generalizes a theorem of Cluckers--Pila--Wilkie who proved the same statement for ${\mathbb R}_\text{an}^\text{pow}$.
著者のコメント
46 pages
arXiv ID: 2609.20668 ／ 要約の誤りについて