[論文レビュー] $D$-Elliptic Sheaves and Uniformisation

Lenny Taelman|ArXiv.org|Dec 8, 2005

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

ひとこと要約

この論文は、関数体上の $\mathcal{D}$-楕円層のモジュライ空間の解析的均質化を確立し、それらを算術群による対称空間 $\Omega^d(\mathbf{C})$ の商として実現することで、ドリンフェルトのモジュラー曲線の均質化を正標数におけるシムール型多様体のより広いクラスに拡張する。

ABSTRACT

An analytic uniformisation of the varieties of Laumon, Rapoport and Stuhler at the infinite place is presented. This can be seen as the function field analog to the uniformisation of Shimura varieties classifying Abelian varieties with large endomorphism rings.

研究の動機と目的

• 既に知られている代数的モジュライ解釈を補完する、$\mathcal{D}$-楕円層モジュライ空間の解析的・均質化に基づく記述を提供すること。
• 上半平面による古典的モジュラー曲線の均質化を、関数体上の中心的単純代数から生じる高次元モジュライ空間に拡張すること。
• 代数的モジュライ空間（ラウモン–ラポポート–シュトラーラー）と解析的構造との間の溝を埋めるために、無限大位において均質化を構成すること。
• ドリンフェルトのモジュラー多様体の均質化を、除法代数および任意のレベル構造の状況に一般化すること。
• モジュライ空間の解析化と、算術群による対称空間の商との間の剛体解析的同型を確立すること。

提案手法

• カテゴリカル同値を介して、$\mathcal{D}$-楕円層がアンドリソン $A$-モチーフの特別なクラスに対応することを示すこと。
• これらのアンドリソン $A$-モチーフが均質化可能である、すなわち $\mathbf{C}^d$ の格子による商と同型であることを証明すること。
• 均質化から生じる格子の類を、$\mathrm{GL}_d(F_\infty)$ の対称空間である $\Omega^d(\mathbf{C})$ に対応するものとして特定すること。
• アンドリソン $A$-モチーフの均質化を用いて、$\mathcal{D}$-楕円層のモジュライ空間から二重コセット空間 $D^* \backslash [\Omega^d(\mathbf{C}) \times D^*(\mathbb{A}_A)/U]$ への写像を構成すること。
• ${\mathbf{C}}$-点上の双対写像と退化性の議論を用いて、モジュライ空間の解析化と商空間との間の自然な剛体解析的空間の同型を確立すること。
• 自由 $\mathcal{D}$-楕円層に対応する開および閉部分空間へ結果を一般化し、イデアル $I$ で定義されるレベル構造を用いること。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間 $\mathcal{D}$-楕円層は、古典的モジュラー曲線の均質化に類似した解析的均質化を与えることができるか？
• RQ2 $\mathcal{D}$-楕円層から生じるアンドリソン $A$-モチーフの均質化は、$\mathbf{C}$ 上の対称空間の幾何学とどのように関係するか？
• RQ3 モジュライ空間 $\mathcal{D}$-楕円層の無限大位における正確な解析的構造は何か？ そして、代数的モジュライ空間と比較するとどうなるか？
• RQ4 レベル構造を含む場合に均質化はどのように一般化されるのか？ また、算術部分群は果たす役割は何か？
• RQ5 四元数代数の場合、均質化は既知のムムフォルド曲線や genus 計算の結果をどのように回復するか？

主な発見

• モジュライ空間 $\mathcal{E}\ell\ell_{X,\mathcal{D},A}(\mathbf{C})$ の解析化は、剛体解析的空間 $D^* \backslash [\Omega^d(\mathbf{C}) \times D^*(\mathbb{A}_A)/U]$ と同型である。
• 自由 $\mathcal{D}$-楕円層に対して、$\mathcal{E}\ell\ell^0_{X,\mathcal{D},I}(\mathbf{C})$ の解析化は $G(I)\backslash\Omega^d(\mathbf{C})$ と同型であり、ここで $G(I)$ は $O_D^*$ の部分群で $I$ を法として 1 に還元するものである。
• $D = \mathrm{M}(d,F)$ の場合、結果は [3] で確立されたドリンフェルトモジュラー多様体の均質化を回復し、既知のケースと整合性を確認する。
• 無限大で分岐しない四元数代数の場合、モジュライ空間は $\mathbf{C}$ 上の滑らかで完全な曲線であり、$\Omega^2 \subset \mathbb{P}^1(\mathbf{C})$ を $\mathrm{GL}_2(\mathbf{C})$ の離散部分群による商として均質化される。
• このような曲線の genus は、均質化群のアーベル化のランクに等しく、より大きな群で商が genus 0 であることが分かっている場合、分岐データを用いて計算可能である。
• 均質化は代数的モジュライ構造と整合性がある。なぜなら、${\mathbf{C}}$-点への誘導写像が双対写像であり、両空間が退化していないため、剛体解析的空間としての同型が成立する。