[论文解读] 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曲面的长度三子方案的Hilbert概形的形变中拉格朗日投影3-空间的同调类。利用Hodge理论、表示论和Beauville-Bogomolov形式，证明了此类平面中一条直线的自交数为−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曲面的长度三子方案的Hilbert概形的形变中拉格朗日投影3-空间的同调类。
• 确定此类拉格朗日平面上一条直线的类在Beauville-Bogomolov形式下的交集理论性质。
• 验证一个猜想：对于与K3曲面的Hilbert概形形变等价的$2n$维全纯对称流形，拉格朗日$\mathbb{P}^n$中一条直线的自交数为$-(n+3)/2$。
• 建立一个公式，用$\rho = 2\ell$和流形的第二陈类表示拉格朗日$\mathbb{P}^3$的类。

提出的方法

• 利用$H^2(X,\mathbb{Z})$上的Beauville-Bogomolov形式分析拉格朗日子簇的交集性质。
• 应用Hodge理论和单值表示，约束在形变下保持$(1,1)$型的类。
• 运用表示论研究K3曲面的Hilbert概形上同调中的Hodge类。
• 使用Poincaré多项式和对称幂映射$\mu_{k,n}$分析上同调的环结构。
• 通过形变不变性质识别中间上同调中的特殊绝对Hodge类。
• 采用数论论证和$p$-进分析验证某些坐标的整性，确保类公式定义良好。

实验结果

研究问题

• RQ1 在$X$形变等价于K3曲面的长度三子方案的Hilbert概形时，拉格朗日$\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曲面的Hilbert概形，则拉格朗日$\mathbb{P}^n$中一条直线的自交数为$-(n+3)/2$，其中$n=3$为关键情形。
• 证明依赖于一个数论结果，即坐标的整性，通过$p$-进分析和椭圆曲线除法点的同余条件得以验证。