All Questions
Tagged with homotopy-theory stable-homotopy
261
questions
8
votes
0
answers
391
views
+50
Descent vs effective descent for morphisms of ring spectra
Define a homomorphism $\varphi : A \to B$ of commutative discrete rings or commutative ring spectra to be a (effective) descent morphism if the comparison functor from $\mathsf{Mod}_A$ to the category ...
7
votes
1
answer
244
views
Proof of the equivalence of spectra $(\mathbb{S}^{-1} \otimes \mathbb{S}^{-1})_{h \Sigma_2} \cong \Sigma^{-1} \mathbb{RP}_{-1}^{\infty}$
$\DeclareMathOperator{\colim}{colim}$$\DeclareMathOperator{\Th}{Th}$I am trying to give a hands-on proof of the equivalence of spectra in the title. I am using the definitions $\mathbb{RP}^{\infty}_{-...
8
votes
0
answers
209
views
A few questions about Priddy’s construction of $BP$
In A Cellular Construction of BP and Other Irreducible Spectra, Priddy gives an interesting approach to constructing the Brown-Peterson spectrum $BP$. His result is often summarized as
If you start ...
5
votes
0
answers
188
views
Identifying a map in a fiber sequence
Let $Q = \Omega^{\infty} \Sigma^{\infty}$ be the stabilization functor. Suppose we have a sequence of maps $Q \mathbb{RP}^{n-1} \to Q \mathbb{RP}^{n} \to QS^n$
and suppose we know that it is a fiber ...
6
votes
0
answers
316
views
On the nilpotence of the attaching maps for $\mathbb C \mathbb P^\infty$
Consider the usual cell structure on $\mathbb C \mathbb P^\infty$. The skeleta are the $\mathbb C \mathbb P^n$’s, and there is one cell in each even degree. So we have cofiber sequences $S^{2n+1} \to \...
7
votes
4
answers
391
views
Why is the first nontrivial $p$-local stable stem cyclic?
Let $\pi_\ast^{(p)}$ be the ring of $p$-local stable homotopy groups of spheres. This is a nonnegatively graded ring, with $\mathbb Z_{(p)}$ in degree $0$. The first nonvanishing positive degree ...
3
votes
0
answers
78
views
Shearing maps on domain of assembly map in algebraic $K$-theory
Let $H \to G$ be an inclusion of abelian groups, and let $R$ be a ${\Bbb Z}[H]$-algebra. Assume that the assembly map ${\Bbb S}[BG] \otimes_{\Bbb S} K(R \otimes_{{\Bbb Z}[H]} {\Bbb Z}[G]) \to K((R \...
7
votes
1
answer
378
views
Does there exist a Bousfield localization of the category of spectra which makes the sphere unbounded below?
Let $Sp$ be the category of spectra. Let $L : Sp \to Sp_L$ be the localization functor onto a reflective subcategory.
Question 1: Is it ever the case that $L(S^0)$ is not bounded below?
Question 2: ...
8
votes
2
answers
568
views
Derivations in the Steenrod algebra
Let $\mathcal A^\ast$ be the (mod 2) Steenrod algebra.
Question 1:
Is there a classification of homogeneous elements $D \in \mathcal A^n$ such that $D^2 = 0$?
Question 2: Is there a classification of ...
2
votes
0
answers
166
views
Infinite loop space as an endofunctor of compactly generated weak hausdorff topological spaces?
I am trying to see whether it is possible to define smash product of infinite loop spaces using the space $S^{\infty}$.
Let C be the category of compactly generated weak Hausdorff topological spaces. ...
3
votes
1
answer
145
views
Can a phantom map have finite cofiber?
Let $f : X \to Y$ be a nonzero phantom map between spectra. Can the cofiber of $f$ be a finite spectrum?
Recall that a map $f$ is said to be phantom if $f \circ i = 0$ whenever $i : F \to X$ is a map ...
1
vote
0
answers
211
views
Properties of colim Ωⁿ Σⁿ X
I am thinking about the paper of Gaunce Lewis Jr. showing the incompatibility of a certain five desirable properties of spectra. This paper makes me curious about the properties of the endofunctor $Q: ...
1
vote
1
answer
228
views
Symmetric-monoidal-associative smash product up to homotopy
I am thinking about sequential spectra. I am trying to figure out if the smash product here is symmetric monoidal associative up to homotopy. See definition 3.16 in the above.
Recall that a sequential ...
15
votes
1
answer
772
views
If homotopy groups of spaces are identical, then stable ones are also identical?
Is it true that if pointed spaces $X, Y$ have the same homotopy groups $\pi_n(X) \cong \pi_n(Y)$, then they have the same stable homotopy groups $\pi^S_n(X) \cong \pi ^S_n(Y)$?
In particular, is this ...
7
votes
0
answers
155
views
Explicit framed null bordism realizing $\eta\nu =0$ in stable homotopy group of spheres
There are many standard results in the stable homotopy group of spheres (or equivalently framed bordism groups), about which I would like to acquire better geometric understanding. For example I ...
6
votes
1
answer
244
views
Does a complex-oriented $E_1$ ring spectrum (not assumed to have graded-commutative homotopy groups) receive a map from $MU$?
It's well-known that complex cobordism $MU^\ast$ is universal among complex-oriented associative, graded-commutative cohomology theories $E$. This means that if $E$ is a multiplicative cohomology ...
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" ...
2
votes
0
answers
73
views
What are the epis, monos, and extensions in the Freyd Envelope of a triangulated category?
Let $\mathcal T$ be a triangulated category (or homotopy category of a stable $\infty$-category).
Recall that the Freyd envelope of $\mathcal T$ is an abelian category $\mathcal A$ which is ...
7
votes
0
answers
269
views
Homotopy theory of differential objects
In Kashiwara and Schapira's wonderful book Categories and Sheaves, they define a category with translation to be a category $\mathsf{C}$ equipped with an auto-equivalence $S: \mathsf{C} \to \mathsf{C}$...
4
votes
0
answers
93
views
What is the Goldie dimension of the ring of stable stems?
Let $p$ be a prime, and let $\pi_\ast^{(p)}$ be the ring of stable homotopy groups of spheres localized at the prime $p$. This is a nonnegatively-graded-commutative ring with $\mathbb Z_{(p)}$ in ...
4
votes
1
answer
163
views
The $E$-(co)homology of $\mathrm{BGL}(R)^+$ and the algebraic $K$-theory of $R$
$\DeclareMathOperator\BGL{BGL}$In the paper, 'Two-primary Algebraic $K$-theory of rings of integers in number fields', Rognes and Weibel compute the $2$-torsion part in the algebraic $K$-theory of the ...
2
votes
1
answer
312
views
Filtered homotopy colimits of spectra
Let $\mathcal{I}: \mathbb{N} \to \operatorname{Sp}$ be a diagram in the infinity category of spectra. Let $\pi_0(\mathcal{I})$ denote the corresponding $1$-categorical diagram (i.e. compose $\mathcal{...
13
votes
2
answers
520
views
How many automorphisms are there of the category of filtered spectra?
Dold-Kan type theorems tell us that lots of categories are Morita-equivalent to the simplex category $\Delta$. In other words, there are a lot of stable $\infty$-categories which are secretly ...
4
votes
0
answers
440
views
An $E_{\infty}$-algebra is a $C_{\infty}$-algebra?
Past this question in MO have raised the following questions for me.
Question
In characteristic $0$, it is well-known that a Kadeishvili‘s $C_{\infty}$-algebra is an $E_{\infty}$-algebra.
However, do ...
2
votes
2
answers
258
views
The complex $K$-theory of the Thom spectrum $MU$
The Atiyah-Hirzebruch spectral sequence is a strong computational tool that yields several interesting computation in (co)homology. I want to know whether $K_\ast(MU)$ and $K^\ast(MU)$ have been ...
2
votes
0
answers
200
views
The derived category of $p$-complete abelian groups is comonadic over the derived category of $\mathbb F_p$-vector spaces?
$\DeclareMathOperator\Mod{Mod}\DeclareMathOperator\Ext{Ext}$Let $p$ be a prime. The adjunction
$$\mathbb F_p \otimes_\mathbb{Z} (-) : \Mod(\mathbb Z) \rightleftarrows \Mod(\mathbb F_p) : U $$
descends ...
2
votes
1
answer
220
views
What is the homotopy type of the smash power of Moore spectra $(S/2)^{\otimes n}$?
Let $S/2$ be the mod $2$ Moore spectrum, and let $n \in \mathbb N$.
Question:
What is the homotopy type of the $n$th smash power $(S/2)^{\otimes n}$?
Notes:
When $p$ is odd, we have $S/p \otimes S/p =...
6
votes
1
answer
176
views
When is an $\infty$-categorical localization of an additive 1-category enriched in topological abelian groups?
Let $\mathcal A$ be an additive 1-category, equipped with some class of weak equivalences $\mathcal W$. Let $\mathcal A[\mathcal W^{-1}]$ be the localization of $\mathcal A$ at $\mathcal W$ (so $\...
25
votes
3
answers
2k
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, ...
9
votes
1
answer
303
views
Non-triviality of a Postnikov class in $H^3\left(B \operatorname{PSU}(N) ; \mathbb{Z}_q\right)$
Let $\alpha\in H^2(B\operatorname{PSU}(N) ; \mathbb{Z}_N)$ be the obstruction class for lifting a $\operatorname{PSU}(N)$-bundle to an $\mathrm{SU}(N)$-bundle. Note that $\operatorname{PSU}(N)\cong \...
4
votes
2
answers
376
views
Calculate homotopy groups of $\mathbb{Z}_2$-equivariant loop spaces of "complex" topological spaces
Let $X$ be a topological space such that complex conjugation is defined (e.g. $\mathbb{C}^n$) and let us define the set of maps $$S_d:= \left\{f: (I^d,\partial I^d)\to (X,x_0)\mid \overline{f(k)} = f(...
5
votes
1
answer
209
views
Homotopy coherent localisation of a ring spectrum $E$ at a subset of $\pi_0E$
Homotopy coherent Invertibility.
Similarly to how $\mathbb{E}_k$-commutative spectra are a homotopy-coherent version of homotopy commutative spectra, encoding commutativity with higher homotopies, we ...
4
votes
1
answer
387
views
The “field of fractions” of the sphere spectrum (localization at $\pi_0(\mathbb{S})\setminus\{0\}$, the non-zero integers)
Perhaps the most common construction of the rational numbers is the one given by taking the field of fractions $\mathrm{Frac}(\mathbb{Z})\cong\mathbb{Q}$ of the ring $\mathbb{Z}$ of integers.
I'm ...
8
votes
1
answer
579
views
Why isn't the anchor map in Lurie's "Rotation Invariance in Algebraic K-Theory" zero?
I think this is a silly question, but I'm quite confused. In Lurie's "Rotation Invariance In Algebraic K-Theory" Notation 3.2.4. he defines a filtered spectrum $\mathbb{A}$ given by
$$\...
8
votes
0
answers
352
views
Worst-case complexity of calculating homotopy groups of spheres
Is the best known worst-case running time for calculating the homotopy groups of spheres $\pi_n(S^k)$ bounded by a finite tower of exponentials? How high is a tower? Does $O(2^{2^{2^{2^{n+k}}}})$ ...
5
votes
0
answers
435
views
Is there anything special about the Honda formal group?
The "standard" Morava E-theory $E_n$ (at a prime $p$) is typically defined using the so-called "Honda formal group law", the unique FGL $\Gamma_n$ over $\mathbb{F}_{p^n}$ ...
5
votes
1
answer
208
views
Rational G-spectrum and geometric fixed points
For a finite group $G$, how is a rational $G$-spectrum $X$ detected by the geometric fixed point functor $\phi^H$ where we consider the conjugacy class of $H\leq G$? I tried finding a reference for ...
2
votes
0
answers
406
views
About infinite loop space and $\Omega$ spectrum
Let $A$ is an topological abelian monoid. Also $\pi_0(A)$ is a group and $A$ has $CW$ structure.
$BA$ is a classifying space of the topological abelian monoid.
My purpose is to construct an infinite ...
3
votes
1
answer
165
views
Can the Picard-graded homotopy of a nonzero object be nilpotent?
Let $\mathcal C$ be a symmetric monoidal stable category such that the thick subcategory generated by the unit is all of $\mathcal C$ -- in particular, every object is dualizable (I'm particularly ...
4
votes
1
answer
205
views
If $A_\ast$ has a Künneth theorem, then is $A$ a module over Morava $K$-theory?
$\newcommand\Spt{\mathit{Spt}}\newcommand\GrAb{\mathit{GrAb}}$Let $A$ be a ring spectrum. Suppose that $A$ has a Künneth theorem — i.e. the homology theory $A_\ast : \Spt \to \GrAb$ is a strong ...
6
votes
0
answers
233
views
Flatness of objects in a prestable $\infty$-category
I wonder what is the correct concept of flatness of objects in a prestable $\infty$-category with appropriate conditions?
The typical example is the following. Let $R$ be a connective $\mathbb E_1$-...
5
votes
0
answers
356
views
Why do homotopy orbits commute with the Eilenberg–Mac Lane spectrum functor?
Let $H: \mathsf{sAb}\to H\mathbb{Z}\text{-}\mathsf{Mod}$ denote the Eilenberg–Mac Lane functor sending a simplicial abelian group $M_\bullet$ to the infinite delooping of its geometric realization, i....
4
votes
1
answer
201
views
Reference for the equivalence between chain complexes and sequential diagrams in a stable $\infty$-category
Lurie's $\infty$-categorical Dold-Kan Correspondence relates simplicial objects and sequential diagrams in a stable $\infty$-category. Is there any reference for an equivalence to a category of ...
8
votes
0
answers
360
views
What is the Balmer spectrum of the p-complete stable homotopy category?
When doing computations with spectra, we first reduce to working at a prime p by using the arithmetic fracture theorem: (the homotopy groups of) a spectrum of finite type can be recovered from its ...
3
votes
0
answers
126
views
Equivariant spectra with coefficients
In “The localization of spectra with respect to homology”, Bousfield describes localizations with respect to Moore Spectra. Given a spectrum $E$, and a group $M$, he describes the spectrum with ...
3
votes
2
answers
301
views
How to construct $X \oplus \Sigma X$ from $X \oplus \Sigma X \oplus \Sigma X \oplus \Sigma^2 X$ without splitting an idempotent?
Let $Z$ be an object in a stable (or triangulated/whatever) category $\mathcal C$. I believe it follows from Thomason's theorem (see The classification of triangulated subcategories) that the ...
6
votes
1
answer
550
views
Cobordism cohomology of Lie groups
Are there any results about cobordism cohomology of Lie groups?For example, $\mathrm{MU}^*(\mathrm{SU}(n))$.
4
votes
0
answers
152
views
Are telescopes Noetherian?
Let $p$ be a prime and $h \in \mathbb N$ a height.
Question 1: Does there exist a compact $T(h)$-local spectrum $A$ with a unital multiplication making $\pi_\ast A$ a Noetherian ring?
A priori it's ...
4
votes
0
answers
177
views
Spanier-Whitehead dual of space of natural transformations
Let $F, G: \mathcal{J} \to \mathsf{Sp}$ be continuous functors between $\sf{Sp}$-enriched categories, where $\sf{Sp}$ denotes any of the point-set models for spectra (i.e., orthogonal spectra).
...
14
votes
1
answer
344
views
The first two $k$-invariants of $\mathrm{pic}(KU)$ and $\mathrm{pic}(KO)$
$\DeclareMathOperator\Pic{Pic}\DeclareMathOperator\pic{pic}$Real and complex topological $K$-theories, $KO$ and $KU$, have Picard spectra $\pic(KO)$ and $\pic(KU)$ built from the $\mathbb{E}_\infty$-...