English
Related papers

Related papers: Koszul cycles and Golod rings

200 papers

We construct a free resolution of $R/I^s$ over $R$ where $I\ideal R$ is generated by a (finite or infinite) regular sequence. This generalizes the Koszul complex for the case $s=1$. For $s>1$, we easily deduce that the algebra structure of…

Commutative Algebra · Mathematics 2013-05-13 Andrew Baker

Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$, and let $I\subset S$ be a monomial ideal. In this paper, we introduce the $i$th \textit{homological shift algebras}…

Commutative Algebra · Mathematics 2025-04-18 Antonino Ficarra , Ayesha Asloob Qureshi

We study the Koszul property of a standard graded $K$-algebra $R$ defined by the binomial edge ideal of a pair of graphs $(G_1,G_2)$. We show that the following statements are equivalent: (i) $R$ is Koszul; (ii) the defining ideal…

Commutative Algebra · Mathematics 2018-07-27 Herolistra Baskoroputro , Viviana Ene , Cristian Ion

In this article we study the Golod property of standard graded algebras. We show that determinantal ideals, binomial edge ideals, and permanental ideals are Golod if and only if they have a linear resolution. Next, we give a…

Commutative Algebra · Mathematics 2026-05-20 Benjamin Briggs , Trung Chau , Alessandro De Stefani

For an ideal I in a regular local ring (R,m)$ with residue class field K = R/m or a standard graded K-algebra R we show that for k >> 0 --> the Artin--Rees number of the syzygy modules of I^k as submodules of the free modules from a free…

Commutative Algebra · Mathematics 2011-08-31 Jürgen Herzog , Volkmar Welker , Siamak Yassemi

Koszul homology of monomial ideals provides a description of the structure of such ideals, not only from a homological point of view (free resolutions, Betti numbers, Hilbert series) but also from an algebraic viewpoint. In this paper we…

Commutative Algebra · Mathematics 2008-11-07 Anna M. Bigatti , E. Saenz-de-Cabezon

We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when…

Commutative Algebra · Mathematics 2025-04-02 Benjamin Briggs , James C. Cameron , Janina C. Letz , Josh Pollitz

Let $K$ be a field of characteristic zero, $R = K[X_1,...,X_n]$ and let $I$ be an ideal in $R$. Let $A_n(K) = K<X_1,...,X_n, \partial_1,..., \partial_n>$ be the $n^{th}$ Weyl algebra over $K$. By a result due to Lyubeznik the local…

Commutative Algebra · Mathematics 2013-07-10 Tony J. Puthenpurakal

For any ideal $I$ in a Noetherian local ring or any graded ideal $I$ in a standard graded $K$-algebra over a field $K$, we introduce the socle module $\mathrm{Soc}(I)$, whose graded components give us the socle of the powers of $I$. It is…

Commutative Algebra · Mathematics 2019-09-17 Lizhong Chu , Jürgen Herzog , Dancheng Lu

In this paper, we study conditions guaranteeing that a product of ideals defines a Golod ring. We show that for a $3$-dimensional regular local ring (or $3$-variable polynomial ring) $(R , \m)$, the ideal $I \m$ always defines a Golod ring…

Commutative Algebra · Mathematics 2022-01-27 Keller VandeBogert

We prove that the Milnor ring of any (one-dimensional) local or global field K modulo a prime number l is a Koszul algebra over Z/l. Under mild assumptions that are only needed in the case l=2, we also prove various module Koszulity…

K-Theory and Homology · Mathematics 2014-07-15 Leonid Positselski

Let R be a commutative ring and I an ideal in R which is locally generated by a regular sequence of length d. Then, each projective R/I-module V has an R-projective resolution P. of length d. In this paper, we compute the homology of the…

Commutative Algebra · Mathematics 2007-05-23 Bernhard Köck

The object of the paper is the dependence of Koszul complexes and dependence of dual Koszul complexes of two systems of non-homogeneous polynomials, when one system is a part of other system, in connection with the duality in a Koszul…

Commutative Algebra · Mathematics 2012-05-11 Timur R. Seifullin

We define generalized Koszul modules and rings and develop a generalized Koszul theory for $\mathbb{N}$-graded rings with the degree zero part noetherian semiperfect. This theory specializes to the classical Koszul theory for graded rings…

Rings and Algebras · Mathematics 2022-11-14 Haonan Li , Quanshui Wu

We present a monomial ideal $\mathfrak{a} \subset S$ such that $S/\mathfrak{a}$ is not Golod, even though the product on its Koszul homology is trivial. This constitutes a counterexample to a well-known result by Berglund and J\"ollenbeck…

Commutative Algebra · Mathematics 2017-02-01 Lukas Katthän

In this paper we investigate the Rees algebras of squarefree monomial ideals $I \subset S=K[x_1,\dots,x_n]$ generated in degree $n-2$, where $K$ is a field. Every such ideal arises as the complementary edge ideal $I_c(G)$ of a finite simple…

Commutative Algebra · Mathematics 2025-09-24 Antonino Ficarra , Somayeh Moradi

We describe Koszul type complexes associated with a linear map from any module to a free module, and vice versa with a linear map from a free module to an arbitrary module, generalizing the classical Koszul complexes. Given a short complex…

Commutative Algebra · Mathematics 2007-05-23 Bogdan Ichim , Udo Vetter

This work concerns commutative algebras of the form $R=Q/I$, where $Q$ is a standard graded polynomial ring and $I$ is a homogenous ideal in $Q$. It has been proposed that when $R$ is Koszul the $i$th Betti number of $R$ over $Q$ is at most…

Commutative Algebra · Mathematics 2017-05-04 Adam Boocher , S. Hamid Hassanzadeh , Srikanth B. Iyengar

Let $S = \mathbb{K}[x_1, \dots, x_n]$ be the polynomial ring over a field $\mathbb{K}$. In this paper we present a criterion for componentwise linearity of powers of monomial ideals. In particular, we prove that if a square-free monomial…

Commutative Algebra · Mathematics 2013-10-01 Nasrin Altafi , Navid Nemati , S. A. Seyed Fakhari , Siamak Yassemi

Let $k$ be an algebraically closed field of characteristic $0$. Let $X$ be a $2\times e$ matrix of linear forms over a polynomial ring $k[\mathsf{x}_1, \ldots,\mathsf{x}_n]$ (where $e,n\ge 1$). We prove that the determinantal ring $R =…

Commutative Algebra · Mathematics 2014-06-19 Hop D. Nguyen , Phong Dinh Thieu , Thanh Vu