Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 39747

Stable homotopy theory is that part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor.

22 votes
Accepted

Is $[X, \_]$ a homology theory?

This holds only for compact objects (i.e. finite CW spectra), since it is easy to see that additivity fails otherwise (the other axioms of homology theories are satisfied). The usual way to obtain a h …
Achim Krause's user avatar
  • 10.8k
16 votes

What is the first interesting matric Toda bracket in the stable homotopy of the sphere?

I know this post is quite old, but in case you are still interested, or anyone else is, I thought about sharing my recent thoughts about the topic. After all, this is the second result on "matric toda …
Achim Krause's user avatar
  • 10.8k
14 votes
Accepted

Why are ordinary spheres not strictly invertible?

An $E_{\infty}$ structure extending the $E_1$ structure on $R(n)$ in particular yields maps $(\mathbb{S}^{2n})^{\otimes p}_{hC_p} \to \mathbb{S}^{2pn}$ splitting the inclusion of the bottom cell. The …
Achim Krause's user avatar
  • 10.8k
13 votes
Accepted

Does there exist a Bousfield localization of the category of spectra which makes the sphere ...

EDIT: I'll leave the old answer up, see below. In the meantime, Maxime Ramzi and I have thought this through and came up with a fun general argument. Claim. Let $L: \mathrm{Sp}\to \mathrm{Sp}$ be a Bo …
Achim Krause's user avatar
  • 10.8k
12 votes
Accepted

Why isn't the anchor map in Lurie's "Rotation Invariance in Algebraic K-Theory" zero?

It's zero as a map of filtered spectra, but it is considered as a map of $\mathbb{A}$-bimodules.
Achim Krause's user avatar
  • 10.8k
7 votes
Accepted

Does the homotopy category of finite spectra act on stable homotopy categories?

Yes: Since $\mathcal{C}$ is stable, $\operatorname{Fun}(\mathcal{C},\mathcal{C})$ is stable, too. In particular, it has finite colimits, so $\operatorname{Ind}\operatorname{Fun}(\mathcal{C},\mathcal{C …
Achim Krause's user avatar
  • 10.8k
7 votes
Accepted

Proof of the equivalence of spectra $(\mathbb{S}^{-1} \otimes \mathbb{S}^{-1})_{h \Sigma_2} ...

This is probably not quite what you were looking for, but since you said you'd also be happy to see any proof, here is one using a modern perspective on Thom spectra of virtual bundles: The flip actio …
Achim Krause's user avatar
  • 10.8k
7 votes
Accepted

Infinite suspension is cotangent complex

It is not, for example note that if this were true, the case $A=B$ would give you that $L_{B/B}$ is the infinite suspension of $\mathrm{id}: B\to B$. But that's the absolute cotangent complex $L_B$, w …
Achim Krause's user avatar
  • 10.8k
6 votes
Accepted

Filtered homotopy colimits of spectra

This is a partial answer, not addressing the relation to homotopy colimits in a model category presenting $\mathcal{C}$ (but I think there should be some reasonable statement there, the slogan is cert …
Achim Krause's user avatar
  • 10.8k
5 votes
Accepted

Reference for the equivalence between chain complexes and sequential diagrams in a stable $\...

I believe https://arxiv.org/abs/2109.01017 does what you want! The description of coherent chain complexes used there is a bit different than what you suggest, but they look equivalent at first glance …
Achim Krause's user avatar
  • 10.8k