[论文解读] Canonical abelianization of finite group actions

Victor V. Batyrev|ArXiv.org|Sep 5, 2000

Homotopy and Cohomology in Algebraic Topology被引用 8

一句话总结

本文提出了一种通过等变爆破实现有限群作用在光滑复代数簇上的阿贝尔化规范算法，确保所有稳定子子群均为阿贝尔群。该方法通过迭代爆破由最大非阿贝尔稳定子簇及其相关表示理论数据导出的光滑、$G$-不变中心，系统地解决非阿贝尔稳定子问题，最终得到一个具有阿贝尔稳定子的$G$-正规对。

ABSTRACT

In these notes we present a corrected version of the algorithm for abelianization of stabilizers of finite group actions on smooth manifolds using equivariant blow ups.

研究动机与目标

• 修正并形式化[1] §5中最初提出的有限群作用在光滑复代数簇上的阿贝尔化算法。
• 构建一个规范的、$G$-等变的解析过程，将任意$G$-正规对转化为具有阿贝尔稳定子的对。
• 确保最终的双有理态射保持$G$-不变性并维持法向交除子结构。
• 提供一种基于稳定子群表示理论数据的系统性程序，以解决非阿贝尔稳定子问题。

提出的方法

• 定义一个$G$-正规对$(V,D)$，其中$D$是具有法向交支持的$G$-不变${\mathbb{Q}}$-除子，且$St_G(x)$-不变分量。
• 识别具有最大非阿贝尔稳定子的点的子簇$Z_{\rm max}(V,G)$，其为余维至少为2的光滑、$G$-不变子簇。
• 对每个此类分量$Z_i$，将稳定子表示$\rho_i$分解为特征标和高维不可约表示，并定义$\overline{H_i}$为特征标的核。
• 若$\overline{H_i} = H_i$，则爆破中心$C(V,G)$，即所有此类$Z_i$的并集，以减小最大非阿贝尔稳定子的规模。
• 若$\overline{H_i} \neq H_i$，定义$W_i = V^{\overline{H_i}}$，其包含$Z_i$，若$W(V,G)$光滑则爆破其并集，否则爆破其最大奇点集$B(V,G)$。
• 通过归纳法对$s(V,G)$和$m(V,G)$迭代该过程，确保每一步严格减小，直至所有稳定子均为阿贝尔群。

实验结果

研究问题

• RQ1 如何在保持$G$-等变性与除子法向交结构的前提下，对光滑复代数簇上的有限群作用进行规范阿贝尔化？
• RQ2 选择等变爆破中心以消除非阿贝尔稳定子的正确几何与表示理论准则为何？
• RQ3 如何确保阿贝尔化过程在有限步内终止并得到一个明确且规范的结果？
• RQ4 在构建爆破中心时，度数≥2的不可约表示与特征标核起何作用？
• RQ5 当$\overline{H_i}$-固定子簇的奇点集非光滑时，该算法是否仍可系统地应用？

主要发现

• 该算法产生一个规范的$G$-等变爆破序列$V = V_0 \to V_1 \to \cdots \to V_k = V^{ab}$，使得$V^{ab}$仅具有阿贝尔稳定子。
• 每次爆破均保持对$(V_i, D_i)$的$G$-正规性，确保除子结构保持良好。
• 该过程通过减小最大非阿贝尔稳定子的规模$s(V,G)$或$Z_{\rm max}(V,G)$的分量数量来保证终止。
• 当$C(V,G) = \emptyset$时，中心$W_i = V^{\overline{H_i}}$为余维至少为2的光滑子簇，允许进一步爆破。
• 若$W(V,G)$为奇异，则算法使用最大重数子簇$B(V,G)$定义下一次爆破中心，确保重数不变量$m(V,G)$的减小。
• 最终的$V^{ab}$为一个光滑的$G$-簇，具有$G$-正规对$(V^{ab}, D^{ab})$，且所有稳定子均为阿贝尔群，实现了规范阿贝尔化。