# Questions tagged [stable-homotopy]

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.

400
questions

**9**

votes

**1**answer

451 views

### Are all classes Stiefel-Whitney classes?

When I thought of this question, I was sure it must have been asked before on this site, but I could't find anything. Maybe my search skills are lacking, or maybe the question is obvious and it's my ...

**7**

votes

**1**answer

211 views

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

Let $X$ be a CW-spectrum. It is well-known that $[\_ ,X]$ is a generalized cohomology theory and, by Brown's representability theorem, every generalized theory is $H$ represented by a spectrum (namely,...

**12**

votes

**1**answer

358 views

### When does QCoh have 'enough perfect complexes'?

Let $X$ be a derived fpqc stack on the $\infty$-category of connective spectral affine schemes $\mathbf{Aff}^{\mathrm{cn}}=(\mathbf{Ring}^{\mathrm{cn}}_{E_\infty})^{\mathrm{op}}$, that is to say, a ...

**5**

votes

**0**answers

168 views

### Generators for unitary bordism ring $\pi_*(MU)$

I’m reading Pengelley’s paper “The mod 2 homology of $MSO$ and $MSU$ as $\mathfrak A^*$ comodule algebras, and the cobordism ring”.
He has chosen very special generators $z_n \in H_n(MO; \mathbb F_2)$...

**5**

votes

**1**answer

296 views

### Topological Hochschild homology using equivariant orthogonal spectra

In the Hesselholt-Madsen paper "On the K-theory of finite algebras over Witt vectors of perfect fields", the authors develop some results concerning the Topological Hochschild homology (THH) of ...

**1**

vote

**0**answers

124 views

### Cofibration of non-equivariant spectra in Hesselholt-Madsen

In the Hesselholt-Madsen paper "On the K-Theory of finite algebras over Witt vectors of perfect fields", Proposition $2.1$ claims a cofibration sequence for non-equivariant $S^1$ spectra as follows.
...

**2**

votes

**1**answer

185 views

### Abelian versions of straightening and unstraightening functors

Let $X$ be a quasi-category (an inner Kan complex), let $\mathfrak{C}(X)$ be its rigidification (its associated simplicial category). J. Lurie in "Higher Topos Theory" proved the following theorem 2.1....

**3**

votes

**1**answer

109 views

### Spherical objects and K-theory

My question goes as follows: given a ring $R$ (with $1\neq 0$). Define $\mathbf{Perf}_{R}$ the the category of Prefect complexes over $R$. I want to prove that the Waldhausen $K$-theory of the ...

**5**

votes

**0**answers

168 views

### $\mathbb Z \otimes_\mathbb S \mathbb Z$ is concentrated in degree $0$ : mistake in the argument

I'm not sure this is research level so if this is not appropriate, feel free to move the question to StackExchange. However, I post it here since my "fake proof" is based on a (recent) paper and I'm ...

**7**

votes

**0**answers

125 views

### A confusion about geometric fixed points via spectral Mackey functors and smashing localisations

Let $G$ be a finite group and $N$ a normal subgroup. One of the modern ways to construct the $\infty$-category of $G$-spectra is as product-preserving spectral presheaves $\text{Sp}^G = \text{Fun}^{\...

**2**

votes

**0**answers

112 views

### Is every simplicial spectrum equivalent to an abelian group simplicial spectrum?

I wonder if every simplicial $S^1$-spectrum stable equivalent to an abelian group simplicial $S^1$-spectrum? It seems that I could use the stable Dold-Kan on the heart and use Postnikov towers?

**4**

votes

**0**answers

104 views

### Direct image and infinite suspension

I have a basic doubt regarding infinite suspension functor and the direct image. I write it for schemes but I guess it works the same for the topological setting so I welcome answers also from the ...

**8**

votes

**1**answer

237 views

### Generalized “Homology Whitehead” — How much does stabilization remember?

Classically, the (non-local-coefficients) homology Whitehead theorem says that if $X \xrightarrow f Y$ is a map of simple spaces, and if the induced map $H_\ast(X;\mathbb Z) \to H_\ast(Y;\mathbb Z)$ ...

**1**

vote

**1**answer

158 views

### Dimension of $\ell$-adic Eilenberg-Maclane space

I'm currently studying the $\ell$-adic cohomology functor, i.e. the functor $$F:X \rightarrow H^i_{ét}(X,\mathbb{Q}_{\ell}).$$
In some sense, this is a representable functor, i.e. there exists an $\...

**1**

vote

**0**answers

71 views

### Extensions of infinite loop spaces

I've been reading Rognes' paper "Algebraic K-theory of 2-adic integers" and I'm confused about something he's doing regarding infinite loop spaces (see Theorem 8.1 of that paper). Let me try to phrase ...

**2**

votes

**3**answers

188 views

### Definitions of sequential homotopy colimits

Suppose $\mathfrak{M}$ is the category of $S^1$-spectra of simplicial sheaves. I know its sequential homotopy colimits (colimit in $\mathbb{N}$ as usual) coincide with categorial colimits since stable ...

**11**

votes

**1**answer

303 views

### On the relation between categorification and chromatic redshift

In the introduction to the paper Higher traces, noncommutative motives, and the categorified Chern character, Hoyois, Scherotzke and Sibilla write the following.
An important insight emerging from ...

**4**

votes

**1**answer

187 views

### $KO_*$ groups of $\mathbb{R}P^\infty$, “Snaiths” theorem for $KO$

I posted this question some days ago at math.stackexchange, but didn't receive an answer.
I have two questions:
I wonder whether anyone has taken the time to compute $KO_*(\mathbb{R}P^\infty)$?
The ...

**6**

votes

**2**answers

472 views

### moving from sphere spectrum to finite spectrum

I am reading Hatcher's treatment of the Adam's spectral sequence. http://pi.math.cornell.edu/~hatcher/SSAT/SSch2.pdf
On page 20, he states "Thus for each $i$ the groups $\pi_i(Z^k)$ are zero for all ...

**9**

votes

**1**answer

325 views

### When is Thom isomorphism a ring map?

Let $R$ be an $E_{\infty}$-ring spectrum and $B$ be an $E_\infty$-space. Suppose we have an $E_\infty$-map $$ f: B \to BGL_1(S^0)$$ such that the composite $$f_R: B \to BGL_1(S^0) \to BGL_1(R) $$
is ...

**10**

votes

**1**answer

293 views

### Homotopy extension of $E_{\infty}$-spaces

Suppose that $X$ is a connected $E_{\infty}$-space, naturally $\Omega X$ is also an $E_{\infty}$-space. Can we classify all $E_{\infty}$-extensions of $X$ by $\Omega X$ (up to homotopy). I mean the ...

**5**

votes

**1**answer

320 views

### Relation between “triangulated bordism”, MO, and $H\mathbb{F}_2$

The unoriented bordism theory $MO$ has a map to $H\mathbb{F}_2$ which is easily described for a space $X$ by pushing forward the fundamental class of a singular manifold to $H_*(X)$. Since $MO$ and $H\...

**10**

votes

**0**answers

236 views

### Chromatic Homotopy Theory and Physics

Chromatic homotopy theory is a subfield of stable homotopy theory that studies complex-oriented cohomology theories from the "chromatic" point of view, which is based on Quillen's work relating ...

**8**

votes

**0**answers

293 views

### Bringing cohomology recipes from algebra to topology?

In algebra, cohomology theories are often defined very roughly like this. Start with a scheme $X$ you want to study. Form a category-with-extra-structure (a site) $\mathcal{C}$ whose objects are, ...

**17**

votes

**2**answers

495 views

### Boardman's thesis or mimeographed notes

I would like to know if there is some online source where Boardman's 1964 thesis is available or his Warwick mimeographed notes. This is because by what I've heard Boardman's construction has a more ...

**7**

votes

**1**answer

327 views

### Cohomology theory with only one Adams operation?

Let $E$ be a multiplicative cohomology theory. Fix a prime p. Call a ring map $\psi^{p}:E\rightarrow E$ an Adams operation if it lifts the Frobenius map $E/p\rightarrow E/p$.
It is of course well-...

**6**

votes

**1**answer

586 views

### Is there ever a Kunneth isomorphism just for powers?

It's pretty rare for a multiplicative cohomology theory $E$ to have a Kunneth isomorphism $E^\ast(X \times Y) \cong E^\ast(X) \otimes_{E^\ast(pt)} E^\ast(Y)$ for all spaces $X,Y$. Are there any ...

**3**

votes

**1**answer

180 views

### Infinite loop space of ring spectra: the cup product

I have a basic question on homotopy theory, and I would welcome answers or references both from the classic and the motivic context of homotopy theory.
Let $\mathbb{E}=(E_n)_{n\in \mathbb{N}}$ be an ...

**6**

votes

**2**answers

404 views

### Example of a space X exhibiting the Landweber non-exactness of the additive formal group over the integers?

Landweber exactness gives a criterion for when a complex oriented cohomology theory $E$ can be recovered from the formal group law over $E_{*}$ determined by the complex orientation. That is it gives ...

**2**

votes

**1**answer

179 views

### Multiplicity of indecomposable stable summands of $BG^{\wedge}_p$

I am reading the article Homotopy stable classification of $BG^{\wedge}_p$ by Martino-Priddy. Let $P_u$, $P_v$ be $p$-subgroups of a finite group $G$, such that $P_u\leq x^{-1}P_v x$ for some $x\in G$,...

**1**

vote

**1**answer

128 views

### Calculus of Functors and Model categories

In Calculus of functors and model categories II Biedermann and Rondigs claim in Corollary 6.18 that the $n$-homogeneous model structure on $\mathrm{Fun}(\mathcal{C}, \mathcal{D})$ is stable if $\...

**3**

votes

**0**answers

83 views

### Lower bounds on “size” of Whitehead covers?

Let $X$ be a nonzero finite spectrum, connective say, and consider the Whitehead tower of $n$-connected covers $\dots \to X\langle n \rangle \to X\langle n-1 \rangle \to \dots \to X\langle 0 \rangle = ...

**6**

votes

**0**answers

128 views

### Continuous functors, spectra and homology theories

Let $T:\mathbf{Top}_*\to \mathbf{Top}_*$ be a continuous functor and $E$ a spectrum with maps $\sigma_n:E_n\wedge S^1\to E_{n+1}$. We have a new spectrum $TE$ with structure maps
$$(TE_n)\wedge S^1\...

**2**

votes

**0**answers

74 views

### Stable homology operations

Let $x\in (H\mathbb F_2)_n(X)=[S^n,H\mathbb F_2 \wedge X]$ be a homology class for a space $X$. Is there a description of
$$[S^n\overset x\to H\mathbb F_2 \wedge X\overset{Sq^r\wedge id}\to \Sigma^r H\...

**8**

votes

**1**answer

264 views

### Universal property of $\mathbb S[z]$ and $E_\infty$-ring maps

Let $\mathbb S[z]$ be the free $E_\infty$-ring spectrum generated by the commutative monoid $\mathbb N$. That is, $\mathbb S[z] = \Sigma^\infty_+ \mathbb N$.
In Bhatt-Morrrow-Scholze II (https://...

**6**

votes

**1**answer

531 views

### How to construct the Moore spectrum?

I am trying to understand how the Moore spectrum is constructed. And in reading Foundations of Stable Homotopy Theory by David Barnes and Constanze Roitzheim, I see that in example 8.4.7 (pg 340) they ...

**6**

votes

**0**answers

191 views

### Example of a tensor triangulated category with two different monoidal t-structures?

What's an example of a tensor triangulated category / symmetric monoidal stable $\infty$-category with two different monoidal $t$-structures?
While I'm at it: is there an example of a tensor ...

**13**

votes

**2**answers

383 views

### The $K$-theory homology of the Eilenberg-MacLane spectrum

Let $KU$ be the complex $K$-theory spectrum and $H\mathbb{Z}$ be the Eilenberg-MacLane spectrum.
For $n\in \mathbb{Z}$, it is known what the homology groups $KU_{n}(H\mathbb{Z})$ are?

**6**

votes

**0**answers

229 views

### Funtoriality of twisted K-theory

I posted this question on math.stackexchange, but received no answer there.
In order to avoid the XY problem I will first state what I want, then what I think is the solution and how that failed ...

**7**

votes

**1**answer

233 views

### Reference request: mod 2 cohomology of periodic KO theory

The mod 2 cohomology of the connective ko spectrum is known to be the module $\mathcal{A}\otimes_{\mathcal{A}_2} \mathbb{F}_{2}$, where $\mathcal{A}$ denotes the Steenrod algebra, and $...

**6**

votes

**1**answer

329 views

### Homotopy pullbacks and pushouts in stable model categories

There are lots of similar questions that have been answered on this topic (particularly Homotopy limit-colimit diagrams in stable model categories), but I have a specific question that I do not ...

**6**

votes

**2**answers

460 views

### Dold-Kan correspondence in the category of symmetric spectra

The Dold-Kan correspondence between the category of simplicial abelian groups and the category of non-negatively graded chain complexes of abelian groups is a classical result. It states that the ...

**7**

votes

**0**answers

258 views

### Reference request: complex K-theory as a commutative ring spectrum

Does anyone know of a point-set level model for complex K-theory as a commutative ring spectrum?
For real $K$-theory
I know of "A symmetric ring spectrum representing KO-theory" by Michael Joachim (...

**9**

votes

**0**answers

269 views

### Are there non-obvious finite $E_\infty$ ring spectra?

I see two "obvious" classes of nonzero finite $E_\infty$ ring spectra $R$:
$R = \Sigma^\infty_+ (S^1)^{\times n}$
$R = D\Sigma^\infty_+ X$ ($X$ a finite space)
Questions:
Are there any others?
In ...

**12**

votes

**1**answer

326 views

### How weird can a ring spectrum be if all of its modules are free?

Let $R$ be a ring spectrum. If $\pi_\ast(R)$ is a graded field, then all module spectra over $R$ are free. But I don't believe the converse holds. How badly can it fail?
I'm assuming that $R$ is at ...

**3**

votes

**2**answers

403 views

### The Eilenberg-MacLane spectrum and retractions

I want to show that $H\mathbb{Z}$ is not a retract of $ku$, where $ku$ is the connective cover of the complex $K$-theory and $H\mathbb{Z}$ is the Eilenberg-MacLane spectrum.

**5**

votes

**0**answers

200 views

### Is there a systematic way to “bound” the $d_n$'s of ASS's by “pairing” them with elements in the $n$-line of the $E_2$ of the ASS of the sphere?

All details in the question are for the case $p=2$ though I expect the answer shouldn't be that different for odd primes.
Adams showed (i think it was him) the following statement:
The element $...

**12**

votes

**0**answers

246 views

### Does virtual Morava K-theory have an Eilenberg-Moore spectral sequence?

In a recent question, Tim Campion was interested in analyzing the Morava $K$–theory of a space $X$ by dissecting the space into connective and coconnective parts: $$X(m, \infty) \to X \to X[0, m].$$ ...

**6**

votes

**1**answer

240 views

### Are these two notions of unstable localization suitably equivalent?

It seems to me that although homological localization (i.e. formally inverting $E$-homology equivalences for some $E$) is a reasonable thing to do to a spectrum, it's a pretty brutal thing to do to a ...

**8**

votes

**1**answer

349 views

### What is nullification with respect to an Eilenberg-MacLane space?

By nullification with respect to $K(A,n)$, I mean the Bousfield localization $L_{A,n}$ where a spectrum $E$ is $L_{A,n}$-local if and only if $\tilde E^\ast(K(A,n)) = 0$.
Question: Is there a good ...