Skip to main content
13 events
when toggle format what by license comment
May 15, 2022 at 17:55 vote accept Tim Campion
May 15, 2022 at 17:55 comment added Tim Campion @MaximeRamzi Oh, duh --yes, of course, thanks. I must have been thinking about the other way around.
May 11, 2022 at 7:31 comment added Maxime Ramzi (Because $S^1\times S^1$ is $2$-dimensional, you can also view this as being in $[S^1\times S^1, K(\mathbb Z,2)]$, i.e. the nonzero cohomology class(es) of the torus in degree $2₩
May 11, 2022 at 7:30 comment added Maxime Ramzi Tim : there are - the map that collapses the $1$-skeleton has degree $1$ and is therefore non null
May 11, 2022 at 0:36 comment added Tim Campion @JohnRognes Thanks! I was definitely misled by the fact that there are no nonconstant maps $S^1 \times S^1 \to S^2$.
May 7, 2022 at 20:45 comment added John Rognes For a proof that s^2 = \eta s (where s is the degree 1 operation induced by the S^1-action) you might look at Proposition 3.3 of arxiv.org/abs/2008.09095 , where there are also references to earlier discussions. Here \eta arises as the Hopf construction for the multiplication S^1 x S^1 --> S^1.
May 5, 2022 at 19:35 comment added Maxime Ramzi Mhm I'm not sure how easy to see it is. Let me try to see if I can come up with a quick explanation (or if someone else can :D ), but I'm not sure (funnily enough, I wasn't aware of this and learned about it while learning about the analogue of that in motivic homotopy theory)
May 5, 2022 at 19:34 comment added Maxime Ramzi where $\mathbb S^1\otimes X\to \mathbb S[S^1]\otimes X$ is the inclusion of the top cell, and $\mathbb S[S^1]\otimes X\to X$ is the action. In particular, this is in general nonzero. For instance it is sometimes nonzero when $X$ is $THH$ of some ring spectra - this features in some recent/in progress work (not of mine !) on a spherical HKR
May 5, 2022 at 19:34 comment added Tim Campion Okay, I think I understand your statement. Is this easy to see? And isn't it dependent on the choice of splitting?
May 5, 2022 at 19:32 comment added Maxime Ramzi In particular, if you have an $S^1$-action on $X$, $\mathbb S[S^1]\otimes \mathbb S[S^1]\otimes X\to \mathbb S [S^1] \otimes X\to X$ is going to be, "on the top cell", not $0$ but the action of $\eta$ on $X$. I should be more precise here, I specifically mean the $\eta$ coming from $S^1$, not coming from $\mathbb S$. So, precisely, $\Sigma^2X\to \Sigma X \to X$ is going to be $\mathbb S^2\otimes X \xrightarrow{\Sigma\eta \otimes X} \mathbb S^1\otimes X\to \mathbb S[S^1]\otimes X\to X$
May 5, 2022 at 19:29 comment added Maxime Ramzi It doesn't rule it out, indeed :) As for my comment, the point is that as you indicated, the top cell of $S^1\times S^1$ splits off. Actually it splits off after one suspension, and so the multiplication $S^1\times S^1\to S^1$, after one suspension, looks like some map $S^2\vee S^2 \vee S^3\to S^2$. The $S^2\to S^2$ maps are just identities, and the $S^3\to S^2$ map is $\eta$
May 5, 2022 at 19:26 comment added Tim Campion Thanks, this is a great obstruction! I'm not fully satisfied, because it doesn't rule out that the incoherent construction I indicated above might underly a functor which might be fully faithful or something.... Also, could you explain your comment above? I agree it seems reasonable that $\eta$ should appear somehow in what it means to have a $S^1$-action, but I'm having trouble seeing how exactly.
May 5, 2022 at 19:16 history answered Maxime Ramzi CC BY-SA 4.0