Local cohomology and the multigraded regularity of FI^m-modules
In this paper, the authors consider regularity properties of \(\mathcal{FI}^m\)-modules, working over a commutative Noetherian ring for the main results. (Here \(\mathcal{FI}^m\) is the \(m\)-fold product of the category \(\mathcal{FI}\) of finite sets and injections.) Important players are \(\mathcal{FI}^m\)-module homology and the semi-induced \(\mathcal{FI}^m\)-modules (those admitting a finite filtration with associated graded that is induced). The latter play a fundamental rรดle in the theory; for instance, a finitely-generated \(\mathcal{FI}^m\)-module is acyclic for homology if and only if it is semi-induced [\textit{L. Li} and \textit{N. Yu}, J. Pure Appl. Algebra 223, No. 8, 3436--3460 (2019; Zbl 1411.13011)]. The authors work with the notion of \(B\)-torsion. This is intimately related to the behaviour of shift functors. (For any object \(\mathbf{a}\), the shift functor \(\Sigma _{\mathbf{a}}\) is induced by precomposition with \(-\amalg \mathbf{a}\) and there is a natural transformation \(\mathrm{Id} \rightarrow \Sigma _{\mathbf{a}}\).) A \(\mathcal{FI}^m\)-module \(V\) is \(B\)-torsion-free if and only if \(V \rightarrow \Sigma_{1, \ldots , 1} V\) is injective. In general there is a natural short exact sequence \[ 0 \rightarrow V_T \rightarrow V \rightarrow V_F \rightarrow 0 \] in which \(V_T\) is \(B\)-torsion and \(V_F\) is \(B\)-torsion-free. Generalizing ideas of Nagpal (cf. [\textit{R. Nagpal}, Algebra Number Theory 13, No. 9, 2151--2189 (2019; Zbl 1461.20004)]), Li and Yu established a profound link between torsion and semi-induced modules. For example, for \(V\) a finitely-generated \(\mathcal{FI}^m\)-module and \(N \gg 0\), the natural transformation \(\mathrm{Id} \rightarrow \Sigma_{N, \ldots, N}\) induces an exact sequence \[ 0 \rightarrow V_T \rightarrow V \rightarrow \Sigma_{N, \ldots , N} V \] with \(\Sigma_{N, \ldots, N} V\) semi-induced. This allows the construction of coresolutions (up to \(B\)-torsion) using semi-induced modules. The authors define \(H^0_B (V):= V_T\) and the local cohomology \(H^i_B(-)\) as the right derived functors. Then, using the above techniques, they show that the vanishing of \(H^{>0}_ B(-)\) for finitely-generated \(\mathcal{FI}^m\)-modules is equivalent to \(V_F\) being semi-induced. They then introduce a notion of Castelnuovo-Mumford regularity for finitely-generated \(\mathcal{FI}^m\)-modules, \(\mathrm{CMreg}(V)\), related to the multi-graded regularity of [\textit{D. Maclagan} and \textit{G. G. Smith}, J. Reine Angew. Math. 571, 179--212 (2004; Zbl 1062.13004)] and prove an analogue of the main result of that paper. Namely, for \(V\) a finitely-generated \(\mathcal{FI}^m\)-module, \(\mathbf{r} \in \mathrm{CMreg}(V)\) and \(\mathbf{c}\) with positive entries, there exists a complex \[ \ldots \rightarrow F_i \rightarrow F_{i-1} \rightarrow \ldots \rightarrow F_0 \rightarrow V \rightarrow 0 \] that is exact up to \(B\)-torsion and such that \(F_i\) is an induced module generated in degree \(\mathbf{r} + i \mathbf{c}\). The proof exploits the Koszul complex that calculates \(\mathcal{FI}^m\)-module homology.
- Regularity of ๐ ๐-modules and local cohomology
- Graded F-modules and local cohomology
- Generalized local cohomology and regularity of Ext modules
- Multiplicities of graded components of local cohomology modules
- Bounds for the regularity of local cohomology of bigraded modules
- On the cofiniteness of local cohomology modules
- On the cofiniteness of local cohomology modules
- On the cofiniteness of local cohomology modules
- Finitely Graded Local Cohomology and the Depths of Graded Algebras
- On the dimension and multiplicity of local cohomology modules
- \(\mathrm{FI}^{m}\)-modules over Noetherian rings
- \(\mathrm{FI}_{\mathcal W}\)-modules and stability criteria for representations of classical Weyl groups.
- A remark on FI-module homology
- Categories of FI type: a unified approach to generalizing representation stability and character polynomials
- Coinduction functor in representation stability theory
- Corrigendum: ``Groupes d'extensions et foncteurs polynomiaux
- FI-modules and stability for representations of symmetric groups
- FI-modules over Noetherian rings.
- Filtrations and homological degrees of FI-modules
- GL-equivariant modules over polynomial rings in infinitely many variables
- Grรถbner methods for representations of combinatorial categories
- Homological degrees of representations of categories with shift functors
- Homology of FI-modules
- Linear and quadratic ranges in representation stability
- Multigraded Castelnuovo-Mumford regularity
- On the homotopy groups of symmetric spectra
- Polynomial filtrations and Lannes' T-functor
- Regularity of ๐ ๐-modules and local cohomology
- Representation stability for families of linear subspace arrangements
- Representation theory and homological stability.
- Syzygies of Segre embeddings and \(\Delta\)-modules
- The structure of indecomposable injectives in generic representation theory
- VI-modules in nondescribing characteristic. I
- Depth and the local cohomology of \(\mathcal{FI}_G\)-modules
- On the local cohomology of L-shaped integral FI-modules
- Castelnuovo-Mumford regularity of representations of certain product categories
- An inductive method for OI-modules
- \(FI\)-modules over preadditive categories and torsion theories
- Bounds for the regularity of local cohomology of bigraded modules
- Regularity of ๐ ๐-modules and local cohomology
- A remark on FI-module homology
- Onset of regularity for \textbf{FI}-modules
- A classification of injective FI m -modules
- Bounding regularity of \(\mathrm{FI}^m\)-modules
This page was built for publication: Local cohomology and the multigraded regularity of \(\mathcal{FI}^m\)-modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2236795)
