The stable-homotopy tag has no wiki summary.

**11**

votes

**2**answers

338 views

### Truncations of E_infinity algebras

In section 4.1 of Lurie's DAG VIII, he implies the existence of an $E_\infty$-ring spectrum $A$ such that the coconnective truncation $\tau_{\leq 0} (A)$ does not admit the structure of an ...

**18**

votes

**2**answers

1k 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 ...

**14**

votes

**0**answers

303 views

### What is to tmf as KR is to KO?

The $E_\infty$-ring spectrum $KU$ of complex K-theory carries a canonical involution induced from complex conjugation of complex vector bundles. The homotopy fixed points of this $\mathbb{Z}_2$-action ...

**1**

vote

**0**answers

154 views

### Units of a ring spectrum

Is there a good notion of the spectrum of units $R^\ast$ in a (possibly non-connective) $E_\infty$-ring spectrum $R$?
A standard definition (see section 1.2 in http://arxiv.org/abs/0810.4535) seems ...

**11**

votes

**1**answer

344 views

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

Feel free to gloss ‘interesting’ as you see fit. One way:
1. What is the lowest degree matric Toda bracket in $\pi_\ast(S)$ that doesn't contain zero?
By ‘degree’ I mean total homotopical ...

**21**

votes

**1**answer

1k 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 ...

**9**

votes

**1**answer

286 views

### Are these two notions of “dualizable” spectra equivalent?

A spectrum $X$ is dualizable if the natural map $$Map(X,\mathbb S) \wedge X \rightarrow Map(X,X)$$ is an equivalence of spectra. This is equivalent to having evaluation and coevaluation maps in the ...

**9**

votes

**1**answer

309 views

### Stable moduli interpretation of $\mathbb{R}\mathrm{P}^\infty_{-1}$

I attended a talk recently which closed with the following tantalizing facts: there is a naturally occurring map of spectra $$K(\mathbb{S}) \to \Sigma \mathbb{C}\mathrm{P}^\infty_{-1},$$ which can be ...

**12**

votes

**1**answer

209 views

### localizing subcategories of $HF_p$-local spectra

This entire question takes place in the $HF_p$-local category of $p$-local spectra, i.e. the essential image of $HF_p$-localization on the stable homotopy category. $HF_p$ itself is in there, and of ...

**7**

votes

**1**answer

448 views

### Technology for various models of spectra

There are a couple different models for spectra, or constructions of the categories of spectra that have the desired properties (homotopically and otherwise). The construction of the Categories of ...

**6**

votes

**1**answer

612 views

### Double coset formulas for Orthogonal groups [Solved]

According to Madsen-Brumfiel "Evaluation of the Transfer and the Universal Surgery Classes" Inventiones mathematicae 32 (1976): 133-170 Theorem 3.11, we can compute
the composition
...

**6**

votes

**2**answers

257 views

### Properness of the category of modules over a spectrum (that represents algebraic cobordism or motivic cohomology)

The abstract form of the question: let $C$ be a closed proper stable model category, $R$ is a ring object in it. Which conditions ensure that the category $R-mod$ is also proper?
Since weak ...

**7**

votes

**1**answer

286 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 ...

**5**

votes

**1**answer

330 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 ...

**32**

votes

**3**answers

732 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 ...

**11**

votes

**1**answer

253 views

### Is there a $K(0)$-local Rezk logarithm?

If $R$ is a $K(n)$-local $E_\infty$-algebra, then a construction of Rezk gives a natural transformation
$$ \mathfrak{gl}_1(R) \to R,$$
by using the equivalence (arising from the Bousfield-Kuhn ...

**19**

votes

**1**answer

858 views

### Why not a Roadmap for Homotopy Theory and Spectra?

MO has seen plenty of roadmap questions but oddly enough I haven't seen one for homotopy theory. As an algebraic geometer who's fond of derived categories I would like some guidance on how to build up ...

**13**

votes

**2**answers

450 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 ...

**11**

votes

**1**answer

288 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 ...

**5**

votes

**1**answer

243 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 ...

**3**

votes

**0**answers

202 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

151 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 ...

**10**

votes

**3**answers

716 views

### Isomorphism between two universal p-typical formal group laws

EDIT: I've tried to alter the question so that its basic nature is clearer, as it's been unclear to a number of people now.
At any prime p, there is a graded polynomial ring $V \cong {\mathbb ...

**2**

votes

**0**answers

110 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 ...

**9**

votes

**1**answer

332 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 ...

**15**

votes

**1**answer

730 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 ...

**4**

votes

**2**answers

416 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) ...

**3**

votes

**0**answers

114 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 ...

**5**

votes

**1**answer

228 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 ...

**5**

votes

**1**answer

190 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 ...

**15**

votes

**2**answers

364 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} & ...

**25**

votes

**4**answers

1k views

### Integral cohomology (stable) operations

There have been a couple questions on MO, and elsewhere, that have made me curious about integral or rational cohomology operations. I feel pretty familiar with the classical Steenrod algebra and its ...

**8**

votes

**2**answers

400 views

### Second homotopy group of the mod 2 Moore spectrum

Let $S/2$ be the mod 2 Moore spectrum (i.e. the cofiber of $2: S \to S$). Then multiplication by 2 acts nontrivially on this spectrum: the homotopy groups of $S/2$ are all $\mathbb{Z}/4$-modules by a ...

**16**

votes

**2**answers

520 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 ...

**2**

votes

**1**answer

137 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

602 views

### Homotopy type of tensors of Moore spectra

I would like to hear what's known about the homotopy type of smash products of mod-$p^j$ Moore spectra, for $p$ an odd prime.
First, here is what I'm specifically interested in: there is a short ...

**36**

votes

**5**answers

4k views

### third stable homotopy group of spheres via geometry?

It is ''well-known'' that the third stable homotopy group of spheres is cyclic of order $24$. It is also ''well-known'' that the quaternionic Hopf map $\nu:S^7 \to S^4$, an $S^3$-bundle, suspends to a ...

**12**

votes

**2**answers

786 views

### Finiteness of stable homotopy groups of spheres

Since the work of Serre in the early 50's on homotopy groups of spheres, it is known that the homotopy group $\pi_k(S^n)$ is finite, except when $k=n$ (in which case the group is $\mathbb{Z}$), or ...

**11**

votes

**3**answers

792 views

### Classifying triangulated structures on a graded category

I know of several results to the effect that two triangulated categories are equivalent categories (usually one coming from algebra and one coming from topology). However, it's never been clear to me ...

**5**

votes

**2**answers

477 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

107 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

131 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 ...

**7**

votes

**0**answers

124 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 ...

**8**

votes

**1**answer

301 views

### Is the injective model structure on symmetric spectra Bousfield localizable?

I am interested in injective model structures on both symmetric spectra as exposed in Hovey/Shipley/Smith and motivic symmetric spectra as in Jardine's article. Both authors take a model structure on ...

**21**

votes

**1**answer

734 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 ...

**6**

votes

**1**answer

538 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 ...

**2**

votes

**3**answers

329 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 ...

**11**

votes

**0**answers

281 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

161 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

141 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 ...