Quasi-isomorphisms of Koszul complexes

Let be a surjective homomorphism of noetherian local commutative rings that induces an isomorphism between the first Koszul homology modules and an epimorphism between the second Koszul homology modules. Then induces isomorphisms between Koszul homology modules in all dimensions.

     

Algebraic Shifting and Exterior and Symmetric Algebra Methods

We define and study Cartan–Betti numbers of a graded ideal J in the exterior algebra over an infinite field which include the usual graded Betti numbers of J as a special case. Following ideas of Conca regarding Koszul–Betti numbers over the symmetric algebra, we show that Cartan–Betti numbers increase by passing to the generic initial ideal and the squarefree lexsegement ideal, respectively. Moreover, we characterize the cases where the inequalities become equalities. As combinatorial applications of the first part of this note and some further symmetric algebra methods we establish results about algebraic shifting of simplicial complexes and use them to compare different shifting operations. In particular, we show that each shifting operation does not decrease the number of facets, and that the exterior shifting is the best among the exterior shifting operations in the sense that it increases the number of facets the least.     

Estimates for Hilbertian Koszul homology

The objective of this paper is to give new kind of estimates for Hilbertian Koszul homology, inspired by commutative algebra, in multivariable Fredholm theory.     

Computing the homology of Koszul complexes

Let be a commutative ring and an ideal in which is locally generated by a regular sequence of length . Then, each f. g. projective -module has an -projective resolution of length . In this paper, we compute the homology of the -th Koszul complex associated with the homomorphism for all , if . 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 , we compute the homology of the complex where and denote the functors occurring in the Dold-Kan correspondence.

     

一个自入射Koszul代数的Hochschild同调与循环同调

代数的Hochschild同调群与其对应的Gabriel箭图的循环圈有着紧密的联系.本文基于Furuya构造的一个四点自入射Koszul代数的极小投射双模分解,用组合的方法计算了该代数的Hochschild同调空间的维数,并用循环圈的语言给出该代数的Hochschild同调空间的一组k-基.进一步,当基础域k的特征为零时,我们也得到了该代数的循环同调群的维数.     

Shifting Operations and Graded Betti Numbers

The behaviour of graded Betti numbers under exterior and symmetric algebraic shifting is studied. It is shown that the extremal Betti numbers are stable under these operations. Moreover, the possible sequences of super extremal Betti numbers for a graded ideal with given Hilbert function are characterized. Finally it is shown that over a field of characteristic 0, the graded Betti numbers of a squarefree monomial ideal are bounded by those of the corresponding squarefree lexsegment ideal.     

Criteria for Componentwise Linearity

We establish characteristic-free criteria for the componentwise linearity of graded ideals. As applications, we classify the componentwise linear ideals among the Gorenstein ideals, the standard determinantal ideals, and the ideals generated by the submaximal minors of a symmetric matrix.     

一类自入射Koszul特殊双列代数的Hochschild同调群

基于Snashall与Taillefer构造的极小投射双模分解,用组合的方法,清晰地计算出一类自入射Koszul特殊双列代数∧_N的各阶Hochschild同调群的维数,从而以计算的方式直观地表明了韩阳的猜想对这类代数∧_N成立.     

Morse inequalities for the Koszul complex of multi-persistence

In this paper, we define the homological Morse numbers of a filtered cell complex in terms of relative homology of nested filtration pieces, and derive inequalities relating these numbers to the Betti tables of the multi-parameter persistence modules of the considered filtration. Using the Mayer-Vietoris spectral sequence we first obtain strong and weak Morse inequalities involving the above quantities, and then we improve the weak inequalities achieving a sharp lower bound for homological Morse numbers. Furthermore, we prove a sharp upper bound for homological Morse numbers, expressed again in terms of the Betti tables.     

Koszul Algebras and Their Ideals

We study associative graded algebras that have a “complete flag” of cyclic modules with linear free resolutions, i.e., algebras over which there exist cyclic Koszul modules with any possible number of relations (from zero to the number of generators of the algebra). Commutative algebras with this property were studied in several papers by Conca and others. Here we present a noncommutative version of their construction.We introduce and study the notion of Koszul filtration in a noncommutative algebra and examine its connections with Koszul algebras and algebras with quadratic Grobner bases. We consider several examples, including monomial algebras, initially Koszul algebras, generic algebras, and algebras with one quadratic relation. It is shown that every algebra with a Koszul filtration has a rational Hilbert series.__________Translated from Funktsional’nyi Analiz i Ego Prilozheniya, Vol. 39, No. 2, pp. 47–60, 2005Original Russian Text Copyright © by D. I. PiontkovskiiSupported in part by the Russian Foundation for Basis Research under project 02-01-00468.     

Reduction numbers and initial ideals

The reduction number of a standard graded algebra is the least integer such that there exists a minimal reduction of the homogeneous maximal ideal of such that . Vasconcelos conjectured that where is the initial ideal of an ideal in a polynomial ring with respect to a term order. The goal of this note is to prove the conjecture.

     

Cohen-Macaulay properties of the Koszul homology

The Koszul homology H.(y,N) which is constructed with respect to a sequencey and a maximal Cohen-Macaulay (CM) module N over a local CM ring A admitting a canonical module _A will be compared with the Koszul homology H. (y, Hom_A(N, _A)).If R:=A/I with I=(y) is a CM ring, then the canonical module _R of R exists and we will mainly show the existence of a natural isomorphism H. (y, Hom_A(N, _A)Hom_R(H. (y, N), _R, if H. (y, N) is a maximal CM module over R. This generalizes a result of Herzog in [2]. Using this isomorphism we are able to compute the graded canonical module of the graded ring gr_I (A) in a certain case.In the last part of this paper we define a polynominal U^N (y,x) associated with the Koszul homology H. (y, N) similar to Huneke in [7]. Huneke proved that H_j (y, N) is CM, if jN (y,x). We will proceed to show that H_j (y, N) is CM if j>deg U^N (y,x).The material presented in this paper constitutes part of the author's thesis submitted to Universität Essen.     

t-Spread strongly stable monomial ideals*

We introduce the concept of t-spread monomials and t-spread strongly stable ideals. These concepts are a natural generalization of strongly stable and squarefree strongly stable ideals. For the study of this class of ideals we use the t-fold stretching operator. It is shown that t-spread strongly stable ideals are componentwise linear. Their height, their graded Betti numbers and their generic initial ideal are determined. We also consider the toric rings whose generators come from t-spread principal Borel ideals.     

Full Graphs and Koszul Algebras II

This paper continues the study of n-full graphs and their connection to certain Koszul algebras started in Green and Hartman (to appear). We provide constructive methods for creating new full graphs from old and study the associated Koszul algebras and the projective resolution of simple modules over such algebras.