All Questions
26 questions
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 ...
- 40.2k
39
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 ...
- 8,167
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 ...
- 403
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 ...
- 19.8k
17
votes
3
answers
3k
views
Finiteness of stable homotopy groups of spheres
Since the work of Serre in the early 50's on homotopy groups of spheres, it is known that the homotopy group $\pi_k(S^n)$ is finite, except when $k=n$ (in which case the group is $\mathbb{Z}$), or ...
- 5,637
14
votes
2
answers
715
views
The $K$-theory homology of the Eilenberg-MacLane spectrum
Let $KU$ be the complex $K$-theory spectrum and $H\mathbb{Z}$ be the Eilenberg-MacLane spectrum.
For $n\in \mathbb{Z}$, it is known what the homology groups $KU_{n}(H\mathbb{Z})$ are?
- 578
13
votes
1
answer
385
views
Is $KU\otimes S^1_+$ isomorphic to $F(S^1_+,KU)$ as $E_\infty$ rings?
There are various ways to construct $KU$ as an $E_\infty$ ring spectrum; I will take that as given. Using this, we can make $KU\otimes G_+$ into an $E_\infty$ ring for any commutative topological ...
- 56.9k
11
votes
4
answers
1k
views
Maps from mod-$p$ Eilenberg-MacLane spectrum to connective $K$-theory spectrum
Let $ku$ be the connective cover of the complex $K$-theory spectrum $KU$. Consider the mod-$p$ Eilenberg-MacLane spectrum $H\mathbb{Z}/p$.
I want to see that $[H\mathbb{Z}/p,ku]=0$.
Since $H\mathbb{...
- 761
11
votes
2
answers
864
views
Solving polynomial equations in spectra?
Let $M$ be the mod-$p$ Moore spectrum where $p \geq 3$ is a (power of) a prime. Then $M$ satisfies the "polynomial equation" $M \wedge M \cong M \oplus \Sigma M$. Is this a general ...
- 63.9k
11
votes
0
answers
532
views
Chromatic Homotopy Theory and Physics
Chromatic homotopy theory is a subfield of stable homotopy theory that studies complex-oriented cohomology theories from the "chromatic" point of view, which is based on Quillen's work relating ...
- 10.5k
10
votes
1
answer
332
views
Which spectra have a universal connective quotient?
Consider the homotopy category $\mathrm{hoSp}$ of spectra. It has a full subcategory $\mathrm{hoSp}_{\geq 0}$ of connective spectra, equivalently of infinite loop spaces, equivalently $E_\infty$-group ...
- 54.6k
10
votes
0
answers
325
views
Adams blue book lemma 17.14: computing a $\mathbb{F}_2$ basis for a filtration of $H\mathbb{Z}_*(bu \wedge bu)$
First off let me apologize for not being able to give all the context for this question. I'm learning how to do computations in stable homotopy theory and have been particularly spending a lot of time ...
- 101
9
votes
1
answer
2k
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 ...
- 1,974
7
votes
1
answer
414
views
Reference request: mod 2 cohomology of periodic KO theory
The mod 2 cohomology of the connective ko spectrum is known to be the module $\mathcal{A}\otimes_{\mathcal{A}_2} \mathbb{F}_{2}$, where $\mathcal{A}$ denotes the Steenrod algebra, and $...
- 2,630
7
votes
1
answer
410
views
Does a Gysin map depend on the choice of Thom class?
Let $f:X\rightarrow Y$ be a proper embedding between complex manifolds, then the normal bundle $N$ is complex which is in paticular $\textsf{spin}^c$. Hence we have a Thom class $\lambda_N$ and a Thom ...
user484289
7
votes
1
answer
462
views
Cohomology theory with only one Adams operation?
Let $E$ be a multiplicative cohomology theory. Fix a prime p. Call a ring map $\psi^{p}:E\rightarrow E$ an Adams operation if it lifts the Frobenius map $E/p\rightarrow E/p$.
It is of course well-...
- 1,150
7
votes
0
answers
327
views
Funtoriality of twisted K-theory
I posted this question on math.stackexchange, but received no answer there.
In order to avoid the XY problem I will first state what I want, then what I think is the solution and how that failed until ...
- 301
7
votes
0
answers
344
views
Reference request: complex K-theory as a commutative ring spectrum
Does anyone know of a point-set level model for complex K-theory as a commutative ring spectrum?
For real $K$-theory
I know of "A symmetric ring spectrum representing KO-theory" by Michael Joachim (...
- 401
6
votes
1
answer
534
views
Stable Adams operations
I have come across a paper by Adams, Harris and Switzer on the Hopf algebra of cooperations of real and complex K-theory. The Adams operations are stable in the $p$-local setting, however I have not ...
5
votes
1
answer
345
views
$KO_*$ groups of $\mathbb{R}P^\infty$, "Snaiths" theorem for $KO$
I posted this question some days ago at math.stackexchange, but didn't receive an answer.
I have two questions:
I wonder whether anyone has taken the time to compute $KO_*(\mathbb{R}P^\infty)$?
The ...
- 301
5
votes
0
answers
173
views
Uniqueness of complex topological $K$-theory as an $S$-algebra
This might be well-known or trivial, but I could not figure out how to fill in the details: For an $S$-algebra $K$ denote its associated multiplicative cohomology theory by $h^*_K$. Suppose that I ...
- 7,637
4
votes
1
answer
165
views
$E^G_\ast(E)$ tensored with the rationals
Lemma 17.19 of Switzer's "Algebraic topology - Homology and Homotopy" states that $E_\ast(F)\otimes\mathbb{Q}$ is isomorphic to $\pi_\ast(E)\otimes\pi_\ast(F)\otimes\mathbb{Q}$. I wanted to ...
user493302
4
votes
0
answers
226
views
How to to understand the homology groups $H_*(\Omega_0^\infty S^\infty)$?
The original statement of the Barratt--Priddy theorem says there is an isomorphism of homology groups
$$H_*(\Sigma_\infty)\cong H_*(\Omega_0^\infty S^\infty),$$
where $\Omega_0^\infty S^\infty$ is the ...
- 103
3
votes
0
answers
129
views
Which spectra have a homotopy-universal connective quotient?
Prefatory remark: This is a repost of a previous question, to which Tyler Lawson supplied a lovely $\infty$-categorical answer. The example that motivated the question was specifically about the ...
- 54.6k
3
votes
0
answers
187
views
$1$-periodic mod-$2$ K-theory
Complex $K$-theory mod $2$ is $2$-periodic, $K/2_* = \mathbf{F}_2[u,u^{-1}]$. Is there an extension $K/2 \to K'$ of ring spectra such that $K'_*=\mathbb{F}_2[q,q^{-1}]$ with $|q|=1$ and such that the ...
- 6,162
2
votes
2
answers
275
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 ...
- 21