[論文レビュー] Intersection lattices of cubic fourfolds

Evgeny Mayanskiy|arXiv (Cornell University)|Dec 4, 2011

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

ひとこと要約

この論文は、判別形式および局所p進不変量における算術的条件を用いて、立方四次超曲面 $X$ の原始的代数的サイクル $A_0(X)$ および超越的サイクル $T(X)$ の可能な格子を分類する。Torelli定理および中間コホモロジー格子 $H^4(X,\mathbb{Z}) \cong L_0$ の幾何学を活用して、与えられた偶格子が $A_0(X)$ や $T(X)$ として現れるための必要十分条件を確立する。主な貢献は、判別群およびHasse不変量に関する条件を用いた、実現可能な格子の完全な特徴付けである。

ABSTRACT

We study the lattices of algebraic and transcendental cycles of cubic fourfolds.

研究の動機と目的

• 立方四次超曲面 $X$ の原始的代数的サイクル格子 $A_0(X)$ として現れる可能性のある偶格子を特定すること。
• 立方四次超曲面の超越的格子 $T(X)$ として現れる可能性のある偶格子を特徴付けること。
• 判別群の算術的不変量を用いて、格子が $A_0(X)$ や $T(X)$ と同型となるための必要十分条件を確立すること。
• これらの結果を立方四次超曲面の有理型問題および自己同型群の構造に応用すること。
• K3面との類似性を拡張し、立方四次超曲面の文脈における格子分類を構築すること。

提案手法

• 立方四次超曲面のTorelli定理を用い、自己同型がハイパーフラットクラスを保存するHodge等長写像に一致することを特定する。
• p進格子および判別形式の分類を適用して、格子 $A_0(X)$ の局所的条件を分析する。
• Hasse不変量および局所-グローバル原理を用いて、p進格子が根を含まずにグローバル整数格子に貼り合わされる条件を同定する。
• 判別群 $A_S$ 及びその $p$ 種の成分に、不変量 $v_p$, $\theta_p$, および $l(A_S)$ を課す。
• 符号条件 $sign(S) \leq sign(L_0)$ および $Q(a,a) = 3$ を満たす $a \in A$ が存在することを用いて、格子 $A_0$ を直交補空間として定義する。
• Nikulinの格子理論および $\mathbb{Z}_p$ 上の二次形式論を用いて、判別形式の貼り合わせ条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 符号 $(\rho-1,0)$ の偶格子で、立方四次超曲面 $X$ の原始的代数的サイクル格子 $A_0(X)$ として実現可能なものはどれか？
• RQ2 符号 $(21-\rho,2)$ の与えられた偶格子 $T$ が $L_0$ に原始的埋め込み可能であり、直交補空間が根および長根を避ける条件は何か？
• RQ3 格子 $S$ がある立方四次超曲面 $X$ に対して $A_0(X)$ として現れるための、判別群 $A_S$ における算術的条件は何か？
• RQ4 すべての素数 $p$ で局所的に根を持つが、グローバルには根を持たない格子が、$A_0(X)$ として実現可能であるか？
• RQ5 不変量 $v_p$, $\theta_p$, および $l(A_S)$ が $A_0(X)$ の実現可能性をどのように決定するか？

主な発見

• $2 \leq \rho \leq 11$ の範囲で、根を含まない符号 $(\rho-1,0)$ の偶格子 $A_0$ は、ある立方四次超曲面 $X$ に対して $A_0(X)$ として実現可能である。
• $13 \leq \rho \leq 21$ の範囲で、格子 $T$ が $L_0$ に原始的埋め込み可能で、その直交補空間が根および長根を含まない場合、$T$ は $T(X)$ として実現可能である。
• 格子 $S$ が $A_0(X)$ として実現可能であるための必要十分条件は、$l(A_S)$, $l((A_S)_3)$, およびヒルベルト記号 $\left(\frac{\cdot}{p}\right)$ を含む三つの条件集合のいずれかを満たすことである。
• 根をグローバルに持たない偶格子（例：$4x^2 + 4y^2 + 6z^2 + 8w^2$）であっても、すべての $p$-進完備化で局所的に根を持つ場合があるが、それでもある立方四次超曲面 $X$ に対して $A_0(X)$ として実現可能である。
• $Q(a,a) = 3$ を満たす $a \in A$ が存在すること、および $A_0$ にノルム2または6のサイクルが存在しないことは、$A$ が $A(X)$ と同型であるための必要十分条件である。
• $p$-進格子がグローバル格子に貼り合わされるのは、Hasse不変量および条件 $(-1)^{t_{-}(t_{-}-1)/2} = \prod_p \epsilon_p(S_p)$ によって制御される。