Timeline for homotopy Sym and quotients
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 14, 2016 at 16:58 | vote | accept | user84144 | ||
| Aug 14, 2016 at 16:34 | comment | added | user84144 | Thanks for the corrections. I have edited to (hopefully!) fix things. | |
| Aug 14, 2016 at 16:13 | history | edited | user84144 | CC BY-SA 3.0 |
corrected typo
|
| Aug 14, 2016 at 10:21 | comment | added | Denis Nardin | @GregoryArone Uh you're right. I am sorry for the mix-up. I agree that it is probably $(C\otimes E\mathbb{Z})_{\mathbb{Z}}$ | |
| Aug 14, 2016 at 9:57 | comment | added | Gregory Arone | @DenisNardin The homotopy fixed points is $\hom(E{\mathbb Z}, C)^{\mathbb Z}$. I am guessing/hoping that $(C\otimes E{\mathbb Z})^{\mathbb Z}$ is really meant to be $(C\otimes E{\mathbb Z})_{\mathbb Z}$, since with is what homotopy quotient usually means. If I am not mistaken, the invariants are always trivial in this case. | |
| Aug 14, 2016 at 9:32 | answer | added | Gregory Arone | timeline score: 5 | |
| Aug 14, 2016 at 9:10 | comment | added | Denis Nardin | @user84144 What you call $hC/\mathbb{Z}$ is called homotopy fixed points and usually denoted $C^{h\mathbb{Z}}$ (and in fact it behaves more like fixed points than quotients). Similarly, your homotopy Sym is usually called a restricted power and denoted $D_2(C)$ (although this notation might be much more common in homotopy theory than in homological algebra) | |
| Aug 14, 2016 at 4:04 | comment | added | user97187 | What is $E(\mathbf{Z})$? | |
| Aug 14, 2016 at 3:54 | history | asked | user84144 | CC BY-SA 3.0 |