An application of the theory of FI-algebras to graph configuration spaces (Q2287975)

Let \(q\geq 0\) and \(G\) be a graph (i.e., a \(1\)-dimensional, compact simplicial complex). The \textit{total \(q\)-th homology group} is the graded abelian group \[ \mathcal{H}_q(G)=\bigoplus_{n\geq 0}H_q(UF_n(G)), \] where \(UF_n(G)\) is the (unordered) configuration space. It is known that \(\mathcal{H}_q(G)\) can be equipped with the structure of a finitely generated graded module over the ring \(A_G\), where \(A_G=\mathbb{Z}[x_e\mid e\in E(G)]\) is the integral polynomial ring with variables indexed by the edges of \(G\). The paper is concerned with studying this module structure for certain families of graphs via FI-algebras. Specifically, see Theorem 4.4, for \(G_\bullet\) an edge-linear FI-graph and each \(q\geq 0\), the functor \[ [n]\mapsto \mathcal{H}_q(G_n) \] from FI to graded abelian groups is finitely generated as a graded module over the functor \[ [n]\mapsto A_{G_n} \] from FI to \(\mathbb{Z}\)-algebras, where FI is the category of finite sets and injections. In particular, the author proves that the syzygies of these modules exhibit a range of stable behaviors. If \(M\) is a finitely generated graded module over the polynomial ring \(k[x_1,\ldots,x_n]\), where \(k\) is a field, then it admits a minimal free resolution \[ 0\to F^{(n)}\to\cdots\to F^{(0)}\to M\to 0. \] Tensoring with the residue field \(k\), we define the \(j\)-th Betti number in homological degree \(p\) to be \[ \beta_{p,j}(M)=\dim(\text{Tor}_p(M,k)_j). \] The author proves, see Corollary 4.6, for \(G_\bullet\) an edge-linear FI-graph, \(k\) a field and \(p,j\geq 0\), the function \[ n\mapsto \beta_{p,j}(\mathcal{H}_q(G_n;k)) \] agrees with a polynomial for \(n\gg 0\). Moreover, for each \(p\geq 0\), there exists a finite list of integers \[ j_0(\mathcal{H}_q(G_n;k),p)<\cdots <j_t(\mathcal{H}_q(G_n;k),p) \] such that for all \(n\gg 0\) \[ \beta_{p,j}(\mathcal{H}_q(G_n;k))\neq 0 \Longleftrightarrow j\in \{j_0(\mathcal{H}_q(G_n;k),p),\ldots ,j_t(\mathcal{H}_q(G_n;k),p)\}. \]