[論文レビュー] Compact tori associated to hyperkaehler manifolds of Kummer type

Kieran G. O’Grady|arXiv (Cornell University)|May 30, 2018

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

ひとこと要約

本稿は、Kummer型のハイパーケーラー多様体とその中間ヤコビアンの間の幾何学的・ホッジ論的関係を確立し、4次元の中間ヤコビアン $J^3(X)$ が、より小さい、より扱いやすい形でクーガ・サタケ構成を実現することを示している。$J^3(X)$ がウェイリータイプのアーベル4foldであり、$\mathrm{KS}(X,L)$ と同種であることを証明し、$X$ のコホロロジーからそのホッジ構造を明示的に構成するレシピを提供することで、ウェイリータイプのアーベル4foldを用いた、Kummer型ハイパーケーラー多様体の族の構成に新たな道筋を提示する。

ABSTRACT

Let X be a hyperkaehler manifold of Kummer type. We study the 4 dimensional intermediate Jacobian J^3(X) constructed out of the 3rd cohomology of X, motivated by the desire to understand the Kuga-Satake torus associated to X. We prove that there is an embedding of Hodge structures of H^2(X) into H^2(J^3(X)). It follows that if X is projective with polarization L, the projective Kuga-Satake torus of (X,L) is isogenous to the fourth power of J^3(X). By studying the cohomology ring of X, we find that there is a natural smooth quadric Q(X) in the projectivization of H^3(X), with a natural choice of one of the two irreducible components of the variety parametrizing maximal linear subspaces of Q(X). Let Q^{+}(X) be the chosen irreducible component; then it is a smooth quadric in the projectivization of S^{+}(X), one of the two spinor representations of Spin H^3(X), where H^3(X) is equipped with the quadratic form whose zero locus is Q(X). Gauss-Manin parallel transport identifies the set of projectivizations of H^{2,1}(Y), for Y a deformation of X, with an open subset of a linear section of Q^{+}(X). This amounts to an effective description of the intermediate Jacobian J^3(X) in terms of the H.S. on H^2(X). A simple consequence is a new proof of a result of Mongardi giving (necessary) conditions for the action of monodromy on H^2(X). Lastly, we show that if X is projective, then J^3(X) is an abelian fourfold of Weil type.

研究の動機と目的

• Kummer型ハイパーケーラー多様体（次元 $2n$、$n \geq 2$）の変形として得られる一般化されたクーマー多様体のクーガ・サタケトーラスを理解すること。
• 中間ヤコビアン $J^3(X)$（4次元のコンパクト複素トーラス）が、より小さい、より幾何的に扱いやすい形でクーガ・サタケホッジ構造を実現する中心的役割を果たしていること。
• $X$ がプロジェクト型であるとき、$J^3(X)$ がウェイリータイプのアーベル4foldであること、およびその極分類がベーヴィル＝ボゴモロフ＝フジキ形式から生じることを確立すること。
• $H^2(X)$ のウェイト2ホッジ構造から、$J^3(X)$ のウェイト1ホッジ構造を明示的かつ整数的ホッジ理論的レシピで構成すること。

提案手法

• カップ積を用いて、$\overline{q}_X^{n-2}$ を用いて $\phi: \bigwedge^2 H^3(X) \to H^2(X)^\vee$ を定義する。ここで $\overline{q}_X = 2(n+1)q^\vee_X$ は整数クラスである。
• $\phi$ が全射であることを証明し、その転置が、$X$ のコホロロジーと $J^3(X)$ のホッジ構造を結ぶ、整数ホッジ構造の包含写像 $H^2(X) \subset \bigwedge^2 H^1(J^3(X))$ を誘導することを示す。
• $\phi$ が全射でないクラスの集合 $\mathbf{Q}(X) \subset \mathbb{P}(H^3(X))$ が、3次元の滑らかな放物面的超曲面であることを示す。
• $\mathbb{P}(H^{2,1}(X))$ を $\mathbf{Q}(X)$ の最大の線形部分空間とし、それを含む既約成分 $\mathbf{Q}^+(X)$ を定義する。
• $[\sigma(X)]$ を $X$ の周期点、$\vartheta = \vartheta(\overline{q}_X^{n-2})$ とすると、同型写像 $\varphi: J_{[\sigma(X)]}(\vartheta) \xrightarrow{\sim} J^3(X)$ を構成し、$J^3(X)$ をウェイリータイプのアーベル4foldのモジュライ的構成と結びつける。
• $\mathrm{KS}(X,L)$ と $J^3(X)^4$ の間の同種を用いて、$J^3(X)$ がウェイリータイプであることを示し、$\varphi^*\Theta_L \equiv c\Theta_{[\sigma]}(\vartheta)$（$c \in \mathbb{Q}_+$）を証明することで、極分類の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 Kummer型ハイパーケーラー多様体のクーガ・サタケ構成は、その中間ヤコビアンを介して幾何的に実現可能か？
• RQ2 Kummer型ハイパーケーラー多様体の中間ヤコビアン $J^3(X)$ はウェイリータイプのアーベル4foldであり、ベーヴィル＝ボゴモロフ＝フジキ形式に関連する極分類を持つか？
• RQ3 $X$ のコホロロジーから自然な写像 $\phi: \bigwedge^2 H^3(X) \to H^2(X)^\vee$ を介して、$J^3(X)$ のホッジ構造を明示的に再構成可能か？
• RQ4 中間ヤコビアン $J^3(X)$ はクーガ・サタケトーラス $\mathrm{KS}(X,L)$ のより小さい、より幾何的に扱いやすい代替物を提供するか？また、$J^3(X)^4$ と同種か？
• RQ5 ウェイリータイプの極分類付きアーベル4foldの局所的完全族から、極分類付きKummer型ハイパーケーラー多様体の族を構成可能か？

主な発見

• $\phi: \bigwedge^2 H^3(X) \to H^2(X)^\vee$ は全射であり、その転置は、$X$ と $J^3(X)$ の間の直接的なホッジ理論的リンクを提供する、整数ホッジ構造の包含写像 $H^2(X) \subset \bigwedge^2 H^1(J^3(X))$ を誘導する。
• $\phi$ が全射でないクラスの集合 $\mathbf{Q}(X) \subset \mathbb{P}(H^3(X))$ は、3次元の滑らかな放物面的超曲面である。
• $H^{2,1}(X)$ の射影化された部分は、$\mathbf{Q}(X)$ の最大の線形部分空間に含まれ、$\mathbf{Q}^+(X)$ はそれらを含む既約成分である。
• プロジェクト型のKummer型ハイパーケーラー多様体 $X$ に対して、$J^3(X)$ はウェイリータイプのアーベル4foldであり、$(X,L)$ が固定された離散的不変量を持つ完全族を形成するとき、対応する $J^3(X)$ は同じ不変量を持つ完全な極分類付きアーベル4foldの族をなす。
• $\mathrm{KS}(X,L)$ は $J^3(X)^4$ と同種であるため、$J^3(X)$ はクーガ・サタケ構成のより小さい、より幾何的に取り扱いやすい実現であることが示された。
• $n=2$ のとき、$J^3(X)$ の極分類 $\Theta_L$ は $\Theta_{[\sigma]}(\vartheta)$ と線形同値であり、$n>2$ のとき $\varphi^*\Theta_L \equiv c\Theta_{[\sigma]}(\vartheta)$（$c \in \mathbb{Q}_+$）が成り立つ。極分類の整合性が確認された。