Related papers: Koszul cycles and Golod rings
In a polynomial ring $R$ with $n$ variables, for every homogeneous ideal $I$ and for every $p\leq n$ we consider the Koszul homology $H_i(p,R/I)$ with respect to a sequence of $p$ of generic linear forms and define the Koszul-Betti number…
The ring R of real-exponent polynomials in n variables over any field has global dimension n+1 and flat dimension n. In particular, the residue field k = R/m of R modulo its maximal graded ideal m has flat dimension n via a Koszul-like…
In this paper we describe the defining equations of the Rees algebra and the special fiber ring of a truncation I of a complete intersection ideal in a polynomial ring over a field with homogeneous maximal ideal m. To describe explicitly…
We generalize Buchsbaum and Eisenbud's resolutions for the powers of the maximal ideal of a polynomial ring to resolve powers of the homogeneous maximal ideal over graded Koszul algebras. Our approach has the advantage of producing…
For positive integers m >= n >= p, we compute the GL_m x GL_n-equivariant description of the local cohomology modules of the polynomial ring S of functions on the space of m x n matrices, with support in the ideal of p x p minors. Our…
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…
We translate the operations of polarization and depolarization from monomial ideals in a polynomial ring to abstract simplicial complexes. As a result, we explicitly describe the relation between the Koszul simplicial complex of a monomial…
Let $\check{C}_{\underline{x}}$ denote the \v{C}ech complex with respect to a system of elements $\underline{x} = x_1,\ldots,x_r$ of a commutative ring $R$. We construct a bounded complex $\mathcal{L}_{\underline{x}}$ of free $R$-modules…
This paper systematically develops a notion of regular sequences in the context of $R$-linear triangulated categories for a graded-commutative ring $R$. The notion has equivalent characterizations involving Koszul objects and local…
Let $R$ be a positively graded algebra over a field. We say that $R$ is Hilbert-cyclotomic if the numerator of its reduced Hilbert series has all of its roots on the unit circle. Such rings arise naturally in commutative algebra, numerical…
Let $S = K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\deg x_i = 1$ and $I \subset S$ a homogeneous ideal of $S$ with $\dim S/I = d$. The Hilbert series of $S/I$ is of the form…
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…
We study absolutely Koszul algebras, Koszul algebras with the Backelin-Roos property and their behavior under standard algebraic operations. In particular, we identify some Veronese subrings of polynomial rings that have the Backelin-Roos…
Let Q be a regular local ring of dimension 3. We show how to trim a Gorenstein ideal in Q to obtain an ideal that defines a quotient ring that is close to Gorenstein in the sense that its Koszul homology algebra is a Poincare duality…
Let $k$ be a field. We determine the ideals $I$ in a finitely generated graded $k$-algebra $A$, whose associated graded rings are isomorphic to $A$. Also we compute the graded local cohomologies of the Rees rings $A[I t]$ and give the…
Koszul modules over Noetherian local rings $R$ were introduced by Herzog and Iyengar and they possess good homological properties, for instance their Poincare' series is rational. It is an interesting problem to characterize classes of…
We will describe how we can identify the structure of the Koszul algebra for trivariate monomial ideals from minimal free resolutions. We use recent work of L. Avramov, where he classifies the behavior of Bass numbers of embedding codepth 3…
For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$, we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$, then $I$ must be generated by a regular sequence. This…
Let $M$ be a finite module over a noetherian ring $R$ with a free resolution of length 1. We consider the generalized Koszul complexes $\mathcal{C}_{\bar\lambda}(t)$ associated with a map $\bar\lambda:M\to\mathcal{H}$ into a finite free…
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)^{\ell} \oplus k(-2s+1)$, where $s \geq3$ and…