[論文レビュー] Categoricity and covering spaces

Adam Harris|arXiv (Cornell University)|Dec 10, 2014

Algebraic Geometry and Number Theory参考文献 9被引用数 5

ひとこと要約

この学術論文は、代数幾何学から生じる構造、特に滑らかな複素曲線の普遍被覆およびj関数について、被覆の sorted を含む2種類のソートを持つ一階理論を構築することで、分類的性質（categoricity）の結果を確立する。標準的モデルが連続体濃度の唯一のモデルであることを、準最小的完全性（quasiminimal excellence）を用いて証明し、プロ・étale被覆とガロア表現を用いて、非可算濃度における分類的性質を達成する。

ABSTRACT

This thesis develops some of the basic model theory of covers of algebraic curves. In particular, an equivalence between the good model-theoretic behaviour of the modular j-function, and the openness of certain Galois representations in the Tate-modules of abelian varieties is described.

研究の動機と目的

• 代数幾何学の自然な構造、特に滑らかな複素曲線の普遍被覆およびj関数について、非可算濃度における分類的性質を確立すること。
• 代数的曲線の幾何的・算術的データを捉えるために、被覆のソートを含む2種類のソートを持つ一階理論を構築すること。
• 構造が準最小的かつ無限次元的で、前幾何学が定義可能である場合に、準最小的完全性が自動的に導かれるという条件を簡略化し、標準的モデルが連続体濃度の唯一のモデルであることを、連続体仮説とは独立に証明すること。
• Tateモジュール上のガロア表現とプロ・étale被覆との関係を確立し、算術的モノドロミーのモデル理論的解釈を提供すること。
• 幾何的モデル理論的文脈において、前幾何学が定義可能である場合に、準最小的性質と無限次元性から準最小的完全性が自動的に導かれるという事実を示し、分類的性質の条件を簡略化すること。

提案手法

• 曲線のためのベースソートと普遍被覆のための被覆ソートを備えた2種類のソートを持つ一階言語を形式化し、被覆関係を備える。
• 有限 étale 被覆の逆極限として得られるプロ・étale被覆を理論のモデルとして導入し、完全なガロア作用を捉える。
• リーマンの存在定理と弱いLefschetz原理を用いて、解析的および étale 基本群を関係付ける。
• 特に、最近の結果である「準最小的性質と無限次元性から完全性が導かれる」という準最小的前幾何学構造の理論を適用する。
• 型解析と自己同型の持ち上げを用いて、普遍被覆の一階理論における量化子除去と完全性を確立する。
• Z_N 曲線のモジュライ空間解釈を用いて、Tateモジュール上のガロア表現とプロ・étale被覆のファイバー上の作用を関係付ける。

実験結果

リサーチクエスチョン

• RQ1 滑らかな複素曲線の普遍被覆を、標準的モデルが連続体濃度の唯一のモデルであるような2種類のソートを持つ一階言語で公理化できるか？
• RQ2 被覆空間の理論が非可算濃度で分類的であるための条件は何か、特に代数的曲線の文脈において。
• RQ3 Tateモジュール上のガロア表現は、曲線のプロ・étale被覆のファイバー上の作用とどのように対応するか？
• RQ4 幾何的モデル理論的文脈において、前幾何学が定義可能である場合に、準最小的性質と無限次元性から準最小的完全性がどの程度自動的に導かれるか。
• RQ5 j関数およびその特殊点は、分類的性質と標準的モデルの一意性を保証するモデル理論的枠組みで捉えられるか？

主な発見

• 滑らかな複素曲線の普遍被覆の一階理論は、2種類のソートを持つ言語において量化子除去を満たし、完全であるため、強いモデル理論的制御が可能である。
• プロ・étale被覆はファイバー上の完全なガロア作用を実現し、2種類のソートの理論のモデルとして公理化されている。
• 構造が準最小的かつ前幾何学的意味で無限次元的であれば、標準的モデルは連続体濃度の唯一のモデルである。
• 前幾何学が定義可能であれば、準最小的性質と無限次元性から準最小的完全性が自動的に導かれるため、分類的性質の条件が簡略化される。
• Tateモジュール上のガロア表現は、ガロア群がプロ・étale被覆に作用するものと同型であり、算術的モノドロミーと幾何的モノドロミーを結びつける。
• 理論のモデルの族は準最小的クラスをなし、したがって非可算濃度で分類的である。各非可算濃度について、同型を除いてちょうど一つのモデルが存在する。