Related papers: \v{C}ech (co-) complexes as Koszul complexes and a…

We study some spectral sequences associated with a locally free $\mathcal O_X$-module $\mathcal A$ which has a Lie algebroid structure. Here $X$ is either a complex manifold or a regular scheme over an algebraically closed field $k$. One…

The aim of this short note is to present a proof of the existence of an $A_\infty$-quasi-isomorphism between the $A_\infty$-$\mathrm S(V^*)$-$\wedge(V)$-bimodule $K$, introduced in \cite{CFFR}, and the Koszul complex $\mathrm K(V)$ of…

We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$-forms of a…

We extend the usual notion of fully commutative elements from the Coxeter groups to the complex reflection groups. Then we decompose the sets of fully commutative elements into natural subsets according to their combinatorial properties,…

We describe a structure on a commutative ring (pre)cyclotomic spectrum $R$ that gives rise to a (pre)cyclotomic structure on topological Hochschild homology ($THH$) relative to its underlying commutative ring spectrum. This lets us…

Let $K\to U(V)$ be a unitary representation of the compact Lie group $K$. Then there is a canonical moment mapping $\rho\colon V\to\mathfrak k^*$. We have the Koszul complex ${\mathcal K}(\rho,\mathcal C^\infty(V))$ of the component…

This paper is devoted to an exposition of the Koszul complex of a supermodule and its Berezinian from an intrinsic and as general as possible point of view. As an application, an analogue to Bott's formula in the supercommutative setting…

We expand \v{C}ech cohomology of a topological space $X$ with values in a presheaf on $X$ to \v{C}ech cohomology of a commutative ring with unity $R$ with values in a presheaf on $R$. The strategy is to observe that both the set of open…

Let $R$ be a Koszul algebra over a field $k$ and $M$ be a linear $R$-module. We study a graded subalgebra $\Delta_M$ of the Ext-algebra $\operatorname{Ext}_R^*(M,M)$ called the diagonal subalgebra and its properties. Applications to the…

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…

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in…

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…

Let V be a holomorphic bundle over a complex manifold M, and s be a holomorphic section of V. We study different types of cohomology associated to the Koszul complex induced by s. When M is complete, these cohomologies are isomorphic to…

A presheaf of complexes is constructed on a category of weighted finite subsets of a fixed Euclidean space. To each object, a Koszul complex is assigned which resolves the coordinate ring of least squares solutions on that data set for a…

We give a new short proof that the wheeled operad of unimodular Lie algebras is Koszul and use this to explicitly construct its minimal resolution. A representation of this resolution in a finite dimensional vector space V we call a…

A finite element cochain complex on Cartesian meshes of any dimension based on the H1-inner product is introduced. It yields H1-conforming finite element spaces with exterior derivatives in H1. We use a tensor product construction to obtain…

This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the…

We prove $L_{\infty}$-formality for the higher cyclic Hochschild complex $\chH$ over free associative algebra or path algebra of a quiver. The $\chH$ complex is introduced as an appropriate tool for the definition of pre-Calabi-Yau…

We use the multiplicative structure of the Koszul resolution to give short and simple proofs of some known estimates for the total dimension of the cohomology of spaces which admit free torus actions and analogous results for filtered…

Let $n\ge 1$ and $A$ be a commutative algebra of the form $\boldsymbol k[x_1,x_2,\dots, x_n]/I$ where $\boldsymbol k$ is a field of characteristic $0$ and $I\subseteq \boldsymbol k[x_1,x_2,\dots, x_n]$ is an ideal. Assume that there is a…