[论文解读] Addendum to "K3-surfaces of genus 8 and varieties of sums of powers of cubic fourfolds"

Atanas Iliev, Kristian Ranestad|ArXiv.org|Nov 17, 2006

Algebraic Geometry and Number Theory参考文献 1被引用 4

一句话总结

本文修正并拓展了关于八型K3曲面的先前结果，证明了一般六元三次型可表示为10个立方和的变体VSP(F,10)是一个光滑的辛4维流形。该文表明此变体与八型K3曲面的希尔伯特平方形变等价，但不同于已知的各类，包括三次四fold的直线族，从而构造出一个新的紧致复辛4维流形，具有两个线性无关的极化。”,

ABSTRACT

In this note, which is an addendum to the e-print math.AG/9810121, we prove that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold, which is deformation equivalent to the Hilbert square of a K3 surface of genus 8 but different from the family of lines on a cubic 4-fold. This provides a new geometric construction of a compact complex symplectic fourfold, different from a Hilbert square of a K3 surface, a generalized Kummer 4-fold, the variety of lines on a cubic 4-fold and the recent examples of O'Grady (see Duke Math. J. 134, no. 1 (2006), 99-137).

研究动机与目标

• 修正先前论文中关于极化超凯勒流形模空间的定理3.17的不完整证明。
• 确立一般六变量三次型表示为10个立方和的变体VSP(F,10)为光滑辛4维流形。
• 证明VSP(F,10)与八型K3曲面的希尔伯特平方形变等价，但与三次四fold的直线族不构同。
• 证明八型K3曲面的希尔伯特平方上两个极化——分别来自VSP(F,10)和来自普拉夫扬三次四fold的直线——是线性无关的。
• 证明VSP(F,10)与三次四fold直线的模空间在极化超凯勒流形的模空间中形成两个不同的连通分支，且沿八型K3曲面的希尔伯特平方的除子相交横截。

提出的方法

• 分析一般八型K3曲面S的希尔伯特平方$Hilb_2 S$，将其与三次四fold F的幂和变体$VSP(F,10)$识别。
• 使用普吕克嵌入在$Hilb_2 S$上定义两个不同的极化：$L_{lines}$来自普拉夫扬三次四fold $F'$的直线族，$L_{vsp}$来自VSP映射到$VSP(F,10)$。
• 构造一条测试曲线$C_p$，即在点$p \in S$处支撑的长度为2的子概形的线性系，以计算其与极化的交数。
• 应用关于${\bf P}^n$-丛上极化扭结的引理，计算$C_p$在VSP映射下的像的次数，证明$C_p \cdot L_{vsp} = 3$。
• 通过计算对偶扭结在对偶空间中的次数，确定$C_p \cdot L_{lines} = 5$，利用切超平面截面与$\mathbf{P}(igwedge^4 V)$中有理扭结的几何性质。
• 利用两个次数（3和5）互素的性质，得出$L_{vsp}$与$L_{lines}$在$Hilb_2 S$上线性无关。

实验结果

研究问题

• RQ1 对于一般八型K3曲面S，$Hilb_2 S$上的两个极化$L_{vsp}$与$L_{lines}$是否线性无关？
• RQ2 一般六变量三次型表示为10个立方和的变体$VSP(F,10)$是否为光滑辛4维流形？
• RQ3 $VSP(F,10)$是否给出一个新紧致复辛4维流形，且不与已知例子（如希尔伯特平方、广义库默尔流形或三次四fold的直线族）形变等价？
• RQ4 在极化超凯勒流形的模空间中，$VSP(F,10)$与三次四fold直线的模空间如何关联？
• RQ5 这两个模空间分支的交集具有何种几何意义，其在底层K3曲面上代表什么？

主要发现

• 一般六变量三次型表示为10个立方和的变体$VSP(F,10)$为光滑辛4维流形。
• 变体$VSP(F,10)$与八型K3曲面的希尔伯特平方形变等价。
• 通过测试曲线$C_p$的次数3与5互素，证明$Hilb_2 S$上的两个极化$L_{vsp}$与$L_{lines}$线性无关。
• VSP(F,10)与三次四fold直线的模空间在极化超凯勒流形的模空间中形成两个不同的连通分支。
• 这两个分支沿参数化八型K3曲面$S$的希尔伯特平方的除子相交横截。
• 该构造提供了一种新的紧致复辛4维流形的几何实现，不同于已知例子，包括希尔伯特平方、广义库默尔流形及奥格雷迪的例子。