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)
