[论文解读] Equivariant D-modules on 2x2x2 hypermatrices

Michael D. Perlman|arXiv (Cornell University)|Sep 2, 2018

Algebraic structures and combinatorial models参考文献 19被引用 3

一句话总结

本文通过分类其简单对象并显式确定控制该范畴的带关系的 quiver，构建了二维×二维×二维超矩阵空间上 GL-等变凝聚 D-模的范畴。它利用超行列式结构和谱序列，计算了所有在轨道闭包上支持的局部上同调的迭代，并通过带显式关系的 quiver 表示，完整描述了 D-模范畴的表示理论。

ABSTRACT

Let V be the space of 2x2x2 complex hypermatrices, endowed with the natural group action of GL=GL(2,C)^3. The category of GL-equivariant coherent D-modules on V is equivalent to the category of representations of a quiver with relations. In this article, we give a construction of each simple object and study their GL-equivariant structure. Using this information, we go on to explicitly describe the corresponding quiver with relations. As an application, we compute all iterations of local cohomology with support in the orbit closures of V.

研究动机与目标

• 对二维×二维×二维超矩阵空间 V = C²⊗C²⊗C² 上的所有简单 GL-等变 D-模进行分类。
• 确定控制 V 上 GL-等变凝聚 D-模范畴的带关系的 quiver。
• 计算在 V 中七个 GL-轨道的闭包上支持的所有局部上同调迭代。
• 理解简单 D-模的等变结构及其在 Holonomic 对偶和傅里叶变换下的行为。

提出的方法

• 将每个简单 GL-等变 D-模构造为 V 中七个 GL-轨道之一上的平凡局部系统所对应的 D-模。
• 利用 Riemann-Hilbert 对应关系，将简单 D-模与轨道上的等变局部系统联系起来。
• 通过分析 mod_GL(D_V) 的范畴结构，识别顶点为简单模，箭头为 Hom 空间，推导出带关系的 quiver。
• 应用谱序列和局部上同调的长正合列，计算迭代局部上同调群。
• 利用超行列式 h ∈ S 作为关键不变量，定义某些 D-模的支集，并分析局部上同调。
• 采用涉及 S、F 和 G₆ 的短正合列，通过 Čech 和谱序列技术计算局部上同调。

实验结果

研究问题

• RQ1 在二维×二维×二维超矩阵空间 V 上，简单 GL-等变 D-模的完整分类是什么？
• RQ2 控制 V 上 GL-等变凝聚 D-模范畴的带关系的 quiver 是什么？
• RQ3 如何计算该空间上所有在轨道闭包上支持的局部上同调迭代？
• RQ4 Holonomic 对偶函子和傅里叶变换在简单 D-模上的行为如何？
• RQ5 S、G₆ 和 D_i,j,k 模通过短正合列及其局部上同调如何关联？

主要发现

• 恰好存在八个简单 GL-等变 D-模：七个具有真支集（D₀=E, D₁, D₁,₂,₂, D₂,₁,₂, D₂,₂,₁, D₅）和两个全支集简单模（S 和 G₆）。
• Quiver 结构有两个连通分支：一个用于平凡模及其关系，另一个用于五个与轨道相关的简单模，其关系复杂，涉及 α, β, γ, δ, φ, ψ。
• Holonomic 对偶函子固定所有简单模，而傅里叶变换交换 (S,E) 和 (G₆,D₁)，其余模保持不变。
• 对于 O ≠ O₆，H•_O(O) 通过谱序列和 Čech 上同调计算，其中 H⁴_O₀(G₆) = E⊕³ 且 H⁶_O₀(G₆) = E⊕²。
• 对于所有满足 O ≠ O₆ 的轨道，H•_O(F) 在度数 1 处为 D₁，且 H⁵_O₀(F) = E，而 H⁰_O₁(G₆) = H¹_O₁(G₆) = 0。
• 任何简单模 M 的迭代局部上同调可通过关系 H•_O(M) = H•+¹_O(S)（当 M = S_h/S 时）和 H•_O(M) = H•+¹_O(G₆)（当 M = (S_h·√h)/G₆ 时）计算。