Computing the homology of Koszul complexes
Bernhard Köck
Abstract
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 P1 --> P0 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 Sym2 K(P.) where K and N denote the functors occurring in the Dold-Kan correspondence.
Create a lesson
Related papers
On the weak Lefschetz property of Artinian Gorenstein algebras of codimension three in arbitrary characteristic
Omkar Javadekar
Linear Independence of Polynomial Compositions and Identifiability of Deep Neural Networks
Kathlén Kohn, Giovanni Luca Marchetti, Alex Massarenti et al.
Comparing v-numbers of symbolic and ordinary powers of squarefree monomial ideals
Trung Chau, Tài Huy Hà, A. V. Jayanthan et al.
Polynomial extensions do not preserve the strong finite type property
Viet-Hoang Tran, Phan Thanh Toan, Thieu N. Vo et al.
Reduction numbers for witnesses to the generalized Loewy length
Richard Bartels, Sarah Dajani, Gabriel Koomson
Multi-graded generic initial ideals, regularity, and the optimal colorful fractional Helly theorem for d-Leray complexes
Daniel McGinnis