Skip to main content
minor formatting, fixed Morel's spelling
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 285

I am not a real expert on the extreme aspects of completions, but I think that, in the Sullivan completion case at least, these two things are always equivalent. The Sullivan $p$--profinite completion was explored quite carefully (with model category language, e.g.) in an early paper of FabianFabien Morel: "ensembles profinis simpliciaux et interpretation geometrique de foncteur $T$"ensembles profinis simpliciaux et interpretation geometrique de foncteur $T$", Bull. Soc. Math. France, vol 124 (1994), 347-373. ($T$ here is Jean Lannes' fabulous $T$--functor. And yes, this paper is in French.)

In particular, in the middle of page 371, in parentheses, he says (I am roughly translating here): one should remark that if $X$ is a pro-p$p$-space, so is $Map(BZ/p,X)$$\mathrm{Map}(BZ/p,X)$, because if $Y$ is a finite-$p$--space [one with only a finite number of nonzero homotopy groups all of which are finite $p$--groups], the same is true for $Map(BZ/p,Y)$$\mathrm{Map}(BZ/p,Y)$.

I am not a real expert on the extreme aspects of completions, but I think that, in the Sullivan completion case at least, these two things are always equivalent. The Sullivan $p$--profinite completion was explored quite carefully (with model category language, e.g.) in an early paper of Fabian Morel: "ensembles profinis simpliciaux et interpretation geometrique de foncteur $T$", Bull. Soc. Math. France, vol 124 (1994), 347-373. ($T$ here is Jean Lannes' fabulous $T$--functor. And yes, this paper is in French.)

In particular, in the middle of page 371, in parentheses, he says (I am roughly translating here): one should remark that if $X$ is a pro-p-space, so is $Map(BZ/p,X)$, because if $Y$ is a finite-$p$--space [one with only a finite number of nonzero homotopy groups all of which are finite $p$--groups], the same is true for $Map(BZ/p,Y)$.

I am not a real expert on the extreme aspects of completions, but I think that, in the Sullivan completion case at least, these two things are always equivalent. The Sullivan $p$--profinite completion was explored quite carefully (with model category language, e.g.) in an early paper of Fabien Morel: "ensembles profinis simpliciaux et interpretation geometrique de foncteur $T$", Bull. Soc. Math. France, vol 124 (1994), 347-373. ($T$ here is Jean Lannes' fabulous $T$--functor. And yes, this paper is in French.)

In particular, in the middle of page 371, in parentheses, he says (I am roughly translating here): one should remark that if $X$ is a pro-$p$-space, so is $\mathrm{Map}(BZ/p,X)$, because if $Y$ is a finite-$p$--space [one with only a finite number of nonzero homotopy groups all of which are finite $p$-groups], the same is true for $\mathrm{Map}(BZ/p,Y)$.

Source Link
Nicholas Kuhn
  • 11.1k
  • 31
  • 58

I am not a real expert on the extreme aspects of completions, but I think that, in the Sullivan completion case at least, these two things are always equivalent. The Sullivan $p$--profinite completion was explored quite carefully (with model category language, e.g.) in an early paper of Fabian Morel: "ensembles profinis simpliciaux et interpretation geometrique de foncteur $T$", Bull. Soc. Math. France, vol 124 (1994), 347-373. ($T$ here is Jean Lannes' fabulous $T$--functor. And yes, this paper is in French.)

In particular, in the middle of page 371, in parentheses, he says (I am roughly translating here): one should remark that if $X$ is a pro-p-space, so is $Map(BZ/p,X)$, because if $Y$ is a finite-$p$--space [one with only a finite number of nonzero homotopy groups all of which are finite $p$--groups], the same is true for $Map(BZ/p,Y)$.