[论文解读] Moduli of McKay quiver representations II: Groebner basis techniques

Alastair Craw, Diane Maclagan+1 more|arXiv (Cornell University)|Nov 27, 2006

Algebraic structures and combinatorial models参考文献 11被引用 4

一句话总结

本文利用格罗布纳基和 торическая 几何的方法，发展了计算技术以研究 McKay 余代数表示的模空间，特别是模空间的凝聚分量 $Y_\theta$。本文提出了一种算法，用于判断一个 $\theta$-稳定 $G$-构型是否属于 $Y_\theta$，并在 $Y_\theta$ 与 $G$-Hilbert 模空间重合时，给出了显式的局部坐标图。主要贡献在于构造了一个非正规的 $G$-Hilbert 模空间，从而回答了中村关于正规性的问题。

ABSTRACT

In this paper we introduce several computational techniques for the study of moduli spaces of McKay quiver representations, making use of Groebner bases and toric geometry. For a finite abelian group G in GL(n,k), let Y_θbe the coherent component of the moduli space of θ-stable representations of the McKay quiver. Our two main results are as follows: we provide a simple description of the quiver representations corresponding to the torus orbits of Y_θ, and, in the case where Y_θequals Nakamura's G-Hilbert scheme, we present explicit equations for a cover by local coordinate charts. The latter theorem corrects the first result from [Nakamura]. The techniques introduced here allow experimentation in this subject and give concrete algorithmic tools to tackle further open questions. To illustrate this point, we present an example of a nonnormal G-Hilbert scheme, thereby answering a question raised by Nakamura.

研究动机与目标

• 使用格罗布纳基和 торическая 几何开发算法工具，以研究 McKay 余代数表示的模空间。
• 刻画哪些 $\theta$-稳定 $G$-构型属于模空间的凝聚分量 $Y_\theta$。
• 当 $\operatorname{Hilb}^G$ 与 $Y_\theta$ 重合时，提供 $G$-Hilbert 模空间的显式局部坐标图。
• 通过构造反例，解决中村关于 $\operatorname{Hilb}^G$ 正规性的问题。

提出的方法

• 使用格罗布纳理论，计算 McKay 模 $M_G$ 关于权向量 $({\bf v}, {\bf w})$ 的首项模。
• 应用线性规划，寻找 $\theta$-泛函在 $P^\vee_{\mathbf{w}}$ 上的最小化点 $\mathbf{v} \in P^\vee_{\mathbf{w}}$，使得对所有 $\mathbf{v}' \in P^\vee_{\mathbf{w}}$，有 $\theta \cdot \mathbf{v} \leq \theta \cdot \mathbf{v}'$。
• 将指定的 $\theta$-半稳定 $G$-构型构造为循环 $A$-模 $A / \operatorname{in}_{({\bf v},{\bf w})}(M_G)$。
• 将初始理想 $J$ 定义为关于特定权向量（如 $(22,10,16,50,31,21)$）的格点理想 $I_M$ 的首项理想。
• 使用 Normaliz 测试相关半群 $A_J$ 的半群正规性，以判断 $\operatorname{Hilb}^G$ 是否正规。
• 通过构造一个子群 $G \subset \operatorname{GL}(6,\Bbbk)$，同构于 $(\mathbb{Z}/5\mathbb{Z})^4$，且其 $G$-Hilbert 模空间非正规，从而构造反例。

实验结果

研究问题

• RQ1 对于所有有限阿贝尔子群 $G \subset \operatorname{GL}(n,\Bbbk)$，$G$-Hilbert 模空间 $\operatorname{Hilb}^G$ 是否始终保持正规？
• RQ2 能否算法性地判断一个 $\theta$-稳定 $G$-构型是否属于凝聚分量 $Y_\theta$？
• RQ3 当 $G$-Hilbert 模空间与 $Y_\theta$ 重合时，其显式局部坐标图是什么？
• RQ4 Sardo Infirri 声称所有模空间 $\mathcal{M}_\theta$ 都是 toric 代数簇，这一结论是否成立？
• RQ5 能否使用计算代数几何技术构造一个非正规的 $G$-Hilbert 模空间？

主要发现

• 本文为同构于 $(\mathbb{Z}/5\mathbb{Z})^4$ 的子群 $G \subset \operatorname{GL}(6,\Bbb{k})$ 构造了一个非正规的 $G$-Hilbert 模空间，从而以否定方式回答了中村关于正规性的问题。
• 与理想 $J$ 相关的半群 $A_J$ 不是正规的，因为向量 $(3,2,-3,1,-1,-2)$ 属于有理锥但不属于 $A_J$。
• 理想 $J$ 是格点理想 $I_M$ 关于权向量 $(22,10,16,50,31,21)$ 的首项理想，证实其定义了 $\operatorname{Hilb}^G$ 中的一个 $G$-簇。
• 基于求解线性规划和计算首项模的算法，提供了一种实用方法，用于判断 $\theta$-稳定 $G$-构型是否属于 $Y_\theta$。
• 该结果反驳了 Sardo Infirri 的主张，即所有 $\mathcal{M}_\theta$ 都是 toric 代数簇，如例 4.12 和 5.7 中的反例所示。
• 凝聚分量 $Y_\theta$ 并非总是正规的，如所构造例子中 $\operatorname{Hilb}^G$ 的非正规性所证明。