Bousfield-Kan completion of homotopy limits. (Q1401004): Difference between revisions

This paper considers the commutation of homotopy (inverse) limit (over a category \(T\) having a compact classifying space) with the Bousfield-Kan \(R\)-completion \(R_\infty\) for any commutative ring \(R\). The main result says that, for a diagram of nilpotent spaces \(N\), the canonical commutation map \[ R_\infty\operatorname {holim}_IN\to \operatorname {holim}_I R_\infty N \] is, up to homotopy, a covering projection (i.e., homotopy fibres over each component are homotopically discrete). Several examples of applications are given as well as examples of the used inductive method. That leads particularly to a sufficient condition for the homotopy limit over a finite diagram to be non-empty or, more generally, to be \(r\)-connected for a given \(r\geq -1\).