[论文解读] Non-commutative desingularization of determinantal varieties, II: Arbitrary minors

Ragnar-Olaf Buchweitz, Graham Leuschke+1 more|arXiv (Cornell University)|Jun 9, 2011

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

一句话总结

本文证明了由任意子式定义的行列式簇存在非交换的奇点消解，推广了此前关于最大子式的结果。利用特征零的技巧，通过截断杨图 quiver 与 Pieri 关系，给出了非交换消解的显式生成元与关系表示，并通过证明交换消解的有界导出范畴之间的全纯嵌入，证实了 Bondal 与 Orlov 的一个猜想。

ABSTRACT

In our paper "Non-commutative desingularization of determinantal varieties, I" we constructed and studied non-commutative resolutions of determinantal varieties defined by maximal minors. At the end of the introduction we asserted that the results could be generalized to determinantal varieties defined by non-maximal minors, at least in characteristic zero. In this paper we prove the existence of non-commutative resolutions in the general case in a manner which is still characteristic free, and carry out the explicit description by generators and relations in characteristic zero. As an application of our results we prove that there is a fully faithful embedding between the bounded derived categories of the two canonical (commutative) resolutions of a determinantal variety, confirming a well-known conjecture of Bondal and Orlov in this special case.

研究动机与目标

• 将行列式簇的非交换消解从最大子式推广至任意子式。
• 在特征零下，通过生成元与关系显式构造非交换消解的表示。
• 当 R 为 Gorenstein 时，证明倾斜模的自同态环是非交换共形奇点消解（NCCR）。
• 在行列式簇的两个典型交换消解的有界导出范畴之间建立全纯嵌入。
• 在这一特例中，利用导出范畴框架证实 Bondal 与 Orlov 的一个猜想。

提出的方法

• 在由 l-子式定义的行列式簇的消解上构造一个倾斜丛 T。
• 定义自同态环 E = End_R(T)，并证明其为最大 Cohen-Macaulay 模且具有有限全局维数。
• 利用特征零的表示理论，将外幂分解为不可约 GL-模，从而构造出 N_α 作为 T_α 的直和项。
• 引入顶点由 B_{l,m−l} 中的分拆索引的截断杨图 quiver，箭头对应于 F^∨ ⊗ G 的基。
• 通过 quiver化 Clifford 代数结构定义关系，整合 Pieri 法则与无迹分量。
• 证明代数 A = End_R(N) 同构于带有 Pieri 关系的截断杨图 quiver 的有界路径代数，从而与 E 建立 Morita 等价。

实验结果

研究问题

• RQ1 对于非最大子式定义的行列式簇，是否存在非交换消解，而不仅限于最大子式的情形？
• RQ2 此类非交换消解能否在特征零下通过生成元与关系显式描述？
• RQ3 行列式簇的两个典型交换消解的导出范畴之间是否存在全纯嵌入？
• RQ4 自同态环 E = End_R(T) 的全局维数与最大 Cohen-Macaulay 性质如何表现？
• RQ5 非交换消解能否在特征零下实现为 quiver化 Clifford 代数？

主要发现

• 自同态环 E = End_R(T) 作为 R-模是最大 Cohen-Macaulay 的，且具有有限全局维数，从而确认其为非交换奇点消解。
• 在特征零下，代数 A = End_R(N) 同构于带有 Pieri 关系的截断杨图 quiver 的有界路径代数，提供了显式表示。
• 模 N_α 关于 R 是最大 Cohen-Macaulay 的，且 T_α 可分解为 β ≤ α 的 N_β 的直和，其中 N_α 的重数为 1。
• 当 m = n 时，R 为 Gorenstein，且 E 在 Van den Bergh 意义下为非交换共形奇点消解。
• 非交换消解的导出范畴可全纯嵌入至交换消解的导出范畴中，从而证实了 Bondal 与 Orlov 的猜想。
• 非交换消解被实现为 quiver化 Clifford 代数，其结构关键依赖于特征零及 GL-表示的分解。