Regularity and stable ranges of \textbf{FI}-modules (Q6146653)

Let \(FI\) denote the category whose objects are finite sets and whose morphisms are all injective maps. \textit{T. Church} et al. [Duke Math. J. 164, No. 9, 1833--1910 (2015; Zbl 1339.55004)] used the notation \(FI\) for this category as an acronym for \textbf{F}inite sets and \textbf{I}njective maps. The category has appeared in other contexts in algebraic topology, algebraic geometry, and computer science under various names. The author gives refined bounds for the regularity of \(FI\)-modules and the stable ranges of \(FI\)-modules for various forms of their stabilization studied in the representation stability literature. The first bound, is in terms of the generation and presentation degrees of an \(FI\)-module \(V\). The second bound, is in terms of the local and stable degrees of \(V\) (in the sense of [\textit{T. Church} et al., Adv. Math. 333, 1--40 (2018; Zbl 1392.15030)]) which is also often sharp. Presented results are applied to get explicit stable ranges for diagonal coinvariant algebras and improve those for ordered configuration spaces of manifolds and congruence subgroups of general linear groups.