The Simplicial Cylinder DG Ring

Abstract

The Keller cylinder DG ring encodes homotopies between DG ring homomorphisms $f_0,f_1:A\to B$. Recently we discovered the higher cylinder DG rings $Cy{l}_q(B)$, which assemble into the simplicial cylinder DG ring $Cyl(B)$. For $q=1$ this recovers Keller's original construction. The sets $SHo{m}_q(A,B)$ of DG ring homomorphisms $A\to Cy{l}_q(B)$ form the simplicial Hom set $SHom(A,B)$. Our main result is that when $A$ is a semi-free DG ring, the simplicial set $SHom(A,B)$ is a Kan complex. We prove several results about the fundamental groupoid $SHo{m}_{\le 1}(A,B)$, including invariance under quasi-isomorphism $B^{\prime }\to B$, and that the automorphism groups are abelian. We also indicate some applications of this work.

this version: 30 pages, some improvements