Related papers: \v{C}ech (co-) complexes as Koszul complexes and a…
Let $\xx= x_1,\ldots,x_r$ denote a system of elements of a commutative ring $R$. For an $R$-module $M$ we investigate when $\xx$ is $M$-pro-regular resp. $M$-weakly pro-regular as generalizations of $M$-regular sequences. This is done in…
Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…
We construct a Koszul complex in the category of left skew polynomial rings associated to a flat endomorphism that provides a finite free resolution of an ideal generated by a Koszul regular sequence.
This paper investigates the representation-theoretic structure of the Koszul cohomology of a smooth projective variety $X$ over an algebraically closed field $k$, admitting an action of a finite group $G$ of order coprime to ${\rm…
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…
For a scheme X, we construct a sheaf C of complexes on X such that for every quasi-compact open subset U of X, C(U) is quasi-isomorphic to the Hochschild complex of the scheme U. Since C is moreover acyclic for taking sections on…
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…
Let $S$ denote the graded polynomial ring $\C[x_1,...,x_m]$. We interpret a chain complex of free $S$-modules having finite length homology modules as an $S^1$-equivariant map $\C^m\sm\{0\} \to X$, where $X$ is a moduli space of exact…
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…
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…
A product of cochains in a polyhedral complex is constructed. The multiplication algorithm depends on the choice of a parameter. The parameter is a linear functional on the ambient space. Cocycles form a subring of the ring of cochains,…
Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…
Let $R$ be a semisimple ring. A pair $(A,C)$ is called almost-Koszul if $A$ is a connected graded $R$-ring and $C$ is a compatible connected graded $R$-coring. To an almost-Koszul pair one associates three chain complexes and three cochain…
Let $V$ be an elementary abelian $2$-group and $X$ be a finite $V$-CW-complex. In this memoir we study two cochain complexes of modules over the mod2 Steenrod algebra $\mathrm{A}$, equipped with an action of $\mathrm{H}^{*}V$, the mod2…
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…
In this paper we aim to understand the category of stable-Yetter-Drinfeld modules over enveloping algebra of Lie algebras. To do so, we need to define such modules over Lie algebras. These two categories are shown to be isomorphic. A mixed…
A three-term complex of free modules over a local ring determines a mixed Koszul complex, whose Euler characteristic can be expressed by mixed multiplicities. As an application, we offer a simple formula for the index of a holomorphic…
We discuss the construction of finite element spaces of differential forms which satisfy the crucial assumptions of the finite element exterior calculus, namely that they can be assembled into subcomplexes of the de Rham complex which admit…
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…
We develop a Koszul-theoretic framework for comparing classical Alexander-type invariants with infinitesimal invariants arising from finite-type commutative differential graded algebra models. The central mechanism is Koszul linearization,…