Related papers: Regularity bounds for Koszul cycles
Let $R$ be a regular ring containing a field $k$. Let $\mathbf{x} = x_1, \ldots, x_r$ be a regular sequence in $R$ such that $R/(\mathbf{x})$ is a regular ring. Fix $m \geq 1$. Set $A_m = R/(\mathbf{x})^m$. We show that for any ideal $Q$ of…
It is proved, as was conjectured by Eisenbud-Koh-Stillman, that for a finitely generated graded module $M$ over the symmetric algebra $S(V)$, if the Koszul group ${\cal K}_{p,0}(M,V)\ne 0$, then the set of rank 1 relations in $M_0\otimes V$…
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,…
Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s) \oplus k(-2s+1)$, where $s \geq3$ is some…
Let $I$ be a monomial ideal in a polynomial ring $A=K[x_1,...,x_n]$. We call a monomial ideal $J$ to be a minimal monomial reduction ideal of $I$ if there exists no proper monomial ideal $L \subset J$ such that $L$ is a reduction ideal of…
This article concerns linear parts of minimal resolutions of finitely generated modules over commutative local, or graded rings. The focus is on the linearity defect of a module, which marks the point after which the linear part of its…
A root ideal arrangement $A_I$ is the set of reflecting hyperplanes corresponding to the roots in an order ideal $I$ of the root poset on the positive roots of a finite crystallographic root system. A characterisation of supersolvable root…
With a particular focus on explicit computations and applications of the Koszul homology and Betti numbers of monomial ideals, the main goals of this thesis are the following: Analyze the Koszul homology of monomial ideals and apply it to…
The present paper investigates properties of quasi-stable ideals and of Borel-fixed ideals in a polynomial ring $k[x_0,\dots,x_n]$, in order to design two algorithms: the first one takes as input $n$ and an admissible Hilbert polynomial…
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…
In the present paper, we study the essential normality of quotient modules over the polydisc. It is shown that if the zero variety of homogenous ideal $I$ is a distinguished variety, then its quotient module is $(1,\infty)$-essentially…
Let $G$ be a finitely generated right $A$-module for a finite-dimensional algebra $A$ over a filed $\Bbbk$, and $\mathcal{I}$ the additive closure of $G$. We will define a $\mathcal{I}$-relative Koszul coresolution…
We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary algebras admitting linear tilting (co)resolutions of standard and costandard modules. We show that such algebras are Koszul, that the…
Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra $A$ with radical $J$ will be said to be short provided $J^3 = 0$. As in the commutative case, also in…
The notion of regularity has been used by S. Kleiman in the construction of bounded families of ideals or sheaves with given Hilbert polynomial, a crucial point in the construction of Hilbert or Picard scheme. In a related direction,…
For any two integers $d,r \geq 1$, we show that there exists an edge ideal $I(G)$ such that the ${\rm reg}\left(R/I(G)\right)$, the Castelnuovo-Mumford regularity of $R/I(G)$, is $r$, and ${\rm deg} (h_{R/I(G)}(t))$, the degree of the…
Let $A$ be a regular ring containing a field of characteristic zero and let $R = A[X_1,\ldots, X_m]$. Consider $R$ as standard graded with $deg \ A = 0$ and $deg \ X_i = 1$ for all $i$. In this paper we present a comprehensive study of…
We consider the ring S=C[x_ij] of polynomial functions on the vector space C^(m x n) of complex m x n matrices. We let GL= GL_m x GL_n and consider its action via row and column operations on C^(m x n) (and the induced action on S). For…
In this note, we give a bound for the Castelnuovo-Mumford regularity of a homogeneous ideal $I$ in terms of the degrees of its generators. We assume that $I$ defines a local complete intersection with log canonical singularities.
In a formally unmixed Noetherian local ring, if the colength and multiplicity of an integrally closed ideal agree, then $R$ is regular. We deduce this using the relationship between multiplicity and various ideal closure operations.