[论文解读] Quiver representations in toric geometry

Alastair Craw|ArXiv.org|Jul 14, 2008

Algebraic structures and combinatorial models参考文献 47被引用 23

一句话总结

本文通过奎iver表示与几何不变性理论（GIT）建立了一个非交换几何框架，用于半投影的toric簇，证明这些簇是束缚奎iver表示的精细模空间。此外，证明了此类簇上凝聚层的导出范畴与有限维代数上的模的导出范畴通过倾斜丛等价，将导出 McKay 对应关系从 $G$-Hilbert 簇推广到其他模空间。

ABSTRACT

This article is based on my lecture notes from summer schools at the Universities of Utah (June 2007) and Warwick (September 2007). We provide an introduction to explicit methods in the study of moduli spaces of quiver representations and derived categories arising in toric geometry. The first main goal is to present the noncommutative geometric approach to semiprojective toric varieties via quivers. To achieve this, we use geometric invariant theory to construct both semiprojective toric varieties and moduli spaces of quiver representations. The second main goal builds on the first by presenting an introduction to explicit methods in derived categories of coherent sheaves in toric geometry. We recall the notion of tilting bundles with examples, and describe the McKay correspondence as a derived equivalence in some detail following Bridgeland, King and Reid. We also describe extensions of their result beyond the $G$-Hilbert scheme to other fine moduli spaces of bound quiver representations.

研究动机与目标

• 提供半投影toric簇的非交换构造，作为束缚奎iver表示的精细模空间。
• 通过倾斜丛建立toric簇上有界凝聚层导出范畴与有限维代数上模的导出范畴之间的导出等价性。
• 将导出McKay对应关系从$G$-Hilbert簇推广到其他束缚奎iver表示的精细模空间。
• 证明半投影toric簇上基点自由线丛的多重线性系列可被实现为模函子，从而将该簇编码为束缚奎iver表示的模空间。

提出的方法

• 使用可对角化群作用的几何不变性理论（GIT）构建奎iver表示的模空间，作为半投影toric簇。
• 利用模空间的普遍族定义一个典范丛，编码toric簇作为束缚奎iver表示的精细模空间的结构。
• 应用倾斜丛与例外族的理论，将toric簇上凝聚层的导出范畴与奎iver表示的导出范畴联系起来。
• 利用GIT商的变体描述不同模空间之间的双有理变换，包括商奇点的共形解析。
• 为$G$-构型构造显式的奎iver表示，并在GIT墙结构中追踪其稳定性变化。
• 通过模空间上普遍层相关的傅里叶–穆凯伊变换证明导出等价性，利用奇异集上纤维的维数条件。

实验结果

研究问题

• RQ1 半投影toric簇能否被实现为束缚奎iver表示的精细模空间？
• RQ2 在何种条件下，toric簇上基点自由线丛的多重线性系列代表一个模函子？
• RQ3 toric簇上凝聚层的导出范畴与由奎iver表示导出的有限维代数上的模的导出范畴之间有何关系？
• RQ4 导出McKay对应关系能否从$G$-Hilbert簇推广到其他奎iver表示的模空间？
• RQ5 模空间上的普遍层在实现商奇点共形解析的导出等价性中起什么作用？

主要发现

• 通过GIT，半投影toric簇可被构造为束缚奎iver表示的精细模空间，推广了经典的线性系列构造。
• 对于每个与中心墙$C_0$相邻的GIT墙$C_i$，模空间$Y_i = \tilde{\tau}_i^{-1}(0)$同构于$\tau_i^{-1}(\text{pt})$，且$Y_i \times \bbk^4$上的普遍层$\fancyscript{U}_\theta$诱导出导出等价性。
• 通过与$\fancyscript{U}_\theta$相关的傅里叶–穆凯伊变换，$Y_i$上凝聚层的导出范畴等价于奎iver路径代数上模的导出范畴。
• 通过墙$W_i$的GIT商变体诱导的双有理映射精确对应于收缩$Y \to Y_i$，且该映射可实现为从$G$-Hilbert簇到新模空间的态射。
• 定理8.10所需的纤维维数条件得到满足：在商空间的任意奇异点上，纤维积的维数为$n+1 = 4$，确保导出等价性成立。
• 该结果可推广至有限子群$G \to \text{Sp}(n,\bbk)$及有限阿贝尔子群$G \to \text{SL}(n,\bbk)$，在更广泛设定下确认了导出McKay对应关系。