[論文レビュー] Triangle varieties and surface decomposition of hyper-Kähler manifolds

Claire Voisin|arXiv (Cornell University)|Oct 28, 2018

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

ひとこと要約

本稿は、射影的ハイパーケーラー多様体における表面分解可能性の概念を導入し、その分解（正則2形式が表面の積からの引き戻しとなるもの）がベイユ＝フジクラ関係を示し、ベイユの弱分割予想に対する幾何的洞察を提供することを示している。主な結果は、表面分解可能性が、特にピカール格子に直交するクラスに対して、高次元の除数のべきの比例性を確認することに弱分割性を還元することを示している。

ABSTRACT

We introduce and study the notion of "surface decomposable" variety, and discuss the possibility that any projective hyper-Kähler manifold is surface decomposable, which would produce new evidence for Beauville's weak splitting conjecture. We show that surface decomposability relates to the Beauville-Fujiki relation, a constraint on the cohomology ring of the variety, and that general varieties with $h^{2,0} ot=0$ are not surface decomposable. We also formalize the notion of triangle variety that is useful to produce surface decomposition. We show the existence of these geometric structures on most explicitly constructed classes of projective hyper-Kähler manifolds of Picard number $1$.

研究の動機と目的

• ハイパーケーラー多様体のコホロロジー的およびチャウ理論的性質を理解するための幾何的メカニズムとして、表面分解可能性の概念を形式化し、研究すること。
• すべての射影的ハイパーケーラー多様体が表面分解可能であるかどうかを調査すること。これはベイユの弱分割予想を支持するものである。
• 表面分解可能性とハイパーケーラー多様体のコホロロジー環におけるベイユ＝フジクラ関係との間の関係を確立すること。
• 特にピカール数1のクラス、すなわちヒルベルトスキームとLSV四次元多様体を含む、明示的なハイパーケーラー多様体クラスにおける表面分解可能性を検証すること。
• ピカール格子に直交する除集合に対して、高次元のべきのチャウ理論的条件に還元することで、弱分割性を簡略化すること。

提案手法

• 正則2形式 σ_i を有する表面 S_i に対して、一般に有限な準同型 φ: Γ → X および ψ: Γ → S₁ × … × Sₙ を用いて、φ*σ_X = ψ*(∑ pr_i*σ_i) を満たすことで、表面分解可能性の定義を導入する。
• ホッジ理論を用いて、表面分解可能性が H²(X, ℚ)_tr 内のすべての超越的類に対しても同様の関係を示すことを証明する。
• Mumford-Tate群に関する弱い条件の下で、表面分解可能性が、∫_X α^{2n} = λ q(α)^n というベイユ＝フジクラ公式を示すことを証明する。
• K3面およびアーベル面の点付きヒルベルトスキーム、および三角多様体構造を用いたLSV四次元多様体 J(Y) に対して、明示的な表面分解を構成する。
• 基底 B = (ℙ⁵)* 上での相対的和写像 μ₅: Z×_B…×_B Z → J(Y) を用い、Z を余次元4の代数的にコイシトロピックな部分多様体とする。これにより表面分解を実現する。
• 有理写像 f: Z → Σ 及びその5重積を用いて、μ₅*σ_J(Y) = ∑ pr_i*σ_Σ を示し、必要な表面分解を構成する。

実験結果

リサーチクエスチョン

• RQ1 任意の射影的ハイパーケーラー多様体は、表面の積からの2形式の引き戻しとして表現可能である、すなわち表面分解可能であるか？
• RQ2 表面分解可能性は、ハイパーケーラー多様体のコホロロジー環におけるベイユ＝フジクラ関係を示すか？
• RQ3 表面分解可能性は、特にピカール格子に直交する除集合に対して、チャウ群における弱分割性をどの程度示すか？
• RQ4 一般のピカール数1のハイパーケーラー多様体（例えばLSV四次元多様体 J(Y)）に対して、表面分解を明示的に構成できるか？
• RQ5 弱分割性は、除集合 D ∈ NS(X_t)^⊥Λ に対して、D^{2n} が CH₀(X_t) 内の0次元サイクルに比例する条件と同値であるか？

主な発見

• Mumford-Tate群の条件が満たされれば、表面分解可能性は、X のコホロロジー環上で ∫_X α^{2n} = λ q(α)^n というベイユ＝フジクラ関係を示す。
• h^{2,0} ≠ 0 を持つ一般の射影的多様体は、次元 2n ≥ 4 の場合、表面分解可能でないことが示され、この条件が次元4以上において制限的であることがわかる。
• LSV四次元多様体 J(Y) は、余次元4の代数的にコイシトロピックな部分多様体 Z 上での5重和写像 μ₅ を用いて表面分解可能であり、μ₅*σ_J(Y) = ∑ pr_i*σ_Σ が成り立つ。
• J(Y) の表面分解は、有理写像 f: Z → Σ 及び基底 B = (ℙ⁵)* 上での相対的和写像を用いて構成され、引き戻し条件の幾何的実現が得られる。
• NS(X_t)^⊥Λ 内の除集合に対して弱分割性が成り立つのは、D^{2n} が CH₀(X_t) 内の0次元サイクルに比例するときであり、これにより予想が高次元のチャウ理論的条件に還元される。
• ヒルベルトスキームおよびLSV四次元多様体の表面分解の構成により、ピカール数1への変形後でさえも、このような構造が存在することを確認した。