[论文解读] Towards a classification of symplectic automorphisms on manifolds of $K3^{[n]}$ type

Giovanni Mongardi|arXiv (Cornell University)|May 13, 2014

Advanced Algebra and Geometry参考文献 20被引用 5

一句话总结

本文对 $K3^{[n]}$ 型超凯勒流形上的素数阶辛自同构进行了分类，并证明了所有此类自同构的有限群都嵌入到康威群 $Co_1$ 中。通过受科恩德（Kond extbackslash{}ł）关于 $K3$ 曲面工作的启发，采用格理论技术，作者建立了辛自同构群与 $Co_1$ 的特定子群之间的对应关系，其充分条件基于余不变格的判别群性质。

ABSTRACT

The present paper is devoted to the classification of symplectic automorphisms of some hyperkähler manifolds. The results contained here are an explicit classification of prime order automorphisms on manifolds of $K3^{[n]}$ type and a proof that all finite groups of symplectic automorphisms of such manifolds are contained in Conway's group $Co_1$.

研究动机与目标

• 对 $K3^{[n]}$ 型流形上的所有素数阶辛自同构进行分类，分类标准为余不变格等价。
• 证明此类流形上所有有限辛自同构群都同构于康威群 $Co_1$ 的子群。
• 建立一个子群 $G \subset Co_0$ 可作为某 $K3^{[n]}$ 型流形上辛自同构群的充分条件。
• 猜想 $K3^{[n]}$ 型流形上有限辛自同构群与满足特定格理论条件的 $Co_1$ 子群之间存在双射对应关系。

提出的方法

• 利用 $K3^{[n]}$ 型流形 $X$ 的 $H^2(X,\mathbb{Z})$ 上同调结构，识别群作用下的不变格与余不变格。
• 应用格理论工具，特别是余不变格的判别群，以限制可能的自同构群。
• 以李希格 $\Lambda$ 作为通用环境格，其中 $Co_1 = \mathrm{Aut}(\Lambda)/\pm 1$，将辛自同构群嵌入其中。
• 应用“神圣构造”（holy construction）与粘合码（glue code）技术，显式实现 $A_2(-1)^{12}$ 上的等距变换，并将其延拓至 $\Lambda$。
• 利用文献中关于李希格格等距变换的分类结果，特别是对素数阶自同构的分类，以分析余不变格。
• 将自同构实现的充分条件与许布雷希茨（Huybrechts）关于 $K3$ 曲面辛导出自同构的判据进行比较，证明二者等价。

实验结果

研究问题

• RQ1 哪些有限辛自同构群可以作用于 $K3^{[n]}$ 型流形上？
• RQ2 如何对素数阶辛自同构的余不变格进行分类？
• RQ3 何种条件下，$Co_0$ 的子群可作为某 $K3^{[n]}$ 型流形上辛自同构群出现？
• RQ4 $K3^{[n]}$ 型流形上有限辛自同构群与满足特定格条件的 $Co_1$ 子群之间是否存在双射对应关系？
• RQ5 对于四维 $K3^{[2]}$ 型流形上素数阶辛自同构，对对 $(X,\varphi)$ 的固定点集与形变类的行为如何？

主要发现

• 所有 $K3^{[n]}$ 型流形上有限辛自同构群都包含于康威群 $Co_1$ 中。
• 对任意此类流形 $X$，有限辛自同构群 $G$ 的余不变格 $S_G(X)$ 同构于 $G$ 在李希格上作用的余不变格 $S_G(\Lambda)$。
• 一个子群 $G \subset Co_0$ 可作为某 $K3^{[n]}$ 型流形上辛自同构群的充分条件是：其不变子格 $T$ 的秩至少为 4，且其判别群的生成元个数少于其秩。
• 本文证明了自同构实现的充分条件与许布雷希茨先前为 $K3$ 曲面辛导出自同构给出的条件等价。
• 对于四维 $K3^{[2]}$ 型流形上素数阶自同构，本文对对 $(X,\varphi)$ 的形变类数量及自同构 $\varphi$ 的固定点集结构进行了分类。
• 素数阶辛自同构的分类在余不变格等价意义下是完整的，且对阶数 2、3、5、7、11、13 和 23，均在李希格中给出了显式实现。