[论文解读] A global Torelli theorem for rigid hyperholomorphic sheaves

Eyal Markman, Sukhendu Mehrotra|arXiv (Cornell University)|Oct 22, 2013

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

一句话总结

本文建立了关于 $K3^{[n]}$-型不可约全纯辛流形上刚性超全纯层的全局 Torelli 定理，证明若两个在 $X \times X$ 上的刚性 Azumaya 代数是模空间对的形变等价类且沿对角线具有相同的奇点类型，则它们同构或互为对偶。该结果在稳定性与单值性条件下提供了唯一性，其关键应用在于 $K3$ 曲面的广义形变。

ABSTRACT

We prove a global Torelli theorem for the moduli space of marked triples (X,m,A), consisting of an irreducible holomorphic symplectic manifold X, a marking m of its second integral cohomology, and a stable and rigid sheaf A of Azumaya algebras on the cartesian product X^d, d>0, such that the second Chern class of A is invariant under a finite index subgroup of the monodromy group of X. The main example involves the rank 2n-2 sheaf over the cartesian square of holomorphic symplectic manifolds of K3[n]-type considered in the work of the first author arXiv:1105.3223. The result will be used in the authors forthcoming work on generalized deformations of K3 surfaces.

研究动机与目标

• 建立不可约全纯辛流形 $K3^{[n]}$-型上刚性超全纯层的全局 Torelli 定理。
• 在形变等价性与奇点类型约束下，证明 $X \times X$ 上刚性 Azumaya 代数的唯一性。
• 在 Picard 群为平凡或循环且具有非负 Beauville-Bogomolov 度数的条件下，证明存在唯一一对 $\{A, A^*\}$ 满足形变等价性与稳定性条件。
• 为未来研究 $K3$ 曲面的广义形变提供基础性结果。

提出的方法

• 作者定义并研究了 $X \times X$ 上 Azumaya 代数的可去层，重点关注其关于凯勒类的稳定性。
• 他们引入了条件 1.6，这是一个开集且在扭积变换下不变的条件，确保与超全纯形变及单值性作用的相容性。
• 证明利用扭积族与超全纯形变，以保持斜率稳定性与对角线处的奇点类型。
• 为三元组 $(X,\eta,E)$ 构造了一个粗模空间 $\widetilde{{\mathfrak{M}}}_{\Lambda}^{0}$，其中 $E$ 是具有单值性不变的 $c_2$ 的稳定可去 Azumaya 代数。
• 单值群 $Mon^2(X)$ 作用于模空间，其上存在一个非平凡特征 $cov$，用于判断 Azumaya 代数在单值作用下是否映射到自身或其对偶。
• 关键论证基于斜率稳定的层在超全纯形变下保持稳定，且通过模空间中纤维逐点比较推导出同构性。

实验结果

研究问题

• RQ1 在何种条件下，$X \times X$ 上的刚性 Azumaya 代数能由其形变类型与奇点行为唯一确定（模同构或对偶）？
• RQ2 单值群 $Mon^2(X)$ 如何作用于稳定 Azumaya 代数的模空间？特征 $cov$ 在分类同构类中起什么作用？
• RQ3 可去 Azumaya 代数的稳定性能否在超全纯形变下保持？这与 Torelli 型唯一性结果有何关联？
• RQ4 当类在 $\Lambda/(2n-2)\Lambda$ 中阶为 $2n-2$ 时，层 $E_x$ 的 Brauer 类与其斜率稳定性之间有何关系？
• RQ5 当 Picard 群为平凡或循环且具有非负 Beauville-Bogomolov-Fujiki 度数时，是否存在唯一一对 $\{A, A^*\}$？

主要发现

• 若两个在 $X \times X$ 上的刚性 Azumaya 代数 $A_1$ 与 $A_2$ 均为 $(\omega,\omega)$-斜率稳定，形变等价于 $(M \times M, A_M)$，且沿对角线具有相同的奇点类型，则它们同构或互为对偶。
• 若 $Pic(X)$ 为平凡或循环且其类具有非负 Beauville-Bogomolov-Fujiki 度数，则存在唯一一对 $\{A, A^*\}$，使得 $(X \times X, A)$ 形变等价于 $(M \times M, A_M)$，且 $A$ 关于每个凯勒类均为斜率稳定。
• 单值群 $Mon^2(X)$ 通过特征 $cov$ 作用于模空间，使得对任意 $g \in Mon^2(X)$，有 $A$ 与 $A^{(*^{cov(g)})}$ 形变等价。
• 斜率稳定性 $E_x$ 在超全纯形变下保持不变，且在某点 $x$ 的稳定性可由其沿通用扭积路径的超全纯形变的稳定性推出。
• 扭积族通用纤维上 $E_{t,x'}$ 的 Brauer 类阶为 $2n-2$，这意味着其关于凯勒类 $\omega_t$ 是斜率稳定的。
• 条件 1.6 在扭积形变下保持不变，且在族中为开集，从而确保稳定性与奇点约束在整个形变过程中得以维持。