[论文解读] Homological Invariants of FI-modules and FI_G-modules

Eric Ramos|arXiv (Cornell University)|Nov 12, 2015

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

一句话总结

本文为交换环上有限生成的 $$FI_G$-模发展了一套同调深度理论，推广了关于 Castelnuovo-Mumford 正则性的结果。研究证明，此类模的正则性有界于 $r + \min\{r,d\} - 1$，其中 $d$ 为生成次数，$r$ 为首阶同调次数，该结果改进了 Church、Ellenberg 和 Farb 的界，并在特征零下证明了同调深度与经典深度概念的等价性。

ABSTRACT

We explore a theory of depth for FI_G-modules which are presented in finite degrees. Using this theory, we prove results about the regularity, and provide novel bounds on stable ranges of FI-modules, making effective a theorem of Nagpal and thereby refining the stable range in results of Church, Ellenberg, and Farb.

研究动机与目标

• 为交换环上有限生成的 $$FI_G$-模发展深度理论，扩展 $$FI$-模的结果。
• 以生成次数与同调次数为参数，提供 $$FI_G$-模的 Castelnuovo-Mumford 正则性的有效界。
• 在特征零下，建立通过导出函子（导出函子的导数）定义的同调深度与通过 Ext 函子定义的经典深度之间的等价性。
• 通过使 Nagpal 定理有效化，改进 Church、Ellenberg 和 Farb 的结果中关于稳定范围的界。

提出的方法

• 在 $$FI_G$-模上引入导出函子 $D$，定义为自然映射 $V \to \operatorname{S}V$ 的余核，其中 $\operatorname{S}V$ 为平移函子。
• 将 $V$ 的同调深度定义为最小的 $a$，使得 $H_1^{D^{a+1}}(V) \neq 0$，并将导出正则性定义为所有 $a$ 上 $H_1^{D^a}(V)$ 的最大次数。
• 利用平移函子 $\operatorname{S}_b$ 及其迭代来分析 $V$ 及其商模的结构，特别是与 $$\sharp$-过滤模的关系。
• 应用导出函子 $H_i^{D^a}$，将 $V$ 的同调不变量与其正则性和深度联系起来。
• 证明在特征零下，对于有限生成的 $$FI_G$-模，通过 $\operatorname{Ext}^i(\mathcal{G}, \cdot)$ 定义的经典深度等于同调深度。
• 通过正合序列的深度增量性质以及 $\operatorname{Ext}$ 函子的消去性，建立深度定义之间的等价性。

实验结果

研究问题

• RQ1 以生成次数与同调次数为参数，有限生成的 $$FI_G$-模的 Castelnuovo-Mumford 正则性的有效界是什么？
• RQ2 一个 $$FI_G$-模的导出正则性如何与它的同调深度和平移函子相关？
• RQ3 在特征零下，能否证明通过导出函子 $D$ 定义的同调深度与通过 $\operatorname{Ext}$ 函子定义的经典深度相等？
• RQ4 利用这一新的深度理论，Church、Ellenberg 和 Farb 的工作中关于稳定范围的界在多大程度上可以被有效化？
• RQ5 在何种条件下，$$FI_G$-模具有有限内射维数，这与 $$\sharp$-过滤模有何关联？

主要发现

• 对于生成次数 $\leq d$ 且首阶同调次数 $\leq r$ 的有限生成 $$FI_G$-模 $V$，其正则性满足 $\operatorname{reg}(V) \leq r + \min\{r,d\} - 1$，该界与 Church 和 Ellenberg 对 $$FI$-模的结果一致。
• 在交换环上，有限生成的 $$FI_G$-模的导出正则性 $\partial\operatorname{reg}(V)$ 有限，且等于所有 $a \geq 0$ 上 $H_1^{D^a}(V)$ 的最大次数。
• 模 $V$ 的同调深度是满足 $H_1^{D^{a+1}}(V) \neq 0$ 的最小 $a$，且该定义在短正合序列下满足增量性质。
• 在特征零下，有限生成的 $$FI_G$-模的古典深度（即满足 $\operatorname{Ext}^i(\mathcal{G}, V) \neq 0$ 的最小 $i$）等于同调深度。
• 有限生成的 $$FI_G$-模 $V$ 具有无限古典深度，当且仅当它是 $$\sharp$-过滤的。
• 通过归纳法与对大 $b$ 的平移函子 $\operatorname{S}_b$ 的使用，建立了两种深度概念的等价性，证明若某滤子的所有迭代商模均为 $$\sharp$-过滤的，则 $V$ 本身为 $$\sharp$-过滤的。