Abstract:We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when $Q$ is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need for examples to be quadratic: all complete intersection and all Golod quotients are Koszul homomorphisms. We show that the class of Koszul homomorphisms enjoys excellent homological properties, and we give many more examples, especially various monomial and Gorenstein examples. We then study Koszul homomorphisms from the perspective of $\mathrm{A}_\infty$-structures on resolutions. We use this machinery to construct universal free resolutions of $R$-modules by generalizing a classical construction of Priddy. The resulting (infinite) free resolution of an $R$-module $M$ is often minimal, and can be described by a finite amount of data whenever $M$ and $R$ have finite projective dimension over $Q$. Our construction simultaneously recovers the resolutions of Shamash and Eisenbud over a complete intersection ring, and the bar resolutions of Iyengar and Burke over a Golod ring, and produces analogous resolutions for various other classes of local rings.

The Herzog-Takayama resolution over a skew polynomial ring

The Eliahou-Kervaire resolution over a skew polynomial ring

Simplicial Resolutions of Powers of Square-free Monomial Ideals

Minimal cellular resolutions of powers of matching field ideals

Average Behavior of Minimal Free Resolutions of Monomial Ideals

Minimal resolutions of lattice ideals

Constructing monomial ideals with a given minimal resolution

A new symmetric resolution for $(x_{1},\dots, x_{n})^{n}$

Fröberg's Theorem, vertex splittability and higher independence complexes

The minimal free resolution of a generic symmetric principal ideal

Schur powers of the cokernel of a graded morphism

Resolutions of symmetric ideals via stratifications of derived categories

Generalized mixed product ideals whose powers have a linear resolution

On the Koszul Algebra for Trivariate Monomial Ideals

Koszul homomorphisms and universal resolutions in local algebra

On Constructions Related to the Generalized Taylor Complex

Lcm-lattice, Taylor Bases and Minimal Free Resolutions of a Monomial ideal

Koszul-Tate resolutions and decorated trees

Power values of quadratic polynomials with generalized skew derivations on Lie ideals

From total positivity to pure free resolutions

Poincare Series of Monomial Rings with Minimal Taylor Resolution