[论文解读] Abelian Fourfolds of Weil type and certain K3 Double Planes

Giuseppe Lombardo, Chris Peters+1 more|arXiv (Cornell University)|Sep 26, 2012

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

一句话总结

本文建立了韦尔型阿贝尔四fold与作为平面上六条直线分支的双覆盖所得的K3曲面之间的深度对应关系。通过分析椭圆纤维化与库加-萨塔克构造，证明了这些K3曲面与特定阿贝尔四fold的模空间在周期映射下同构，并证明了与这类K3曲面相关的特定霍奇结构的库加-萨塔克簇与原始阿贝尔四fold的平方之间存在同源关系。

ABSTRACT

Double planes branched in 6 lines give a famous example of K3 surfaces. Their moduli are well understood and related to abelian fourfolds of Weil type. We compare these two moduli interpretations and in particular divisors on the moduli spaces. On the K3 side, this is achieved with the help of elliptic fibrations. We also study the Kuga-Satake correspondence on these special divisors.

研究动机与目标

• 阐明由六条直线分支的双覆盖所得的K3曲面与韦尔型阿贝尔四fold之间的模理论关系。
• 通过周期映射及其在模空间中的像，比较这两种几何对象的模解释。
• 研究六条直线构型模空间中的特殊除数，特别是对应于所有直线切于同一圆锥的$XQ$除数。
• 研究由这些构型产生的特殊除数上的库加-萨塔克对应关系。
• 确定与K3曲面上的霍奇结构及阿贝尔四fold上的霍奇结构相关的库加-萨塔克簇的自同态结构与同源类型。

提出的方法

• 使用从六条一般位置无序直线的构型空间到模空间$\mathbf{M} = \mathbf{D}_4 / \mathrm{SO}^*(T)$的周期映射，其中$T = U^2 \perp \langle -1 \rangle \perp \langle -1 \rangle$。
• 应用六条直线上的相关对合$*$，该对合保持双覆盖K3曲面不变，并与对称群$\mathfrak{S}_6$交换，从而将模空间$\mathbf{M}$识别为$\mathbf{X}/H$，其中$H = \mathfrak{S}_6 \times \{*\}$。
• 分析$\mathbf{X}$中的$XQ$除数，该除数对应于切于同一圆锥的六条直线，并证明其参数化了具有二阶结构的亏格2曲线，将其识别为$\mathfrak{h}_2 / \Gamma(2)^0$。
• 对$T_{\Delta} = \langle 2\Delta \rangle \perp U \perp \langle -2 \rangle^2$上的类型$(1,3,1)$极化霍奇结构应用库加-萨塔克构造，利用克利福德代数计算自同态代数。
• 通过定理4.2分解库加-萨塔克簇$A(T_{\Delta})$，证明$A(T_{\Delta}) \sim B^2$，其中$B$为一个阿贝尔四fold，满足$(-1,\Delta)_{\mathbb{Q}} \subset \mathrm{End}_{\mathbb{Q}}(B)$。
• 建立关键同源关系$A(T_{\Delta}) \sim A_{\Delta}^2$，其中$A_{\Delta}$为满足$T(A_{\Delta}) = T_{\Delta}$的阿贝尔四fold，将库加-萨塔克簇与原始阿贝尔四fold联系起来。

实验结果

研究问题

• RQ1 由六条直线分支的双覆盖所得的K3曲面的模空间与韦尔型阿贝尔四fold的模空间之间有何关系？
• RQ2 六条直线构型模空间中的$XQ$除数的几何与算术意义是什么？它与具有二阶结构的亏格2曲线模空间有何关联？
• RQ3 与由六条直线分支的双平面所得K3曲面的超越霍奇结构$T_{\Delta}$相关的库加-萨塔克簇的结构如何？
• RQ4 在何种条件下，此类霍奇结构的库加-萨塔克簇与原始阿贝尔四fold的幂同源？
• RQ5 四元数代数$(-1,\Delta)_{\mathbb{Q}}$如何影响库加-萨塔克簇与原始阿贝尔四fold的自同态结构？

主要发现

• 由一般位置六条直线分支的双覆盖所得的K3曲面的模空间同构于$\mathbf{M} = \mathbf{D}_4 / \mathrm{SO}^*(T)$，且该同构由周期映射诱导。
• $\mathbf{M}$模空间中的$XQ$除数对应于切于同一圆锥的六条直线，且双全纯同构于$\mathfrak{h}_2 / \Gamma(2)^0$，从而识别为具有二阶结构的亏格2曲线模空间$\mathbf{M}_{2,2}$。
• 对于满足$T(A_{\Delta}) = T_{\Delta}$的$\mathbb{Q}(i)$-韦尔型阿贝尔四fold $A_{\Delta}$，其库加-萨塔克簇$A(T_{\Delta})$同源于$A_{\Delta}^2$，且满足$(-1,\Delta)_{\mathbb{Q}} \subset \mathrm{End}_{\mathbb{Q}}(A_{\Delta})$。
• 库加-萨塔克簇$A(T_{\Delta})$可分解为$B^2$，其中$B$为一个简单阿贝尔四fold，满足$(-1,\Delta)_{\mathbb{Q}} \subset \mathrm{End}_{\mathbb{Q}}(B)$，且$B$同源于$A_{\Delta}$。
• 当$\Delta$为两个有理数平方之和时，四元数代数$(-1,\Delta)_{\mathbb{Q}}$为分裂代数，因此$B$同源于两个阿贝尔曲面的乘积，从而引发关于$B$的Kummer曲面与原始K3双平面之间几何联系的疑问。
• 对满足$\mathbb{Q}(i)$-韦尔型的阿贝尔四fold $A$的$T(A)$应用库加-萨塔克构造，可恢复$A^4$（模同源），表明该构造是$T(A)$的霍奇理论构造的逆。