Timeline for Formal power series over the sphere spectrum?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8 at 13:53 | comment | added | onefishtwofish | @Z.M Thank you I appreciate your reply. | |
| Oct 8 at 8:40 | comment | added | Z. M | Lurie's Spectral Algebraic Geometry, and more precisely, section 7.3.5. For this particular formal power series, you even have $\mathbb S[\![t]\!]=\lim_n\mathbb S[t]/t^n$ where each $\mathbb S[t]/t^n$ is a monoidal ring. | |
| Oct 7 at 23:24 | comment | added | onefishtwofish | @Z.M What's a reference for this kind of completion? | |
| Oct 7 at 21:18 | comment | added | Z. M | The formal power series ring $\mathbb S[\![t]\!]$ is just the $t$-completion of the polynomial ring $\mathbb S[t]$: the $t$-completion functor $D(\mathbb S[t])\to D(\mathbb S[t])$ carries a canonical lax symmetric monoidal, thus it sends an $E_\infty$-algebra to an $E_\infty$-algebra. | |
| Oct 7 at 20:16 | history | asked | onefishtwofish | CC BY-SA 4.0 |