[论文解读] Filtrations and Homological degrees of FI-modules

Liping Li, Nina Yu|arXiv (Cornell University)|Nov 10, 2015

Commutative Algebra and Its Applications参考文献 14被引用 11

一句话总结

本文为交换诺特环上自然过滤的FI-模提供了同调特征刻画，表明其恰好是所有高阶同调群为零的模。通过移位函子和余核函子，作者建立了投射维数与同调次数的上界，借助一种新的、概念性的同调框架，推广了Church与Ellenberg的结果，该框架可适用于更广泛的组合范畴。

ABSTRACT

Let $k$ be a commutative Noetherian ring. In this paper we consider filtered modules of the category FI firstly introduced by Nagpal. We show that a finitely generated FI-module $V$ is filtered if and only if its higher homologies all vanish, and if and only if a certain homology vanishes. Using this homological characterization, we characterize finitely generated FI-modules $V$ whose projective dimension is finite, and describe an upper bound for it. Furthermore, we give a new proof for the fact that $V$ induces a finite complex of filtered modules, and use it as well as a result of Church and Ellenberg to obtain another upper bound for homological degrees of $V$.

研究动机与目标

• 为Nagpal引入的$\natural$-过滤FI-模提供同调特征刻画。
• 将$\natural$-过滤模用作计算投射维数与同调次数上界时的同调替代品，以取代投射模。
• 通过概念性的同调方法而非组合论证，重新证明并推广Church与Ellenberg关于Castelnuovo-Mumford正则性的结果。
• 构建一个可适用于表示稳定性理论中其他组合范畴的框架。

提出的方法

• 使用移位函子$Σ$及其诱导的余核函子$D$来分析FI-模的同调性质。
• 证明有限生成FI-模$V$是$\natural$-过滤的充分必要条件是其所有高阶同调群为零。
• 利用当$N$足够大时$Σ_N$作用下同调群的消失性，构造一个有限的$\natural$-过滤模复形来解析$V$。
• 应用同调中的长正合列，将$V$、其扭部分$V_T$与无扭部分$V_F$的同调次数联系起来。
• 利用无扭模的不等式$\operatorname{hd}_s(W) \leqslant 2\operatorname{gd}(W) + s - 1$，推导出$\operatorname{hd}_s(V)$的新上界。
• 结合$\operatorname{hd}_s(V_T)$与$\operatorname{hd}_s(V_F)$的上界，得到$\operatorname{hd}_s(V) \leqslant \max\{\operatorname{td}(V), 2\operatorname{gd}(V)-1\} + s$。

实验结果

研究问题

• RQ1 如何通过同调群的消失性来刻画$\natural$-过滤FI-模的同调性质？
• RQ2 如何利用$\natural$-过滤模来界定有限生成FI-模的投射维数？
• RQ3 Church与Ellenberg关于Castelnuovo-Mumford正则性的界能否通过同调方法而非组合论证重新证明？
• RQ4 有限生成FI-模$V$的同调次数$\operatorname{hd}_s(V)$与生成次数$\operatorname{gd}(V)$之间有何关系？
• RQ5 本文所发展的框架能否推广至表示稳定性理论中的其他组合范畴？

主要发现

• 有限生成${\mathscr{C}}$-模$V$是$\natural$-过滤的，当且仅当其所有高阶同调群为零。
• 有限生成${\mathscr{C}}$-模$V$的投射维数$\operatorname{pd}(V)$有限，当且仅当$V$是$\natural$-过滤的。
• 投射维数的上界为$\operatorname{gd}(V) + \operatorname{td}(V)$，其中$\operatorname{td}(V)$是$V$的扭次数。
• 同调次数满足不等式$\operatorname{hd}_s(V) \leqslant \max\{\operatorname{td}(V), 2\operatorname{gd}(V)-1\} + s$对所有$s \geqslant 1$成立，从而给出一个新上界。
• 解析$V$的$\natural$-过滤模复形在对足够大的$N$应用$\Sigma_N$后诱导出有限解析，从而为正则性界提供了新证明。
• 通过基于移位函子的框架可适配性修改，该结果可推广至其他组合范畴。