[论文解读] Cox rings of some symplectic resolutions of quotient singularities

Maria Donten-Bury, Maksymilian Grab|arXiv (Cornell University)|Apr 28, 2015

Algebraic Geometry and Number Theory参考文献 2被引用 4

一句话总结

本文提出了一组有限生成元，用于描述有限辛群 $G$ 作用于 $ℂ^n$ 时，商奇点 $ℂ^n/G$ 的辛解析解的考克斯环。该工作推广了早期结果，通过构造来自换位子群不变量与单项赋值的生成元，并在单项赋值满足特定条件时证明其充分性。主要贡献在于为辛解析解提供了统一且显式的考克斯环描述，已在三个四维例子中得到验证，包括 $S_3$、$K_2 \wr S_2$ 和二面体四面体群 $G_4$，其中一个情形被实现为GIT商空间。

ABSTRACT

We investigate Cox rings of symplectic resolutions of quotients of $\mathbb{C}^{2n}$ by finite symplectic group actions. We propose a finite generating set of the Cox ring of a symplectic resolution and prove that under a condition concerning monomial valuations it is sufficient. Also, three 4-dimensional examples are described in detail. Generators of the (expected) Cox rings of symplectic resolutions are computed and in one case a resolution is constructed as a GIT quotient of the spectrum of the Cox ring.

研究动机与目标

• 将 [DBW14] 中研究的32阶群推广至更一般的辛群作用下，实现对商奇点辛解析解的考克斯环构造。
• 为任意有限辛群 $G$ 生成的辛反射群作用下的 $ℂ^n/G$ 的辛解析解，提供一个有限且显式的考克斯环生成集。
• 基于换位子群 $[G,G]$ 与 $ab(G) = G/[G,G]$ 的作用，建立一个理论框架，通过单项赋值将不变量与除子类联系起来。
• 在三个详细的四维例子中验证所提出的生成集，包括通过 flop 相关联的多个解析解的情形。
• 通过考克斯环的谱的GIT商空间，探索中心纤维与稳定性条件的几何结构。

提出的方法

• 将辛解析解 $X$ 的考克斯环 $\mathcal{R}(X)$ 构造为 $ℂ[V]^{[G,G]}[t_1^{\pm1}, \dots, t_m^{\pm1}]$ 的子环，其中 $t_i$ 是Picard环的坐标。
• 生成元由对应于例外除子 $E_i$ 与曲线上 $C_j$ 的单项式 $t_1^{E_i \cdot C_1} \cdots t_m^{E_i \cdot C_m}$ 构成。
• 额外的生成元定义为 $\overline{\phi}_j = \phi_j \cdot \prod_{i=1}^m t_i^{\overline{D}_j \cdot C_i}$，其中 $\phi_j$ 是 $ab(G)$-作用在 $ℂ[V]^{[G,G]}$ 上的特征向量，$\overline{D}_j$ 是 $V/G$ 上除子的严格提升。
• 该构造依赖于 McKay 对应关系与与辛反射共轭类相关的单项赋值 $\nu_i$，后者将除子类与群元素联系起来。
• 为确保所提生成元足以生成完整的考克斯环，施加了一个关键条件（3.1）于单项赋值上。
• 在具体例子中，计算环 $ℂ[V]^{[G,G]}$ 作为不变量环，并识别 $ab(G)$ 的特征向量以形成 $\phi_j$ 生成元。

实验结果

研究问题

• RQ1 能否为任意有限辛群 $G$ 作用下的 $ℂ^n/G$ 的辛解析解，构造一个有限且统一的考克斯环生成集？
• RQ2 在 $ℂ(V)^{[G,G]}$ 上的单项赋值满足何种条件时，所提生成集足以生成完整的考克斯环？
• RQ3 解析解的几何与拓扑结构（如中心纤维与 flop）如何在考克斯环及其 GIT 商空间中体现？
• RQ4 能否将辛解析解的考克斯环实现为所提生成元生成的环的谱的 GIT 商空间？
• RQ5 在四维情形下，对于非交换辛群，考克斯环及其生成元的结构在多大程度上可以显式计算？

主要发现

• 对于对称群 $S_3$，所提生成集是有限且充分的，且解析解唯一，考克斯环由 $t_1^{-2}t_2$、$t_1t_2^{-2}$ 以及适当的单项修正的特征向量 $\phi_j$ 生成。
• 对于 $K_2 \wr S_2 \cong D_8$，存在两个辛解析解，通过 flop 相关联，两者均被实现为考克斯环谱的 GIT 商空间，且通过显式分析验证了光滑性与稳定性。
• 通过 Picard 环作用于考克斯环谱，描述了 $D_8$ 解的中心纤维结构，揭示了与 flop 一致的几何特征。
• 对于二面体四面体群 $G_4$，所提生成集已计算得出，但因复杂性，单项赋值的条件（3.1）尚未验证。
• 在所有例子中，考克斯环生成元显式计算为 $t_1^{E_i \cdot C_1} \cdots t_m^{E_i \cdot C_m}$ 与 $\phi_j \cdot \prod t_i^{\overline{D}_j \cdot C_i}$，其中 $\phi_j$ 是 $ab(G)$-作用在 $ℂ[V]^{[G,G]}$ 上的特征向量，且环结构与预期的解析解几何一致。