[论文解读] The coherent component of the moduli of McKay quiver representations for abelian groups

Alastair Craw, Diane Maclagan+1 more|arXiv (Cornell University)|May 6, 2005

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

一句话总结

本文描述了有限阿贝尔子群 G ⊂ GL(n, k) 的 McKay 余箭图表示模空间 Mθ 的一致分量 Yθ。证明 Yθ 是一个拟未必正规的 тор性概形，且存在到 An/G 的射影双有理态射；提出一种基于 Gröbner 基的计算方法，以确定对应的余箭图表示及其相关 G-等变模；并证明 G-Hilb 可能为不可约的，且 Yθ 可能非正规，从而回答了 Nakamura 对 G ∈ GL(3,k) 和 GL(6,k) 的一个疑问。

ABSTRACT

For a finite abelian group G ⊂ GL(n, k), we describe the coherent component Yθ of the moduli space Mθ of McKay quiver representations. This is a not-necessarily-normal toric variety that admits a projective birational morphism Yθ → A n /G obtained by variation of GIT quotient. We present a simple calculation to determine the quiver representation corresponding to any point of Yθ, and describe the associated G-equivariant k[x1,...,xn]-module via Gröbner bases. In the case Mθ = G-Hilb, we show that G-Hilb may be reducible and its coherent component Yθ = Hilb G may be nonnormal, giving examples for G in GL(3, k) and GL(6, k) respectively. The latter answers a question of Nakamura.

研究动机与目标

• 描述有限阿贝尔子群 G ⊂ GL(n, k) 的 McKay 余箭图表示模空间 Mθ 的一致分量 Yθ。
• 通过 GIT 商的变分，建立 Yθ → An/G 的射影双有理态射。
• 提供一种构造性方法，以确定 Yθ 中任意点对应的余箭图表示。
• 利用 Gröbner 基描述 Yθ 中点对应的 G-等变 k[x1,…,xn]-模的结构。
• 研究 G-Hilb 的几何性质，特别是其不可约性与非正规性，从而解决 Nakamura 提出的问题。

提出的方法

• 作者利用 GIT 商的变分，从一致分量 Yθ 构造到商概形 An/G 的射影双有理态射。
• 他们建立了一个组合与代数框架，基于 McKay 余箭图的结构，计算 Yθ 中任意点对应的余箭图表示。
• 应用 Gröbner 基技术，显式计算相关的 G-等变 k[x1,…,xn]-模。
• 该构造依赖于 Yθ 的 тор性性质，证明 Yθ 是一个未必正规的 тор性概形。
• 通过一致分量 Yθ 的视角，分析 G-Hilb 的几何结构，包括其分支与奇点。
• 为 G ⊂ GL(3,k) 和 G ⊂ GL(6,k) 构造了显式例子，以证明非正规性与不可约性。

实验结果

研究问题

• RQ1 对于有限阿贝尔子群 G ⊂ GL(n,k)，能否显式描述 McKay 余箭图表示模空间 Mθ 的一致分量 Yθ？
• RQ2 Yθ 是否可通过 GIT 商的变分，存在到 An/G 的射影双有理态射？
• RQ3 G-Hilb 是否总是不可约的？其一致分量 Yθ 是否可能非正规？
• RQ4 Yθ 中点对应的 G-等变 k[x1,…,xn]-模具有何种结构？
• RQ5 能否构造显式例子，使得 G-Hilb 不可约或 Yθ 非正规，特别是在高维情形下？

主要发现

• 一致分量 Yθ 是一个未必正规的 тор性概形，且存在到 An/G 的射影双有理态射。
• 基于余箭图表示与 Gröbner 基的简单算法，可显式计算 Yθ 中任意点对应的余箭图表示。
• 对于 G-Hilb，其一致分量 Yθ 可能非正规，从而构成对潜在正规性假设的反例。
• G-Hilb 可能不可约，表明 G-Hilbert 模式并非总是不可约的。
• 本文在 GL(3,k) 与 GL(6,k) 中构造了显式例子，证明 Yθ 非正规且 G-Hilb 不可约，从而解决了 Nakamura 的一个疑问。
• Yθ 的几何结构完全由 McKay 余箭图的组合结构与 GIT 房间结构决定。