[論文レビュー] Model theory of Shimura varieties and categoricity for modular curves

Christopher Daw, Adam Harris|arXiv (Cornell University)|Apr 17, 2013

Algebraic Geometry and Number Theory被引用数 1

ひとこと要約

この論文は、シュイマ多様体のモデル理論的枠組みを確立し、モジュラー曲線およびシュイマ曲線における $α_{\omega_1, \omega}$-文のすべての無限基数における同型型の特徴づけが、ホッジ一般点に付随するガロア表現に関する条件と同値であることを示している。さらに、シュイマ多様体上の特別点の新たな特徴づけが得られている。

ABSTRACT

We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain $\mathcal{L}_{\omega_1, \omega}$-sentence having a unique model of cardinality $\aleph_1$ is equivalent to a condition regarding certain Galois representations associated with Hodge-generic points. We then show that for modular and Shimura curves this $\mathcal{L}_{\omega_1, \omega}$-sentence has a unique model in every infinite cardinality. In the process, we prove a new characterisation of the special points on any Shimura variety.

研究の動機と目的

• シュイマ多様体を研究するためのモデル理論的枠組みを構築すること。
• この文脈におけるモデル理論的同型型と算術幾何学の間の関係を調査すること。
• モジュラー曲線およびシュイマ曲線における $α_{\omega_1, \omega}$-文が、すべての無限基数で一意なモデルを持つことを確立すること。
• 任意のシュイマ多様体上の特別点の新たな特徴づけを提供すること。

提案手法

• 無限論理、特に $α_{\omega_1, \omega}$-文を用いてシュイマ多様体のモデル理論を形式化すること。
• これらの文の同型型と、ホッジ一般点に付随するガロア表現との関係を分析すること。
• 算術幾何学の結果を応用して、モジュラー曲線およびシュイマ曲線において、$α_{\omega_1, \omega}$-文がすべての無限基数で同型型であることを示すこと。
• ホッジ構造およびガロア表現の理論を用いて、シュイマ多様体上の特別点の新たな特徴づけを導出すること。

実験結果

リサーチクエスチョン

• RQ1 モデル理論は、シュイマ多様体の文脈において算術幾何学とどのように相互作用するか？
• RQ2 モジュラー曲線およびシュイマ曲線の文脈において、$α_{\omega_1, \omega}$-文のモデルの一意性がモデル理論的にどのような意味を持つのか？
• RQ3 基数 $\aleph_1$ における $α_{\omega_1, \omega}$-文の同型型に対応するガロア表現の条件は何か？
• RQ4 モデル理論的および算術幾何学的道具を用いて、シュイマ多様体上の特別点をどのように特徴づけられるか？

主な発見

• 基数 $\aleph_1$ における $α_{\omega_1, \omega}$-文が一意なモデルを持つというモデル理論的命題は、ホッジ一般点に付随するガロア表現に関する条件と同値である。
• モジュラー曲線およびシュイマ曲線において、$α_{\omega_1, \omega}$-文はすべての無限基数で一意なモデルを持つ。
• モデル理論と算術幾何学の相互作用を通じて、任意のシュイマ多様体上の特別点の新たな特徴づけが確立された。
• 同型型の $\aleph_1$ における同値性とガロア理論的条件の間の同値性は、モデル理論的および算術幾何学的不変量の間の橋渡しを提供する。