All Questions
Tagged with homotopy-theory stable-homotopy
261
questions
6
votes
1
answer
244
views
Does a complex-oriented $E_1$ ring spectrum (not assumed to have graded-commutative homotopy groups) receive a map from $MU$?
It's well-known that complex cobordism $MU^\ast$ is universal among complex-oriented associative, graded-commutative cohomology theories $E$. This means that if $E$ is a multiplicative cohomology ...
23
votes
3
answers
2k
views
What are some toy models for the stable homotopy groups of spheres?
The graded ring $\pi_\ast^s$ of stable homotopy groups of spheres is a horrible ring. It is non-Noetherian, and nilpotent torsion outside of degree zero.
Question: What are some "toy models" ...
2
votes
0
answers
73
views
What are the epis, monos, and extensions in the Freyd Envelope of a triangulated category?
Let $\mathcal T$ be a triangulated category (or homotopy category of a stable $\infty$-category).
Recall that the Freyd envelope of $\mathcal T$ is an abelian category $\mathcal A$ which is ...
7
votes
0
answers
269
views
Homotopy theory of differential objects
In Kashiwara and Schapira's wonderful book Categories and Sheaves, they define a category with translation to be a category $\mathsf{C}$ equipped with an auto-equivalence $S: \mathsf{C} \to \mathsf{C}$...
4
votes
0
answers
93
views
What is the Goldie dimension of the ring of stable stems?
Let $p$ be a prime, and let $\pi_\ast^{(p)}$ be the ring of stable homotopy groups of spheres localized at the prime $p$. This is a nonnegatively-graded-commutative ring with $\mathbb Z_{(p)}$ in ...
4
votes
1
answer
163
views
The $E$-(co)homology of $\mathrm{BGL}(R)^+$ and the algebraic $K$-theory of $R$
$\DeclareMathOperator\BGL{BGL}$In the paper, 'Two-primary Algebraic $K$-theory of rings of integers in number fields', Rognes and Weibel compute the $2$-torsion part in the algebraic $K$-theory of the ...
2
votes
1
answer
312
views
Filtered homotopy colimits of spectra
Let $\mathcal{I}: \mathbb{N} \to \operatorname{Sp}$ be a diagram in the infinity category of spectra. Let $\pi_0(\mathcal{I})$ denote the corresponding $1$-categorical diagram (i.e. compose $\mathcal{...
13
votes
2
answers
520
views
How many automorphisms are there of the category of filtered spectra?
Dold-Kan type theorems tell us that lots of categories are Morita-equivalent to the simplex category $\Delta$. In other words, there are a lot of stable $\infty$-categories which are secretly ...
4
votes
0
answers
440
views
An $E_{\infty}$-algebra is a $C_{\infty}$-algebra?
Past this question in MO have raised the following questions for me.
Question
In characteristic $0$, it is well-known that a Kadeishvili‘s $C_{\infty}$-algebra is an $E_{\infty}$-algebra.
However, do ...
2
votes
2
answers
258
views
The complex $K$-theory of the Thom spectrum $MU$
The Atiyah-Hirzebruch spectral sequence is a strong computational tool that yields several interesting computation in (co)homology. I want to know whether $K_\ast(MU)$ and $K^\ast(MU)$ have been ...
2
votes
0
answers
200
views
The derived category of $p$-complete abelian groups is comonadic over the derived category of $\mathbb F_p$-vector spaces?
$\DeclareMathOperator\Mod{Mod}\DeclareMathOperator\Ext{Ext}$Let $p$ be a prime. The adjunction
$$\mathbb F_p \otimes_\mathbb{Z} (-) : \Mod(\mathbb Z) \rightleftarrows \Mod(\mathbb F_p) : U $$
descends ...
2
votes
1
answer
220
views
What is the homotopy type of the smash power of Moore spectra $(S/2)^{\otimes n}$?
Let $S/2$ be the mod $2$ Moore spectrum, and let $n \in \mathbb N$.
Question:
What is the homotopy type of the $n$th smash power $(S/2)^{\otimes n}$?
Notes:
When $p$ is odd, we have $S/p \otimes S/p =...
6
votes
1
answer
176
views
When is an $\infty$-categorical localization of an additive 1-category enriched in topological abelian groups?
Let $\mathcal A$ be an additive 1-category, equipped with some class of weak equivalences $\mathcal W$. Let $\mathcal A[\mathcal W^{-1}]$ be the localization of $\mathcal A$ at $\mathcal W$ (so $\...
25
votes
3
answers
2k
views
Why the stable module category?
Let $R$ be a ring (usually assumed to be Frobenius). The stable module category is what you get when you take the category $\mathsf{Mod}_R$ of $R$-modules, and kill the projective modules. (Of course, ...
9
votes
1
answer
303
views
Non-triviality of a Postnikov class in $H^3\left(B \operatorname{PSU}(N) ; \mathbb{Z}_q\right)$
Let $\alpha\in H^2(B\operatorname{PSU}(N) ; \mathbb{Z}_N)$ be the obstruction class for lifting a $\operatorname{PSU}(N)$-bundle to an $\mathrm{SU}(N)$-bundle. Note that $\operatorname{PSU}(N)\cong \...