Let \(\ell\) be a commutative ring with unit. To every pair of \(\ell\)-algebras \(A\) and \(B\) one can associate a simplicial set \(\text{Hom}(A,B^\Delta)\) so that \(\pi_0\text{Hom}(A,B^\Delta)\) equals the set of polynomial homotopy classes of morphisms from \(A\) to \(B\). We prove that \(\pi_n\text{Hom}(A,B^\Delta)\) is the set of homotopy classes of morphisms from \(A\) to \(B^{\mathfrak{S}_n}_\bullet\), where \(B^{\mathfrak{S}_n}_\bullet\) is the ind-algebra of polynomials on the \(n\)-dimensional cube with coefficients in \(B\) vanishing at the boundary of the cube. This is a generalization to arbitrary dimensions of a theorem of Cortiñas-Thom, which addresses the cases \(n\leq 1\). As an application we give a simplified proof of a theorem of Garkusha that computes the homotopy groups of his matrix-unstable algebraic \(KK\)-theory space in terms of polynomial homotopy classes of morphisms.

55Q52, 19K35

homotopy theory of algebras, bivariant algebraic \(K\)-theory

• 1. Thom, Andreas; Cortiñas, Guillermo, Bivariant algebraic $K$-theory, J. Reine Angew. Math., 610, 71-123, (2007); DOI 10.1515/CRELLE.2007.068; zbl 1152.19002; MR2359851; arxiv math/0603531.
• 2. Meyer, Ralf; Cuntz, Joachim; Rosenberg, Jonathan M., Topological and bivariant $K$-theory, Oberwolfach Seminars, 36, xii+262 pp., (2007); zbl 1139.19001; MR2340673.
• 3. Garkusha, Grigory, Algebraic Kasparov $K$-theory. I, Doc. Math., 19, 1207-1269, (2014); zbl 1314.19005; MR3291646; arxiv 1004.0918; https://www.elibm.org/article/10000304.
• 4. Garkusha, Grigory, Algebraic Kasparov K-theory, II, Ann. K-Theory, 1, 3, 275-316, (2016); DOI 10.2140/akt.2016.1.275; zbl 1375.19013; MR3529093; arxiv 1206.0178.
• 5. Garkusha, Grigory, Universal bivariant algebraic $K$-theories, J. Homotopy Relat. Struct., 8, 1, 67-116, (2013); DOI 10.1007/s40062-012-0013-4; zbl 1278.19005; MR3031594.
• 6. Gersten, S. M., Homotopy theory of rings, J. Algebra, 19, 396-415, (1971); DOI 10.1016/0021-8693(71)90098-6; zbl 0264.18009; MR0291253.
• 7. Jardine, John F.; Goerss, Paul G., Simplicial homotopy theory, Progress in Mathematics, 174, xvi+510 pp., (1999); DOI 10.1007/978-3-0348-8707-6; zbl 0949.55001; MR1711612.
• 8. Hovey, Mark, Model categories, Mathematical Surveys and Monographs, 63, xii+209 pp., (1999); zbl 0909.55001; MR1650134.
• 9. Quillen, Daniel G., Homotopical algebra, Lecture Notes in Mathematics, No. 43, iv+156 (not consecutively paged) pp., (1967); DOI 10.1007/BFb0097438; zbl 0168.20903; MR0223432.

Dep. de Matemática-IMAS, F. Cs. Exactas y Naturales, Univ. de Buenos Aires, Ciudad Universitaria Pab 1, 1428 Buenos Aires, Argentin