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

When M is a finitely generated graded module over a standard graded algebra S and I is an ideal of S, it is known from work of Cutkosky, Herzog, Kodiyalam, R\"omer, Trung and Wang that the Castelnuovo-Mumford regularity of I^mM has the form…

We define the notion of componentwise regularity and study some of its basic properties. We prove an analogue, when working with weight orders, of Buchberger's criterion to compute Gr\"obner bases; the proof of our criterion relies on a…

It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…

Given a finitely generated module $M$ over a commutative local ring (or a standard graded $k$-algebra) $(R,\m,k) $ we detect its complexity in terms of numerical invariants coming from suitable $\m$-stable filtrations $\mathbb{M}$ on $M$.…

We continue the investigation into the computational status of the existence of moduli of regularity (and their use for rates of convergence) in the sense of Kohlenbach, Lopez and Nicolae (2019), carried out w.r.t. classical reverse…

We prove that the degrees of the iterates ${\rm deg}(f^n)$ of a birational map satisfy $\liminf({\rm deg}(f^n))<+\infty$ if and only if the sequence ${\rm deg}(f^n)$ is bounded, and that the growth of ${\rm deg}(f^n)$ can not be arbitrarily…

We explore a theory of depth for FI_G-modules which are presented in finite degrees. Using this theory, we prove results about the regularity, and provide novel bounds on stable ranges of FI-modules, making effective a theorem of Nagpal and…

Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*,…

Let $A$ be the coordinate ring of a projective smooth curve over a finite field minus a closed point. For a nontrivial ideal $I \subset A$, Drinfeld defined the notion of structure of level $I$ on a Drinfeld module. We extend this to that…

Let $R$ be a standard graded algebra over an $F$-finite field of characteristic $p > 0$. Let $\phi:R\to R$ be the Frobenius endomorphism. For each finitely generated graded $R$-module $M$, let ${}^{\phi}\!M$ be the abelian group $M$ with…

An FI- or an OI-module $\mathbf{M}$ over a corresponding noetherian polynomial algebra $\mathbf{P}$ may be thought of as a sequence of compatible modules $\mathbf{M}_n$ over a polynomial ring $\mathbf{P}_n$ whose number of variables depends…

We had shown earlier that for a standard graded ring $R$ and a graded ideal $I$ in characteristic $p>0$, with $\ell(R/I) <\infty$, there exists a compactly supported continuous function $f_{R, I}$ whose Riemann integral is the HK…

Let $(R,\mathfrak{m})$ be a Noetherian local ring, and let $M$ be a finitely generated $R$-module of dimension $d$. We prove that the set $\left\{\frac{l(M/IM)}{e(I, M)} \right\}_{\sqrt{I}=\mathfrak{m}}$ is bounded below by…

We study the end-behavior of integer-valued FI-modules. Our first result describes the high degrees of an FI-module in terms of newly defined tail invariants. Our main result provides an equivalence of categories between FI-tails and…

Let $M$ be a finitely generated module over a ring $\Lambda$. With certain mild assumptions on $\Lambda$, it is proven that $M$ is a reflexive $\Lambda$-module, once $M \cong M^{**}$ as a $\Lambda$-module.

The module category of any artin algebra is filtered by the powers of its radical, thus defining an associated graded category. As an extension of the degree of irreducible morphisms, this text introduces the degree of morphisms in the…

Let $R$ be a polynomial or power series ring over a field $k$. We study the length of local cohomology modules $H^j_I(R)$ in the category of $D$-modules and $F$-modules. We show that the $D$-module length of $H^j_I(R)$ is bounded by a…

Let $\Lambda$ be a basic finite dimensional algebra over an algebraically closed field, presented as a path algebra modulo relations; further, assume that $\Lambda$ is graded by lengths of paths. The paper addresses the classifiability, via…

We identify two recursively defined polynomial conditions for FI-modules in the literature. We characterize these conditions using homological invariants of FI-modules (namely the local degree and regularity, together with the stable…

Suppose that $M$ is a finitely-generated graded module of codimension $c\geq 3$ over a polynomial ring and that the regularity of $M$ is at most $2a-2$ where $a\geq 2$ is the minimal degree of a first syzygy of $M$. Then we show that the…