Related papers: Computing the homology of Koszul complexes

It has been shown recently, in a joint work with Michel Dubois-Violette and Marc Wambst (see math.QA/0203035), that Koszul property of $N$-homogeneous algebras (as defined in the original paper) becomes natural in a $N$-complex setting. A…

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…

In this paper we consider projective and injective resolutions of Koszul complexes and give several applications to the study of Koszul homology modules.

The stable Khovanov-Rozansky homology of torus knots has been conjecturally described as the Koszul homology of an explicit non-regular sequence of polynomials. We verify this conjecture against newly available computational data for…

Cassidy, Phan and Shelton associate to any regular cell complex X a quadratic K-algebra R(X). They give a combinatorial solution to the question of when this algebra is Koszul. The algebra R(X) is a combinatorial invariant but not a…

We construct the super Koszul complex of a free supercommutative $A$-module $V$ of rank $p|q$ and prove that its homology is concentrated in a single degree and it yields an exact resolution of $A$. We then study the dual of the super…

Let $R$ be a standard graded algebra over an $F$-finite field of characteristic $p > 0$. Let $\phi:R\to R$ be the Frobenius endomorphism. For each finitely generated graded $R$-module $M$, let ${}^{\phi}\!M$ be the abelian group $M$ with…

L. Avramov, following D. Quillen, posed a conjecture to the effect that if $R \to A$ is a homomorphism of Noetherian rings then the Andr\'e-Quillen homology on the category of A-modules satisfies: $D_{s}(A|R;-) = 0$ for $s\gg 0$ implies…

Let $(A,\mathfrak{m})$ be an excellent local complete intersection ring and let $I = (a_1, \ldots, a_r)$ be an ideal of positive height. Let $\mathcal{R}(I) = A[It]$ be the Rees algebra of $I$. Consider the map $\psi \colon S = A[X_1,…

We consider partitions of a set with $r$ elements ordered by refinement. We consider the simplicial complex $\bar{K}(r)$ formed by chains of partitions which starts at the smallest element and ends at the largest element of the partition…

This is the third in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ be an ideal of $R$. We show in different settings that $I$-reduced (resp. $I$-coreduced)…

Each connected graded, graded-commutative algebra $A$ of finite type over a field $\Bbbk$ of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the…

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…

A simplicial complement P is a sequence of subsets of [m] and the simplicial complement P corresponds to a unique simplicial complex K with vertices in [m]. In this paper, we defined the homology of a simplicial complement…

For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$, we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$, then $I$ must be generated by a regular sequence. This…

Let V be a symplectic vector space of dimension 2n. Given a partition \lambda with at most n parts, there is an associated irreducible representation S_{[\lambda]}(V) of Sp(V). This representation admits a resolution by a natural complex…

We extend the Koszul calculus defined on quadratic algebras by Berger, Lambre and Solotar, to N-homogeneous algebras. When N>2, the Koszul cup and cap products are defined by specific expressions, and they are compatible with the Koszul…

The minimal free resolution of the coordinate ring of a complete intersection in projective space is a Koszul complex on a regular sequence. In the product of projective spaces $\mathbb{P}^1 \times \mathbb{P}^1$, we investigate which sets…

In this paper we present several algorithms related with the computation of the homology of groups, from a geometric perspective (that is to say, carrying out the calculations by means of simplicial sets and using techniques of Algebraic…

The aim of this paper is to give the geometric realization of regular path complexes via (co)homology groups with coefficients in a ring $R$. Concretely, for each regular path complex $P$, we associate it with a singular $\Delta$-complex…