[论文解读] Symplectic involutions of $K3^{[n]}$ type and Kummer $n$ type manifolds

Ljudmila Kamenova, Giovanni Mongardi+1 more|arXiv (Cornell University)|Sep 8, 2018

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

一句话总结

本文分类了 $K3^{[n]}$ 型与 Kummer $n$ 型超凯勒流形上辛对合的固定点集，证明其由有限多个 $K3$ 曲面的希尔伯特概形的形变和孤立点组成。关键结果是对固定点集进行精确的维数分解，其中最大分量为单个 $S^{[n/2]}$ 的形变（当 $n$ 为奇数时为八个副本），该结果通过模空间连通性与全局托雷利定理推导得出。

ABSTRACT

In this paper we describe the fixed locus of a symplectic involution on a hyperkähler manifold of type $K3^{[n]}$ or of Kummer $n$ type. We prove that the fixed locus consists of finitely many copies of Hilbert schemes of $K3$ surfaces of lower dimensions and isolated fixed points.

研究动机与目标

• 对 $K3^{[n]}$ 型与 Kummer $n$ 型超凯勒流形上辛对合的固定点集进行分类。
• 将尼古林在 $K3$ 曲面上的结果（8 个固定点）与蒙加迪在 $K3^{[2]}$ 上的结果（28 个点与一个 $K3$ 曲面）推广至任意 $n$。
• 证明固定点集可分解为有限多个分量，每个分量为 $m \leq n/2$（或在 Kummer 情况下 $m \leq (n+1)/2$）的希尔伯特概形 $S^{[m]}$ 的形变，且当 $n \leq 24$ 或 $n \leq 48$ 时可能包含孤立点。
• 建立此类对 $(X, \iota)$ 的模空间连通性，从而可将任意对形变为标准几何模型。

提出的方法

• 利用全局托雷利定理，证明任意满足 $X$ 为 $K3^{[n]}$ 型或 Kummer $n$ 型且 $\iota$ 为辛对合的对 $(X, \iota)$，其双有理等价于由 $K3$ 曲面或阿贝尔曲面及其对合所导出的“标准对”。
• 证明在上同调上数值标准的群作用意味着该对为标准对，从而可归约为已知的几何构造。
• 利用对 $(X, \iota)$ 的模空间连通性，将任意此类对形变为标准对，同时保持群作用不变。
• 通过在 $\mathrm{Sym}^n S$ 与 $\mathrm{Sym}^n A$ 上诱导作用分析固定点集，利用组合学方法根据 $n$ 的奇偶性计算分量数量。
• 对于 $K3^{[n]}$ 型，使用 quiver 变体技巧与 $\hat{\mathfrak{sl}}_2$ 代数的根系，将固定点集描述为 quiver 变体 $\mathfrak{M}_{\mathbf{Q}'_0}((n_1,n_2),(0,1))$ 的并集，在偶数情况下取等号，在奇数情况下至少有两个分量。
• 对于 Kummer $n$ 型，归约为阿贝尔曲面 $A$ 上的符号对合，使用类似技术将固定点集分类为 $S^{[m]}$ 形变与孤立点。

实验结果

研究问题

• RQ1 辛对合在 $K3^{[n]}$ 型超凯勒流形上的固定点集具有何种结构？
• RQ2 固定点集如何按不同维数分解为分量？各维数中连通分量的数量由什么决定？
• RQ3 能否对所有 $n$ 统一描述固定点集？其是否依赖于 $n$ 的奇偶性？
• RQ4 此类对 $(X, \iota)$ 的模空间是否连通，从而可形变为标准几何模型？
• RQ5 上同调作用在决定群作用是否为数值标准方面起何种作用？

主要发现

• 在 $K3^{[n]}$ 型流形上，辛对合的固定点集由有限多个分量组成，每个分量为 $m \leq n/2$ 的希尔伯特概形 $S^{[m]}$ 的形变，且当 $n \leq 24$ 时可能包含孤立固定点。
• 固定点集按偶数维分量 $F_{2m}$ 分层，其中 $\max(0, n/2 - 12) \leq m \leq n/2$，且每个 $F_{2m}$ 具有 $\left| \sum_{n-k-2l=2m} \binom{8}{k} \binom{k}{l} \right|$ 个连通分量。
• 当 $n$ 为偶数时，最大维数的固定分量为单个 $S^{[n/2]}$ 的形变；当 $n$ 为奇数时，其由八个此类分量组成。
• 对于 Kummer $n$ 型流形，固定点集同样分解为 $F_{2m}$，其中 $\max(0, (n+1)/2 - 24) \leq m \leq (n+1)/2$，且每个 $F_{2m}$ 具有 $N^n_m$ 个分量，每个分量为 $S^{[m]}$ 的形变，孤立点仅在 $n \leq 48$ 时可能出现。
• 证明依赖于：对 $(X, \iota)$ 的模空间连通，从而可形变为标准对；且上同调上的数值标准作用意味着该对为标准对。
• 当 $n=2$ 时，固定点集微分同构于 quiver 变体 $\mathfrak{M}_{\mathbf{Q}'_0}((1,1),(0,1))$；当 $n=3$ 时，其有两个分量：一个微分同构于 $\mathfrak{M}_{\mathbf{Q}'_0}((2,1),(0,1))$，另一个为原点处的点化工厂概形。