[論文レビュー] Model Complete Expansions of the Real Field by Modular Functions and Forms

Ricardo Bianconi|arXiv (Cornell University)|Jun 27, 2014

Numerical methods for differential equations参考文献 5被引用数 3

ひとこと要約

本稿は、j不変量を含むモジュラー関数、モジュラー形式 $E_4$ と $E_6$、準モジュラー形式 $E_2$、および非制限指数関数と制限付き正弦関数を含む実体の拡張について、強いモデル完全性を確立する。Weierstrass系の技術と $
mathbb{R}_{\mathit{an,exp}}$ における定義可能性に関する結果を用いて、著者は、すべての定義可能集合が一意なウェイトを持つ存在的定義可能式に同値であることを示し、Eisenstein級数と指数関数の積分を用いて、非解析的モジュラー対象へとモデル完全性の結果を拡張する。

ABSTRACT

We prove a strong form of model completenes for expansions of the field of real numbers by (the real and imaginary parts of) the modular function J, by the modular forms $E_4$ and $E_6$ and quasimodular form $E_2$ defined in the usual fundamental domain, and the restricted sine function and the (unrestricted) exponential function. This is done using ideas of Peterzil and Starchenko's paper \cite{peterzil-starchenko-wp2004} on the uniform definability of $\wp$ function in $\mathbb{R}_{\mathit{an}}$ (and of the modular function $J$). In the conclusion we pose some open problems related to this work.

研究の動機と目的

• 実体の拡張としてモジュラー関数および形式（j不変量、$E_4$、$E_6$、$E_2$ および非制限指数関数と制限付き正弦関数）に関する強いモデル完全性を確立すること。
• 無限遠点で解析的でないモジュラー対象を含むことで、解析関数にとどまらないモデル完全性の結果を拡張すること。そのために非制限指数関数を主要な道具として用いる。
• Eisenstein級数とWeierstrass系を用いて、o-極小構造とモジュラー関数の間の溝を埋め、これらの関数が $
  mathbb{R}_{\mathit{an,exp}}$ で定義可能であることを示すこと。
• 既存の証明における非有効性の欠如に対処し、このような構造における有効的モデル完全性と決定可能性に関する未解決問題を提示すること。

提案手法

• PeterzilとStarchenkoの結果（モジュラー関数 $J$ が $
  mathbb{R}_{\mathit{an}}$ で定義可能である）を用い、モジュラー形式と指数関数へと拡張する。
• Eisenstein級数を用いて問題を $
  mathbb{R}_{\mathit{an}}$ の還元に変換し、既知のモデル完全性技法の適用を可能にする。
• Weierstrass系の理論を用いて、モジュラー関数の文脈におけるべき級数の収束性と除法性を扱う。
• van den Dries、Macintyre、Markerの技術を用い、Wilkieの $
  mathbb{R}_{\mathit{exp}}$ に関する研究に基づいて、非制限指数関数を統合する。
• 各論理式が一意なウェイトを持つ存在的論理式に同値であるという強い形のモデル完全性を用い、定義可能集合が強く定義可能であることを保証する。
• 区間と閉ポリディスクの位相的コンパクト性に依存するが、これにより証明に非有効性が生じる。

実験結果

リサーチクエスチョン

• RQ1 実体の拡張としてモジュラー関数および形式を扱う有効的モデル完全性証明は、コンパクト性の議論に依存せずに開発可能か？
• RQ2 これらの構造におけるモデル完全性のために非制限指数関数は必要不可欠か、それともモジュラー関数のみから定義可能か？
• RQ3 モデル完全性の結果は $p$-進体へと拡張可能か？ これはWilkieの $p$-進指数関数に関する研究を一般化する。
• RQ4 noether関数の零点集合の連結成分の数に対する有効的境界を、特にコンパクト領域に制限した場合に確立可能か？
• RQ5 Schanuel予想のような深い予想に依存せずに、モジュラーおよび指数関数的構造におけるモデル完全性証明を回避可能か？

主な発見

• 構造 $<\mathbb{R}, \mathit{constants}, +, -, \cdot, <, (E_{k,\mathit{re}}, E_{k,\mathit{im}})_{k=2,4,6}, \exp, \sin|_{[-\pi,\pi]}\rangle$ の理論は、強くモデル完全である。
• モジュラー関数 $J$、$E_4$、$E_6$、$E_2$ は、Eisenstein級数とWeierstrass系を用いて $
  mathbb{R}_{\mathit{an,exp}}$ で定義可能である。
• モジュラー関数および形式が無限遠点で解析的でないにもかかわらず、モデル完全性が成立しており、これにより従来の手法の主要な障壁を克服した。
• 証明は $[-1,1]$ および閉ポリディスクの位相的コンパクト性に依存しており、これにより非有効性が生じ、依然として主要な制限要因のままである。
• 結果から、非制限指数関数はモジュラー関数から単独で定義可能ではない可能性が示唆され、構造におけるその基盤的役割が示唆される。
• 本研究は、このような拡張の理論の決定可能性を示す道筋を開き、特に証明の有効版が開発可能であればその可能性が高まる。