Homological invariants of \(\mathrm{FI}\)-modules and \(\mathrm{FI}_{G}\)-modules (Q1706239): Difference between revisions

Let \(\mathrm{FI}\) denote the category whose objects are the sets \([n]:=\{1,\dots,n\}\) and whose morphisms are injections. An \(\mathrm{FI}\)-module over a commutative ring \(k\) is a functor \(V:\mathrm{FI}\longrightarrow k\text{-Mod}\). Now, let \(G\) be a group. The category \(\mathrm{FI}_G\) is that whose objects are the sets \([n]\) and whose morphisms are pairs \((f,g):[n]\longrightarrow [m]\) such that \(f\) is an injection and \(g:[n]\longrightarrow G\) is a map of sets. Composition in this category is defined by \[ (f,g)\circ (f',g')=(f\circ f', h), \;\;\;h(x)=g'(x)+ g(f'(x)). \] Clearly, if \(G = 1\) is the trivial group, then \(\mathrm{FI}_G\) is equivalent to the category \(\mathrm{FI}\) of finite sets and injections. For any commutative ring \(k\), an \(\mathrm{FI}_G\)-module over \(k\) is a covariant functor \(V:\mathrm{FI}_G \longrightarrow k\text{-Mod}\). In this brilliant paper, the author studies various homological invariants of \(\mathrm{FI}_G\)-modules and shows how they relate to concrete questions about stability. Moreover, he gives some results about the regularity and provides new bounds on stable ranges of \(\mathrm{FI}\)-modules which improves similar results in other articles in this area.