A remark on FI-module homology (Q516607)

Let \(R\) be a commutative ring and \(FI\) be the category of finite sets and injective maps. An \textit{\(FI\)-module} is a (covariant) functor from \(FI\) to the category of \(R\)-modules. \textit{T. Church} et al. [Geom. Topol. 18, No. 5, 2951--2984 (2014; Zbl 1344.20016)] defined, for any \(FI\)-module \(V\), a complex \(\tilde{S}S_\ast V\) of \(FI\)-modules which is a Koszul complex [\textit{M. Kashiwara} and \textit{P. Schapira}, Categories and sheaves. Berlin: Springer (2006; Zbl 1118.18001)]. The same complex was also considered independently by \textit{A. Putman} [Invent. Math. 202, No. 3, 987--1027 (2015; Zbl 1334.20045)] who called it the central stability chain complex. The authors present a proof that the homology of the complex \(\tilde{S}S_\ast V\) is the \(FI\)-homology \(H^{FI}_\ast(V)\) of \(V\). This was first stated without proof in [Church et al., loc. cit.] and its different proof was given by \textit{T. Church} and \textit{J. Ellenberg} in [``Homology of \(FI\)-modules'', Preprint, \url{arXiv:1506.01022}]. As an application, the equality between the Castelnuovo-Mumford regularity of a finitely generated torsion \(FI\)-module and its degree is derived as it was conjectured by \textit{L. Li} and \textit{E. Ramos} [``Depth and the local cohomology of \(FI_G\)-modules'', Preprint, \url{arXiv:1602.04405}].