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 algebraic proof of an old theorem due to Greuel (see [G], Proposition 2.5). We refer to [HM] where one can find another proof by similar methods.
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…
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.
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.
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.
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.
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.
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 $(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…
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 monomi…
Let $\check{C}_{\underline{x}}$ denote the Č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 and a quasi-isomorphism $\mathcal{L}_{\underline{x}} \stackrel{\sim}{\longrightarrow} \check{C}_{\underline{x}}$ and isomorphisms $\mathcal{L}_{\underline{x}} \otimes_R X \cong K^{\bullet}(\underline{x}-\underline{U}; X[\underline{U}^{-1}])$ and $\operatorname{Hom}_R(\mathcal{L}_{\underline{x}},X) \cong K_{\bullet}(\underline{x}-\underline{U};X[[\underline{U}]])$ …
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 complex established by author earlier. Whence, the dependence of Koszul complexes and dependence of dual Koszul complexes follow when one system is linearly expressed through other system. Obtaned results are used in the proof of homotopic equivalence, formulated earlier by the author, of the Koszul complex and dual Koszul complex of a system of non-homogeneous p…
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.
The eThe existence of common zero of a family of polynomials has led to study of inertial forms whose homogeneous part of degree 0 constitutes the ideal resultant. The Koszul anc Cech cohomology groups play a fundamental role in this study. An analogueous of Hurwitz theorem is given and also we finds a MCoy theorem in a particular case of this study.
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.
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.
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.
We introduce the notions of Koszul $N$-complex, $\check{\mathrm{C}}$ech $N$-complex and telescope $N$-complex, explicit derived torsion and derived completion functors in the derived category $\mathbf{D}_N(R)$ of $N$-complexes using the $\check{\mathrm{C}}$ech $N$-complex and the telescope $N$-complex. Moreover, we give an equivalence between the category of cohomologically $\mathfrak{a}$-torsion $N$-complexes and the category of cohomologically $\mathfrak{a}$-adic complete $N$-complexes, and prove that over a commutative noetherian ring, via Koszul cohomology, via RHom cohomology (resp. $\oti…
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 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^…
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 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 extend the theory of Koszul and Buchsbaum-Eisenbud complexes to modules over commutative OI-algebras and show that they still have the familiar properties of the classical complexes. In particular, the OI-complexes are generically acyclic and often provide width-wise minimal free resolutions.
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.
We study the interplay between the cohomology of the Koszul complex of the partial derivatives of a homogeneous polynomial $f$ and the pole order filtration $P$ on the cohomology of the open set $U=\PP^n \setminus D$, with $D$ the hypersurface defined by $f=0$. The relation is expressed by some spectral sequences, which may be used on one hand to determine the filtration $P$ in many cases for curves and surfaces, and on the other hand to obtain information about the syzygies involving the partial derivatives of the polynomial $f$. The case of a nodal hypersurface $D$ is treated in terms of the…
The Rémond resultant attached to a multiprojective variety and a sequence of multihomogeneous polynomials is a polynomial form in the coefficients of the polynomials, which vanishes if and only if the polynomials have a common zero on the variety. We demonstrate that this resultant can be computed as a Cayley determinant of a multigraded Koszul complex, proving a key stabilization property with the aid of local Hilbert functions and the notion of filter-regular sequences. Then we prove that the Rémond resultant vanishes, under suitable hypotheses, with order at least equal to the number of com…
We prove a Cohen-Macaulay version of a result by Avramov-Golod and Frankild-Jørgensen about Gorenstein rings, showing that if a noetherian ring $A$ is Cohen-Macaulay, and $a_1,\dots,a_n$ is any sequence of elements in $A$, then the Koszul complex $K(A;a_1,\dots,a_n)$ is a Cohen-Macaulay DG-ring. We further generalize this result, showing that it also holds for commutative DG-rings. In the process of proving this, we develop a new technique to study the dimension theory of a noetherian ring $A$, by finding a Cohen-Macaulay DG-ring $B$ such that $\mathrm{H}^0(B) = A$, and using the Cohen-Macaula…
For complexes of modules we study two new constructions, which we call the pinched tensor product and the pinched Hom. They provide new methods for computing Tate homology and Tate cohomology, which lead to conceptual proofs of balancedness of Tate (co)homology for modules over associative rings. Another application we consider is in local algebra. Under conditions of vanishing of Tate (co)homology, the pinched tensor product of two minimal complete resolutions yields a minimal complete resolution.
This work concerns finite free complexes over commutative noetherian rings, in particular over group algebras of elementary abelian groups. The main contribution is the construction of complexes such that the total rank of their underlying free modules, or the total length of their homology, is less than predicted by various conjectures in the theory of transformation groups and in local algebra.
For a simplicial complex X on {1,2, ..., n} we define enriched homology and cohomology modules. They are graded modules over k[x_1, ..., x_n] whose ranks are equal to the dimensions of the reduced homology and cohomology groups. We characterize Cohen-Macaulay, l-Cohen-Macaulay, Buchsbaum, and Gorenstein* complexes X, and also orientable manifolds in terms of the enriched modules. We introduce the notion of girth for simplicial complexes and make a conjecture relating the girth to invariants of the simplicial complex. We also put strong vanishing conditions on the enriched homology modules and …
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（斯旺西大学）
