[论文解读] Fourier-Mukai partners and polarised K3 surfaces

Klaus Hulek, David Ploog|arXiv (Cornell University)|Jun 20, 2012

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

一句话总结

本文利用格理论方法，特别是Nikulin的判别形式理论和Eichler准则，建立了极化K3曲面的Fourier-Mukai（FM）伙伴数量的计数公式。结果表明，FM伙伴的数量取决于Picard秩和极化类型，低秩情况下给出了显式公式，高秩情形下则存在无界家族。

ABSTRACT

The purpose of this note is twofold. We first review the theory of Fourier-Mukai partners together with the relevant part of Nikulin's theory of lattice embeddings via discriminants. Then we consider Fourier-Mukai partners of K3 surfaces in the presence of polarisations, in which case we prove a counting formula for the number of partners.

研究动机与目标

• 将Fourier-Mukai伙伴理论扩展至配备极化的K3曲面，这是先前文献中较少探索的方向。
• 在存在极化的情况下，发展FM伙伴数量的计数公式，推广未极化K3曲面的HLY公式。
• 分析极化、超越格与自同构群在导出等价性背景下的相互作用。
• 研究FM伙伴数量如何随Picard秩与极化类型变化，特别是在高秩及无子式正交补情形下。

提出的方法

• 利用K3曲面的导出范畴与导出Torelli定理，将FM伙伴与上同调格的Hodge同构联系起来。
• 应用Nikulin的格嵌入理论（通过判别形式）对超越格嵌入到K3格$L_{2d}$进行分类。
• 应用Eichler准则以确定具有给定范数与除数的$ \tilde{O}(L_{2d})$-轨道数量，这对计数非等价嵌入至关重要。
• 分析$O(D_{L_{2d}})$对这些轨道的作用，以计算$O(L_{2d})$-轨道的数量，从而考虑对称性。
• 考虑$L_{2d}$中超越格的正交补，区分其为$2E_8(-1)$或$D_{16}^+(-1)$的情形，以证明至少存在两个非等价嵌入。
• 利用判别群$D_{L_{2d}} \cong \mathbb{Z}/2p^3\mathbb{Z}$及其自同构群$\mathbb{Z}/2\mathbb{Z}$，对$O(L_{2d})$作用下的轨道数进行上界估计。

实验结果

研究问题

• RQ1 极化存在时如何影响K3曲面FM伙伴的数量？
• RQ2 极化K3曲面FM伙伴的精确计数公式是什么？它与未极化情形有何不同？
• RQ3 在何种条件下，给定极化K3曲面对存在多个非同构的FM伙伴？
• RQ4 Picard秩如何影响FM伙伴集合的有限性与大小？
• RQ5 FM伙伴的数量是否可能无界？若是，其格理论条件为何？

主要发现

• 对于Picard秩为1且极化度为$2d$的K3曲面，FM伙伴的数量为$2^{p(d)-1}$，其中$p(d)$是$d$的素因子个数。
• 当超越格为$T = \langle 2a, 2b \rangle$且$a > b > 0$，$d = b = p^3$（$p$为满足$p \equiv 1 \pmod{4}$的素数）时，存在至少$p$个两两非等价的$T$到$L_{2d}$的嵌入，从而产生至少$p$个非同构的FM伙伴。
• 当$d = p^3$时，$ \tilde{O}(L_{2p^3})$-轨道中范数为$2p^3$、除数为$p^2$的向量数量为$2p$，其来源于同余方程$1 + c^2 \equiv 0 \pmod{p}$的解。
• $O(D_{L_{2p^3}}) \cong \mathbb{Z}/2\mathbb{Z}$对这些轨道的作用表明，$O(L_{2p^3})$-轨道的数量至少为$p$，从而说明随着$p$增大，FM伙伴数量呈现无界增长。
• 当$T$在$L_{2d}$中的正交补为无子式（例如$2E_8(-1)$或$D_{16}^+(-1)$）时，存在至少两个非等价的$T$嵌入，意味着至少存在两个FM伙伴。
• 当Picard秩$\geq 12$时，导出等价性蕴含同构，但同一曲面上仍可能存在多个非同构的极化，从而导致不同的FM伙伴。