[论文解读] The Hesse pencil of plane cubic curves

Michela Artebani, Igor Dolgachev|ArXiv.org|Nov 19, 2006

Algebraic Geometry and Number Theory参考文献 26被引用 14

一句话总结

本文研究了平面上三次曲线的赫塞线束及其与9个拐点和12条直线构成的赫塞构型之间的联系，表明通过在平面上沿不变的六次曲线进行双重覆盖，可得到两个Picard数为20的K3曲面。关键结果是其中一个K3曲面双有理同构于$E_\epsilon \times E_\epsilon$的Kummer曲面，其超越格子的秩为2，交截形式为$\left(\begin{smallmatrix}4&2\\2&4\end{smallmatrix}\right)$，并通过群作用和格子理论完全分析了自同构群的结构。

ABSTRACT

This is a survey of the classical geometry of the Hesse configuration of 12 lines in the projective plane related to inflection points of a plane cubic curve. We also study two K3 surfaces with Picard number 20 which arise naturally in connection with the configuration.

研究动机与目标

• 研究复数域上平面上三次曲线的9个拐点与12条直线构成的经典赫塞构型及其几何与群论性质。
• 分析由赫塞线束导出的、在赫塞群作用下不变的六次曲线上的双重覆盖所生成的两个Picard数为20的K3曲面。
• 确定作用于这些K3曲面上的自同构群的结构，特别是$\mathbb{F}_3^2 \rtimes Q_8$的对称作用及其商群$\mathrm{SL}(2,\mathbb{F}_3)$。
• 建立其中一个K3曲面与$E_\epsilon \times E_\epsilon$的Kummer曲面之间的双有理同构关系，并计算其超越格子。

提出的方法

• 利用由$\lambda(x^3 + y^3 + z^3) + \mu xyz = 0$定义的赫塞线束，作者分析了9个拐点及其作为$(12_3, 9_4)$构型的配置。
• 通过在$\mathbb{P}^2$上沿来自赫塞构型的不变六次曲线$C_6$和$C_6'$进行双重覆盖，构造K3曲面。
• 应用群论方法：阶为216的赫塞群$G_{216}$作用于该构型，其复反射扩张$\overline{G}_{216}$（阶为648）用于定义不变量。
• 应用格子论技术：通过交截形式与判别子群计算Néron-Severi格子与超越格子，特别分析了$A_M \cong \mathbb{Z}/3\mathbb{Z}^3 \oplus \mathbb{Z}/6\mathbb{Z}^2$。
• 利用3阶非对称自同构的作用来约束超越格子的结构，并将该曲面识别为Kummer曲面。
• 应用Mukai的对称自同构群列表及具有最大Picard数的K3曲面分类结果，将该K3曲面识别为$\mathrm{Kum}(E_\epsilon \times E_\epsilon)$。

实验结果

研究问题

• RQ1 赫塞构型的9个拐点与12条直线如何与赫塞线束的几何结构及其自同构群相关联？
• RQ2 在赫塞群作用下不变的六次曲线为分支的平面双重覆盖会产生哪些K3曲面？
• RQ3 K3曲面$X'$的超越格子结构是什么？它如何决定其与Kummer曲面的双有理等价性？
• RQ4 K3曲面$X$与$X'$的对称与非对称自同构如何与赫塞群及其子群相关联？
• RQ5 K3曲面$X'$能否被识别为椭圆曲线乘积的Kummer曲面？其超越格子的显式形式是什么？

主要发现

• K3曲面$X'$双有理同构于Kummer曲面$\mathrm{Kum}(E_\epsilon \times E_\epsilon)$，其中$E_\epsilon$是具有周期$1, \epsilon$的椭圆曲线，确认了经典构型与K3几何之间深层次的联系。
• 曲面$X'$的超越格子秩为2，交截矩阵为$\left(\begin{smallmatrix}4&2\\2&4\end{smallmatrix}\right)$，这与[29]分类中唯一具有该形式且$m=2$的$K3$曲面一致。
• 自同构群$H \cong \mathrm{SL}(2,\mathbb{F}_3)$作为对称自同构作用于$X'$，且$X'$同构于$X$关于$\mathbb{F}_3^2 \subset G_{216}$的正规子群的商曲面。
• 在$X'$上由截面与纤维分量生成的格子$M$的判别子群为$A_M \cong \mathbb{Z}/3\mathbb{Z}^3 \oplus \mathbb{Z}/6\mathbb{Z}^2$，这限制了超越格子可能的结构。
• 覆盖$q'$下纤维的像是一个九次曲线，具有8个三重点和3个尖点，与六次曲线$C_6'$相交于6个额外点，确认了不变六次曲线的几何重要性。
• 曲面$X'$允许一个具有Mordell-Weil群$\mathbb{Z} \oplus \mathbb{Z}/3\mathbb{Z}$的雅可比椭圆纤维结构，且所有$X'$上的椭圆纤维结构均为雅可比型，如[42]所确立。