[論文レビュー] A characterization of special subvarieties in orthogonal Shimura varieties

Stefan Müller–Stach, Kang Zuo|arXiv (Cornell University)|Aug 31, 2010

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

ひとこと要約

本稿は、滑らかな正則的トーラス的コンパクト化 $ M^0 $ の部分多様体 $ Y $ が特殊多様体 $ Y^0 \subset M^0 $ のコンパクト化であるための必要十分条件を、グリフィス・ユカワカップリングの非消滅とヒッグスバンドル分解を用いて提供する。主な結果は、関連するヒッグスバンドル構造とモノドロミー条件が、特殊多様体を均一化する部分VHSと一致する場合に限り、$ Y^0 $ が正交型またはユニタリ型の特殊多様体であると示している。

ABSTRACT

Let $Y$ be a subvariety contained in a smooth Mumford compactification of an orthogonal Shimura variety $M \subset A_g$, where $A_g$ is the moduli space of principally polarized abelian varieties of dimension $g$ with some level structure, such that $Y$ intersects the boundary of $A_g$ transversally. Then we give necessary and sufficient conditions of André-Oort type for $Y$ itself being the compactification of a special subvariety $Y^0 \subset M$

研究の動機と目的

• 正交的シャイマ多様体内の特殊多様体を特徴付けることにより、アンドレ・オーレン予想を弱形に拡張すること。
• 境界と横断的に入り交わる部分多様体 $ Y \subset \overline{A}_g $ が、$ Y^0 \subset M^0 $ のコンパクト化であるための条件を特定すること。
• グリフィス・ユカワカップリングとヒッグスバンドル分解を用いた、ホッジ理論的およびモノドロミー的データに基づく必要十分条件を確立すること。
• 局所系と極小化されたホッジ構造の変動（VHS）の文脈において、幾何的および算術的構造を統一すること。
• Hodge-Hitchin条件（HHP）の下で、モノドロミー不変性と飽和ヒッグス部分層の両方による、特徴付けの2通りの証明を提供すること。

提案手法

• グリフィス・ユカワカップリングを主要な不変量として用い、非消滅が、局所系 $ \mathbb{V}' $ がランク1のホッジバンドルとユニタリ部分VHSの直和に分解されることを示す。
• ヒッグスバンドル形式を $ \mathbb{V}'_{Y^0} $ に適用し、$ (E^{2,0}_Y \oplus E^{1,1'}_Y \oplus E^{0,2}_Y, \theta_Y) \oplus (E^{1,1''}_Y, 0) $ に分解する。ここで第二因子はユニタリ系に相当する。
• 対数的ヒッグスバンドルのシンプソンの多様体安定性を活用し、特に $ H(Y^0) $ の $ \mathbb{Q} $-単純性仮定の下で、部分VHS構造が $ Y^0 $ 上に拡張されることを保証する。
• Hodge-Hitchin条件（HHP）を用いて、正規バンドル寄与 $ \theta_{N_{C_i/Y}}(N_{C_i/Y} \otimes E^{2,0}_{C_i}) $ を分析し、ユニタリ部分が直接因子であることを保証する。
• 埋め込み $ Y^0 \subset M^0 $ の剛性を用いて、$ Y^0 $ が完全測地的であり、したがって正交型の特殊多様体であると結論づける。
• $ E^{2,0}_Y $ によって生成される飽和ヒッグス部分層 $ (F_Y, \theta_Y) $ を用いて部分VHS構造を検出する。$ \det(F_Y) \cdot C_i = 0 $ は、次数ゼロの安定性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 境界と横断的に入り交わる部分多様体 $ Y \subset \overline{A}_g $ が、$ Y^0 \subset M^0 $ のコンパクト化であるのはいつか？
• RQ2 グリフィス・ユカワカップリングの非消滅が、$ Y^0 $ が正交型の特殊多様体であるかどうかを決定する上で果たす役割は何か？
• RQ3 曲線 $ C_i \subset Y $ におけるHodge-Hitchin条件（HHP）は、ヒッグスバンドルの分解と $ Y^0 $ 上での部分VHSの拡張にどのように影響するか？
• RQ4 グリフィス・ユカワカップリングが消えると、どのような条件下で特殊多様体がユニタリ型となるか？
• RQ5 モノドロミー不変性とヒッグスバンドルの多様体安定性が、$ Y^0 $ を均一化する部分VHSが $ Y^0 $ 全体にわたって拡張されることを保証する条件は何か？

主な発見

• 部分多様体 $ Y \subset \overline{A}_g $ が特殊多様体 $ Y^0 \subset M^0 $ のコンパクト化であるための必要十分条件は、曲線 $ C_i \subset Y $ に沿ってグリフィス・ユカワカップリングが消えないこと、および関連するヒッグスバンドルがランク $ \dim M - \dim Y $ のユニタリ因子を有することである。
• グリフィス・ユカワカップリングの非消滅は、$ \mathbb{V}'_{C_i} = \mathbb{V}'' \oplus \mathbb{U}^{1,1} $ を意味し、ここで $ \mathbb{V}'' $ はランク1のホッジバンドルをもち、$ \mathbb{U}^{1,1} $ は純ホッジ型 $ (1,1) $ のユニタリ部分VHSである。
• $ \mathbb{V}'_{Y^0} $ に関連するヒッグスバンドル $ E $ は、$ (E^{2,0}_Y \oplus E^{1,1'}_Y \oplus E^{0,2}_Y, \theta_Y) \oplus (E^{1,1''}_Y, 0) $ に分解され、$ \theta_Y: T_Y(-\log S_Y) \otimes E^{2,0}_Y \to E^{1,1'}_Y $ は同型写像である。
• HHPおよび次数の考察から導かれる条件 $ \det(F^{1,1}_Y) \cdot C_i = 0 $ は、飽和ヒッグス部分層 $ F_Y $ が $ Y^0 $ 上の部分VHSに対応し、$ Y^0 $ を特殊多様体として均一化することを保証する。
• グリフィス・ユカワカップリングが消えると、ヒッグス部分層 $ (F_Y, \theta_Y) $ は $ E^{2,0}_Y \oplus \theta_Y(T_Y(-\log S_Y) \otimes E^{2,0}_Y) $ の形を取り、$ \det(F_Y) \cdot C_i = 0 $ は $ Y^0 $ がユニタリ型の特殊多様体であることを示唆する。
• 埋め込み $ Y^0 \subset M^0 $ の剛性に加え、モノドロミー不変性と多様体安定性を組み合わせることで、$ Y^0 $ が完全測地的であり、したがって正交型の特殊多様体であることが保証される。