Mixed Koszul Complex: Structures & Applications

• Mixed Koszul complex is a family of constructions that extend the classical Koszul complex to accommodate mixed polynomial systems, algebra-coring pairs, and varying supports.
• It employs explicit chain maps, determinant formulas, and duality principles to relate embedded systems, almost-Koszul pairs, and local multiplicity computations.
• The framework supports derived, curved, and representation-theoretic extensions, bridging computational techniques with homological and duality-theoretic methods.

A mixed Koszul complex is not a single universally fixed object, but a family of constructions that extend the classical Koszul complex to settings where several algebraic structures interact simultaneously. In the works considered here, the term is used for complexes attached to two linearly dependent systems of non-homogeneous polynomials, for the six chain and cochain complexes associated with an almost-Koszul pair $(A,C)$, for the total complex determined by a three-term complex of free modules over a local ring, and for Koszul-type or Weyman complexes adapted to mixed multilinear supports (Seifullin, 2012, Martínez et al., 2010, Hennings, 4 Sep 2025, Bender et al., 2021). What these constructions share is the attempt to preserve the homological and duality-theoretic role of the ordinary Koszul complex while incorporating additional data such as embedding maps, module-comodule compatibility, mixed multiplicities, or nonuniform supports.

1. Terminological scope and recurrent structural patterns

Across the cited literature, the expression “mixed Koszul complex” designates several related but nonidentical constructions. The following summary records the principal settings.

Setting	Input data	Characteristic output
Embedded polynomial systems	$f(x)$ and $F(x)=f(x)G(x)$	Chain maps, duality, homotopy equivalence
Almost-Koszul pairs	A graded $R$-ring $A$ and graded $R$-coring $C$	Three chain and three cochain complexes
Local algebra	$R \xrightarrow{a} R^n \xrightarrow{A} R^m$ with $\sum a_jA_j=0$	Double complex with Euler characteristic
Mixed multilinear systems	Polynomials with different supports	Weyman complex and determinantal formulas

A common structural feature is that the mixed object is built from data that would be separate in the classical case. In Seifullin’s treatment, the mixture comes from two nested systems of polynomials and their dual Koszul complexes. In Jara–López Peña–Ştefan, it comes from combining ring and coring structures in a compatible graded pair. In the local-algebraic construction of the three-term complex, the mixture is between an ideal $(a)$ and a submodule $f(x)$0, and the Euler characteristic is governed by mixed multiplicities. In elimination theory, the mixture comes from varying supports or multidegrees, so that the ordinary homogeneous Koszul matrix must be replaced by a support-sensitive Weyman complex (Seifullin, 2012, Martínez et al., 2010, Hennings, 4 Sep 2025, Bender et al., 2021).

This diversity also clarifies a frequent ambiguity: in the available literature, “mixed” may refer to dependence between polynomial systems, simultaneous module and comodule structures, mixed multiplicities, or mixed supports. The shared vocabulary reflects analogy rather than a single canonical definition.

2. Embedded systems of polynomials and dual Koszul complexes

One of the most explicit algebraic uses of the term appears in the study of two systems of non-homogeneous polynomials

$f(x)$1

where one system is embedded in the other in the sense that

$f(x)$2

The central problem is to relate the Koszul complexes $f(x)$3 and $f(x)$4, together with their duals, when one system is linearly expressed through the other (Seifullin, 2012).

The basic structural statement is that if $f(x)$5, then there exists a morphism of Koszul complexes, and of their duals, induced by the matrix $f(x)$6. The construction is explicit: determinant-type expressions, Grassmann variables, and integration over auxiliary variables are used to build chain maps. Typical identities are written in the paper in the form

$f(x)$7

and

$f(x)$8

These formulas express the way differentials, determinants, and dual variables are intertwined in the transfer from one Koszul complex to the other (Seifullin, 2012).

The same framework yields a duality statement and, under stronger hypotheses, homotopic equivalence. In the formulation summarized as Theorem 3, if $f(x)$9, then the Koszul complex of $F(x)=f(x)G(x)$0 is homotopically equivalent to a certain complex built from $F(x)=f(x)G(x)$1, again through explicit determinant formulas. When the ideal $F(x)=f(x)G(x)$2 has finite codimension, equivalently when $F(x)=f(x)G(x)$3 is a finitely generated $F(x)=f(x)G(x)$4-module, stronger duality and homotopy equivalence statements hold. In particular, the paper reproves an earlier theorem asserting the existence of a canonical cocycle $F(x)=f(x)G(x)$5 linking homology classes by an explicit formula; this plays the role of a fundamental class or dualizing element (Seifullin, 2012).

In this usage, a mixed Koszul complex is a Koszul complex for a dependent or embedded system, together with the chain operators that transport cycles, cocycles, and boundaries between the two systems. The emphasis is computational and homotopical: dependence of polynomial systems is translated into dependence of Koszul complexes and their duals.

3. Almost-Koszul pairs and the module-comodule version

A second major use of the idea replaces a single sequence of elements by a compatible algebra-coring pair. Let $F(x)=f(x)G(x)$6 be a semisimple ring. An almost-Koszul pair $F(x)=f(x)G(x)$7 consists of a connected graded $F(x)=f(x)G(x)$8-ring $F(x)=f(x)G(x)$9, a compatible connected graded $R$0-coring $R$1, and an isomorphism of $R$2-bimodules

$R$3

satisfying, for all $R$4,

$R$5

To such a pair one associates three chain complexes and three cochain complexes, namely $R$6, $R$7, $R$8 and their cochain counterparts $R$9, $A$0, $A$1 (Martínez et al., 2010).

For example, one of the chain complexes has the form

$A$2

with

$A$3

The decisive exactness theorem states that if one of the six complexes is exact, then all are exact; in that case $A$4 is called a Koszul pair. In the Koszul case, the left and right chain complexes are projective resolutions of $A$5, while the dual cochain complexes give injective resolutions of $A$6 in the corresponding comodule categories (Martínez et al., 2010).

This framework generalizes the classical Koszul complex by making the construction functorial in both an algebra $A$7 and a compatible coring $A$8. The classical case appears as the particular choice $A$9, where $R$0. The mixed aspect lies in the simultaneous use of module and comodule structures, and in the existence of both projective and injective resolutions in parallel. The theory also yields structural duality: if $R$1 is Koszul, then so are $R$2 and $R$3, with $R$4 as graded corings and $R$5 as graded rings. Applications include computation of Hochschild homology and cohomology through $R$6, and the statement that the twisted tensor product of two Koszul rings is again Koszul under an invertible graded twisting map (Martínez et al., 2010).

4. Three-term complexes, mixed multiplicities, and Euler characteristics

A third construction uses a three-term complex of free modules over a Noetherian local ring $R$7 of dimension $R$8,

$R$9

where $C$0, each $C$1, and the relation

$C$2

is assumed. If $C$3 is the submodule generated by the columns $C$4, and both the ideal $C$5 and the submodule $C$6 have finite colength, one constructs a double complex $C$7 whose total complex is called a mixed Koszul complex (Hennings, 4 Sep 2025).

The construction uses the symmetric algebra

$C$8

Its two differentials are

$C$9

the Koszul differential with respect to the $R \xrightarrow{a} R^n \xrightarrow{A} R^m$0, and

$R \xrightarrow{a} R^n \xrightarrow{A} R^m$1

which contracts against the columns $R \xrightarrow{a} R^n \xrightarrow{A} R^m$2 and couples them to symmetric variables. The rows and columns therefore generalize ordinary Koszul complexes by blending the action of the scalars $R \xrightarrow{a} R^n \xrightarrow{A} R^m$3 and the vectors $R \xrightarrow{a} R^n \xrightarrow{A} R^m$4 (Hennings, 4 Sep 2025).

Under the finite-colength hypothesis, the homology modules of the total complex are Artinian, and the Euler characteristic

$R \xrightarrow{a} R^n \xrightarrow{A} R^m$5

admits a closed formula in terms of mixed multiplicities: $R \xrightarrow{a} R^n \xrightarrow{A} R^m$6 Here $R \xrightarrow{a} R^n \xrightarrow{A} R^m$7 is the $R \xrightarrow{a} R^n \xrightarrow{A} R^m$8-th mixed multiplicity of the ideal $R \xrightarrow{a} R^n \xrightarrow{A} R^m$9 and the submodule $\sum a_jA_j=0$0. The same work provides an alternate expression: $\sum a_jA_j=0$1 and states that the alternating sum is independent of the ordering. Special cases identify $\sum a_jA_j=0$2 with the Buchsbaum–Rim multiplicity $\sum a_jA_j=0$3 and $\sum a_jA_j=0$4 with the usual multiplicity $\sum a_jA_j=0$5. If $\sum a_jA_j=0$6 is Cohen–Macaulay and the parameters form a regular sequence, the mixed multiplicities reduce to simple lengths (Hennings, 4 Sep 2025).

The principal geometric application is an index formula for a holomorphic vector field at an isolated complete intersection singularity. If $\sum a_jA_j=0$7 is tangent to an ICIS $\sum a_jA_j=0$8, the contraction maps $\sum a_jA_j=0$9 define a Koszul-like complex on Kähler differentials. The paper identifies its Euler characteristic with that of a modified mixed Koszul complex and obtains

$(a)$0

where $(a)$1 is the Milnor number (Hennings, 4 Sep 2025). In this form, the mixed Koszul complex mediates between local algebraic multiplicities and a geometric index.

5. Determinantal formulas, mixed supports, and complete-intersection analogues

In elimination theory, the relevant extension of the Koszul complex is support-sensitive rather than ideal-module theoretic. For systems of mixed multilinear polynomials, the ordinary Sylvester or Macaulay constructions are insufficient because the input polynomials may have different supports. The replacement is the Weyman complex

$(a)$2

built for a degree vector $(a)$3 and an overdetermined multihomogeneous system. Its terms are

$(a)$4

so the differential is adapted to the actual support pattern of the system rather than to a single common degree (Bender et al., 2021).

This construction is worked out explicitly for two families: star multilinear systems, where each polynomial involves all $(a)$5-blocks and exactly one $(a)$6-block, and bipartite bilinear systems, where each polynomial involves exactly one $(a)$7 and one $(a)$8. For suitable choices of $(a)$9, the Weyman complex collapses to a two-term complex

$f(x)$00

and the resultant is then

$f(x)$01

The resulting matrices generalize Sylvester-type formulas to mixed supports and are used to solve square systems without explicitly computing the resultant; the same framework is applied to the multiparameter eigenvalue problem (Bender et al., 2021).

A different determinantal incarnation appears over quadratic complete intersections. In the study of Littlewood varieties and the variety of length $f(x)$02 complexes, powers of ideals of maximal minors admit linear free resolutions over the complete intersection, and these resolutions are described as a complete-intersection analogue of the Eagon–Northcott complex. The paper treats them as mixed Koszul complexes over the complete intersection $f(x)$03: they remain linear, are described explicitly in terms of Schur functors and geometric constructions on homogeneous varieties, and their Koszul duals are infinite-dimensional irreducible representations of orthosymplectic or general linear Lie superalgebras (Sam, 2013).

These two strands share a common feature: the mixed Koszul object is designed to retain the determinantal efficiency of classical Koszul or Eagon–Northcott methods while accommodating data that are no longer uniform—either supports are mixed, or the ambient ring is a quadratic complete intersection rather than a polynomial ring.

6. Derived, curved, and representation-theoretic extensions

Later work places Koszul complexes with mixed features inside broader derived and duality frameworks. For a commutative noetherian regular ring $f(x)$04 and a list of elements $f(x)$05, the dg algebra

$f(x)$06

has a bounded derived category $f(x)$07 of dg modules with finitely generated cohomology. Its thick subcategories are classified by specialization-closed subsets of a support space built from

$f(x)$08

through a curved BGG correspondence

$f(x)$09

One consequence is that the lattice of thick subcategories is fixed by Grothendieck duality (Liu et al., 19 Feb 2025).

In non-graded derived categories of modules over Koszul dual quiver algebras, the Koszul functor is extended from modules to complexes by formalizing a functor-extension procedure and using a generalized Acyclic Assembly Lemma. This yields a Koszul complex functor on doubly unbounded complexes and triangle equivalences

$f(x)$10

thereby extending classical Koszul duality to a setting that includes all modules, not only graded ones (Bouhada et al., 2019).

Related lines of research use “mixed” in yet another sense, namely weight structures on sheaf-theoretic categories. On varieties with affine even stratifications, the category of mixed Hodge modules is “almost” Koszul and becomes Koszul after a winnowing procedure that eliminates unwanted extensions (Achar et al., 2011). For Kac–Moody groups, there is a monoidal equivalence between the derived category of $f(x)$11-equivariant mixed complexes on the flag variety $f(x)$12 and a completed derived category of $f(x)$13-monodromic mixed complexes on the dual enhanced flag variety; under this equivalence, intersection cohomology sheaves correspond to free-monodromic tilting sheaves (Bezrukavnikov et al., 2011).

Collectively, these developments show that the mixed Koszul complex is best understood as a pattern rather than a single definition. The pattern consists of taking the Koszul mechanism—explicit differentials, duality, resolution of basic objects, and computable homological invariants—and adapting it to algebraic situations where the input is itself composite: two dependent systems, an algebra-coring pair, an ideal together with a module, support-varying equations, or categories equipped with mixed gradings or curvature.