The stable-homotopy tag has no usage guidance.

**7**

votes

**2**answers

105 views

### Simple question: different definitions of Bousfield localization

I am not an expert on model categories and I am getting lost with two different definitions I have found on Bousfield localizations. I don't see the link between them.
First definition: Let ...

**10**

votes

**1**answer

162 views

### equivariant stable class of quaternionic Hopf fibration in RO(G)-degrees of ADE-type

Does the quaternionic Hopf fibration possibly represent a non-torsion element in the $G$-equivariant stable homotopy groups of spheres, for $G$ a finite subgroup of $SO(3)$ and in RO(G)-degree being ...

**4**

votes

**1**answer

127 views

### The cooperations algebras Johnson-Wilson theory and truncated BP-theory

Given a prime $p$, there is a well known homology theory $BP$, known as Brown-Peterson homology. Has several related theories, namely the Johnson-Wilson theories $E(n)$ and the truncated ...

**4**

votes

**1**answer

167 views

### Parametrized Dold-Kan correspondence?

The stable Dold-Kan correspondence says that for every commutative ring $R$, there is an equivalence of $\infty$-categories between the category $Ch(R)$ of (unbounded) chain complexes of $R$-modules ...

**4**

votes

**1**answer

144 views

### Localization at the Johnson-Wilson spectrum and rationalization

Is there a clean proof that the $L_n$, localization at $E(n)$, is simply rationalization (i.e. $L_0$) on Eilenberg-MacLane spectra? Eric Peterson asked this here, but I haven't seen an answer.

**3**

votes

**1**answer

127 views

### unwinding the definition of $H_i(KU)$ as a map of spectra $\mathbb{S}^i \to HZ \wedge KU$

I asked this on mathstackexchange but didn't get any response (or many views) so I'm asking it here, although clearly it belongs over there.
In the answer to this question on mathoverflow, it says:
...

**10**

votes

**0**answers

127 views

### How does the HHR Norm functor interact with the cotensor over $G$-spaces?

Let $N_H^G$ be the norm functor from orthogonal $H$-spectra to orthogonal $G$-spectra. We know the category of orthogonal $G$-spectra $\mathcal{S}_G$ is enriched over the category of based $G$-spaces ...

**5**

votes

**2**answers

188 views

### Smash product of spheres in $\mathbf{SH}$ and product in cohomology

I have two very concrete and simple question. Just in case I write downwards what led me into this.
My questions: Let $\mathbf{SH}(X)$ be the stable homotopy category of Voevodsky. Denote $S^n$ the ...

**37**

votes

**1**answer

616 views

### Is there an octonionic analog of the K3 surface, with implications for stable homotopy groups of spheres?

The infamous K3 surface has many constructions in many fields ranging from algebraic geometry to algebraic topology. Its many properties are well known. For this question I am really interested in the ...

**17**

votes

**1**answer

514 views

### stable homotopy groups and zeta function

I have heard during a discussion that there is a well known relation between the stable homotopy groups of a sphere (more precisely the order of stable homotopy groups of localized sphere spectrum ...

**12**

votes

**1**answer

315 views

### Fibrant-cofibrant models of Eilenberg-MacLane spectra

There are many models for spectra, by which I mean a model category whose homotopy category is triangulated-equivalent to the stable homotopy category. In each model, there are ways to construct ...

**7**

votes

**1**answer

131 views

### Obstructions to Picard-graded groups of maps

Suppose $(C,\odot,\Bbb I)$ is an additive category with a compatible symmetric monoidal structure and $Pic(C)$ is the group of isomorphism classes of objects which have an inverse under $\odot$. For ...

**7**

votes

**0**answers

106 views

### How stable is the top cell of Lie group?

It is well know fundamental class of a compact lie group $G$ is stably spherical (see "H-Spaces and Duality" by Browder and Spanier, or "Thom Complexes" by Atiyah), and there is a stable equivalence ...

**3**

votes

**1**answer

145 views

### Triangulated structure on $\mathbf{SH}(S)$: $\mathbb{P}^1$-suspension versus classical suspension

I am studying the construction of the motivic stable homotopy category of schemes $\mathbf{SH}(S)$ following Riou's paper Categorie homotopiquement stable d'un site suspendu avec intervalle (click to ...

**9**

votes

**0**answers

138 views

### A tensor product for triangulated categories?

Many triangulated categories which show up in mathematics, such as derived categories of various sorts, arise as the homotopy category of a stable $\infty$-category.
Stable $\infty$-categories give ...

**4**

votes

**1**answer

179 views

### Stabilization of a generic pointed model category

Let $\mathcal C$ be a pointed model category. It is well-known that its homotopy category $\mathrm{Ho}(\mathcal C)$ is naturally a $\mathrm{Ho}(\underline{\mathrm{sSet}}_*)$-category, where ...

**4**

votes

**1**answer

440 views

### $\pi_8(S^5)=\pi_8(SO(6))=\mathbb{Z}/24$?

I am currently thinking about a physics model related to framed bordism $\Omega_3^{fr}=Z/24=\pi^s_3$, and the first stable example is $\pi_8(S^5)$, so I was curious about the generator, and happened ...

**5**

votes

**0**answers

161 views

### Moore spectra are not E-infinity (oldest known proof)

Fix a prime $p$. Let $M_p(i)$, the $i$-th Moore spectrum at the prime $p$, be the cofiber of the map
$$ S^0 \overset{p^i}\longrightarrow S^0 $$
where $S^0$ be the sphere spectrum. In the Mathoverflow ...

**6**

votes

**3**answers

786 views

### Ambidexterity and Quantization

Here the nlab says about Hopkins-Lurie's ambidexterity paper:
"The discussion in the article is apparently motivated as part of what it takes to make precise the discussion of quantization in ...

**5**

votes

**1**answer

234 views

### Naive G-spectrum representing geometric equivariant cobordism

Let $G$ be a finite group. By the transversality results of Wasserman $G$-equivariant bordism (say real) should be a naive homology theory, and as such it should be represented by a naive G-spectrum.
...

**-2**

votes

**1**answer

81 views

### stable splitting into a wedge sum [closed]

Suppose $X$ is a CW-complex such that there is a stable splitting of $X$ into wedge sum
$$
\Sigma^t X\cong \bigvee _{k=1}^\infty Y_k.
$$
(1). Does this imply
$$
X\to \Sigma^tX\to \bigvee ...

**7**

votes

**0**answers

194 views

### May's infinite loop machine for Friedlander's result for Adams conjecture

Eric M. Friedlander in the paper The infinite loop Adams conjecture via Classification Theorem for $\Gamma$-spaces proved the infinite loop Adams conjecture using techniques involved $\Gamma$-space.
...

**3**

votes

**0**answers

93 views

### Maps between equivariant loop spaces

I have an elementary question about equivariant loop spaces that I feel it should be well known.
Given a finite group $G$ and a finite $G$-set $J$ let $S^J=\mathbb{R}[J]^+$ be the permutation ...

**10**

votes

**1**answer

327 views

### Cohomology of the Image of J spectrum

Let $J$ denote the image of $J$-homomorphism spectrum and let $j$ denote its connective cover. I am interested in knowing the cohomology of $j$ i.e.
$$ [j, HZ/p]_*$$
as a module over Steenrod algebra. ...

**2**

votes

**3**answers

348 views

### Integral transform on noncommutative spaces

In their paper "Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry" the authors show that for perfect stacks $X$ and $Y$ over $k$, and their $k$-linear $\infty$-categories of ...

**26**

votes

**1**answer

505 views

### Nilpotence of the stable Hopf map via framed cobordism

The Pontryagin-Thom construction shows that the stable homotopy groups of spheres are the same as the groups of stably framed manifolds up to cobordism. Specifically the Hopf map corresponds to the ...

**2**

votes

**0**answers

245 views

### Functor of points of a tensor triangulated category

Is there is a functor of points approach to tensor triangulated categories parallel to Balmer's theory of prime spectra?
Given a tensor triangulated category $\mathcal{T}$ an $R$-point can be ...

**5**

votes

**2**answers

249 views

### homology of a mapping spectrum

If $X$ and $Y$ are two spectra, I denote by $F(X,Y)$ their mapping spectrum. This is uniquely determined by the existence of a natural isomorphism $[X\wedge Y, Z]\cong [X,F(Y,Z)]$.
I denote by $H_*$ ...

**5**

votes

**0**answers

105 views

### Spectral Sequences of Parametrized Spectra

I apologize if this question is of the form "what are some interesting problems in bla" but I was wondering if anybody have studied the following set-up:
Suppose that I have a parametrized spectra ...

**5**

votes

**1**answer

209 views

### When does a map in the stable homotopy group gets killed when smashed with cone of itself?

Consider an element $e \in \pi_n^s(S^0)$, in the stable homotopy groups of sphere. Let $C$ denote the spectrum which is cone of $e$, i.e. $C$ fits in the cofiber sequence
$$ S^n \to S^0 \to C.$$
...

**7**

votes

**1**answer

486 views

### Homologically distinct infinite loop structures on a space

Let $X$ be a connected pointed topological space equipped with two different actions of $E_\infty$-operad. Each action provides a collection of deloopings $X_i$, where $X_0 = X$ and $\Omega X_i$ is ...

**14**

votes

**1**answer

313 views

### Anything between vector bundles and sphere bundles?

There are two extremities: on the "easy end" one has vector bundles which are classified by maps to the (more or less) well understood spaces like Grassmanians; on the "hard end" there are spherical ...

**3**

votes

**0**answers

157 views

### Twisting of the power functor

Let $k$ be a field of characteristic $p$ and $D^b(k)$ be the infinity (equivalently, DG) category of perfect complexes over $k$. Let $C_p(=\mathbb{Z}/p)$ be the cyclic group on $p$ elements. For a ...

**-1**

votes

**1**answer

365 views

### $E_n$ structures on Symmetric Monoidal Stable infinity-categories [closed]

Let $C$ be a stable $∞$-category with a monoidal structure on it, hence a monoidal stable $∞$-category; if this monoidal structure is "maximally symmetric" (in Wikipedia's sense) $C$ is a symmetric ...

**5**

votes

**1**answer

355 views

### Uniqueness of Complex Orientation of Morava K-theory

It is known that the $n^{\text{th}}$ Morava $K$-theory at a prime $p$, denoted $K(n)$, is complex oriented. In other words, it admits a theory of Chern classes, or equivalently a morphism of homotopy ...

**5**

votes

**1**answer

202 views

### What does an endomorphism in a triangulated category give rise to?

Let $D\xrightarrow[]\varphi D\xrightarrow[]kE\xrightarrow[]j\Sigma D$ be an exact triangle in a triangulated category. I am trying to figure out what structure emerges from this on the base of the ...

**7**

votes

**1**answer

408 views

### K-theory of the h-cobordism category

I was reading through Kervaire and Milnor's "Groups of Homotopy Spheres", in which the authors begin to compute the groups $\Theta_n$ of h-cobordism classes of homotopy $n$-spheres (with group ...

**15**

votes

**0**answers

300 views

### Chromatic Spectra and Cobordism

I apologize in advance, if some of the things I've written are incorrect.
The cobordism hypothesis states that $\mathbf{Bord}^\mathrm{fr}_n$ is the free symmetric monoidal $(\infty,n)$-category with ...

**33**

votes

**2**answers

976 views

### What is an infinite prime in algebraic topology?

The links between algebraic topology (stable homotopy theory in particular) and number theory are nowadays abundant and fruitful. In one direction, there is chromatic homotopy theory, exploiting the ...

**2**

votes

**1**answer

198 views

### About embedding pure motives into the triangulated category of mixed motives and some further questions about motivic cohomology

I have tried reading some texts about motives, mainly motivic cohomology (Bloch's " Lectures on Algebraic Cycles", Voevodsky's "Motivic Cohomology" etc). However some things confused me. I don't know ...

**8**

votes

**1**answer

254 views

### Power operations and Lambda-structure-like lifts of Frobenius in $E_\infty$-geometry?

A $\Lambda$-structure on a commutative ring $R$ is a ring endomorphism wich restricts to the $p$-Frobenius homomorphism after localizing at $(p)$. One may think of this as a "flow" $\Phi \colon ...

**4**

votes

**1**answer

172 views

### AdicCompletion$\dashv$Torsion adjunction on spectra?

It seems to me that in slight paraphrase the central result of the article
Marco Porta, Liran Shaul, Amnon Yekutieli, On the Homology of Completion and Torsion (arXiv:1010.4386)
(theorems 6.11 and ...

**19**

votes

**4**answers

685 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

125 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

357 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

778 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

271 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

283 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

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

**6**

votes

**1**answer

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