An inductive method for OI-modules
Module categories and commutative rings (13C60) Local cohomology and commutative rings (13D45) Homological dimension in associative algebras (16E10) Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Resolutions; derived functors (category-theoretic aspects) (18G10) Representations of finite symmetric groups (20C30) Cohomology of groups (20J06)
Let \(\mathbb{N}\) denote the set of non-negative integers. Set \([0]=\emptyset\), and \([n]=\{1,...,n\}\) for every \(0\neq n\in \mathbb{N}\). Let \(\mathcal{OI}\) denote the category whose objects are \([n]\) for \(n \in \mathbb{N}\), and whose morphisms are strictly increasing maps. Given a commutative ring \(R\), an \(\mathcal{OI}\)-module is a covariant functor from \(\mathcal{OI}\) to the category of \(R\)-modules \(\mathcal{M}(R)\). Therefore, the category \(\mathcal{M}(\mathcal{OI})\) of \(\mathcal{OI}\)-modules is the functor category \(\mathcal{M}(\mathcal{OI})= \mathcal{M}(R)^{\mathcal{OI}}\). It turns out that \(\mathcal{M}(\mathcal{OI})\) is an abelian category with enough projectives. For a non-zero \(\mathcal{OI}\)-module \(V\), define \(\deg(V):= \sup \{n\mid V_{n}\neq 0\}\), and also set \(\deg(0):= -1\). Given an \(\mathcal{OI}\)-module \(V\), define an \(\mathcal{OI}\)-submodule \(U\) of \(V\) by setting \(U_{d}=(V_{\prec d})_{d}\) for every \(d \in \mathbb{N}\), where \(V_{\prec d}\) is the \(\mathcal{OI}\)-submodule of \(V\) generated by all \(V_{n}\)'s with \(n < d\). Define a functor \[H_{0}^{\mathcal{OI}}:\mathcal{M}(\mathcal{OI}) \rightarrow \mathcal{M}(\mathcal{OI})\] by setting \(H_{0}^{\mathcal{OI}}(V):= V/U\). The functor \(H_{0}^{\mathcal{OI}}\) is right exact. For any \(i \geq 0\), let \[H_{i}^{\mathcal{OI}}:\mathcal{M}(\mathcal{OI}) \rightarrow \mathcal{M}(\mathcal{OI})\] be the \(i\)-th left derived functor of \(H_{0}^{\mathcal{OI}}\), and set \(t_{i}(V):= \deg H_{i}^{\mathcal{OI}}(V)\). Then \(V\) is said to be presented in finite degrees if \(t_{i}(V) < \infty\) for \(i=0,1\). Further, the Castelnuovo-Mumford regularity of \(V\) is defined as \[\mathrm{reg}(V):= \sup\{t_{i}(V)-i\mid i\in \mathbb{N}\}.\] The authors of this paper introduce an inductive method to study \(\mathcal{OI}\)-modules that are presented in finite degrees. As an application, they obtain an explicit upper bound for the Castelnuovo-Mumford regularity of \(\mathcal{OI}\)-modules.
- \(\mathsf{FI}\)-hyperhomology and ordered configuration spaces
- A long exact sequence for homology of FI-modules
- An inductive machinery for representations of categories with shift functors
- Asymptotic behavior of representations of graded categories with inductive functors
- Bounds on homological invariants of VI-modules
- Depth and the local cohomology of \(\mathcal{FI}_G\)-modules
- FI-modules and stability for representations of symmetric groups
- FI-modules over Noetherian rings.
- Filtrations and homological degrees of FI-modules
- Gröbner methods for representations of combinatorial categories
- Homological invariants of \(\mathrm{FI}\)-modules and \(\mathrm{FI}_{G}\)-modules
- Homology of FI-modules
- Linear and quadratic ranges in representation stability
- Periodicity in the cohomology of symmetric groups via divided powers
- Representation theory and homological stability.
- Stability in the homology of unipotent groups
- The Representation Theory of the Increasing Monoid
- Upper bounds of homological invariants of \({FI_G}\)-modules
This page was built for publication: An inductive method for OI-modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2215799)
