[论文解读] Families of G-constellations over resolutions of quotient singularities

Timothy Logvinenko|ArXiv.org|May 14, 2003

Advanced Topics in Algebra参考文献 10被引用 10

一句话总结

本文对有限阿贝尔群 $ G \leq \mathrm{GL}_n(\mathbb{C}) $ 的商奇点 $ \mathbb{C}^n/G $ 的解析解剖中，分类了 $ G $-构形家族——即具有与正则表示同构的全局截面的 $ G $-等变凝聚层——的参数化。它引入了 $ G $-魏尔除子作为魏尔除子的推广，并建立了此类家族的同构类与满足特定线性不等式的 $ G $-魏尔除子有限集之间的一一对应关系，证明了等价类的有限性。

ABSTRACT

Let G be a finite subgroup of GL_n(C). A study is made of the ways in which resolutions of the quotient space C^n / G can parametrise G-constellations, that is, G-regular finite length sheaves. These generalise G-clusters, which are used in the McKay correspondence to construct resolutions of orbifold singularities. A complete classification theorem is achieved, in which all the natural families of G-constellations are shown to correspond to certain finite sets of G-Weil divisors, which are a special sort of rational Weil divisor, introduced in this paper. Moreover, it is shown that the number of equivalence classes of such families is always finite. Explicit examples are computed throughout using toric geometry.

研究动机与目标

• 理解哪些 $ G $-构形家族可被给定的 $ \mathbb{C}^n/G $ 奇点的解析解 $ Y $ 参数化。
• 将麦克凯对应中使用的 $ G $-簇概念推广至包含所有 $ G $-构形，而不仅限于长度等于 $ |G| $ 的情形。
• 引入并研究 $ G $-魏尔除子作为一类新的有理魏尔除子，用于编码 $ G $-构形家族的结构。
• 在任意解析解 $ Y $ 上，对自然 $ G $-构形家族建立完整分类，证明其与满足特定不等式的 $ G $-魏尔除子有限集之间存在双射。
• 证明此类家族的等价类数量始终有限，从而为 $ G $-构形的模空间提供结构性约束。

提出的方法

• 将 $ G $-卡蒂尔除子定义为 $ K^*_G(\mathbb{C}^n)/\mathcal{O}_Y^* $ 的全局截面，其中 $ K^*_G(\mathbb{C}^n) $ 是 $ \mathbb{C}^n $ 上非零 $ G $-齐次有理函数的群。
• 通过从 $ K^*_G(\mathbb{C}^n) $ 延拓的赋值，将 $ G $-魏尔除子定义为 $ Y $ 上的 $ \mathbb{Q} $-魏尔除子的子集，推广经典魏尔除子。
• 将 $ G $-构形家族构造为 $ Y $ 上的直和 $ \oplus \mathcal{L}(-D_\chi) $，其中每个 $ D_\chi $ 是 $ \chi $-魏尔除子。
• 对所有 $ G $-齐次 $ f \in \mathbb{C}[x_1,\dots,x_n] $ 强制施加线性不等式 $ D_\chi + (f) - D_{\chi\rho(f)} \geq 0 $，以确保与 $ R $-模结构的相容性。
• 通过设定 $ D_{\chi_0} = 0 $ 对家族进行归一化，以消除冗余并为每个等价类固定唯一代表。
• 利用最大平移除子构造 $ M_\chi $ 来界定可能的 $ D_\chi $ 空间，从而证明分类的有限性。

实验结果

研究问题

• RQ1 哪些 $ G $-构形家族可被给定的 $ \mathbb{C}^n/G $ 奇点的解析解 $ Y $ 参数化？
• RQ2 如何系统地根据 $ Y $ 上的几何与代数数据对所有此类家族进行分类？
• RQ3 $ G $-魏尔除子在编码 $ G $-构形家族结构中起什么作用？
• RQ4 能否证明此类家族的等价类数量为有限？
• RQ5 是否存在一种规范方式，通过除子数据参数化所有 $ G $-构形家族？

主要发现

• 所有在解析解 $ Y $ 上沿通用 $ G $-轨道变形的 $ G $-构形家族，其形式均为 $ \oplus_{\chi \in G^\vee} \mathcal{L}(-D_\chi) $，其中每个 $ D_\chi $ 是 $ \chi $-魏尔除子。
• 所有此类家族的集合与满足不等式 $ D_\chi + (f) - D_{\chi\rho(f)} \geq 0 $ 的 $ G $-魏尔除子有限集之间存在双射，其中 $ f $ 取遍所有 $ G $-齐次元素。
• 每个等价类家族均有唯一的代表，其满足 $ D_{\chi_0} = 0 $，从而提供了一种规范归一化。
• 除子集 $ \{D_\chi\} $ 受限于 $ M_\chi \geq D_\chi \geq -M_{\chi^{-1}} $，其中 $ M_\chi $ 是仅依赖于 $ G $ 和 $ Y $ 的固定除子，从而保证了有限性。
• 此类家族的等价类数量始终有限，因为归一化重叠集的有限性源于 $ M_\chi $ 和的有限性。