[論文レビュー] The Noether-Lefschetz conjecture and generalizations

Nicolas Bergeron, Zhiyuan Li+2 more|arXiv (Cornell University)|Dec 11, 2014

Advanced Algebra and Geometry参考文献 22被引用数 6

ひとこと要約

本稿は、$g \geq 2$ における準極小化 K3 表面の Noether-Lefschetz 猜測を、正規型の直交型算術多様体上の低次元有理コホモロジー類が、格子条件によって定義される特別なサイクルと双対であることを確立することによって証明する。主な結果は、$r \leq 4$ のとき $H^{2r}(\mathcal{K}_g,\mathbb{Q})$ が codimension $r$ の Noether-Lefschetz サイクルによって張られることであり、$g \geq 2$ 全てに対して予想が正当化され、従来の結果が非コンパクト Shimura 多様体へ拡張される。

ABSTRACT

We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal type are dual to the classes of special cycles, i.e. sub-arithmetic manifolds of the same type. For compact manifolds this was proved in \cite{BMM11}, here we extend the results of \cite{BMM11} to non-compact manifolds. This allows us to apply our results to the moduli spaces of quasi-polarized K3 surfaces.

研究の動機と目的

• 準極小化 K3 表面のモジュライ空間 $\mathcal{K}_g$ ($g \geq 2$) における Noether-Lefschetz 猜測を解決すること。
• 正規型算術多様体の非コンパクトな場合へ、低次元コホモロジー類と特別なサイクルとの双対性を、コンパクトな場合から拡張すること。
• 有理コホモロジー類 $H^{2r}(\mathcal{K}_g,\mathbb{Q})$ が $r \leq 4$ のとき Noether-Lefschetz サイクルによって張られることを確立し、$r=1$ の場合にピカード群を含むこと。
• モジュラー形式と格子コホモロジーを用いて、$\mathcal{K}_g$ のピカード数の明示的公式を提供すること。

提案手法

• 正規型の直交群上の自動形式表現を分析し、コホモロジー的ユニタリ表現を分類する Arthur の分類理論を用いる。
• 直交群に対するシータ対応を適用し、自動形式と算術多様体上の特別なサイクルとの関係を関係づける。
• Borel–de Rham–Weil 定理を用いて、残余表現とコホモロジーの解析により、コンパクトから非コンパクト算術多様体への結果の拡張を図る。
• Borcherds のシータリフトと Bruinier のベクトル値モジュラー形式の理論を活用し、特別なサイクルの空間の次元を計算する。
• 有限被覆のガロア不変性と Poincaré 双対性を用いて、有理コホモロジー類と特別なサイクルとの双対性を確立する。
• モジュライ空間 $\mathcal{K}_g$ に理論を適用し、$H^{2r}(\mathcal{K}_g,\mathbb{Q})$ が $r < p/4$ のとき Noether-Lefschetz サイクルによって張られることを示す。ここで $p$ はヘルミート対称領域の次元である。

実験結果

リサーチクエスチョン

• RQ1 準極小化 K3 表面のモジュライ空間 $\mathcal{K}_g$ ($g \geq 2$) の有理ピカード群は、Noether-Lefschetz ヒルベルト除数の張る空間と一致するか？
• RQ2 正規型算術多様体の非コンパクトな場合における低次元有理コホモロジー類は、特別なサイクルと双対であるか？
• RQ3 有理ピカード群の次元は、モジュラー形式を用いて明示的に計算可能か？
• RQ4 Noether-Lefschetz 猜測は、$\mathcal{K}_g$ 上の高次元サイクル（すなわち $r \leq 4$）に対しても成立するか？
• RQ5 $\mathcal{K}_g$ のピカード数の正確な公式は、K3 格子の算術的不変量を用いてどのように表されるか？

主な発見

• すべての $g \geq 2$ に対して Noether-Lefschetz 猜測が成立：$H^2(\mathcal{K}_g,\mathbb{Q})$ は Noether-Lefschetz ヒルベルト除数によって張られる。
• すべての $g \geq 2$ および $r \leq 4$ に対して、コホモロジー群 $H^{2r}(\mathcal{K}_g,\mathbb{Q})$ は codimension $r$ の Noether-Lefschetz サイクルによって張られ、一般化された予想が確認される。
• 有理ピカード数は、ヤコビ記号と床関数を含む明示的公式で与えられる：$\text{rank}({\rm Pic}(\mathcal{K}_g)) = \frac{31g+24}{24} - \frac{1}{4}\alpha_g - \frac{1}{6}\beta_g - \sum_{k=0}^{g-1} \left\{ \frac{k^2}{4g-4} \right\} - \sharp\{k \mid \frac{k^2}{4g-4} \in \mathbb{Z}, 0 \leq k \leq g-1\}$。
• 有理ピカード類の空間の次元は $1 + \dim_{\mathbb{C}} S_{m/2, \Lambda_g}$ に等しく、ここで $S_{m/2, \Lambda_g}$ は重み $m/2$ および型 $\rho_{\Lambda_g}$ のベクトル値尖点形式の空間である。
• 直交型の局所ヘルミート対称多様体 $Y = \Gamma \backslash D$ のコホモロジー $H^{2r}(Y,\mathbb{Q})$ は、$r < p/4$ のとき Poincaré 双対の特別なサイクルによって張られ、以前の結果が非コンパクトの場合へ一般化される。
• 結果は、$Y'$ をねらいの有限被覆として、ガロア降下により $H^{2r}(Y,\mathbb{Q}) = SC^{2r}(Y)$ を示すことによって得られ、$H^1(Y,\mathbb{Q})$ の消失性を用いて、1番目のチエラ類写像が同型であることを保証する。