[论文解读] Noncommutative desingularization of orbit closures for some representations of $GL_n$

Jerzy Weyman, Gufang Zhao|arXiv (Cornell University)|Apr 2, 2012

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

一句话总结

本文通过偏旗流形上的例外丛构造了 $GL_n$-表示轨道闭包的非交换去奇异化，包括行列式、对称及Pfaffian簇，给出了这些非交换去奇异化的显式带关系的 quiver，且在最大子式与对称矩阵情形下确立其为非交换卡塔兰去奇异化（NCCRs）。

ABSTRACT

We describe noncommutative desingularizations of determinantal varieties, determinantal varieties defined by minors of generic symmetric matrices, and pfaffian varieties defined by pfaffians of generic anti-symmetric matrices. For maximal minors of square matrices and symmetric matrices, this gives a non-commutative crepant resolution. Along the way, we describe a method to calculate the quiver with relations for any non-commutative desingularizations coming from exceptional collections over partial flag varieties.

研究动机与目标

• 为 $GL_n$ 作用下生成的行列式、对称及Pfaffian簇（作为轨道闭包）构造非交换去奇异化。
• 将非交换卡塔兰去奇异化（NCCRs）的框架扩展至高余秩行列式簇及对称/Pfaffian情形。
• 发展一种通用方法，用于从偏旗流形上的例外丛计算非交换去奇异化的 quiver 与关系。
• 建立奇异簇上凝聚层导出范畴与倾斜丛端自同态代数模范畴之间的导出等价性。
• 证明端自同态代数的极大性与科恩-麦克aul伊teness，确保在 Gorenstein 情形下去奇异化为卡塔兰的。

提出的方法

• 利用 Kapranov 在 Grassmannian $\operatorname{Grass}(1,E)$ 上的全强例外丛系构造向量丛上总空间的倾斜丛。
• 通过投影映射的逆像定义 $\mathcal{Z}^{(d)}_s$ 上的倾斜对象，$\mathcal{Z}^{(d)}_s$ 是对称张量秩簇的交换去奇异化。
• 应用定理 2.6 证明倾斜丛的拉回是 $\mathcal{Z}^{(d)}_s$ 上的倾斜对象，从而保证导出等价性。
• 计算端自同态代数 $\operatorname{End}_{\mathcal{Z}^{(d)}_s}(p^{\prime*}\mathscr{T}il_K)$，并利用 Bott 定理与表示论分解证明其为极大科恩-麦克aul伊。
• 通过计算 $\operatorname{Ext}^t(S_i, S_j)$（对简单模），利用 $\mathbb{P}^1$ 上线丛 $\mathcal{Q}^*$ 与 $\mathcal{R}^*$ 的上同调计算，推导出带关系的 quiver。
• 应用 Littlewood-Richardson 与 Cauchy-Littlewood 公式分解外幂与对称幂的张量积，实现正上同调阶的消失论证。

实验结果

研究问题

• RQ1 能否系统性地构造 $GL_n$-表示轨道闭包（包括行列式、对称及Pfaffian簇）的非交换去奇异化？
• RQ2 在何种条件下，去奇异化轨道闭包上倾斜丛的端自同态代数为极大科恩-麦克aul伊？
• RQ3 如何从偏旗流形上的例外丛显式计算此类非交换去奇异化的 quiver 与关系？
• RQ4 在 Van den Bergh 意义下，何种情形下此类非交换去奇异化构成非交换卡塔兰去奇异化（NCCR）？
• RQ5 奇异轨道闭包上凝聚层导出范畴与端自同态代数模范畴之间存在何种导出等价关系？

主要发现

• 对于对称张量秩簇 $X^{(d)}_s$（秩 $\leq n-1$），Kapranov 倾斜丛在总空间 $\mathcal{Z}^{(d)}_s$ 上的拉回为倾斜丛，诱导导出等价。
• 端自同态代数 $\operatorname{End}_{\mathcal{Z}^{(d)}_s}(p^{\prime*}\mathscr{T}il_K)$ 为极大科恩-麦克aul伊，其证明依赖于 Bott 定理与表示论分解的上同调消失。
• 当 $n=2$ 时，有理正则曲线锥的非交换去奇异化的 quiver 与关系被显式计算：两个顶点，箭头 $\alpha: E$，$\beta: \mathbb{L}_{d-1}E$，关系为 $\alpha\beta(\mathbb{L}_{(d-1,1)}E)$ 与 $\beta\alpha(\mathbb{L}_{(d-1,1)}E)$。
• 该构造在平方与对称矩阵的最大子式情形下产生非交换卡塔兰去奇异化（NCCR），因端自同态代数为极大科恩-麦克aul伊且去奇异化为导出等价。
• 该方法可推广至高余秩行列式簇与 Pfaffian 簇，提供一种从偏旗流形上例外丛计算 quiver 与关系的系统性方法。
• 关键技术工具是使用 Cauchy-Littlewood 与 Littlewood-Richardson 公式分析 Schur 函子的张量积，并证明正上同调阶的消失。