[論文レビュー] Characterizing projective spaces on deformations of Hilbert schemes of K3 surfaces

David Harvey, Brendan Hassett+1 more|arXiv (Cornell University)|Nov 4, 2010

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

ひとこと要約

この論文は、K3表面の長さ3の部分スキームのヒルベルト・スキームの変形におけるラグランジュ的3次元射影空間のホモロジー類を特徴づける。ホッジ理論、表現論、およびブルアヴィル＝ボゴモロフ形式を用いて、そのような平面内の直線の自己交差は−3であることを証明し、クラスは $[\mathbb{P}^3] = \frac{1}{48}(\rho^3 + \rho^2 c_2(X))$ という式によって一意に決定される。ここで $\rho = 2\ell$ であり、$\ell$ は直線のクラスを表す。この結果は、複素シンプレクティック多様体における極小有理曲線に関する予想を裏付ける。

ABSTRACT

We seek to characterize homology classes of Lagrangian projective spaces embedded in irreducible holomorphic-symplectic manifolds, up to the action of the monodromy group. This paper addresses the case of manifolds deformation-equivalent to the Hilbert scheme of length-three subschemes of a K3 surface. The class of the projective space in the cohomology ring has prescribed intersection properties, which translate into Diophantine equations. Possible homology classes correspond to integral points on an explicit elliptic curve; our proof entails showing that the only such point is two-torsion.

研究の動機と目的

• K3表面の長さ3の部分スキームのヒルベルト・スキームの変形におけるラグランジュ的3次元射影空間のホモロジー類を特徴づける。
• ブルアヴィル＝ボゴモロフ形式における、そのようなラグランジュ平面内の直線クラスの交差論的性質を特定する。
• 2n次元の複素シンプレクティック多様体がK3表面のヒルベルト・スキームと変形同値である場合、ラグランジュ的 $\mathbb{P}^n$ 内の直線の自己交差が $-(n+3)/2$ であるという予想を検証する。
• ラグランジュ的 $\mathbb{P}^3$ のクラスを $\rho = 2\ell$ および多様体の第二チャーン類を用いて表す公式を確立する。

提案手法

• ラグランジュ的部分多様体の交差性質を分析するために、$H^2(X,\mathbb{Z})$ 上のブルアヴィル＝ボゴモロフ形式を用いる。
• ホッジ理論とモノドロミー表現を適用し、変形下でもタイプ$(1,1)$のまま保たれるクラスを制約する。
• ホッジクラスがK3表面のヒルベルト・スキームのコホモロジーにおいてどのように作用するかを調べるため、表現論を用いる。
• コホモロジーの環構造を分析するために、ポincare多項式および対称冪写像 $\mu_{k,n}$ を用いる。
• 変形不変性の性質を用いて、中間コホモロジーにおける特徴的な絶対的ホッジクラスを同定する。
• 整数性を保証するため、数論的議論および $p$-進解析を用いて、特定の座標の整数性を検証する。

実験結果

リサーチクエスチョン

• RQ1 変形同値なK3表面の長さ3部分スキームのヒルベルト・スキーム $X$ に対して、ラグランジュ的 $\mathbb{P}^3 \subset X$ 内の直線 $\ell$ の自己交差 $ (\ell, \ell) $ は何か？
• RQ2 クラス $[\mathbb{P}^3]$ は $\rho = 2\ell$ および $X$ の特徴類を用いて一意に表現可能か？
• RQ3 $H^2(X,\mathbb{Z})$ 上のモノドロミー作用は、$ (\rho, \rho) = -12 $ かつ $ (\rho, H^2(X,\mathbb{Z})) \subset 2\mathbb{Z} $ を満たすクラス $\rho$ の集合に推移的に作用するか？
• RQ4 交差論的不変量によって、ラグランジュ的 $\mathbb{P}^3$ のクラスはモノドロミーの下で一意に定まるか？
• RQ5 この変形類において、公式 $[\mathbb{P}^3] = \frac{1}{48}(\rho^3 + \rho^2 c_2(X))$ が成り立つか？

主な発見

• ラグランジュ的 $\mathbb{P}^3 \subset X$ 内の直線 $\ell$ の自己交差は $ (\ell, \ell) = -3 $ であり、$n=3$ の場合の予想 $-(n+3)/2$ を裏付ける。
• $\rho = 2\ell$ は $H^2(X,\mathbb{Z})$ に属し、$ (\rho, \rho) = -12 $ を満たし、$ (\rho, H^2(X,\mathbb{Z})) \subset 2\mathbb{Z} $ である。
• ラグランジュ的 $\mathbb{P}^3$ のクラスは公式 $[\mathbb{P}^3] = \frac{1}{48}(\rho^3 + \rho^2 c_2(X))$ によって与えられ、これはモノドロミーの下で一意に定まる。
• モノドロミー群は、$ (\rho, \rho) = -12 $ かつ $ (\rho, H^2(X,\mathbb{Z})) \subset 2\mathbb{Z} $ を満たすクラス $\rho \in H^2(X,\mathbb{Z})$ の集合に推移的に作用し、クラスの一意性を保証する。
• この結果は、$X$ がK3表面のヒルベルト・スキームと変形同値である場合、ラグランジュ的 $\mathbb{P}^n$ 内の直線の自己交差が $-(n+3)/2$ であるという予想を裏付ける。$n=3$ が重要なケースである。
• 証明は、$p$-進解析および楕円曲線の除法点における合同条件を用いて、座標の整数性を検証する数論的結果に依拠している。