Questions tagged [stable-homotopy]
Stable homotopy theory is that part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor.
554
questions
121
votes
4
answers
8k
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$
$\mathbb{Z}\...
74
votes
9
answers
14k
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 ...
70
votes
6
answers
8k
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 ...
66
votes
1
answer
2k
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 ...
62
votes
5
answers
17k
views
What is modern algebraic topology(homotopy theory) about?
At a basic level, algebraic topology is the study of topological spaces by means of algebraic invariants. The key word here is "topological spaces". (Basic) algebraic topology is very useful in other ...
60
votes
2
answers
8k
views
Are spectra really the same as cohomology theories?
Let $E \to F$ be a morphism of cohomology theories defined on finite CW complexes. Then by Brown representability, $E, F$ are represented by spectra, and the map $E \to F$ comes from a map of spectra. ...
51
votes
5
answers
5k
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 ...
44
votes
2
answers
7k
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 $p$-...
42
votes
4
answers
4k
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 ...
42
votes
2
answers
2k
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 ...
41
votes
1
answer
9k
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 ...
38
votes
4
answers
6k
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 $...
38
votes
3
answers
2k
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 ...
33
votes
1
answer
2k
views
Early stabilization in the homotopy groups of spheres
Thanks to Freudenthal we know that $\pi_{n+k}(S^n)$ is independent of $n$ as soon as $n \ge k+2$. However, I was looking at the table on Wikipedia of some of the homotopy groups of spheres and noticed ...
33
votes
1
answer
1k
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 ...
32
votes
1
answer
2k
views
What happened to the last work Gaunce Lewis was doing when he died?
In 2006, Gaunce Lewis died at the age of 56. He'd done important work setting up equivariant stable homotopy theory, and I think it's fair to say his work was far ahead of its time. In recent years, ...
31
votes
4
answers
3k
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 ...
31
votes
2
answers
3k
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} & \mathbb{Z}/2\...
31
votes
1
answer
2k
views
Stable homotopy theory and physics
At various points in my life, I have held the following beliefs:
1) Stable homotopy theory is "easy" rationally, and "interesting" integrally.
2) The spectrum of topological modular forms (TMF) is ...
31
votes
1
answer
2k
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 ...
31
votes
0
answers
834
views
The central insight in the proof of the existence of a class of Kervaire invariant one in dimension 126
I understand from a helpful earlier MO question that the techniques leading to the celebrated resolution of the Kervaire invariant one problem in the other candidate dimensions yield no insight on ...
30
votes
1
answer
2k
views
Morava K-theories for dummies?
Professor Urs Würgler passed away one year ago, and his wife engraved his tombstone with "the formula he was the most proud of" :
$B(n)_*(X)\cong P(n)_*(K(n))\square_{\Sigma_n}K(n)_*(X)$
However ...
30
votes
2
answers
10k
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 ...
30
votes
1
answer
755
views
Is a filtered colimit of rational spaces again rational?
Let me first explain the statement of the question and then give some indication why the answer might be 'yes'.
By a space I mean, say, a simplicial set and by rational I mean rational in the sense of ...
28
votes
5
answers
4k
views
Modern source for spectra (including ring spectra)
I am looking for a modern introduction to spectra that improves on the treatment by Adams in his "Stable Homotopy and Generalized Homology" notes (by improves I mean taking into account what ...
27
votes
2
answers
2k
views
Need for support and guidance for my near future as a PhD student (or: has stable homotopy theory become an overly algebraic theory?)
The question in brackets in the title is my main mathematical question, but does not reflect my initial motivation for writing this post. It is in fact above all for personal reasons that I'm ...
26
votes
2
answers
2k
views
Has anyone seen a nice map of multiplicative cohomology theories?
I have seen lots of descriptions of this map in the literature but never seen it nicely drawn anywhere.
I could try to do it myself but I really lack expertise, hence am afraid to miss something or ...
26
votes
1
answer
2k
views
A refinement of Serre's finiteness theorem on unstable homotopy groups of spheres
Serre's finiteness theorem says if $n$ is an odd integer, then $\pi_{2n+1}(S^{n + 1})$ is the direct sum of $\mathbb{Z}$ and a finite group. By looking at the table of homotopy groups, say on ...
26
votes
1
answer
2k
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 ...
25
votes
2
answers
2k
views
Who computed the third stable homotopy group?
I have spend some time with the geometric approach of framed cobordisms to compute homotopy classes, due to Pontryagin. He computed $\pi_{n+1}(S^n)$ and $\pi_{n+2}(S^n)$. After surveying the ...
25
votes
1
answer
1k
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 ...
25
votes
0
answers
629
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 ...
25
votes
0
answers
1k
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$ (...
24
votes
3
answers
4k
views
Is there a map of spectra implementing the Thom isomorphism?
A well known theorem in algebraic topology relates the (co)homology of the Thom space $X^\mu$ of a orientable vector bundle $\mu$ of dimension $n$ over a space $X$ to the (co)homology of $X$ itself: $...
24
votes
1
answer
1k
views
Endomorphism ring spectrum of the Eilenberg-MacLane spectrum
Consider the endomorphism ring spectrum $R = \mathrm{End}_S(H\mathbb{F}_p)$ of the mod $p$ Eilenberg-MacLane spectrum $H\mathbb{F}_p$. The homotopy groups of $R$ are the Steenrod algebra $A^*$ with ...
24
votes
1
answer
726
views
Are complex-oriented ring spectra determined by their formal group law?
To every complex-oriented ring spectrum $E$ there is associated a formal group law, which is a power series $F_E(x,y)\in E_*[[x,y]]$.
Suppose $E$ and $F$ are two complex-oriented ring spectra and ...
23
votes
3
answers
2k
views
What are some toy models for the stable homotopy groups of spheres?
The graded ring $\pi_\ast^s$ of stable homotopy groups of spheres is a horrible ring. It is non-Noetherian, and nilpotent torsion outside of degree zero.
Question: What are some "toy models" ...
23
votes
5
answers
3k
views
What are _all_ of the exactness properties enjoyed by stable $\infty$-categories?
Alternate formulation of the question (I think): What's a precise version of the statement: "In a stable $\infty$-category, finite limits and finite colimits coincide"?
Recall that a stable $\infty$-...
23
votes
3
answers
1k
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 ...
22
votes
2
answers
6k
views
References and resources for (learning) chromatic homotopy theory and related areas
What references and resources (e.g. video recorded lectures) are available for learning chromatic homotopy theory and related areas (such as formal geometry)?
22
votes
2
answers
2k
views
Latest results in chromatic homotopy theory
I started a PhD in chromatic homotopy three years ago, but I had to quit it due to personal reasons after one year. Last week I was looking at all my notes from that period and I was wondering where ...
22
votes
3
answers
1k
views
Why the stable module category?
Let $R$ be a ring (usually assumed to be Frobenius). The stable module category is what you get when you take the category $\mathsf{Mod}_R$ of $R$-modules, and kill the projective modules. (Of course, ...
22
votes
3
answers
789
views
Boardman's thesis or mimeographed notes
I would like to know if there is some online source where Boardman's 1964 thesis is available or his Warwick mimeographed notes. This is because by what I've heard Boardman's construction has a more ...
22
votes
2
answers
1k
views
What clues originally hinted at stability phenomena in algebraic topology?
If you didn't know anything about stabilization phenomena in algebraic topology and were trying to discover/prove theorems about the homotopy theory of spaces, what clues would point you toward ...
22
votes
1
answer
1k
views
Why do homotopy theorists care whether or not $BP$ is $E_\infty$?
I have often heard that it is not known whether or not the Brown-Peterson spectrum $BP$ is an $E_\infty$-ring spectrum. Though I see that this is a somewhat natural question to ask, I have often ...
21
votes
1
answer
3k
views
Motivation and potential applications of spectral algebraic geometry
Nowadays there is a lot of talk about derived algebraic geometry, but not so much about the related subject of spectral algebraic geometry.
Now I'm curious what future is there for spectral algebraic ...
21
votes
1
answer
2k
views
Why does elliptic cohomology fail to be unique up to contractible choice?
It is often stated that the derived moduli stack of oriented elliptic curves $\mathsf{M}^\mathrm{or}_\mathrm{ell}$ is the unique lift of the classical moduli stack of elliptic curves satisfying some ...
20
votes
2
answers
2k
views
Stable homotopy type theory?
This is a combined question, strictly speaking I am asking three questions concerning, respectively, homotopy type theory, stable homotopy theory and Yetter-Drinfeld modules. But I believe in the ...
20
votes
1
answer
2k
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 ...
20
votes
0
answers
342
views
Homotopic version of Freyd's AT category observations
Freyd was the first to formalize a striking comparison between abelian categories and topoi, showing that their exactness properties can be jointly captured by the axioms of AT categories, and the ...