[論文レビュー] The Fourier transform for certain hyperKaehler fourfolds

Mingmin Shen, Charles Vial|arXiv (Cornell University)|Sep 23, 2013

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

ひとこと要約

この論文は、K3表面の長さ2部分スキームのヒルベルトスキームと、非常に一般な立方体四foldの直線のファノ多様体の両方のハイパーケーラー四foldのチャウ環に、ブルーイユ・ボゴモロフクラスを表すcodimension-2の代数的サイクルを用いてフーリエ分解を確立する。この分解は乗法的かつモチビック的であり、アーベル多様体に限定されたブルーイユのフーリエ変換枠組みを、これらのハイパーケーラー多様体へと拡張する。

ABSTRACT

Using a codimension-$1$ algebraic cycle obtained from the Poincaré line bundle, Beauville defined the Fourier transform on the Chow groups of an abelian variety $A$ and showed that the Fourier transform induces a decomposition of the Chow ring $CH^*(A)$. By using a codimension-$2$ algebraic cycle representing the Beauville--Bogomolov class, we give evidence for the existence of a similar decomposition for the Chow ring of hyperKähler varieties deformation equivalent to the Hilbert scheme of length-$2$ subschemes on a K3 surface. We indeed establish the existence of such a decomposition for the Hilbert scheme of length-$2$ subschemes on a K3 surface and for the variety of lines on a very general cubic fourfold.

研究の動機と目的

• アーベル多様体に限定されたブルーイユのフーリエ変換枠組みを、K3表面の長さ2部分スキー�ムのヒルベルトスキームと同型の変形型ハイパーケーラー四foldへと拡張すること。
• ハイパーケーラー四foldの $\mathrm{K3}^{[n]}$-タイプのチャウ環に、Bloch–Beilinson型のフィルトレーションが存在する証拠を提供すること。
• $S^{[2]}$ および非常に一般な立方体四foldの直線の多様体のフーリエ分解が、乗法的チャウ・クネンケット分解を有することを確立すること。
• ハイパーケーラー多様体の文脈において、フーリエ分解の被約不変性およびモチビック性を調査すること。
• 分解がアーベル多様体におけるそれらと類似する性質を満たすことを確認すること。具体的には、交差積とシミレクティック自己同型の作用ととの整合性を含む。

提案手法

• ブルーイユ・ボゴモロフクラスを表すcodimension-2の代数的サイクルを用いて、ハイパーケーラー四foldのチャウ群にフーリエ変換を定義する。
• アーベル多様体におけるブルーイユの分解に類似した、添え字 $s$ で添え字づけられた部分群 $\mathrm{CH}^{i}(X)_{s}$ へのチャウ環 $\mathrm{CH}^{*}(X)$ の分解を構成する。
• 交差対応 $I \subset X^{[2]} \times X^{[2]}$ の構造を用いて、分解が乗法的であることを証明する：$\mathrm{CH}^{i}(X)_{s} \cdot \mathrm{CH}^{j}(X)_{r} \subseteq \mathrm{CH}^{i+j}(X)_{r+s}$。
• 安定層のモジュライと交差対応を用いて、$S^{[2]}$ に対する修正されたチャウ・クネンケット分解の存在を確立する。
• ファノ多様体 $F$ 上の有理写像 $\varphi: F \dashrightarrow F$ を用いてフーリエ分解を分析し、その乗法的性質を証明する。
• 特定のチャウ群の部分群（例：$T^2$, $\mathrm{Griff}^2$）の被約不変性と、有理写像の投影公式を活用して、分解が被約幾何と整合することを検証する。

実験結果

リサーチクエスチョン

• RQ1 アーベル多様体におけるそれと類似したフーリエ分解は、$\mathrm{K3}^{[2]}$-タイプのハイパーケーラー四foldに存在するか？
• RQ2 $S^{[2]}$ 上のフーリエ分解が、乗法的かつモチビック的であることが示せるか？
• RQ3 非常に一般な立方体四foldの直線のファノ多様体上でのフーリエ分解は、乗法的かつ被約不変的か？
• RQ4 ハイパーケーラー四foldのフーリエ分解は、Bloch–Beilinsonフィルトレーションの性質をどの程度満たすか？
• RQ5 シミレクティック自己同型はフーリエ分解にどのように作用するか？また、分解はその作用を尊重するか？

主な発見

• $S^{[2]}$、つまりK3表面の長さ2部分スキー�ムのヒルベルトスキームのチャウ環にフーリエ分解が存在し、これは乗法的である。
• $S^{[2]}$ 上の分解は、ブルーイユ・ボゴモロフクラスを表すcodimension-2の代数的サイクルによって誘導され、アーベル多様体におけるブルーイユの構成を一般化する。
• 非常に一般な立方体四foldの直線のファノ多様体 $F$ 上のフーリエ分解は、乗法的であり、有理写像 $\varphi: F \dashrightarrow F$ と整合する。
• 分解は、アーベル多様体と類似した重要な性質 $\mathrm{CH}^{i}(X)_{s} \cdot \mathrm{CH}^{j}(X)_{r} \subseteq \mathrm{CH}^{i+j}(X)_{r+s}$ を満たす。
• フーリエ分解はモチビック的であり、これは対角のチャウ・クネンケット分解から生じる。また、$T^2$, $\mathrm{Griff}^2$, その他の部分群を介した被約写像の作用と整合する。
• この分解の存在は、ハイパーケーラー四foldの $\mathrm{K3}^{[n]}$-タイプのチャウ環にBloch–Beilinsonフィルトレーションが存在するという予想を支持する。