[论文解读] Depth and the Local Cohomology of FI_G-modules

Liping Li, Eric Ramos|arXiv (Cornell University)|Feb 13, 2016

Algebraic structures and combinatorial models参考文献 14被引用 16

一句话总结

本文为交换诺特环上的 ${\mathscr{FI}}_G$-模建立了局部上同调理论，证明了通过同调代数定义的深度不变量与交换代数中的经典深度一致。通过基于 $\sharp$-过滤模与移位函子 $\Sigma$ 的新方法，作者证明了 Castelnuovo-Mumford 正则性受 $\operatorname{td}(H^i_{\mathfrak{m}}(V)) + i$ 的最大值限制，且在特定条件下等式成立。

ABSTRACT

In this paper we describe a machinery for homological calculations of representations of FI_G, and use it to develop a local cohomology theory over any commutative Noetherian ring. As an application, we show that the depth introduced by the second author coincides with a more classical invariant from commutative algebra, and obtain upper bounds of a few important invariants of FI_G-modules in terms of torsion degrees of their local cohomology groups.

研究动机与目标

• 为任意交换诺特环上的 ${\mathscr{FI}}_G$-模建立局部上同调理论，推广此前在域上得到的结果。
• 证明 Ramos 在 [R] 中引入的深度不变量在此更广泛设定下与交换代数中的经典深度一致。
• 基于 $\sharp$-过滤模与移位函子 $\Sigma$ 构建同调工具，以计算正则性、挠度等不变量。
• 以局部上同调群的挠度为基准，为 ${\mathscr{FI}}_G$-模的 Castelnuovo-Mumford 正则性提供上界。
• 提出并探讨一个猜想：正则性等于 $\operatorname{td}(H^i_{\mathfrak{m}}(V)) + i$ 的最大值，这将改进现有界。

提出的方法

• 引入并研究 $\sharp$-过滤模，作为有限生成 ${\mathscr{FI}}_G$-模范畴中投射与内射对象的替代。
• 利用移位函子 $\Sigma$ 及其左、右伴随（诱导与余诱导），将同调问题约化为更简单的情形。
• 在 ${\mathscr{FI}}_G$-模背景下应用 Eckmann-Shapiro 引理，将移位模的上同调与原模联系起来。
• 构造一个类似 Koszul 的复形 $\mathcal{C}^\bullet V$ 以计算局部上同调，并分析其上同调与挠度。
• 通过 $V$ 的生成次数进行归纳，并利用涉及挠部分与无挠部分的正合序列，以界定正则性。
• 利用同构 $H^i_{\mathfrak{m}}(\Sigma V) \cong \Sigma H^i_{\mathfrak{m}}(V)$，在猜想成立的前提下，将 $V$ 与 $\Sigma V$ 的正则性关联起来。

实验结果

研究问题

• RQ1 通过同调代数定义的 ${\mathscr{FI}}_G$-模的深度是否与任意交换诺特环上的经典深度一致？
• RQ2 能否为一般交换诺特环上的 ${\mathscr{FI}}_G$-模建立局部上同调理论，而不仅限于域？
• RQ3 ${\mathscr{FI}}_G$-模的 Castelnuovo-Mumford 正则性是否受 $\max_i \{ \operatorname{td}(H^i_{\mathfrak{m}}(V)) + i \}$ 限制？
• RQ4 在何种条件下正则性界中等式成立，特别是当 $V$ 不是 $\sharp$-过滤时？
• RQ5 若猜想成立，当 $\Sigma V$ 不是 $\sharp$-过滤时，$\Sigma V$ 的正则性是否等于 $\operatorname{reg}(V) - 1$？

主要发现

• 证明了 [R] 中通过同调代数定义的深度不变量在任意交换诺特环上与经典深度一致。
• 有限生成 ${\mathscr{FI}}_G$-模 $V$ 的正则性满足 $\operatorname{reg}(V) \leq \max_i \{ \operatorname{td}(H^i_{\mathfrak{m}}(V)) + i \}$，且在 $V$ 不是 $\sharp$-过滤时猜想等式成立。
• 对于挠模，该猜想意味着 $\operatorname{reg}(V) = \operatorname{td}(V)$，从而在该情形下给出紧致界。
• 移位函子 $\Sigma$ 满足 $H^i_{\mathfrak{m}}(\Sigma V) \cong \Sigma H^i_{\mathfrak{m}}(V)$，从而支持正则性的递归分析。
• 建立了界 $\operatorname{reg}(V) \leq \max\{2\operatorname{gd}(V) - 1, \operatorname{td}(V)\}$，恢复了先前工作中的已知结果。
• 若猜想 $\operatorname{reg}(V) = \max_i \{ \operatorname{td}(H^i_{\mathfrak{m}}(V)) + i \}$ 成立，将统一正则性理论与经典局部上同调理论，并推出当 $\Sigma V$ 不是 $\sharp$-过滤时 $\operatorname{reg}(\Sigma V) = \operatorname{reg}(V) - 1$。