An inductive method for OI-modules (Q2215799): Difference between revisions

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.