Let $R$ be a discrete (i.e. an ordinary) commutative ring and let $HR\rightarrow T$ be a map of $E_{\infty}$-ring spectra where $HR$ is the associated Eilenberg-Mac Lane ring spectrum. We say that $T$ is $R$-solid (in the derived sense) if the induced map of $E_{\infty}$-ring spectra $$T\wedge_{HR}^{\mathbb{L}}T\rightarrow T$$ is a weak equivalence. Are there some nontrivial examples of such solid ring spectra? By "nontrivial" I mean that $T$ is not discrete. The discrete case (over $\mathbf{Z}$) is classified here .
Asked
Active
Viewed 550 times
5
-
1This doesn't answer your question but, over the sphere spectrum, you can have a look at http://arxiv.org/pdf/1303.5265.pdf. Also that paper mostly works over symmetric monoidal categories so, although it doesn't explicitly consider the specific case you're asking about, you still can see how the general results apply. – Fernando Muro Aug 12 '15 at 06:30
-
So the underlying map of chain complexes is a quasi-iso. This seems unlikely to be a common thing, but I don't know the motivation or the classical situation you are generalizing. – Sean Tilson Aug 12 '15 at 12:01
-
@FernandoMuro thanks for the reference, I read the paper quickly, I did not find a way (at least for now) to see a possible way to unswear my initial question. Maybe you have an idea ? – Ilias A. Aug 12 '15 at 17:35
-
I have undeleted this question which you have deleted last year. -- Please do not self-delete your useful questions! – Stefan Kohl Apr 30 '21 at 21:06
1 Answers
4
Here is an example of such pair $T$ and $R$.
- $k$ is a finite field.
- $G$ is the Lie group $SO(2)$ and $G^{\delta}$ the same group but with dicrete topology.
- $R$ is the group algebra $k[G^{\delta}]$.
- $T$ is $C_{\ast}(G,k)$ the singular chain complex associated to $G$.
Then the natural map $k[G^{\delta}]\rightarrow C_{\ast}(G,k)$ of $E_{\infty}$-algebras induces a quasi-isomorphism $$ C_{\ast}(G,k)\otimes_{k[G^{\delta}]}^{\mathbf{L}} C_{\ast}(G,k)\rightarrow C_{\ast}(G,k)$$ of $E_{\infty}$-algebras.
Ilias A.
- 1,974