[論文レビュー] Mixed Ax-Schanuel for the universal abelian varieties and some applications

Ziyang Gao|arXiv (Cornell University)|Jun 4, 2018

Advanced Algebra and Geometry参考文献 23被引用数 3

ひとこと要約

本論文は、レベル構造を備えた極分類されたアーベル多様体のモジュライ空間上の普遍アーベル多様体に対して、純粋なシムーラ多様体に関する先行結果を拡張する、混合Ax-Schanuel定理を確立する。主な貢献は、普遍族内の部分多様体のザリスキ閉包とその像のバイ代数的閉包との間の超越不等式を結ぶもので、ベッチ写像の一般ランクおよびボゴモロフに類する有限性結果への応用を可能にする。

ABSTRACT

In this paper we prove the mixed Ax-Schanuel theorem for the universal abelian varieties (more generally any mixed Shimura variety of Kuga type), and give some simple applications. In particular we present an application to studying the generic rank of the Betti map.

研究の動機と目的

• レベル構造を備えた極分類されたアーベル多様体のモジュライ空間上の普遍アーベル多様体に対して、混合Ax-Schanuel定理を確立すること。
• 純粋なシムーラ多様体におけるAx-Schanuel定理を、Kuga型の混合シムーラ多様体へ拡張すること。
• この定理を用いて、アーベルスキームにおけるベッチ写像の一般ランクを研究すること。
• 特定のアーベルスキーム内の部分多様体に対して、ボゴモロフの予想に類する有限性結果を証明すること。
• 均一化とザリスキ閉包を用いて、バイ代数的多様体の幾何的特徴づけを提供すること。

提案手法

• ヒルベルト対称空間からアーベル多様体のモジュライ空間への均一化写像 $\mathbf{u}: \mathcal{X}_{2g,\mathrm{a}}^{+} \to \mathfrak{A}_g$ を用いる。
• モク＝ピラ＝ツィマークの研究にインspiredされた$o$-最小幾何の技法を用い、普遍族内の解析的部分多様体のザリスキ閉包を分析する。
• パラメータ空間における均一化写像の逆像が代数的であるという意味で、バイ代数的多様体の概念を導入する。
• 弱いAx-Schanuel定理を用いて、ザリスキ閉包とバイ代数的閉包を含む次元不等式を導出する。
• ミュムフォード＝タイト群 $G = \mathrm{MT}(\widetilde{S})$ を用いて、ファイバーの幾何とベッチ写像の挙動を分析する。
• 次元の上限に基づく背理法を用いて、ベッチ写像の低ランク行動を除外する。

実験結果

リサーチクエスチョン

• RQ1 Kuga型の混合シムーラ多様体（例えば、普遍アーベル多様体）の文脈において、Ax-Schanuel定理の正しい定式化は何か？
• RQ2 混合Ax-Schanuel定理は、アーベルスキームにおけるベッチ写像の一般ランクを制御するために用いられるか？
• RQ3 アーベルスキームのマルチセクション上で、ベッチ写像が最大ランク $2g$ を達成するのはどのような条件下か？
• RQ4 部分多様体のバイ代数的構造とその均一化リフトのザリスキ閉包との関係は何か？
• RQ5 固定部分を持たないアーベルスキームの文脈において、混合Ax-Schanuel定理から導かれる有限性特性は何か？

主な発見

• 混合Ax-Schanuel定理が成り立つ：任意の均一化写像のグラフ内の解析的部分多様体 $\mathscr{Z}$ に対して $\dim \mathscr{Z}^{\mathrm{Zar}} - \dim \mathscr{Z} \geq \dim Z^{\mathrm{biZar}}$ が成り立つ。
• 投影 $\widetilde{Z}$ が $\widetilde{Z}^{\mathrm{Zar}} \cap \mathbf{u}^{-1}(Z^{\mathrm{Zar}})$ の複素解析的成分であるとき、等号が成り立つ。
• この定理は、モジュライ空間 $\mathbb{A}_g$ における純粋なAx-Schanuel定理を含意する。
• ベッチ写像は、$\mathbb{Z}\xi$ がザリスキ的に稠密で、スキームが固定部分を持たない限り、任意のマルチセクション $\xi(S)$ に対して一般ランク $2g$ を達成する。
• ベッチ写像のランクが $2g$ 未満であると仮定すると、次元が $\dim S$ を超えるザリスキ閉包が得られ、これは不可能であるため、背理法による矛盾が導かれる。
• この結果は、アンドレ＝コルヴァジャ＝ツァンニエの予想（標準的仮定の下で）を確認する。