Timeline for Shapes of cores of symmetric monoidal $(\infty,n)$-categories (with duals)
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 20, 2020 at 18:24 | comment | added | domenico fiorenza | ... complex vector spaces (with the Euclidean topology on the Hom-spaces), seen as an $(\infty,1)$-category. In this case the corresponding K-theory should be $ku$ the connective topological complex K-theory spectrum. Similarly, with $\mathbb{K}=\mathbb{R}$ one can obtain $ko$ this way. | |
| Jun 20, 2020 at 18:21 | comment | added | domenico fiorenza | Indeed, looking back at this question, the correct thing to be done should be taking the group completion of the core on fully dualizable objects. This should be what is usually denoted by $K(C)$ and should be the construction that gives the connective K-theory associated with a symmetric monoidal $(\infty,n)$-category with duals. For instance, for $C=Vect_{\mathbb{K}}$ this should produce the algebraic K-theory of $\mathbb{K}$. For $\mathbb{K}=\mathbb{C}$ one take a topological variant and consider $Vect^{fin;top}_{\mathbb{C}}$, the topological category of finite dimensional (continues) | |
| Jun 19, 2020 at 20:09 | comment | added | Chris Schommer-Pries | @DylanWilson No, in general the core will correspond an $E_\infty$-space but it is usually not grouplike, so is not an infinite loop space (in general). Your proposal does work when the core is grouplike, but that is a strong condition. It is equivalent to saying every fully dualizable object is actually invertible. | |
| Dec 17, 2019 at 12:26 | comment | added | domenico fiorenza | Right, that was indeed a silly question, with only possibly interesting part the one of homotopy fixed points. In full generality that’s too general, but maybe for $G$ in the Whitehead tower of $O$ something can be said. For the framed case: but then doesn’t this say that any space occurring as $E_n$ in some spectrum $E_\bullet$ can occur? Namely $E_n$ would be the 0-th space of the connective spectrum $(E_\bullet[n])_{\geq 0}$, doesn’t it? | |
| Dec 17, 2019 at 10:51 | comment | added | Dylan Wilson | Can’t you just take $C=C^{\simeq}$? This is an infinite loop space, so you may as well deloop it to a spectrum, X. This has an action of O via the J-homomorphism, and you’re asking about all the possible connective spectra you can get by forming X^{hG} for maps BG—>BO. The answer includes every connective spectrum, since we are allowed to let G be trivial, and in general it seems hard to characterize the other possibilities when G is nontrivial | |
| Dec 17, 2019 at 9:29 | history | asked | domenico fiorenza | CC BY-SA 4.0 |