The Koszul homology of modules of the polynomial ring $R$ is a central object in commutative algebra.It is strongly related with the minimal free resolution of these modules, and thus with regularity, Hilbert functions, etc. Here we consider the case of modules of the form $R/I$ where $I$ is a monomial ideal. So far, some good algorithms have been given in the literature and implemented in different Computer Algebra Systems (e.g. CoCoa, Singular, Macaulay), which compute minimal free resolutions of modules of the form $R/I$ with $I$ an ideal in $R$, which include the case of $I$ being a monomial ideal as a particular one (a good review is given in \cite {Sie}). Our goal is to build algorithms especially teargeted to monomial ideals, taking into account the special combinatorial and structural properties of these ideals. This being a first goal, it is also a first step of an alternative approach to the computation of the Koszul homology and minimal free resolutions of polynomial ideals.
It gives a class of $p$-Borel principal ideals of a polynomial algebra over a field $K$ for which the graded Betti numbers do not depend on the characteristic of $K$ and the Koszul homology modules have monomial cyclic basis. Also it shows that all principal $p$-Borel ideals have binomial cycle basis on Koszul homology modules.
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 commutative local rings. His classification relies on a corresponding classification of their respective Koszul algebras, which is comprised of 5 categories. Using Avramov's classification of the Koszul algebra, along with their respective Bass series we will learn how to identify the Koszul algebra structure by inspecting the minimal free resolution of the…
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 describe the structure of monomial ideals. Describe algorithms to perform efficient computations of the homological invariants of monomial ideals. Apply the theory and computations on monomial ideals to problems inside and outside mathematics The thesis introduces as a main tool Mayer-Vietoris trees of monomial ideals.
In this paper we extend the well-known iterated mapping cone procedure to monomial ideals in strongly Koszul algebras. We study properties of ideals generated by monomials in commutative Koszul algebras and show that the linear strand of ideals generated by linear forms is obtained as a subcomplex of the Priddy complex. In the case of strongly Koszul algebras, this shows that the minimal free resolution of a monomial ideal admitting linear quotients is obtained as an iterated mapping cone, immediately extending results for such ideals in polynomial rings to strongly Koszul algebras. We then co…
We investigate various module-theoretic properties of Koszul homology under mild conditions. These include their depth, $S_2$-property and their Bass numbers
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 Koszul homologies. In this paper we survey some classical results on the Koszul homology algebras of such rings and highlight some applications. We report on recent progress on the Koszul homology algebras of Koszul algebras and examine some open questions on the topic.
In this note, we calculate the Koszul homology of the codimension 3 Gorenstein ideals. We find filtrations for the Koszul homology in terms of modules with pure free resolutions and completely describe these resolutions. We also consider the Huneke-Ulrich deviation 2 ideals.
Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known descriptions of the numerical invariants width and depth in terms of Koszul homology, local homology, and local cohomology. Also, we immediately recover a few renowned vanishing criteria scattered about…
We show that the Koszul homology algebra of a quotient by the edge ideal of a forest is generated by the lowest linear strand. This provides a large class of Koszul algebras whose Koszul homology algebras satisfy this property. We obtain this result by constructing the minimal graded free resolution of a quotient by such an edge ideal via the so called iterated mapping cone construction and using the explicit bases of Koszul homology given by Herzog and Maleki. Using these methods we also recover a result of Roth and Van Tuyl on the graded Betti numbers of quotients of edge ideals of trees.
We show that the Koszul homology algebra of the second Veronese subalgebra of a polynomial ring over a field of characteristic zero is generated, as an algebra, by the homology classes corresponding to the syzygies of the lowest linear strand.
Let $R$ be a standard graded commutative algebra over a field $k$, let $K$ be its Koszul complex viewed as a differential graded $k$-algebra, and let $H$ be the homology algebra of $K$. This paper studies the interplay between homological properties of the three algebras $R$, $K$, and $H$. In particular, we introduce two definitions of Koszulness that extend the familiar property originally introduced by Priddy: one which applies to $K$ (and, more generally, to any connected differential graded $k$-algebra) and the other, called strand-Koszulness, which applies to $H$. The main theoretical res…
We study Koszul homology over Gorenstein rings. If an ideal is strongly Cohen-Macaulay, the Koszul homology algebra satisfies Poincaré duality. We prove a version of this duality which holds for all ideals and allows us to give two criteria for an ideal to be strongly Cohen-Macaulay. The first can be compared to a result of Hartshorne and Ogus; the second is a generalization of a result of Herzog, Simis, and Vasconcelos using sliding depth.
Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^R$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show that certain conditions on the multiplicative structure of Koszul homology imply strong homological properties, such as existence of certain Golod homomorphisms, leading to explicit computations of Po…
Differential modules are natural generalizations of complexes. In this paper, we study differential modules with complete intersection homology, comparing and contrasting the theory of these differential modules with that of the Koszul complex. We construct a Koszul differential module that directly generalizes the classical Koszul complex and investigate which properties of the Koszul complex can be generalized to this setting.
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 show that, in particular, the homology at degree (n-1), with n the number of indeterminates of the ring, plays an important role for this algebraic description in terms of Stanley and irreducible decompositions.
We discuss a class of modules, which we call $\underline{g}$-weak complete intersection modules, inspired by the weak complete intersection ideals studied by Rahmati, Striuli, and Yang and we present explicit formulas for the generators of Koszul homology with coefficients in a $\underline{g}$-weak complete intersection module. This generalizes work of Herzog and of Corso, Goto, Huneke, Polini, and Ulrich. We use these explicit formulas to study connections between $\underline{g}$-weak complete intersection ideals and weak complete intersection ideals.
We study the conjecture that if $I,J$ are $μ-$primary in a regular local ring $(R,μ)$ with dim$(R)=n$, then $\frac{I \cap J}{IJ} \cong \Tor_1(R/I, R/J)$ needs at least $n$ generators, and a related conjecture about the number of generators of the first Koszul homology module of an Artinian local ring $(A,m)$. In this manuscript, we focus our attention on the complete intersection defect of the Artinian ring and its quotient by the Koszul elements. We prove that the number of generators of the first Koszul homology module of $x_1,...,x_n \in m$ on an Artinian local ring $(A,m)$ is at least $n+ …
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 $β_{ijp}(R/I)$ of $R/I$ to be the dimension of the degree $j$ part of $H_i(p,R/I)$. In characteristic 0, we show that the Koszul-Betti numbers of any ideal $I$ are bounded above by those of any gin of $I$ and also by those of the Lex-segment of $I$. We also investigate the set $Gins(I)$ of all the gin of $I$ and show that the Koszul-Betti numbers of any ideal…
Let $I$ be a homogeneous ideal in a polynomial ring over a field. Let $I^{(n)}$ be the $n$-th symbolic power of $I$. Motivated by results about ordinary powers of $I$, we study the asymptotic behavior of the regularity function $\text{reg}~ (I^{(n)})$ and the maximal generating degree function $ω(I^{(n)})$, when $I$ is a monomial ideal. It is known that both functions are eventually quasi-linear. We show that, in addition, the sequences $\{\text{reg}~ I^{(n)}/n\}_n$ and $\{ω(I^{(n)})/n\}_n$ converge to the same limit, which can be described combinatorially. We construct an example of an equidi…
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λ}(t)$ associated with a map $\barλ:M\to\mathcal{H}$ into a finite free $R$-module $\mathcal{H}$ (see [IV], section 3), and investigate the homology of $\mathcal{C}_{\barλ}(t)$ in the special setup when $\grade I_M=\rank M=\dim R$. ($I_M$ is the first non-vanishing Fitting ideal of $M$.) In this case the (interesting) homology of $\mathcal{C}_{\barλ}(t)$ has finite length, and we deduce some length formulas. As an application we give a short a…
Let $(R,\mathfrak{m})$ be a Noetherian local ring, and let $M$ be a finitely generated $R$-module of dimension $d$. We prove that the set $\left\{\frac{l(M/IM)}{e(I, M)} \right\}_{\sqrt{I}=\mathfrak{m}}$ is bounded below by ${1}/{d!e(\overline{R})}$ where $\overline{R}=R/Ann(M)$. Moreover, when $\widehat{M}$ is equidimensional, this set is bounded above by a finite constant depending only on $M$. The lower bound extends a classical inequality of Lech, and the upper bound answers a question of Stückrad--Vogel in the affirmative. As an application, we obtain results on uniform behavior of the le…
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 of finite free modules, we assemble these complexes to what we call Koszul bicomplexes. They are used in order to investigate the homology of the Koszul complexes in projective dimension one. As in the case of the classical Koszul complexes this homology turns out to be grade sensitive. In a special setup we obtain necessary conditions for a map of free modu…
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öbner basis for the defining ideals of these multi-Rees algebras with squarefree initial monomials, to show that they are also normal Cohen-Macaulay domains.
We investigate the Rees algebra and the toric ring of the squarefree monomial ideal associated to the three-dimensional Ferrers diagram. Under the projection property condition, we describe explicitly the presentation ideals of the Rees algebra and the toric ring. We show that the toric ring is a Koszul Cohen--Macaulay normal domain, while the Rees algebra is Koszul and the defining ideal is of fiber type.
Let R be a commutative noetherian ring. Let M be a finitely generated R-module. In this paper, we reconstruct M from its Koszul homology with respect to a suitable sequence of elements of R by taking direct summands, syzygies and extensions, and count the number of those operations. Using this result, we consider generation and classification of certain subcategories of the category of finitely generated R-modules, its bounded derived category and the singularity category of R.
Let $S$ be the power series ring or the polynomial ring over a field $K$ in the variables $x_1,\ldots,x_n$, and let $R=S/I$, where $I$ is proper ideal which we assume to be graded if $S$ is the polynomial ring. We give an explicit description of the cycles of the Koszul complex whose homology classes generate the Koszul homology of $R=S/I$ with respect to $x_1,\ldots,x_n$. The description is given in terms of the data of the free $S$-resolution of $R$. The result is used to determine classes of Golod ideals, among them proper ordinary powers and proper symbolic powers of monomial ideals. Our t…
Let C be a semidualizing complex over a noetherian local ring A. If there exists a local homomorphism with source A satisfying some homological properties, then C is dualizing.
For a system of non-homogeneous polynomials it was constructed explicit complex morphism of a dual complex to the Koszul complex into the Koszul complex. If the ideal of these polynomials is 0-dimensional, then this mapping is a homotopic equivalence, thus in this case it was obtained explicit duality of the Koszul complex.
Given a monomial ideal in a polynomial ring over a field, we define the LCM-dual of the given ideal. We show good properties of LCM-duals. Including the isomorphism between the special fiber of LCM-dual and the special fiber of given monomial ideal. We show the special fibers of LCM-duals of strongly stable ideals are normal Cohen-Macaulay Koszul domains. We provide an explicit describing of minimal free resolutions of LCM-duals of strongly stable ideals.
Several spectral sequence techniques are used in order to derive information about the structure of finite free resolutions of graded modules. These results cover estimates of the minimal number of generators of defining ideals of projective varieties. There are also investigations about the shifts and the dimension of Betti numbers.
Let $R$ be a local commutative noetherian ring and $HKR$ the homology ring of the corresponding Koszul complex. We study the homological properties of $HKR$ in particular the so-called Avramov spectral sequence. When the embedding dimension of $R$ is four and when $R$ can be presented with quadratic relations we have found 102 cases where this spectral sequence degenerates and only three cases where it does not degenerate. We also determine completely the Hilbert series of the bigraded Tor of these $HKR$ in tables A-D of section 5. We also study some higher embedding dimensions. Among the meth…
We introduce the class of vector-spread monomial ideals. This notion generalizes that of $t$-spread ideals introduced by Ene, Herzog and Qureshi. In particular, we focus on vector-spread strongly stable ideals, we compute their Koszul cycles and describe their minimal free resolution. As a consequence the graded Betti numbers and the Poincaré series are determined. Finally, we consider a generalization of algebraic shifting theory for such a class of ideals.
This work concerns the Koszul complex $K$ of a commutative noetherian local ring $R$, with its natural structure as differential graded $R$-algebra. It is proved that under diverse conditions, involving the multiplicative structure of $H(K)$, any dg $R$-algebra automorphism of $K$ induces the identity map on $H(K)$. In such cases, it is possible to define an action of the automorphism group of $R$ on $H(K)$. On the other hand, numerous rings are described for which $K$ has automorphisms that do not induce the identity on $H(K)$. For any $R$, it is shown that the group of automorphisms of $H(K)…
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 n-th Koszul complex associated with the homomorphism P_1 --> P_0 for all n, if d = 1. This computation yields a new proof of the classical Adams-Riemann-Roch formula for regular closed immersions which does not use the deformation to the normal cone any longer. Furthermore, if d = 2, we compute the homology of the complex N Sym^2 K(P.) where K and N denote the…
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öllenbeck (the error can be traced to a mistake in an earlier article by Jöllenbeck). On the positive side, we show that if $R$ is a monomial ring such that the $r$-ary Massey product vanish for all $r \leq \max(2, \mathrm{reg} R-2)$, then $R$ is Golod. In particular, if $R$ is the Stanley-Reisner ring of a simplicial complex of dimension at most $3$, then $R$ is Golod i…
A graded K-algebra R has property N_p if it is generated in degree 1, has relations in degree 2 and the syzygies of order less or equal to p on the relations are linear. The Green-Lazarsfeld index of R is the largest p such that it satisfies the property N_p. Our main results assert that (under a mild assumption on the base field K) the c-th Veronese subring of a polynomial ring has Green-Lazarsfeld index greater or equal to c+1. The same conclusion also holds for an arbitrary standard graded algebra, provided c is sufficiently large.
Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gröbner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.
All powers of lexsegment ideals with linear resolution (equivalently, with linear quotients) have linear quotients with respect to suitable orders of the minimal monomial generators. For a large subclass of the lexsegment ideals the corresponding Rees algebra has a quadratic Gröbner basis, thus it is Koszul. We also find other classes of monomial ideals with linear quotients whose powers have linear quotients too.
This article outgrew from an effort to understand our basic question: Are the annihilators of the non-zero Koszul homology modules $H_i$ of an unmixed ideal $I$ contained in the integral closure $\bar{I}$ of $I$? We also obtain some variations on a result of Burch, which continue the theme of the paper in that they deal with annihilators of homology and integrally closed ideals.
We prove a theorem unifying three results from combinatorial homological and commutative algebra, characterizing the Koszul property for incidence algebras of posets and affine semigroup rings, and characterizing linear resolutions of squarefree monomial ideals. The characterization in the graded setting is via the Cohen-Macaulay property of certain posets or simplicial complexes, and in the more general nongraded setting, via the sequential Cohen-Macaulay property.
Given a monomial $m$ in a polynomial ring and a subset $L$ of the variables of the polynomial ring, the principal $L$-Borel ideal generated by $m$ is the ideal generated by all monomials which can be obtained from $m$ by successively replacing variables of $m$ by those which are in $L$ and have smaller index. Given a collection $\mathcal{I}=\{I_1,\ldots,I_r\}$ where $I_i$ is $L_i$-Borel for $i=1,\ldots,r$ (where the subsets $L_1,\ldots,L_r$ may be different for each ideal), we prove in essence that if the bipartite incidence graph among the subsets $L_1,\ldots,L_r$ is chordal bipartite, then t…
Let $R = \mathbb{K}[x_1, \ldots, x_n]$ and $I \subset R$ be a homogeneous ideal. In this article, we first obtain certain sufficient conditions for the subadditivity of $R/I$. As a consequence, we prove that if $I$ is generated by homogeneous complete intersection, then subadditivity holds for $R/I$. We then study a conjecture of Avramov, Conca and Iyengar on subadditivity, when $I$ is a monomial ideal with $R/I$ Koszul. We identify several classes of edge ideals of graphs $G$ such that the subadditivity holds for $R/I(G)$. We then study the strand connectivity of edge ideals and obtain severa…
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 conditions are obtained from results concerning Tor of differential graded modules over certain trivial extensions of commutative differential graded algebras.
Let $S$ be a regular local ring or a polynomial ring over a field and $I$ be an ideal of $S$. Motivated by a recent result of Herzog and Huneke, we study the natural question of whether $I^m$ is a Golod ideal for all $m\geq 2$. We observe that the Golod property of an ideal can be detected through the vanishing of certain maps induced in homology. This observation leads us to generalize some known results from the graded case to local rings and obtain new classes of Golod ideals.
We use \ZZ^d-gradings to study d-dimensional monomial ideals. The Koszul functor is employed to interpret the quasidegrees of local cohomology in terms of the geometry of distractions and to explicitly compute the multiplicities of exponents. These multigraded techniques originate from the study of hypergeometric systems of differential equations.
Let R be a commutative noetherian local ring with completion R^. We apply differential graded (DG) algebra techniques to study descent of modules and complexes from R^ to R' where R' is either the henselization of R or a pointed étale neighborhood of R: We extend a given R^-complex to a DG module over a Koszul complex; we describe this DG module equationally and apply Artin approximation to descend it to R. This descent result for Koszul extensions has several applications. When R is excellent, we use it to descend the dualizing complex from R^ to a pointed étale neighborhood of R; this yields…
Let R be the quotient of a polynomial ring over a field k by an ideal generated by monomials. We derive a formula for the multigraded Poincare' series of R, i.e., the generating function for the ranks of the modules in a minimal multigraded free resolution of k over R. The formula can be expressed in terms of the homology of lower intervals in a certain lattice associated to the minimal set of generators for the ideal.
Let A be a noetherian AS regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and grA the category of finitely generated graded left A-modules. Following Jorgensen, we define the Castelnuovo-Mumford regularity reg(X) of a complex X \in D^b(grA) in terms of the local cohomologies or the minimal projective resolution of X. Let A^! be the quadratic dual ring of A. For the Koszul duality functor DG : D^b(grA) -> D^b(grA^!), we have reg(X) = max {i | H^i(DG (X)) \ne 0}. Using these concepts, we study weakly Koszul modules (= componentwise linear modules) over A^…
We construct a self-dual complete resolution of a module defined by a pair of embedded complete intersection ideals in a local ring. Our construction is based on a gluing construction of Herzog and Martsinkovsky and exploits the structure of Koszul homology in the embedded complete intersection case. As a consequence of our construction, we produce an isomorphism between certain stable homology and cohomology modules.
We conjecture that the stable Khovanov homology of torus knots can be described as the Koszul homology of an explicit non-regular sequence of quadratic polynomials. The corresponding Poincare series turns out to be related to the Rogers-Ramanujan identity.
Trivariate Splines on Fans of Hyperplane Arrangements and Koszul Homology
University of Copenhagen（哥本哈根大学）；New Mexico State University（新墨西哥州立大学）；CUNEF Universidad（CUNEF大学）；University of Dayton（代顿大学）；Hue University（顺化大学）；University of Missouri-Kansas City（密苏里大学堪萨斯城分校）；Western University（韦仕敦大学）；McMaster University（麦克马斯特大学）；Swansea University（斯旺西大学）
