[论文解读] On singularities of quiver moduli

M. Domokos|ArXiv.org|Mar 24, 2009

Algebraic structures and combinatorial models参考文献 20被引用 5

一句话总结

本文证明了：一个箭图的模空间光滑当且仅当其基础箭图为Dykin或扩展Dykin类型，从而从几何角度刻画了这两类箭图。它表明任意箭图的模空间均可嵌入为一个具有相同奇点类型的双分箭图模空间的稠密开子簇，从而实现向无定向环箭图的约化，并证明非Dykin或非扩展Dykin类型的箭图总是产生任意高维的奇异模空间。

ABSTRACT

Any moduli space of representations of a quiver (possibly with oriented cycles) has an embedding as a dense open subvariety into a moduli space of representations of a bipartite quiver having the same type of singularities. A connected quiver is Dynkin or extended Dynkin if and only if all moduli spaces of its representations are smooth.

研究动机与目标

• 刻画所有表示模空间均为光滑的箭图。
• 证明任意箭图模空间可嵌入为一个具有相同奇点类型的双分箭图模空间的稠密开子簇。
• 建立非Dykin或非扩展Dykin箭图总是产生任意高维奇异模空间的结论。
• 通过模空间奇点统一几何与表示论性质。

提出的方法

• 通过将原箭图$Q$的顶点$v$加倍，引入两个新顶点$v_-$和$v_+$，并添加一条从$v_-$到$v_+$的新箭头$e$，构造新箭图$Q^v$。
• 在$Q^v$上定义维向量$\alpha^v$与权$\theta^{v,n}$，使得模空间$\mathcal{M}(Q^v, \alpha^v, \theta^{v,n})$包含原模空间$\mathcal{M}(Q, \alpha, \theta)$作为稠密开子簇。
• 应用几何不变量理论构造$\theta$-半稳定表示的粗模空间$\mathcal{M}(Q, \alpha, \theta)$。
• 利用Luna切片定理与矩阵元组的不变量，通过局部箭图设定下的不变量环分析模空间的局部奇点。
• 应用多项式环不变量结果判断光滑性：模空间在一点光滑当且仅当其局部不变量环为多项式环。
• 借助已知的半不变量与权半群结果，通过模空间几何刻画Dykin与扩展Dykin箭图。

实验结果

研究问题

• RQ1 在任意维向量与稳定性条件之下，何时一个箭图的所有模空间均为光滑？
• RQ2 能否在不改变奇点类型的前提下，将含定向环的箭图模空间研究约化为无定向环的箭图模空间？
• RQ3 在模空间方面，Dykin与扩展Dykin箭图相较于其他箭图具有何种几何特征？
• RQ4 非Dykin与非扩展Dykin箭图是否必然具有奇异模空间？若是，此类奇点的维数范围如何？

主要发现

• 有限连通箭图的所有模空间光滑当且仅当其为Dykin或扩展Dykin类型。
• 任意箭图表示的模空间均可作为具有相同奇点类型的双分箭图模空间的稠密开子簇嵌入其中。
• Dykin箭图的模空间要么为空，要么为单点；扩展Dykin箭图的模空间要么为空，要么同构于仿射空间或射影空间。
• 非Dykin与非扩展Dykin箭图可产生任意高维的奇异模空间，此结论通过存在负Ringel形式的Schur根得到证明。
• 模空间在某点的光滑性等价于Luna切片所得局部不变量环为多项式环，而当$\langle \gamma, \gamma \rangle < 0$时该条件不成立。
• 构造$Q^v$及其关联权$\theta^{v,n}$可确保双分箭图的模空间为射影空间，且原模空间为某齐次坐标的非零点集，因此其为仿射空间。