[论文解读] Classification of polarized symplectic automorphisms of Fano varieties of cubic fourfolds

Lie Fu|arXiv (Cornell University)|Mar 9, 2013

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

一句话总结

本文对光滑立方四fold的Fano簇的极化辛自同构进行了分类，表明此类自同构源自四fold本身有限阶自同构。关键结果是将其完全分类为五个族（I–V），并明确描述了不动点集，包括5、9、14、27和15个孤立点或阿贝尔/ K3曲面，具体取决于自同构类型和阶数。

ABSTRACT

We classify the polarized symplectic automorphisms of Fano varieties of smooth cubic fourfolds (equipped with the Plücker polarization) and study the fixed loci.

研究动机与目标

• 对光滑立方四fold的Fano簇的所有极化辛自同构进行分类，这些Fano簇是不可约全纯辛四fold。
• 理解这些自同构在直线Fano簇中的不动点集的几何结构。
• 将有限阶辛自同构的分类从K3曲面扩展到更高维的超凯勒流形，如立方四fold的Fano簇。
• 为承认此类自同构的立方四fold族提供显式方程和基。
• 描述不动点集的模空间和几何类型，包括点、直线、阿贝尔曲面和K3曲面。

提出的方法

• 分类基于将PGL₆中的立方四fold有限阶自同构提升到直线Fano簇，确保诱导作用为辛作用。
• 自同构表示为PGL₆中的对角矩阵，其元素为单位根，按素数幂阶n = p^m分类。
• 通过自同构f在X中直线上的诱导作用研究X的直线Fano簇F(X)。
• 通过分析四fold X中不动点和不动直线来计算F(X)中的不动点集，使用条件：若一条直线的张成空间被保持且自同构在其方向上作用为数量算子，则该直线为不动直线。
• 对每个族，将立方四fold的定义方程写成与自同构作用相容的形式，如C(x₀,…,x₃) + R(x₄,x₅)或不相交变量中立方型的和。
• 基于固定子簇（如平面、立方曲面或直线）中不动直线的数量，利用关于立方曲面上27条直线的经典结果，推导不动点集的几何描述。

实验结果

研究问题

• RQ1 哪些光滑立方四fold的有限阶自同构会在其直线Fano簇上诱导出辛自同构？
• RQ2 在这些辛自同构下，Fano簇中可能的不动点集是什么？它们如何随自同构类型变化？
• RQ3 如何将辛自同构的分类从K3曲面扩展到如立方四fold的Fano簇这类更高维的超凯勒流形？
• RQ4 承认此类自同构的立方四fold族的模空间维数和几何结构是什么？
• RQ5 F(X)中的不动点集与原始四fold X中的不动点集有何关系？它们的拓扑类型是什么？

主要发现

• 族I（阶11）在F(X)中的不动点集为5个孤立点，源于具有特定11次单位根的对角自同构。
• 族II（阶7）在F(X)中的不动点集为9个孤立点，对应于在7次单位根作用下固定的直线。
• 族III（阶5）在F(X)中的不动点集为14个孤立点，由立方曲面上的不动直线及连接不动点的直线组合而成。
• 族IV-(1)在F(X)中的不动点集为27个孤立点，对应于在被自同构固定的P³中的一张立方曲面上的27条直线。
• 族IV-(2)在F(X)中的不动点集为一个阿贝尔曲面，源于连接两个各自包含椭圆曲线的不动不相交平面上点的直线。
• 族V-(1)在F(X)中的不动点集为28个点和一个K3曲面，其中27个点来自一张立方曲面，一个K3曲面来自沿六次曲线分支的双重覆盖。