The stable-homotopy tag has no wiki summary.

**3**

votes

**0**answers

83 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.$$
...

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

**-2**

votes

**1**answer

303 views

### $E_n$ structures on Symmetric Monoidal Stable infinity-categories

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

**6**

votes

**1**answer

435 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

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

**78**

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

**31**

votes

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

**7**

votes

**1**answer

473 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

799 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

131 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

320 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

650 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

182 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

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

**20**

votes

**1**answer

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

**31**

votes

**1**answer

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

**14**

votes

**0**answers

257 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

158 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

236 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

207 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

161 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

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

**14**

votes

**4**answers

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

**6**

votes

**1**answer

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

**2**

votes

**3**answers

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

**23**

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

320 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

248 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

251 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

259 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

363 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

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

**10**

votes

**1**answer

402 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

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

**2**

votes

**1**answer

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

**4**

votes

**3**answers

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

**19**

votes

**0**answers

555 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$ ...

**5**

votes

**1**answer

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

**3**

votes

**1**answer

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

**4**

votes

**2**answers

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

**0**

votes

**0**answers

56 views

### Cohomology operations over general rings [duplicate]

If $X$ is a topological space and $R$ is a commutative ring, then the singular cohomology groups $H^*(X,R)$ support cohomology operations coming from the homology of symmetric groups. If $R = ...

**10**

votes

**0**answers

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

**12**

votes

**2**answers

390 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

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

**2**

votes

**0**answers

189 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

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

**9**

votes

**1**answer

346 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

335 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

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

**8**

votes

**1**answer

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