A differential complex for CAT(0) cubical spaces (Q1735495)

\textit{P. Julg} and \textit{A. Valette} [C. R. Acad. Sci., Paris, Sér. I 296, 977--980 (1983; Zbl 0537.46055)] and, subsequently, \textit{T. Pytlik} and \textit{R. Szwarc} [Acta Math. 157, 287--309 (1986; Zbl 0681.43011)] constructed and studied a certain Fredholm operator associated to a simplicial tree. This construction has applications to $C^*$-algebra $K$-theory, to the theory of completely bounded representations of groups that act on trees, and to the Selberg principle in the representation theory of $p$-adic groups. \par In the paper under review, this construction is extended from simplicial trees to CAT(0) cubical spaces. As an application, a new proof of \(K\)-amenability for groups that act properly on finite-dimensional CAT(0)-cubical spaces is given.