The stable-homotopy tag has no wiki summary.

**14**

votes

**2**answers

570 views

### Must a weak homotopy equivalence induce an isomorphism between stable homotopy groups?

I'm confused by the following question:
$f:X\to Y$ is a weak homotopy equivalence, that is $f_*:\pi_*(X)\to \pi_*(Y)$ is an isomorphism for any dimensional homotopy groups. However, for the stable ...

**5**

votes

**1**answer

263 views

### The first element in the stable homotopy of a $K(\mathbb{Z}/2, n)$

The first element in the stable homotopy groups of a $K(\mathbb{Z}/2, n)$ (which is outside the range of the Freudenthal suspension theorem) is $\pi_{2n} K(\mathbb{Z}/2, n) \simeq \mathbb{Z}/2$. In ...

**5**

votes

**0**answers

270 views

### Fields in Stable Homotopy Theory

It is known that the only "fields" in stable homotopy theory, after localizing at a prime $p$, are Eilenberg-Mac Lane spectra for fields and the Morava K-theories (this is true in a few senses: these ...

**2**

votes

**0**answers

164 views

### Quillen functors and stable model categories

Are there any books or papers where I can find some general statements and methods for working with Quillen functors that are not equivalences (and not localizations)? In particular, I would like to ...

**2**

votes

**0**answers

131 views

### Formal n-buds from BU(n) rather than SU(n)

It's known, from Ravenel's green book, as well as other sources, that we build formal group laws over a ring from n-buds, where an n-bud is essentially a truncated formal group law (sometimes called a ...

**27**

votes

**2**answers

2k views

### What is known about the sum x^{n^2}/n?

It follows from a general theorem of Honda that the formal group with the logarithm
$$
x+x^{2^s}/2+x^{3^s}/3+x^{4^s}/4+\cdots
$$
has integer coefficients. I became interested in it because its ...

**7**

votes

**1**answer

499 views

### Category of motivic spectra

When the survey Axiomatic Stable Homotopy, Neil Strickland, 2004 was written the category of motivic spectra was not investigated from the point of view of axiomatic stable homotopy, as considered ...

**3**

votes

**0**answers

141 views

### Are finite (levelwise) homotopy limits of spectra homotopy invariant?

I found an easy proof that the (levelwise) homotopy limit of a pointwise equivalence of finite diagrams of orthogonal spectra is an equivalence, without assuming that the spectra in the diagrams are ...

**4**

votes

**2**answers

469 views

### On triangulated categories of pro-objects

Which term is used for model categories whose homotopy categories are triangulated? Stable proper model categories?
I want $Ho(Pro-M)$ to be triangulated ($Pro-M$ is the category of pro-objects of M) ...

**5**

votes

**1**answer

214 views

### Toda brackets and factorisation of a sequence of spectra

I've found a paper of Spanier's (Higher Order Operations) where he uses the theory of "carriers" to study $n$-th order operations. The set-up is rather general; for example a particular case defines ...

**5**

votes

**1**answer

258 views

### Construction of Thom-Spectrum for G_2-Structures

The motivation to this question is the paper of Crowley and Nordstrøm "A New Invariant of $G_2$-Structures". I am trying to find a homotopy theoretic interpretation of the following geometric ...

**2**

votes

**1**answer

144 views

### Does Wolbert's derived equivalence between $E_*^R$-local $R$-modules and $R_E$-modules come from a Quillen equivalence?

Let $R$ be a ring spectrum (in the world of EKMM $S$-modules) and let $E$ be a smashing $R$-module. Denote by $R_E$ the $E_*$-localization of $R$. By a theorem of Wolbert (Theorem 2 in Classifying ...

**16**

votes

**2**answers

638 views

### Conceptual explanation for the relationship between Clifford algebras and KO

Recall the following table of Clifford algebras:
$$\begin{array}{ccc}
n & Cl_n & M_n/i^{*}M_{n+1}\\
1 & \mathbb{C} & \mathbb{Z}/2\mathbb{Z} \\
2 & \mathbb{H} & ...

**16**

votes

**2**answers

624 views

### KK-theory as a stable infinity-category and KU Mod

The category KK of bivariant operator K-theory (or possibly its E-theory variant) ought to be the homotopy category of something at least close to a stable infinity-category; notably in that it ...

**17**

votes

**1**answer

1k views

### The cell structure of Thom spectra

I would like to understand the cell structure of integrally oriented Thom spectra. A Thom spectrum over a space $X$ is something you can build from a stable spherical bundle, which is classified by a ...

**18**

votes

**2**answers

2k views

### Open Problems in Algebraic Topology and Homotopy Theory

Some time ago (I see it was initially written before 1999?) Mark Hovey assembled a list of open problems in algebraic topology. The list can be found here. Some of the problems I know about have been ...

**5**

votes

**2**answers

721 views

### Homotopy limit-colimit diagrams in stable model categories

It is shown in Remark 7.1.12 of (a newer version of) Mark Hovey's book Model Categories that, in a stable model category, homotopy pullback squares coincide with homotopy pushout squares. The argument ...

**5**

votes

**1**answer

119 views

### Is this a description of the $\aleph_1$-localizing subcategory generated by a compact generator?

This should be obvious but I'm not seeing it:
The $\mathfrak T$ be a triangulated category with coproducts and with a compact generator $A$ (that is, the functor $\mathfrak T(A,\_)$ preserves ...

**6**

votes

**0**answers

146 views

### Schwede's DB spectra and MU

In Stefan Schewede's paper Formal groups and stable homotopy of commutative rings, he introduces $\Gamma$-rings (ring spectra) $DB$ for any commutative ring $B$ such that the the set of 1-dimensional ...

**8**

votes

**0**answers

147 views

### Fibrations of orthogonal G-spectra and fixed points

There are at least two fixed point functors that characterize stable equivalences of orthogonal G-spectra: the geometric fixed points and the naive fixed points of a fibrant replacement.
Is this true ...

**9**

votes

**1**answer

349 views

### Thom isomorphism's effect on module structure of n-oriented spectra

This question is specifically related to the spectra $X(n)$ used in Devinatz, Hopkins and Smith's proof of the nilpotence conjectures, but any general answer in terms of the Thom isomorphism would ...

**12**

votes

**1**answer

327 views

### Does the signature admit a homotopy coherent refinement?

Cobordism genera can often be refined to $E_\infty$-orientations in the sense of Ando-Blumberg-Gepner-Hopkins-Rezk:
1) the mod 2 Euler characteristic $MO\to H\mathbb{F}_2$;
2) the $\widehat A$-genus ...

**9**

votes

**1**answer

724 views

### Are Thom spectra MU, MSO and K-theory spectra KU, KO modules over some truncations of the sphere spectrum?

The Thom spectrum MO is a module over the ring spectrum π≤0S=HZ, where S is the sphere spectrum.
In particular, MO is equivalent to the Eilenberg-MacLane spectrum Hπ*(MO).
On the other hand, MU and ...

**3**

votes

**3**answers

441 views

### Mayer-Vietoris Sequence for Arbitrary Bicartesian Square of Spectra

Can anyone tell me if there is a Mayer-Vietoris sequence for an arbitrary homotopy pushout (hence homotopy pullback) of spectra and an arbitrary (co)homology theory. If this comes from some easy way ...

**12**

votes

**0**answers

319 views

### How to see the quaternionic hopf map generates the stable 3-stem?

I am looking for a direct proof that the quaternionic hopf map generates (after suspension) the 3rd stable homotopy group of spheres. There are some related MO questions, for example:
...

**5**

votes

**2**answers

175 views

### Filtration on Smash Product of Cofibers

I have seen some similar questions to this one on here recently, so I hope this isn't redundant. Basically, suppose I have two cofiber sequences of spectra (or perhaps just work in some general ...

**3**

votes

**0**answers

160 views

### In the cohomology of Thom spectrum over LoopS^{2} and p-adic characteristic classes

Let $T$ denote the thom spectrum over $\Omega S^{2}$ defined by the map
$1+3: \Omega S^{2} \to BG_{3}$
where $1 +3$ is a unit in $3$-adics.
Here $G_{3}$ is the unit component of ...

**3**

votes

**1**answer

311 views

### Connection between complex orientations and R-orientations for a ring spectrum R?

We have a well defined notion of complex orientation for a spectrum (coh. theory) $E$, that is, we have a class $x_E\in \tilde{E}^2(\mathbb{C}P^\infty)$ which restricts to identity along the inclusion ...

**5**

votes

**1**answer

207 views

### Adams-Novikov spectral sequence at p = 2

Does anyone know of any computer calculations of the E2-term of the Adams-Novikov spectral sequence at p=2?
I'd love to get my hands on this data.

**10**

votes

**1**answer

380 views

### Computation of [ HZ/4, HZ/4]

I am trying to compute $ [\mathbb{HZ}/4,\mathbb{HZ}/4 ]$ the mod 4 Steenrod Algebra. For some reason, I need to work it out till dimension 6 or so. My approach is to use the cofiber sequence
...

**23**

votes

**4**answers

2k views

### What is a simplicial commutative ring from the point of view of homotopy theory?

Let $k$ be a field. There are two natural categories to consider:
The category of simplicial commutative $k$-algebras.
The category of connective $E_\infty$ $k$-algebras (i.e., chain complexes of ...

**2**

votes

**1**answer

260 views

### Counterexamples to Smallness of Harmonic Spectra

It is a theorem of Neil Strickland's that the category of harmonic spectra (i.e. the category of $p$-localized spectra localized at the infinite wedge of Morava K-theories) has no small objects. That ...

**32**

votes

**2**answers

2k views

### Are spectra really the same as cohomology theories?

Let $E \to F$ be a morphism of cohomology theories defined on finite CW complexes. Then by Brown representability, $E, F$ are represented by spectra, and the map $E \to F$ comes from a map of spectra. ...

**3**

votes

**1**answer

267 views

### Are filtered colimits of weak-equivalences of spectra again weak-equivalences?

Hi, I have a question on weak-equivalences of spectra.
More precisely, I wonder whether filtered colimits of weak-equivalences of spectra are again weak-equivalences of spectra. Here, spectra are in ...

**11**

votes

**1**answer

741 views

### Connection of X(n) spectra to formal group laws

In the proof of the Nilpotence Theorem, or at least in Ravenel's account of it in his Orange Book, a sequence of spectra are used, denoted $X(n)$ with $X(0)=\mathbb{S}$ and and $X(\infty)=MU$ such ...

**2**

votes

**1**answer

196 views

### Compact MU or BP Modules

Is there a classification of the compact MU or BP modules in any category of spectra? Can the periodicity theorem be finagled to give a MU-module structure on finite spectra?

**10**

votes

**1**answer

359 views

### Smashing localizations in the category of spectra

Let $E$ be a spectrum. Then $E$ determines an idempotent localization functor $L_E: \mathrm{Sp} \to \mathrm{Sp}$ sending each spectrum to its $E$-localization.
The functor $L_E$ generally does not ...

**4**

votes

**2**answers

493 views

### Computation of stable homotopy groups of $RP^2$

I would like to compute the first few stable homotopy groups of $RP^2$.
I first thought to use the Atiyah-Hirzebruch Spectral Sequence, (see Davis & Kirk, pg. 242). Here is what I computed for ...

**3**

votes

**1**answer

240 views

### If a t-truncation of the unit object in a stable homotopy category is a ring object up to homotopy, can it be lifted to a ring spectrum? What about the Postnikov t-truncations of the sphere spectrum?

Let $S$ be the unit object in a monoidal stable homotopy category $SH$ (we demand that the multiplication $S\times S\to S$ is commutative and associative on the level of spectra, and not just up to ...

**3**

votes

**1**answer

128 views

### Interesting examples of a 4-torsion X in a triangulated category such that $2 End(X/2X)\neq 0$?

It is well-known that for the sphere spectrum $S$ in the ('topological') stable homotopy category the object $S/2S$ i.e. the cone of $S\stackrel{\times 2}{\to}S$, is not $2$-torsion.
So I wonder ...

**3**

votes

**0**answers

321 views

### Good morphisms of distinguished triangles: can Neeman's method be applied to the motivic stable homotopy category?

It is well known that non-uniqueness of a cone for a morphism in a triangulated category $C$ makes constructing exact functors (of triangulated categories) a difficult task. In section 3 of his "Some ...

**7**

votes

**1**answer

332 views

### The vanishing of $MGL^{2n+i,n}(X)$; do spectra of smooth projective varieties generate $SH_{l}$?

I have two questions related to the stable motivic homotopy categories of Morel-Voevodsky. The first is probably simple; I wonder what is known on the second one.
For the algebraic cobordism theory ...

**34**

votes

**3**answers

942 views

### Lambda-operations on stable homotopy groups of spheres

The Barratt-Quillen-Priddy theorem says in one interpretation that there is a weak equivalence of spectra $K(FinSet) \simeq \mathbb{S}^0$. In other words K-theory groups of finite sets are the stable ...

**6**

votes

**1**answer

420 views

### Is a wedge of spheres an $E_\infty$ ring spectrum?

The wedge sum $\bigvee_{k \in 2 \mathbb{Z}} S^{k}$ is an $A_\infty$-ring spectrum: the connective cover is the free $A_\infty$-ring on the sphere $S^2$, if I'm not mistaken, and then one inverts the ...

**0**

votes

**0**answers

95 views

### Periodicity Theorem for D(R)

For a derived category of a Noetherian ring (or perhaps more generally), can we talk about a Periodicity Theorem? We have Thick Subcategory Theorems and Nilpotence Theorems (HPS 91) for D(R), and in ...

**7**

votes

**1**answer

254 views

### Monoidal Model Categories with Suspension Functor

This is basically just me trying to find out what such categories are called, and where they are written about. If I think of some model category of spectra being a "stabilization" of some model ...

**7**

votes

**1**answer

289 views

### On the natural (bigraded) homotopy groups of a simplicial object in a model category

$\def\mc{\mathcal} \def\sm{\wedge}$
This question stems from the Goerss-Hopkins paper Moduli Problems for Structured Ring Spectra. Let me begin by attempting to summarize the relevant framework -- ...

**2**

votes

**0**answers

121 views

### Bousfield Complements of Interesting Spectra

For a spectrum $X$, Bousfield constructs a spectrum (which is only well-defined up to Bousfield equivalence) $aX$, which he shows satisfies some nice properties, like $\langle a^2X\rangle=\langle ...

**23**

votes

**1**answer

891 views

### K(r)-localization and monochromatic layers in the chromatic spectral sequence

While preparing some lecture notes, I had a basic point of confusion come up that I haven't been able to settle.
The $BP$-Adams spectral sequence (or $p$-local Adams-Novikov spectral sequence) for ...

**0**

votes

**0**answers

184 views

### Whitehead Theorem for Harmonic Spectra

What are the chances that, for an arbitrary $p$-local harmonic spectrum $X$, if $K(n)\wedge X\simeq\ast$ for all $n$, then $X$ is contractible? This, I believe, holds for suspension spectra and finite ...