Related papers: Regularity bounds for Koszul cycles
Generalizing techniques that prove that Veronese subrings are Koszul, we show that Rees and multi-Rees algebras of certain types of principal strongly stable ideals are Koszul. We provide explicit Gr\"obner basis for the defining ideals of…
In this paper, we show for a monomial ideal $I$ of $K[x_1,x_2,\ldots,x_n]$ that the integral closure $\ol{I}$ is a monomial ideal of Borel type (Borel-fixed, strongly stable, lexsegment, or universal lexsegment respectively), if $I$ has the…
The Koszul homology algebra of a commutative local (or graded) ring $R$ tends to reflect important information about the ring $R$ and its properties. In fact, certain classes of rings are characterized by the algebra structure on their…
Bounds for the Castelnuovo-Mumford regularity of Ext modules, over a polynomial ring over a field, are given in terms of the initial degrees, Castelnuovo-Mumford regularities and number of generators of the two graded modules involved.…
Conditions on the Koszul complex of a noetherian local ring $R$ guarantee that $\mathrm{Tor}^{R}_{i}(M,N)$ is non-zero for infinitely many $i$, when $M$ and $N$ are finitely generated $R$-modules of infinite projective dimension. These…
In \cite{rees} Rees gave a characterization for the normal joint reduction number zero of two $\m$-primary ideals in an analytically unramified Cohen-Macaulay local ring of dimension two. Rees' result is a generalization of Zariski's…
Let $X=(x_{ij})_{m\times n}$ be a matrix of indeterminates and let $S=\mathbb{k}[x_{ij} \mid 1\leq i\leq m,\ 1\leq j\leq n]$ be a polynomial ring over an infinite field $\mathbb{k}$. Let $I$ be an ideal generated by a subset of the set of…
We study the subregular $J$-ring $J_C$ of a Coxeter system $(W,S)$, a subring of Lusztig's $J$-ring. We prove that $J_C$ is isomorphic to a quotient of the path algebra of the double quiver of $(W,S)$ by a suitable ideal that we associate…
Numerical invariants of a minimal free resolution of a module $M$ over a regular local ring $(R,\n)$ can be studied by taking advantage of the rich literature on the graded case. The key is to fix suitable $\n$-stable filtrations ${\mathbb…
Let $R$ be a ring. In this paper, we study the characterization of cosilting modules and establish a relation between cosilting modules and cotilting objects in a Grothendieck category. We proved that each cosilting right $R$-module $T$ can…
We show that the Castelnuovo--Mumford regularity of the canonical or a deficiency module of the quotient of a polynomial ring by a monomial ideal is bounded by its dimension.
Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over the field $K$, and let $I\subset S$ be a graded ideal. It is shown that the higher iterated Hilbert coefficients of the graded $S$-modules $\Tor_i^S(M,I^k)$ and $\Ext^i_S(M,I^k)$ are…
For an ideal $I$ in a regular local ring or a graded ideal $I$ in the polynomial ring we study the limiting behavior of the Betti numbers of S/I^k as k goes to infinity. By Kodiyalam's result it is known that in each homological degree the…
For a Noetherian commutative ring $R$, let $H^i_I(R)$ be the $ i$-th local cohomology module of $R$ with respect to $I$. In \cite{Hel-08}, Hellus posed the question of identifying rings $R$ such that $\operatorname{injdim}_R…
Let $R$ be a polynomial ring over a field $k$ with irrelevant ideal $\frak m$ and dimension $d$. Let $I$ be a homogeneous ideal in $R$. We study the asymptotic behavior of the length of the modules $H^{i}_{\frak m}(R/I^n)$ for $n\gg 0$. We…
Let R be a regular local ring of dimension d, I an ideal of R, and M a finitely generated R-module of dimension n. We prove that the set of associated primes of Ext^i_R(R/I,H^j_I(M)) is finite for all i and j in the following cases: (1) dim…
This paper is concerned about the relation between local cohomology modules defined by a pair of ideals and Serre classes of R-modules, as a generalization of results of J. Azami, R. Naghipour and B. Vakili (2009) and M. Asgharzadeh and…
We present new results and an algorithm for standard basis computations of a 0-dimensional ideal I in a power series ring or in the localization of a polynomial ring in finitely many variables over a field K. The algorithm provides a…
Let $k$ be a field, let $A$ and $B$ be polynomial rings over $k$, and let $S= A \otimes_k B$. Let $I \subseteq A$ and $J \subseteq B$ be monomial ideals. We establish a binomial expansion for rational powers of $I+J \subseteq S$ in terms of…
Let $S=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ with $n$ variables $x_1$, ..., $x_n$, $\mmmm$ the irrelevant maximal ideal of $S$, $I$ a monomial ideal in $S$ and $I'$ the polarization of $I$ in the polynomial ring $S'$ with…