Timeline for Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 19, 2022 at 3:09 | comment | added | Victor TC | I think I managed to find a shorter proof under a modern approach (fusion systems, biset functors), details coming soon. | |
| Oct 14, 2021 at 16:26 | comment | added | Victor TC | @Kuhn I am not aware of the result from representation theory you refer to, could you please let me know? | |
| Oct 1, 2021 at 0:10 | comment | added | Nicholas Kuhn | Lifting that isomorphism is basic representation theory. | |
| Sep 30, 2021 at 21:18 | history | edited | Victor TC | CC BY-SA 4.0 |
edited body
|
| Sep 8, 2021 at 15:27 | history | edited | Victor TC | CC BY-SA 4.0 |
edited body
|
| Sep 8, 2021 at 15:21 | history | edited | Victor TC | CC BY-SA 4.0 |
added 109 characters in body
|
| Sep 7, 2021 at 23:50 | history | edited | Victor TC | CC BY-SA 4.0 |
I added a likely, but uncomplete proof
|
| Aug 23, 2021 at 16:42 | comment | added | Gregory Arone | Right, I missed that you are only asking about the proof of the result about stable homotopy. Sorry. | |
| Aug 23, 2021 at 16:30 | comment | added | Victor TC | @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). | |
| Aug 23, 2021 at 16:23 | history | edited | Victor TC | CC BY-SA 4.0 |
added 42 characters in body
|
| Aug 21, 2021 at 8:56 | comment | added | Gregory Arone | Later Chermak gave another proof, (Acta Math. 211, 2013) which was again simplified by Oliver (Acta Math. 211, 2013). These proofs replaced the topological obstruction theory of BLO with a more algebraic approach. But AFAIK all proofs to date use the classification of finite simple groups. | |
| Aug 21, 2021 at 8:55 | comment | added | Gregory Arone | I understand that Martino and Priddy did not prove the implication (1)=>(2). A complete proof was given by Bob Oliver in a pair of papers: Equivalences of classifying spaces completed at odd primes. Math. Proc. Cambridge Philos. Soc. (2004) and Equivalences of classifying spaces completed at the prime two. Mem. Amer. Math. Soc. (2006). Oliver's proof used the classification of finite simple group and the obstruction theory of Broto-Levi-Oliver (cont.) | |
| Aug 20, 2021 at 23:01 | history | asked | Victor TC | CC BY-SA 4.0 |