[论文解读] A long exact sequence for homology of FI-modules

Wee Liang Gan|arXiv (Cornell University)|Feb 29, 2016

Commutative Algebra and Its Applications参考文献 12被引用 18

一句话总结

本文建立了FI-模同调的长正合列，使得能够对在有限次数内生成和相关的FI-模的Castelnuovo-Mumford正则性给出新界限。关键贡献在于证明：若此类模的高阶同调非零，则其同调度从第一个同调度开始严格递增。

ABSTRACT

We construct a long exact sequence involving the homology of an FI-module. Using the long exact sequence, we give two methods to bound the Castelnuovo-Mumford regularity of an FI-module which is generated and related in finite degree. We also prove that for an FI-module which is generated and related in finite degree, if it has a nonzero higher homology, then its homological degrees are strictly increasing (starting from the first homological degree).

研究动机与目标

• 构建一个涉及FI-模同调的长正合列，为分析其同调性质提供结构性工具。
• 提出两种新方法——使用导出函子和移位函子——以界定在有限次数内生成和相关的FI-模的Castelnuovo-Mumford正则性。
• 证明：对于具有非零高阶同调且在有限生成/关系度数内的FI-模，其同调度从第一个度数起严格递增。
• 利用导出长正合列重新证明并简化已知的FI-模正则性和同调度结果。

提出的方法

• 构造柯尔莫哥洛夫复形 $\widetilde{S}_{-\bullet}V$ 以计算FI-同调，使用外积和有限集上的模作用。
• 在FI-模上定义移位函子 $S$ 和导出函子 $D$，其中 $D$ 为自然映射 $V \to SV$ 的余核。
• 推导出涉及 $H_a(V)$、$H_a(SV)$ 和 $SH_{a+1}(V)$ 的长正合列，将不同同调度的同调群联系起来。
• 将长正合列应用于分析同调度 $\mathrm{hd}_a(V)$，特别是通过追踪序列中非零分量。
• 对 $\mathrm{N}(V)$（即满足 $a \geq 1$ 时 $H_a(V)_{\mathbf{n}} \neq 0$ 的最小度数）进行归纳，证明同调度的严格递增性。
• 应用关于 $F$-殆零性和 $S^i$-殆零性的已知结果，通过正合列推导正则性和同调度的界限。

实验结果

研究问题

• RQ1 能否构造一个将FI-模 $V$ 的同调与其移位 $SV$ 的同调联系起来的长正合列？
• RQ2 如何利用长正合列来界定在有限次数内生成和相关的FI-模的Castelnuovo-Mumford正则性？
• RQ3 在何种条件下，FI-模的同调度 $\mathrm{hd}_a(V)$ 随 $a$ 严格递增？
• RQ4 长正合列能否为FI-模理论中已知的正则性界限提供更直接的证明？
• RQ5 对于非$F$-殆零的FI-模，同调度 $\mathrm{hd}_a(V)$ 与正则性 $\operatorname{reg}(V)$ 之间存在何种关系？

主要发现

• 构造了长正合列：$\cdots \to SH_{a+1}(V) \to H_a(V) \xrightarrow{\iota_*} H_a(SV) \to SH_a(V) \to H_{a-1}(V) \to \cdots$，将不同同调度的同调群联系起来。
• 该长正合列提供了两种新方法以界定在有限次数内生成和相关的FI-模的 $\operatorname{reg}(V)$，其界限优于或至少不劣于先前结果。
• 若FI-模 $V$ 不是 $F$-殆零且在有限度数内生成和相关，则有 $\mathrm{hd}_1(V) < \mathrm{hd}_2(V) < \mathrm{hd}_3(V) < \cdots$，证明了同调度的严格递增性。
• 对于此类非$F$-殆零模，存在 $s \geq 1$，使得对所有 $a \geq s$，有 $\mathrm{hd}_a(V) = \operatorname{reg}(V) + a$，表明同调度最终呈线性增长。
• 长正合列为Church和Ellenberg首次发现的正则性界限提供了新的、更直接的证明，利用了导出函子 $D$。
• 使用移位函子 $S$ 的方法所得出的 $\operatorname{reg}(V)$ 界限始终小于或等于近期Li和Ramos所得界限。