The stable-homotopy tag has no usage guidance.

**21**

votes

**4**answers

755 views

### Fibrations and Cofibrations of spectra are “the same”

My question refers to a folklore statement that I have now seen a couple of times, but never really precise. One avatar is:
"For spectra every cofibration is equivalent to a fibration" (e.g. in the ...

**5**

votes

**0**answers

127 views

### Parametrized cancelations in stable Morse theory

Let $B$ be a closed manifold. Let $\pi : M\to B$ be a submersion such that each fiber is a manifold without boundary. Let $f : M \to \mathbb{R}$ be a function such that the restrictions $f_x$ to each ...

**6**

votes

**1**answer

363 views

### Detection of stable homotopy by K-theory spectra

This is primarily a reference request. Does anyone know of any writing about algebraic K-theory spectra picking up elements in the stable homotopy groups of spheres in their Hurewicz image coming from ...

**23**

votes

**1**answer

786 views

### From the perspective of bordism categories, where does the ring structure on Thom spectra come from?

To fix ideas, let's consider the Thom spectrum of framed bordism $M$, the spectrum whose homotopy groups are the framed bordism groups. $M$ has a ring spectrum structure inducing the product of ...

**5**

votes

**1**answer

279 views

### endomorphisms of modules over symmetric ring spectra

I have a probably very basic question about modules over symmetric ring spectra:
Let $R$ be a commutative symmetric ring spectrum and let $M$ and $N$ be module spectra over $R$. Moreover, let ...

**10**

votes

**1**answer

290 views

### Is there a non-zero ghost map between finite suspension spectra?

A morphism $f\colon X\to Y$ of spectra such that for every integer $n$ the induced map $\pi_n(f)\colon\pi_n(X)\to\pi_n(Y)$ on stable homotopy groups is zero is called a ghost map.
Not every ghost map ...

**9**

votes

**1**answer

336 views

### Verdier localization for stable $\infty$-categories

Verdier localization is one of the more intuitive ways to localize a triangulated category, "killing" a suitable class of objects via a functor which is universal with respect to this property.
I ...

**7**

votes

**1**answer

529 views

### Dennis trace map K----> THH

I have some questions about Dennis trace map in algebraic K-Theory. I was wondering if there is some conceptual way to look at this map $K(-)\rightarrow THH(-)$ (natural transformation from K-Theory ...

**25**

votes

**4**answers

2k views

### What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?

I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra.
In the former, one assigns to ...

**10**

votes

**1**answer

433 views

### The homotopy of universal Thom spectrum

Let $S^0_p$ be the $p$-adic sphere spectrum. Let $GL_1(S^0_p)$ be the set of unit componen of $\Omega^{\infty}S^0_p$. For any map $ X \to BGL_1(S_p^0)$ we get a Thom spectrum call it $Mf$. Now ...

**5**

votes

**0**answers

203 views

### Which ring spectra have some kind of exponential map turning addition into multiplication?

This accepted answer to the question about $BU_\otimes$ made me recall that I want to read about this general phenomenon for a long time.
What will follow is sort of vernacular but whether it can be ...

**3**

votes

**1**answer

201 views

### Is there a geometric interpretation of Johnson-Wilson E(n) analogous to vector bundles for K-theory?

I am reading Ravenel's Localization with Respect to Certain Periodic Homology Theories where he states;
For $n\ge2$, the spectra E(n)
represent periodic homology theories which at present have ...

**2**

votes

**1**answer

253 views

### Generator of $\pi_3(SU(4))$ in Mimura-Toda

In this paper of Mimura and Toda, tables are given for low-dimensional homotopy groups of $SU(3)$, $SU(4)$ and $Sp(2)$. As far as I understand it, Theorem 6.1 gives the generator of $\pi_3(SU(4))$ as ...

**4**

votes

**3**answers

323 views

### Adams Spectral Sequence for Triangulated Categories

We have the Adams SS with
$$ E_2^{p,q} = Ext^{p,q} _{E^*(E)}([S,E],[S,E]) $$
where $E$ is the Eilenberg-Maclane Spectrum yielding $\mathbb{Z}/p$ coefficients.
I was wondering if there is a SS for ...

**20**

votes

**0**answers

655 views

### Calabi-Yau cohomology?

My question here is going to be this -- but I'll give a bit of background to explain myself in a moment:
What has been done/what results are available on Calabi-Yau cohomology in degree $n \geq 3$ ...

**3**

votes

**1**answer

220 views

### Stable homotopy of classifying space for nilpotent groups

Let $BG$ denote the classifying space of a (discrete) group and $BG_+$ its disjoint union with a point.
Question: What is known about the stable homotopy groups $\pi^S_*(BG_+)$ ?
If $G$ is finite ...

**6**

votes

**1**answer

277 views

### When was the word “stable” first used to describe stable homotopy theory?

The word "stable" has many uses in mathematics, but in the context of stable homotopy theory, one might take it to mean one of two things:
Homotopy groups stabilize after taking suspensions ...

**4**

votes

**2**answers

163 views

### Homology exponents for $QX$

We say that a space $X$ has a homology $p$-exponent if some power of $p$ annihilates the $p$-torsion in $H_\ast(X;\mathbb{Z})$.
I am interested in the homology exponents of the free infinite loop ...

**10**

votes

**0**answers

194 views

### “topological” Ochanine genus?

The Witten genus has famously been lifted to the string orientation of tmf ("topological Witten genus"). For the Ochanine genus I am aware of a lift to a "spin orientation of Tate K-theory", namely to ...

**13**

votes

**2**answers

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

**22**

votes

**1**answer

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

**2**

votes

**0**answers

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

**9**

votes

**1**answer

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

**11**

votes

**1**answer

361 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

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

**6**

votes

**2**answers

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

**5**

votes

**1**answer

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

**10**

votes

**1**answer

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

**23**

votes

**1**answer

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

**14**

votes

**2**answers

624 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

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

**7**

votes

**0**answers

312 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

168 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

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

**30**

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

549 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

165 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

**2**answers

524 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

231 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

277 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

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

**18**

votes

**2**answers

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

**17**

votes

**2**answers

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

**19**

votes

**2**answers

3k 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

862 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

129 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

152 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

161 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

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