Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorsanath
   • CommentTimeDec 3rd 2014
   • PermaLink
   Author: sanath
   Format: MarkdownItexI've seen the recent Lurie paper, _Rotation invariance in K-theory_; the main theorem states that the Waldhausen K-theory $\mathcal{C}\mapsto K(\mathcal{C})$ is invariant under the action of $S^1$. What's the significance of this result? Can it be generalized to actions of $S^n$?

   I’ve seen the recent Lurie paper, Rotation invariance in K-theory; the main theorem states that the Waldhausen K-theory $\mathcal{C}\mapsto K(\mathcal{C})$ is invariant under the action of $S^1$. What’s the significance of this result? Can it be generalized to actions of $S^n$?

2. • CommentRowNumber2.
   • CommentAuthorDylan Wilson
   • CommentTimeDec 3rd 2014
   • PermaLink
   Author: Dylan Wilson
   Format: MarkdownItexS^n is not a group, usually...

   S^n is not a group, usually…

3. • CommentRowNumber3.
   • CommentAuthorsanath
   • CommentTimeDec 3rd 2014
   • PermaLink
   Author: sanath
   Format: MarkdownItexRight, sorry. Was writing that in a hurry; could this be generalized to an action of $S^3$?

   Right, sorry. Was writing that in a hurry; could this be generalized to an action of $S^3$?

4. • CommentRowNumber4.
   • CommentAuthorDavidRoberts
   • CommentTimeDec 3rd 2014
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexSuch a result wouldn't be a generalisation, but a completely different result. S^3 and S^1 are very different beasts.

   Such a result wouldn’t be a generalisation, but a completely different result. S^3 and S^1 are very different beasts.

5. • CommentRowNumber5.
   • CommentAuthorsanath
   • CommentTimeDec 3rd 2014
   • PermaLink
   Author: sanath
   Format: MarkdownItexWhat I guess I was trying to ask is, if we impose additional conditions on C, then can the Waldhausen K-theory construction be invariant under the action of S^3?

   What I guess I was trying to ask is, if we impose additional conditions on C, then can the Waldhausen K-theory construction be invariant under the action of S^3?

6. • CommentRowNumber6.
   • CommentAuthorDylan Wilson
   • CommentTimeDec 3rd 2014
   • PermaLink
   Author: Dylan Wilson
   Format: MarkdownItex"the action of S^3" What action of S^3? In this case there is some sort of action on the input that is "naturally occurring," I see no such naturally occurring action of S^3.

   “the action of S^3” What action of S^3? In this case there is some sort of action on the input that is “naturally occurring,” I see no such naturally occurring action of S^3.

7. • CommentRowNumber7.
   • CommentAuthorsanath
   • CommentTimeDec 3rd 2014
   • PermaLink
   Author: sanath
   Format: MarkdownItexI don't really know. It was simply a not-very-thought-over-speculation, so perhaps I should think better. What I'm more interested in is the significance of this result.

   I don’t really know. It was simply a not-very-thought-over-speculation, so perhaps I should think better. What I’m more interested in is the significance of this result.

8. • CommentRowNumber8.
   • CommentAuthorDavidRoberts
   • CommentTimeDec 3rd 2014
   • (edited Dec 3rd 2014)
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexThe action by $S^1$ can be thought of as the action by the one object groupoid with arrows $\mathbb{Z}$, in Lurie's setup. The element $1\in \mathbb{Z}$ is sent to the double suspension functor. 2-periodicity of various forms of K-theory (when it holds) is the result that the double suspension functor is a self-equivalence of the relevant ring spectrum. For instance ordinary complex K-theory is 2-periodic essentially by Bott periodicity. Lurie's result is a massive generalisation, and as he says, 'delooping' of this (the connected delooping of $\mathbb{Z}$ is $S^1$). One application is extension of the combinatorial construction of the topological Fukaya category from taking 2-periodic dg-categories over a base field to where the field is replaced by a ring spectrum.

   The action by $S^1$ can be thought of as the action by the one object groupoid with arrows $\mathbb{Z}$, in Lurie’s setup. The element $1\in \mathbb{Z}$ is sent to the double suspension functor. 2-periodicity of various forms of K-theory (when it holds) is the result that the double suspension functor is a self-equivalence of the relevant ring spectrum. For instance ordinary complex K-theory is 2-periodic essentially by Bott periodicity. Lurie’s result is a massive generalisation, and as he says, ’delooping’ of this (the connected delooping of $\mathbb{Z}$ is $S^1$). One application is extension of the combinatorial construction of the topological Fukaya category from taking 2-periodic dg-categories over a base field to where the field is replaced by a ring spectrum.

9. • CommentRowNumber9.
   • CommentAuthorMarc Hoyois
   • CommentTimeDec 4th 2014
   • PermaLink
   Author: Marc Hoyois
   Format: MarkdownItexA sensible question is whether the result can be generalized to $U(n)$ for $n\geq 2$...

   A sensible question is whether the result can be generalized to $U(n)$ for $n\geq 2$…

10. • CommentRowNumber10.
    • CommentAuthorDavidRoberts
    • CommentTimeDec 4th 2014
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItex@Marc - or $O(n)$ for $n \geq 3$, or $SO(n)$ for oriented stuff, etc etc

    @Marc - or $O(n)$ for $n \geq 3$, or $SO(n)$ for oriented stuff, etc etc