# The Homotopy Groups of the Simplicial Mapping Space between Algebras

### Emanuel Darío Rodríguez Cirone

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

## Abstract

Let $ℓ$ be a commutative ring with unit. To every pair of $ℓ$-algebras $A$ and $B$ one can associate a simplicial set $Hom(A,B_{Δ})$ so that $π_{0}Hom(A,B_{Δ})$ equals the set of polynomial homotopy classes of morphisms from $A$ to $B$. We prove that $π_{n}Hom(A,B_{Δ})$ is the set of homotopy classes of morphisms from $A$ to $B_{∙}$, where $B_{∙}$ 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≤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.

## Cite this article

Emanuel Darío Rodríguez Cirone, The Homotopy Groups of the Simplicial Mapping Space between Algebras. Doc. Math. 24 (2019), pp. 251–270

DOI 10.4171/DM/680