[论文解读] The third smallest Salem number in automorphisms of K3 surfaces

Keiji Oguiso|ArXiv.org|May 14, 2009

Algebraic Geometry and Number Theory参考文献 15被引用 7

一句话总结

该论文构造了一个K3曲面自同构，其拓扑熵为已知第三小的Salem数，通过塞格尔盘（Siegel disk）与点固定有理曲线的唯一组合实现。此外，论文利用特征多项式的模2约化及格理论约束，证明了最小的Salem数（Lehmer数）无法作为任何Enriques曲面自同构的拓扑熵实现。

ABSTRACT

We realize the logarithm of the third smallest known Salem number as the topological entropy of a K3 surface automorphism with a Siegel disk and a pointwisely fixed curve at the same time. We also show the logarithm of the Lehmer number, the smallest known Salem number, is not realizable as the topological entropy of any Enriques surface automorphism. These results are entirely inspired by McMullen's works and Mathematica programs.

研究动机与目标

• 构造一个K3曲面自同构，使其拓扑熵等于已知第三小的Salem数。
• 证明在K3曲面自同构中，塞格尔盘与点固定有理曲线可共存。
• 确定最小的已知Salem数（Lehmer数）是否可作为Enriques曲面自同构的拓扑熵实现。
• 在Enriques曲面格的背景下，利用特征多项式的模2约化建立结构性障碍。

提出的方法

• 构造一个具有8条有理曲线的E8(-1)配置且canonical束平凡的K3曲面S，确保其代数维数为0。
• 在S上定义一个自同构g，使其在上同调上的作用实现第三小Salem数作为谱半径。
• 分析g的固定点集，表明其由一条有理曲线和8个孤立点组成，且塞格尔盘仅存在于一个不位于E8(-1)配置中的孤立点处。
• 利用canonical类正交补上的Weyl群作用，通过Coxeter类对自同构进行建模。
• 对Enriques格上的自同构特征多项式进行模2约化，以检测不可约性障碍。
• 借助Mathematica计算，验证Lehmer多项式及其相关Salem多项式在模2下的不可约因子分解。

实验结果

研究问题

• RQ1 能否构造一个K3曲面自同构，使其拓扑熵等于第三小已知Salem数（同时具有塞格尔盘与点固定有理曲线）？
• RQ2 Enriques曲面自同构是否可能具有等于Lehmer数对数的拓扑熵？
• RQ3 在格结构与模2约束下，哪些Salem数可作为Enriques曲面自同构的拓扑熵实现？
• RQ4 具有塞格尔盘与固定曲线的K3曲面自同构中，可实现的最小Salem数是多少？
• RQ5 紧致超凯勒流形是否允许存在维数等于流形一半的塞格尔盘的自同构？

主要发现

• 构造了一个K3曲面自同构，其拓扑熵等于第三小已知Salem数的对数（约 log(1.200026523)）。
• 该自同构固定一条光滑有理曲线与8个孤立点，且塞格尔盘仅存在于一个不位于E8(-1)配置中的孤立点处。
• 该K3曲面的自同构群为无限循环群，由g生成，且曲面除8条有理曲线外不包含其他不可约曲线。
• Lehmer数的对数（最小已知Salem数）无法作为任何Enriques曲面自同构的拓扑熵实现。
• Lehmer多项式在模2下的约化分解为两个不可约五次多项式，违反了在Enriques格中实现的必要条件。
• 第五小已知Salem数（1.216391...）同样无法作为Enriques曲面自同构的拓扑熵实现，原因在于类似的模2因子分解障碍。