[论文解读] Equivariant D-modules on alternating senary 3-tensors

András C. Lőrincz, Michael D. Perlman|arXiv (Cornell University)|Sep 24, 2018

Algebraic structures and combinatorial models被引用 1

一句话总结

本文对交替六元三重张量空间上的六个GL₆-等变D-模进行了分类，明确构造了这些模并计算了其特征标。通过带关系的quiver表示与Bernstein-Sato多项式，确定了所有迭代局部上同调模，并计算了轨道闭包的Lyubeznik数，解决了非球对称表示中具有有限多个轨道的等变D-模理论中的一个关键问题。

ABSTRACT

Let X be the third exterior power of a six-dimensional complex vector space, equipped with the natural action of the group GL_6(C) of invertible linear transformations of C^6. We describe explicitly the category of GL_6(C)-equivariant coherent D_X-modules as the category of representations of a quiver with relations, which has finite representation type. We give a construction of the six simple equivariant D_X-modules and give formulas for the characters of their underlying GL_6(C)-structures. We describe the (iterated) local cohomology groups with supports given by orbit closures, determining, in particular, the Lyubeznik numbers associated to the orbit closures.

研究动机与目标

• 对交替六元三重张量空间 X = ⋀³C⁶ 上的简单GL₆-等变D-模进行分类。
• 将GL₆-等变凝聚D-模的范畴描述为一个带关系的有限表示型quiver。
• 计算所有简单等变D-模的底层GL₆-模的特征标。
• 确定轨道闭包的迭代局部上同调模及其Lyubeznik数。
• 通过谱序列与Grassmannian上的去奇异化技术，解析局部上同调模的结构。

提出的方法

• 通过表示论方法显式构造六个简单等变D-模，并验证其GL₆-特征标公式。
• 建立GL₆-等变D-模范畴与一个特定关系的quiver Q的有限维表示范畴之间的等价关系。
• 使用Bernstein-Sato多项式 bf(s) = (s+1)(s+5/2)(s+7/2)(s+5) 分析局部化模 S_f 与 S_f·√f 的滤子结构。
• 应用谱序列 Hi_O(H^j(S)) ⇒ Hi+j(S) 计算局部上同调模，特别针对轨道闭包 O1、O2、O3。
• 通过O3的去奇异化及Grassmannian上的上同调计算，确定 H^j_O3(S) 中的非分裂扩张。
• 利用局部上同调的长正合序列及包含关系（如 D_f^{-5/2} ⊂ S_f·√f）推导出如 B4 和 D3 等D-模的上同调。

实验结果

研究问题

• RQ1 在交替六元三重张量空间上，简单GL₆-等变D-模的完整分类是什么？
• RQ2 GL₆-等变凝聚D-模的范畴如何描述为一个带关系的quiver？
• RQ3 每个简单等变D-模的底层GL₆-模的特征标是什么？
• RQ4 简单等变D-模的迭代局部上同调模是什么？相关的Lyubeznik数是多少？
• RQ5 如何通过Grassmannian上的上同调技术计算轨道闭包（特别是O3）的局部上同调模结构？

主要发现

• 在 X = ⋀³C⁶ 上恰好存在六个简单GL₆-等变D-模：E、D1、D2、D3、S 和 B4，其中 S 和 B4 具有满支撑。
• GL₆-等变凝聚D-模的范畴等价于一个具有八个顶点和八个2-环关系的quiver Q的有限维表示范畴，该quiver具有有限表示型。
• 局部上同调模 H^10_O1(S) = D1，H^5_O2(S) 属于非分裂扩张 0 → D2 → H^5_O2(S) → D1 → 0，H^1_O3(S) 属于 0 → D3 → H^1_O3(S) → E → 0。
• 对于 R1 = C[O1]_m，Lyubeznik数为 λ0,5(R1) = λ0,7(R1) = λ4,10(R1) = λ6,10(R1) = λ10,10(R1) = 1；对于 R2 = C[O2]_m，λ0,10(R2) = λ4,13(R2) = λ6,13(R2) = λ10,13(R2) = λ9,15(R2) = λ13,15(R2) = λ15,15(R2) = 1。
• 局部上同调模 H^1_O3(B4) 属于非分裂扩张 0 → D2 → H^1_O3(B4) → D1 → 0，且 H^1_O3(S) 是一个不可约但非单的D-模。
• 由于 O3 是超曲面，Lyubeznik数 λ19,19(C[O3]_m) = 1，其余所有 O3 的Lyubeznik数均为零。