[论文解读] A remark on FI-module homology

Wee Liang Gan, Liping Li|arXiv (Cornell University)|May 7, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 5

一句话总结

本文证明了FI-模的FI-同调可通过柯尔祖复形计算，为研究FI-模提供了同调代数框架。主要贡献在于证明了有限生成扭FI-模的Castelnuovo-Mumford正则性等于其次数，从而解决了该领域的一个猜想。

ABSTRACT

We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree.

研究动机与目标

• 通过柯尔祖复形构造建立FI-同调的同调计算方法。
• 解决关于有限生成扭FI-模的Castelnuovo-Mumford正则性的猜想。
• 通过导出函子及对理想J的商的导出函子，为FI-模提供同调代数基础。
• 证明中心稳定性链复形（记作$\widetilde{S}_{-*}V$）的同调计算FI-同调。

提出的方法

• 在FI-模$V$上定义柯尔祖复形$\widetilde{S}_{-*}V$，其分量为$({\widetilde{S}}_{-a}V)(X) = \bigoplus_{I \subset X, |I|=a} V(X\setminus I) \otimes_R \det(I)$。
• 在每个分量上定义微分$d$为$d(v \otimes i_1 \wedge \cdots \wedge i_a) = \sum_{p=1}^a (-1)^p i_p(v) \otimes i_1 \wedge \cdots \widehat{i_p} \cdots \wedge i_a$。
• 证明对所有$a \geq 1$和所有$d \in \mathbb{N}$，有$H_a(\widetilde{S}_{-*}M(d)) = 0$，其中$M(d)$是关于$[d]$的单射生成的自由FI-模。
• 利用函子$V \mapsto H_a(\widetilde{S}_{-*}V)$的可消除性，以及其作为满足$H_0 \cong V/JV$的普遍$\delta$-函子的事实，得出$H^{{\mathrm{FI}}}_a(V) \cong H_a(\widetilde{S}_{-*}V)$。
• 应用该同构，证明对所有$a \geq 1$，有$\deg(H^{{\mathrm{FI}}}_a(V)) \leq \deg(V) + a$，并在正则性条件中证明等式成立。

实验结果

研究问题

• RQ1 FI-模的FI-同调能否通过柯尔祖型复形计算？
• RQ2 有限生成扭FI-模的Castelnuovo-Mumford正则性是否等于其次数？
• RQ3 中心稳定性链复形$\widetilde{S}_{-*}V$是否计算导出函子$H^{{\mathrm{FI}}}_a(V)$？
• RQ4 能否通过普遍$\delta$-函子论证，证明柯尔祖复形$\widetilde{S}_{-*}V$的同调计算$\operatorname{Tor}^A_a(A/J, V)$？
• RQ5 在一般交换环上，通过局部化和Nakayama引理，域上的维数比较论证是否可推广至一般情况？

主要发现

• 对所有$a \in \mathbb{N}$，FI-同调$H^{{\mathrm{FI}}}_a(V)$与柯尔祖复形的同调$H_a(\widetilde{S}_{-*}V)$同构，从而建立了计算框架。
• 对任意FI-模$V$，复形$\widetilde{S}_{-*}V$通过普遍$\delta$-函子论证计算导出函子$H^{{\mathrm{FI}}}_a(V)$。
• 对有限生成扭FI-模$V$且$\deg(V) < \infty$，其Castelnuovo-Mumford正则性满足$\operatorname{reg}(V) = \deg(V)$。
• $H^{{\mathrm{FI}}}_a(V)$的次数有上界$\deg(V) + a$，且在正则性条件中，当$n = p + a$（其中$p = \deg(V)$）时达到等式。
• 证明依赖于域上的维数比较，并通过局部化和Nakayama引理将问题约化至域的情形，表明在某些多项式次数不同的自由模之间不存在满射。