The stable-homotopy tag has no wiki summary.

**9**

votes

**0**answers

88 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

137 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

400 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

148 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

713 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

211 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

73 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

187 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

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

**5**

votes

**1**answer

197 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

**2**answers

524 views

### Differentials in the Adams Spectral Sequence for spheres at the prime p=2

How does one compute the differentials in the Adams Spectral Sequence for spheres at the prime 2 in the range $13\le t-s\le 20$? There seem to be 6 nonzero differentials, and at this point I only ...

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

**10**

votes

**1**answer

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

**35**

votes

**9**answers

4k views

### understanding Steenrod squares

There is a function on $\mathbb{Z}/2\mathbb{Z}$-cohomology called Steenrod squaring: $Sq^i:H^k(X,\mathbb{Z}/2\mathbb{Z}) \to H^{k+i}(X,\mathbb{Z}/2\mathbb{Z})$. (Coefficient group suppressed from ...

**2**

votes

**3**answers

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

**20**

votes

**0**answers

322 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

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

**33**

votes

**2**answers

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

**5**

votes

**2**answers

227 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

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

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

**-1**

votes

**1**answer

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

**7**

votes

**1**answer

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

**13**

votes

**1**answer

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

**81**

votes

**4**answers

3k views

### What do the stable homotopy groups of spheres say about the combinatorics of finite sets?

The Barratt-Priddy-Quillen(-Segal) theorem says that the following spaces are homotopy equivalent in an (essentially) canonical way:
$\Omega^\infty S^\infty:=\varinjlim~ \Omega^nS^n$
...

**7**

votes

**1**answer

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

**21**

votes

**1**answer

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

**3**

votes

**0**answers

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

**5**

votes

**1**answer

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

**11**

votes

**2**answers

670 views

### Are generalized cohomology theories a homotopy category of some category of invariants?

I was taught to think of generalized cohomology theories as the homotopy category of (symmetric) spectra. But is there also a category of 'invariants', that is, some category of contravariant functors ...

**5**

votes

**1**answer

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

**6**

votes

**1**answer

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

**21**

votes

**1**answer

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

**15**

votes

**0**answers

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

**2**

votes

**1**answer

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

**2**

votes

**1**answer

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

**8**

votes

**1**answer

237 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

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

**5**

votes

**0**answers

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

**17**

votes

**4**answers

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

**2**

votes

**3**answers

594 views

### Fracture Squares of Bousfield Localizations of Spectra

Suppose I have a spectrum $X$ and two homology theories $E$ and $F$. If I look at the Bousfield localizations, $L_E$, $L_F$, $L_{E\vee F}$ and $L_{E\wedge F}$, do I have a homotopy pullback square ...

**24**

votes

**4**answers

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

**6**

votes

**1**answer

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

**5**

votes

**1**answer

266 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

273 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

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

**5**

votes

**1**answer

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

**45**

votes

**6**answers

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

**10**

votes

**1**answer

421 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

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