Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
145 views

What is the group completion of the underlying multiplicative $\mathbb{E}_\infty$-monoid of the sphere spectrum?

I recently noticed the following categorical/universal way to describe the passage from $\mathbb{Z}$ to $\mathbb{Q}$: We start with the categroy $\mathsf{Sets}^{\mathrm{actv}}_*$ of pointed sets and —...
8 votes
0 answers
450 views

Descent vs effective descent for morphisms of ring spectra

Define a homomorphism $\varphi : A \to B$ of commutative discrete rings or commutative ring spectra to be a (effective) descent morphism if the comparison functor from $\mathsf{Mod}_A$ to the category ...
18 votes
1 answer
2k views

Is the $\infty$-category of spectra “convenient”?

A 1991 paper of Lewis, titled “Is there a convenient category of spectra?” proves that there is no category $\mathrm{Sp}$ satisfying the following desiderata$^1$: There is a symmetric monoidal smash ...
4 votes
1 answer
241 views

Is there essentially unique notion of module over monoidal stable $\infty$-categories?

There is this (folklore?) fact: for a commutative ring $R$, the category of $R$-modules is equivalent to the category of internal abelian groups in the slice category $\operatorname{Commutative rings}/...
7 votes
0 answers
223 views

Duality of Hopf algebras and duality of spectra

Let $S$ be the sphere spectrum, and for $X$ a topological space, let $S(X)$ be the mapping spectrum from the free loop spectrum on $X$ to the sphere spectrum. This is an $E_\infty$ ring spectrum (also ...
10 votes
1 answer
655 views

Generalized Thom spectra

I am currently trying to wrap my head around all kinds of different definitions of the notion of (generalized) Thom spectrum. My setup is as follows: Suppose I have a commutative (symmetric) ring ...