[论文解读] Every rational Hodge isometry between two K3 surfaces is algebraic

Nikolay Buskin|arXiv (Cornell University)|Oct 10, 2015

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

一句话总结

本文证明了任意两个射影复K3曲面之间的任意有理霍奇等距都是代数的，即其在 $H^{2,2}(S_1 \times S_2, \mathbb{Q})$ 中对应的上同调类是代数的。证明通过格理论技巧将一般情形约化为循环型等距，并证明此类等距源自凝聚层的陈特征，从而证实了沙法列维奇的猜想。

ABSTRACT

We prove that given any rational Hodge isometry $ψ:H^2(S_1,\mathbb{Q}) ightarrow H^2(S_2,\mathbb{Q})$ between any two Kähler $K3$ surfaces $S_1$ and $S_2$ the cohomology class of $ψ$ in $H^{2,2}(S_1 imes S_2)$ is a polynomial in Chern classes of coherent analytic sheaves over $S_1 imes S_2$. Consequently, the cohomology class of $ψ$ is algebraic whenever $S_1$ and $S_2$ are algebraic.

研究动机与目标

• 解决沙法列维奇猜想，即任意两个射影K3曲面之间的有理霍奇等距都是代数的。
• 证明与有理霍奇等距 $\varphi$ 关联的上同调类 $Z_\varphi \in H^{2,2}(S_1 \times S_2, \mathbb{Q})$ 是代数的。
• 将姆卡伊关于秩 $\geq 11$ 的霍奇等距结果推广至所有射影K3曲面之间的有理霍奇等距。
• 建立K3格上理性等距为循环型的格论判别准则，从而可约化至已知的代数情形。
• 证明上同调中代数类的子环由稳定层模空间上凝聚层的陈特征生成。

提出的方法

• 通过标记将K3曲面之间的有理霍奇等距识别为K3格 $\Lambda_\mathbb{Q}$ 上的有理等距。
• 通过证明 $\Lambda_\mathbb{Q}$ 的有理等距群由此类循环型等距生成，将一般情形约化为循环型等距。
• 证明每个循环型等距均源自K3曲面乘积上的普遍层，因此诱导出代数对应。
• 构造K3曲面上稳定层的模空间，并证明其上同调由凝聚层的陈特征生成。
• 利用陈特征的乘法性质与分裂原理，证明由 $ch(\mathcal{F})$ 生成的上同调子环 $V$ 包含所有陈类。
• 应用范德蒙德行列式论证，证明 $V$ 包含所有陈特征的齐次分量，从而证明 $V = Hdg(X)_{alg}$。

实验结果

研究问题

• RQ1 任意两个射影K3曲面之间的有理霍奇等距是否由其乘积上某个代数闭链诱导？
• RQ2 任意K3格 $\Lambda_\mathbb{Q}$ 的有理等距是否可分解为循环型等距的复合？
• RQ3 K3曲面模空间上代数上同调类的子环是否与凝聚层陈特征生成的子环一致？
• RQ4 能否通过一系列中间K3曲面，将霍奇等距的代数性约化为循环型等距的情形？
• RQ5 超凯勒流形上代数上同调类的环是否由凝聚层的陈特征生成？

主要发现

• 任意两个射影K3曲面之间的有理霍奇等距 $\varphi: H^2(S_1, \mathbb{Q}) \to H^2(S_2, \mathbb{Q})$ 诱导出 $H^{2,2}(S_1 \times S_2, \mathbb{Q})$ 中的代数上同调类 $Z_\varphi$。
• $\Lambda_\mathbb{Q}$ 的有理等距群由循环型等距生成，从而可将一般情形约化为一类已知的代数等距。
• 对任意 $n \geq 2$，存在一个K3曲面 $S$ 及其上稳定层的模空间 $M$，使得上同调环 $H^*(M, \mathbb{Q})$ 由凝聚层的陈特征生成。
• 在超凯勒流形 $X$ 上，由凝聚层的陈特征生成的子环 $V \subset H^*(X, \mathbb{Q})$ 等于代数上同调类的环 $Hdg(X)_{alg}$。
• 陈特征映射 $ch: K_{alg}(X) \to H^*(X, \mathbb{Q})$ 是环同态，其像生成代数上同调类。
• 子环 $V$ 关于自同态 $r_2$（在 $H^{2i}$ 上乘以 $2^i$）保持不变，结合范德蒙德论证，可保证所有陈特征的齐次分量均属于 $V$。