[论文解读] Homological invariants of determinantal thickenings

Claudiu Raicu|arXiv (Cornell University)|Dec 28, 2017

Commutative Algebra and Its Applications参考文献 16被引用 4

一句话总结

本文综述了在 GLₘ(ℂ)×GLₙ(ℂ) 作用下，行列式理想关于同调不变量——Tor、Ext 和局部上同调——的研究，结合表示理论、D-模理论与代数几何。研究提供了 Ext 和局部上同调模的显式描述，并通过李超代数表示识别了斜率结构，为复数域上的行列式环中的不变量提供了一个全面的框架。

ABSTRACT

The study of homological invariants such as Tor, Ext and local cohomology modules constitutes an important direction in commutative algebra. Explicit descriptions of these invariants are notoriously difficult to find and often involve combining an array of techniques from other fields of mathematics. In recent years tools from algebraic geometry and representation theory have been successfully employed in order to shed some light on the structure of homological invariants associated with determinantal rings. The goal of this notes is to survey some of these results, focusing on examples in an attempt to clarify some of the more technical statements.

研究动机与目标

• 对复数域上多项式环中 GLₘ(ℂ)×GLₙ(ℂ)-不变理想进行分类，特别是行列式理想。
• 描述基本同调不变量（Tor、Ext 和局部上同调）在 GLₘ(ℂ)×GLₙ(ℂ)-模结构下的表现。
• 将这些不变量的结构与表示理论、代数几何和 D-模理论中的深刻工具联系起来。
• 识别斜率结构和局部上同调模的扩张数据方面的开放问题。
• 将该框架扩展至对称与反对称矩阵，并考虑正特征情形的类比。

提出的方法

• 利用 De Concini-Eisenbud-Procesi 建立的代数标准形理论，对 GLₘ(ℂ)×GLₙ(ℂ)-不变理想进行分类。
• 应用 Grothendieck 对偶性和 Borel–Weil–Bott 定理，将 Ext 模作为格拉斯曼流形上的表示进行计算。
• 通过其作为正则整体 D-模的结构分析局部上同调，特别使用 Jordan–Hölder 膜。
• 利用一般线性李超代数的表示理论研究斜率模，尤其针对初等理想。
• 利用 D-模理论描述局部上同调模中的合成因子和扩张数据。
• 应用 [raicu-weyman] 和 [raicu-regularity] 的结果，计算行列式理想的正则性与投射维数。

实验结果

研究问题

• RQ1 对于 GL-不变理想 I，GLₘ(ℂ)×GLₙ(ℂ)-模结构如何描述 Tor 模 Tor•S(I, ℂ)？
• RQ2 如何显式地将行列式理想的 Ext 模 Ext•S(S/I, S) 描述为表示？
• RQ3 对于行列式理想，局部上同调模 H•I(S) 的合成列和扩张数据是什么？
• RQ4 当 2 < p < n 且 1 < d < n−1 时，能否给出行列式理想小次幂的 Castelnuovo–Mumford 正则性的闭合公式？
• RQ5 行列式理想的同调不变量在正特征域上如何表现？该分类能否推广至正特征情形？

主要发现

• 利用 Borel–Weil–Bott 理论和 Grothendieck 对偶性，显式计算了行列式理想 In,p 的 Ext 模 Ext•S(S/I, S)。
• 局部上同调模 H•I(S) 是有限长的正则整体 D-模，其合成因子由公式 (5.3) 编码。
• 对于行列式理想 In,p，通常幂、饱和幂和符号幂的正则性由公式 reg(Ipd) = pd + ⌊(p−1)/2⌋⌈(p−1)/2⌉ 给出，当 d ≥ n−1 时成立。
• 当 p=2 时，I2d 的正则性为 d + n − 1，其中 d = 1, ..., n−1，从而在低次情形给出了闭合公式。
• 对于初等 GL-不变理想，斜率模 Tor•S(I, ℂ) 的表示理论已知，但一般情形仍为开放问题。
• 当 m=n 时，GL-等变正则整体 D-模的范畴不是半单的，必须在合成因子之外计算扩张数据。