[论文解读] 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 子 schemes 的 Hilbert 模式和非常一般三次四fold 的直线 Fano 变体的 Chow 环上建立了傅里叶分解，使用一个表示 Beauville–Bogomolov 类的余维-2 代数周期。该分解是乘法的且具有动机性，将原本定义在阿贝尔簇上的 Beauville 傅里叶变换框架推广到了这些超凯勒四fold。

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.

研究动机与目标

• 将原本定义在阿贝尔簇上的 Beauville 傅里叶变换框架——扩展至形变等价于 K3 表面长度-2 子 schemes 的超凯勒四fold。
• 为超凯勒四fold 的 $\mathrm{K3}^{[n]}$-型 Chow 环提供 Bloch–Beilinson 型过滤存在的证据。
• 为 $S^{[2]}$ 和非常一般三次四fold 的直线簇建立乘法 Chow–Künneth 分解的存在性。
• 研究傅里叶分解在超凯勒簇背景下的双有理不变性与动机性。
• 验证该分解满足与阿贝尔簇上类似的性质，包括与交积的相容性以及与辛自同构作用的相容性。

提出的方法

• 通过表示 Beauville–Bogomolov 类的余维-2 代数周期，在超凯勒四fold 的 Chow 群上定义傅里叶变换。
• 通过索引 $s$ 的子群 $\mathrm{CH}^{i}(X)_{s}$ 构造 Chow 环 $\mathrm{CH}^{*}(X)$ 的分解，类比于阿贝尔簇上的 Beauville 分解。
• 利用 $X^{[2]} \times X^{[2]}$ 中的关联对应 $I$ 的结构，证明该分解是乘法的：$\mathrm{CH}^{i}(X)_{s} \cdot \mathrm{CH}^{j}(X)_{r} \subseteq \mathrm{CH}^{i+j}(X)_{r+s}$。
• 通过稳定层的模空间与关联对应，为 $S^{[2]}$ 建立修正的 Chow–Künneth 分解。
• 利用 Fano 变体上的有理自映射 $\varphi: F \dashrightarrow F$ 分析傅里叶分解，并证明其乘法性。
• 利用某些 Chow 群子群（如 $T^2$、$\mathrm{Griff}^2$）的双有理不变性，以及有理映射的投影公式，验证分解与双有理几何的相容性。

实验结果

研究问题

• RQ1 是否存在类似于阿贝尔簇上的傅里叶分解，适用于 $\mathrm{K3}^{[2]}$-型的超凯勒四fold？
• RQ2 能否证明 $S^{[2]}$ 上的傅里叶分解是乘法且具有动机性的？
• RQ3 非常一般三次四fold 的直线 Fano 变体上的傅里叶分解是否具有乘法性且双有理不变？
• RQ4 超凯勒四fold 上的傅里叶分解在多大程度上满足 Bloch–Beilinson 过滤的性质？
• RQ5 辛自同构如何作用于傅里叶分解？该分解是否保持其作用的不变性？

主要发现

• 傅里叶分解存在于 K3 表面的长度-2 子 schemes 的 Hilbert 模式 $S^{[2]}$ 的 Chow 环上，且为乘法分解。
• $S^{[2]}$ 上的分解由表示 Beauville–Bogomolov 类的余维-2 代数周期诱导，推广了 Beauville 在阿贝尔簇上的构造。
• 非常一般三次四fold 的直线 Fano 变体 $F$ 上的傅里叶分解是乘法的，且与有理自映射 $\varphi: F \dashrightarrow F$ 相容。
• 该分解满足关键性质 $\mathrm{CH}^{i}(X)_{s} \cdot \mathrm{CH}^{j}(X)_{r} \subseteq \mathrm{CH}^{i+j}(X)_{r+s}$，与阿贝尔簇上的行为一致。
• 傅里叶分解具有动机性，即它源自对角线的 Chow–Künneth 分解，并通过 $T^2$、$\mathrm{Griff}^2$ 及其他子群的作用与双有理映射相容。
• 该分解的存在性支持了超凯勒四fold 的 $\mathrm{K3}^{[n]}$-型 Chow 环上存在 Bloch–Beilinson 过滤的预期。