[论文解读] Bounding the homology of FI-modules

Thomas M. Church|arXiv (Cornell University)|Dec 22, 2016

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

一句话总结

本文为ℤ上FI-模的Castelnuovo–Mumford正则性的尖锐界提供了新证明，表明正则性由其0阶与1阶同调群的次数之和有界。该证明利用由谱序列导出的长正合列与归纳法，避免了对滤过FI-模先前表征的依赖。

ABSTRACT

The main theorem of Church-Ellenberg [arXiv:1506.01022] is a sharp bound on the homology of FI-modules, showing that the Castelnuovo-Mumford regularity of FI-modules over Z can be bounded in terms of generators and relations. We give a new proof of this theorem, inspired by earlier proofs by Li-Yu and Li. This should be read after Section 2 of Church-Ellenberg, which contains all needed terminology and background.

研究动机与目标

• 为ℤ上FI-模的正则性界提供一个新且自包含的证明，独立于滤过FI-模的先前表征。
• 以同调群的次数为度量，建立FI-模的Castelnuovo–Mumford正则性的尖锐上界。
• 仅通过同调代数中的长正合列，重新推导Church–Ellenberg的结果，避免依赖早期工作的高级结构性结果。
• 阐明函子$ H_0 igcirc D $与$ S igcirc H_0 $的作用，证明其自然同构，从而支持谱序列论证。
• 证明$ K = oldsymbol{L}_1 D(W) $的同调复形中的微分消失，从而得到$ H_p K $关于$ K igotimes
  _p $的简洁表达。

提出的方法

• 利用收敛于$ SH_*W $的两行谱序列，该谱序列由导出函子$ oldsymbol{L}H_0 $与$ oldsymbol{L}D $的复合导出，利用$ oldsymbol{L}_q D $在$ q \geq 2 $时为零的性质。
• 将谱序列重写为涉及$ K = oldsymbol{L}_1 D(W) $、$ H_p DW $与$ SH_p W $的长正合列（LES），导出关键正合序列（1）。
• 应用非平凡映射在$ K $上作用平凡的性质，因此同调$ H_*K $同构于$ K \bigotimes \varepsilon_* $，从而将LES简化为仅涉及张量积的形式。
• 对$ f_0(W) $进行归纳，利用低度数下的LES（2）与（3）作为基例，以降低$ DW $的次数并界定$ f_p(DW) $。
• 利用$ K \bigotimes \varepsilon_{p-1} $与$ K \bigotimes \varepsilon_{p-2} $的次数界，将界传播至$ SH_p W $，最终得出$ f_p(W) \leq f_0(W) + f_1(W) $。

实验结果

研究问题

• RQ1 是否可以不依赖滤过FI-模的表征，重新证明ℤ上FI-模的正则性界？
• RQ2 由谱序列导出的长正合列如何与$ W $及其导出函子的同调结构相关联？
• RQ3 核$ K = \boldsymbol{L}_1 D(W) $在界定$ SH_p W $的次数中起何精确作用？
• RQ4 能否利用$ H_*K $中微分的消失来简化同调计算并获得简洁的界？
• RQ5 是否可能仅通过长正合列与归纳法，不依赖高级结构性工具，建立界$ f_p(W) \leq f_0(W) + f_1(W) $？

主要发现

• 通过归纳法与长正合列，主结果$ f_p(W) \leq f_0(W) + f_1(W) $得以确立，证实了正则性界的尖锐性。
• $ H_p DW $的次数被界为$ f_0(W) + f_1(W) - 2 $，此结果由对$ DW $应用归纳假设所得。
• $ K = \boldsymbol{L}_1 D(W) $的次数被界为$ f_0(W) + f_1(W) $，因为$ H_p K \simeq K \bigotimes \varepsilon_p $，且微分消失。
• 长正合列中的项$ K \bigotimes \varepsilon_{p-1} $与$ K \bigotimes \varepsilon_{p-2} $的次数分别被界为$ N + p - 1 $与$ N + p - 2 $，其中$ N = f_0(W) + f_1(W) $。
• 由长正合列，$ SH_p W $的次数被界为$ N - 1 + p $，因此$ f_p(W) \leq N $，从而证明了所需的界。
• 该证明避免了对Li–Yu、Ramos、Nagpal以及Church–Ellenberg关于滤过FI-模的早期结果的依赖，提供了更直接的同调论证。