A long exact sequence for homology of FI-modules (Q502173)

The article under review concerns homological aspects of FI-modules (an FI-module is a functor from the category FI, whose objects are the finite sets and whose morphisms are the injective maps, to the category of \(\mathbb{K}\)-modules). After a preliminary section on FI-modules, the following main result is proved: Theorem. Let \(V\) be an FI-module. Then there exists a long exact sequence \[ {\dots \to SH_{a+1}(V) \underset{\iota_{\ast}} {H_a(V)} {H_a(SV)} SH_a(V) \underset{\iota_{\ast}} H_{a-1}{(V)} \dots {SH_0(V)} 0} \] where \(S\) denotes the shift functor (the endofunctor of FI-modules defined by \(SV=V \circ \sigma, \sigma : FI \to FI, \sigma(X) = X \sqcup \{\star\}\), where \(\{\star\}\) is a fix one-element set) and \(H_a\) denotes the FI-homology functor. This result is applied to study FI-modules of finite degree, bounding Castelnuovo-Mumford regularity using derivative functor, iterated shifts and vanishing of homology, bounding regularity using the shift functor, generating degree and relation degree, and strictly increasing of homological degrees.