comment
Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms
I think I managed to find a shorter proof under a modern approach (fusion systems, biset functors), details coming soon.
comment
Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms
@Kuhn I am not aware of the result from representation theory you refer to, could you please let me know?
revised
Loading…
revised
Loading…
revised
Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms
added 109 characters in body
Loading…
revised
Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms
I added a likely, but uncomplete proof
Loading…
comment
Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms
@GregoryArone you are referring to the unstable homotopy characterization, I guess. This is the stable one, there is no mistake in their proof so far (Ragnarsson found one, then it was corrected).
revised
Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms
added 42 characters in body
Loading…
Loading…
awarded
revised
$p$-completeness of the function spectrum $F(\Sigma^{\infty} BS, \Sigma^{\infty} BK)$
added 126 characters in body
Loading…
comment
$p$-completeness of the function spectrum $F(\Sigma^{\infty} BS, \Sigma^{\infty} BK)$
@Drew Yes, I did but found no mention of that result so far. I might have to take a closer look at that article.
awarded
Loading…
comment
$(B\mathbb Z/p^{\infty})^{\wedge}_p\rightarrow (BS^1)^{\wedge}_p$ induced by inclusion is an equivalence
Fine!, I was wrong, sorry. Thank you again.
comment
$(B\mathbb Z/p^{\infty})^{\wedge}_p\rightarrow (BS^1)^{\wedge}_p$ induced by inclusion is an equivalence
but $B\mathbb{R}$ is contractible, and $B\mathbb{Q}$ is $p$-good. So far, their $p$-completions cannot be homotopy equivalent.
comment
$(B\mathbb Z/p^{\infty})^{\wedge}_p\rightarrow (BS^1)^{\wedge}_p$ induced by inclusion is an equivalence
Thank you!, do you mean $B\mathbb{Q}^{\wedge}_p\rightarrow B\mathbb{R}^{\wedge}_p$ is a homotopy equivalence?