Related papers: Bounding regularity of $FI^m$-modules

Fix a finite field $\mathbb{F}$. Let $\mathrm{VI}$ be a skeleton of the category of finite dimensional $\mathbb{F}$-vector spaces and injective $\mathbb{F}$-linear maps. We study $\mathrm{VI}^m$-modules over a noetherian commutative ring in…

We characterize the regularity of an FI-module using the derivative functors.

In terms of local cohomology, we give an explicit range as to when the FI-homology of an FI-module attains its regularity.

Let $M$ be a finitely generated bigraded module over the standard bigraded polynomial ring $S=K[x_1,...,x_m, y_1,...,y_n]$, and let $Q=(y_1,...,y_n)$. The local cohomology modules $H^k_Q(M)$ are naturally bigraded, and the components…

We construct a long exact sequence involving the homology of an FI-module. Using the long exact sequence, we give two methods to bound the Castelnuovo-Mumford regularity of an FI-module which is generated and related in finite degree. We…

In this work we study a kind of coherence condition on FI_G-modules, which generalizes the usual notion of finite generation. We prove that a module is coherent, in the appropriate sense, if and only if its generators, as well as its…

Let $d \in \N$ and let $M$ be a finitely generated graded module of dimension $\leq d$ over a Noetherian homogeneous ring $R$ with local Artinian base ring $R_0$. Let $\beg(M)$, $\gendeg(M)$ and $\reg(M)$ respectively denote the beginning,…

We resolve a conjecture of Li and Ramos that relates the regularity of an FI-module to its local cohomology groups. This is an analogue of the familiar relationship between regularity and local cohomology in commutative algebra.

We prove an explicit and sharp upper bound for the Castelnuovo-Mumford regularity of an FI-module V in terms of the degrees of its generators and relations. We use this to refine a result of Putman on the stability of homology of congruence…

We give refined bounds for the regularity of FI-modules and the stable ranges of FI-modules for various forms of their stabilization studied in the representation stability literature. We show that our bounds are sharp in several cases. We…

Let $K$ be a field and let $S = K[X_1, \ldots, X_n]$. Let $I$ be a graded ideal in $S$ and let $M$ be a finitely generated graded $S$-module. We give upper bounds on the regularity of Koszul homology modules $H_i(I, M)$ for several classes…

Let $A$ be a regular ring containing a field of characteristic $p>0$ and let $R=A[x_1,\ldots,x_m,y_1,\ldots,y_n]$ be standard bigraded over $A$, i.e., $\operatorname{bideg}(A)=(0,0)$, $\operatorname{bideg}(x_i)=(1,0)$ and…

For a finitely generated, non-free module $M$ over a CM local ring $(R,\fm,k)$, it is proved that for $n\gg 0$ the length of $\tor 1RM{R/\fm^{n+1}}$ is given by a polynomial of degree $\dim R-1$. The vanishing of $\tor iRM{N/\fm^{n+1}N}$ is…

Let $R$ be a commutative noetherian ring and $f_{1}, ..., f_{r} \in R$. In this article we give (cf. the Theorem in \S2) a criterion for $f_{1}, ..., f_{r}$ to be regular sequence for a finitely generated module over $R$ which strengthens…

In this paper we study representation theory of the category FI$^m$ introduced by Gadish which is a product of copies of the category FI, and show that quite a few interesting representational and homological properties of FI can be…

Let R be a regular ring of characteristic p. Hochster showed that the category of Lyubeznik's F-modules has enough injectives, so that every F-module has an injective resolution in this category. We show that under mild conditions on R, for…

We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree.

The Castelnuovo-Mumford regularity of a module gives a rough measure of its complexity. We bound the regularity of a module given a system of approximating modules whose regularities are known. Such approximations can arise naturally for…

We prove that the arithmetic degree of a graded or local ring is bounded above by the arithmetic degree of any of its associated graded rings with respect to ideals $I$ in $A$. In particular, if $Spec (A)$ is equidimensional and has an…

Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ let $\m=(x_1,..., x_n)$ be the maximal ideal generated by the variables, let $^*E$ be the naturally graded injective hull of $R/\m$ and let $^*E(n)$ be…