Related papers: A criterion for regular sequences
Let $R$ be a Noetherian ring, $I_1,\ldots,I_r$ be ideals of $R$, and $N\subseteq M$ be finitely generated $R$-modules. Let $S = \bigoplus_{\underline{n} \in \mathbb{N}^r} S_{\underline{n}}$ be a Noetherian standard $\mathbb{N}^r$-graded…
Let M be a filtered module. Some properties of elements of M are "generic" in the following sense: (being open/stable) if an element z of M has a property P then any approximation of z has P; (being dense) any element of M is approximated…
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…
Let R be a quotient ring of a commutative coherent regular ring by a finitely generated ideal. Hovey gave a bijection between the set of coherent subcategories of the category of finitely presented R-modules and the set of thick…
We prove a noetherian criterion for a sequence of modules with linear maps between them. This generalizes a noetherian criterion of Gan and Li for infinite EI categories. We apply our criterion to the linear categories associated to certain…
It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully…
Let $R$ be a commutative Noetherian ring. The notion of regular sequences with respect to a Serre class of $R$-modules is introduced and some of their essential properties are given. Then in the local case, we explore a theory of…
Let $R$ be a commutative Noetherian ring. We give criteria for flatness of $R$-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if $R$ has…
Let R be a Noetherian standard graded ring, and M and N two finitely generated graded R-modules. We introduce reg_R (M,N) by using the notion of generalized local cohomology instead of local cohomology, in the definition of regularity. We…
Let $R$ be a noetherian commutative ring and $f_1,\dots,f_c$ be a regular sequence in $R$. We introduce a framework to study $Supp(H^j_I(R/(f_1,\dots,f_c)))$ by linking the Koszul cohomology of $H^j_I(R)$ on the sequence $f_1,\dots,f_c$ and…
This paper is concerned with ideals in a commutative Noetherian ring $R$ of prime characteristic. The main purpose is to show that the Frobenius closures of certain ideals of $R$ generated by regular sequences exhibit a desirable type of…
Let $A$ be a commutative noetherian ring, $\frak a$ be an ideal of $A$, $m,n$ be non-negative integers and let $M$ be an $A$-module such that $\Ext^i_A(A/\frak a,M)$ is finitely generated for all $i\leq m+n$. We define a class $\cS_n(\frak…
Let $\mathfrak{q}$ denote an ideal in a Noetherian local ring $(A,\mathfrak{m})$. Let $\underline{a}=a_1,\ldots,a_d \subset \mathfrak{q}$ denote a system of parameters in a finitely generated $A$-module $M$. This note investigate an…
Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…
Let $FI$ be a skeleton of the category of finite sets and injective maps, and $FI^m$ the product of $m$ copies of $FI$. We prove that if an $FI^m$-module is generated in degree $\leqslant d$ and related in degree $\leqslant r$, then its…
Let $(R,\mathfrak{m},K)$ be an $F$-finite Noetherian local ring which has a canonical ideal $I \subsetneq R$. We prove that if $R$ is $S_2$ and $H^{d-1}_{\mathfrak{m}}(R/I)$ is a simple $R\{F\}$-module, then $R$ is a strongly $F$-regular…
Let $(R, \mathfrak m)$ be a Noetherian local ring. In this work we use the notion of (FC)-sequences, as defined in \cite{perez-bedregal1}, to present some results concerning reductions and the positivity of mixed multiplicities of a finite…
We consider ideals in a polynomial ring that are generated by regular sequences of homogeneous polynomials and are stable under the action of the symmetric group permuting the variables. In previous work, we determined the possible…
It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…
We prove that a commutative noetherian ring $R$ is Gorenstein of dimension at most $d$ if $d+1$ is an upper bound on the G-levels of perfect $R$-complexes. For $R$ local, we prove a formula for levels, with respect to injective or…