Koszul homomorphisms and universal resolutions in local algebra

Benjamin Briggs, James C. Cameron, Janina C. Letz +1

We define a local homomorphism $(Q,k)\to (R,\ell )$ to be Koszul if its derived fiber $R{\otimes }_Q^{\mathsf{L}}k$ is formal, and if ${\mathrm{Tor}}^Q(R,k)$ is Koszul in the cla…