--- created: 2023-03-26T11:20 updated: 2023-03-26T11:20 --- --- date: 2022-02-23 18:45 modification date: Wednesday 16th March 2022 21:28:15 title: spectra aliases: [spectra, spectrum] --- --- - Tags - #homotopy/stable-homotopy - Refs: - Strickland's 2020 Intro to Spectra: - Synthetic spectra: #resources/notes - Links: - [structured ring spectrum](structured%20ring%20spectrum.md) - [cohomology theory](Unsorted/cohomology%20theory.md) - [How to extract homology using spectra](How%20to%20extract%20homology%20using%20spectra) - [Homotopy groups of spectra](Homotopy%20groups%20of%20spectra) - [E-infty ring spectrum](E-infty%20ring%20spectrum) - [t-structure](t-structure) - [Moore spectrum](Moore%20spectrum) - [May recognition principle](May%20recognition%20principle.md) - [Unsorted/cobordism spectrum](Unsorted/cobordism%20spectrum.md) - [Unsorted/Dold-Kan correspondence](Unsorted/Dold-Kan%20correspondence.md) --- # Notation cheatsheet - $\pi_n(X; A) \da \pi_n(X \smashprod M(A))$ where $M(A)$ is the Moore spectrum of $A\in \zmod$. - $\Sigma^\infty X \da ?$ - $\Loops^\infty X \da ?$ - $\Sigma^\infty \Loops^\infty X \da ?$ - $\Sigma^{\infty-n} X \da ?$ - $\pi_n X \da ?$ - $H_n(X) \da ?$ # Spectra ![](attachments/Pasted%20image%2020220508193527.png) > Opinion from MO: modern Topology starts with spectra. ![](attachments/Pasted%20image%2020220318103414.png) ![](attachments/Pasted%20image%2020220403214653.png) ## Important Facts ![](attachments/Pasted%20image%2020220318103620.png) ![](attachments/Pasted%20image%2020220318103637.png) ![](attachments/Pasted%20image%2020220318104107.png) On existence of [smash products](smash%20products): ![](attachments/Pasted%20image%2020220318110249.png) ![](attachments/Pasted%20image%2020220408155021.png) # Motivation ![](attachments/Pasted%20image%2020220319001215.png) ## Suspension We have another aim in constructing the category of spectra. In homology theory the [suspension](suspension) homomorphism $\Sigma_*: h_n(X)\to h_{n+1}(\Sigma X)$ is always an isomorphism ## Cohomology Theories There are some things that spaces hide to cohomology theories, and we would like to mod out by this "extra information" that we don't really need when we study spaces by means of cohomology theories. The information that spaces hide is the unstable phenomenon, in the following sense : if $X$ and $Y$ are stably equivalent, for example $\Sigma X \homotopic \Sigma Y$, then $$ E_*(X)\cong E_{*+1}(\Sigma X) \cong E_{*+1}(\Sigma Y)\cong E_*(Y) $$ for any [cohomolology theory](Unsorted/cohomolology%20theory.md) $E_*$. This says that there is no cohomology theory that is going to see a difference between $X$ and $Y$, so we might as well says that they are "the same". > Cohomology theories do not distinguish stably equivalent spaces. ![](attachments/Pasted%20image%2020220403215048.png) ## Representability Another good consequence of spectra is the [Brown representability theorem](Brown%20representability%20theorem). It says that any [generalized cohomolology theory](Unsorted/cohomolology%20theory.md) on spaces is representable by a spectra. ## Hopf Invariant 1 A reason to care about cohomology theories: Adams' two solutions to the [Hopf invariant one](Unsorted/Hopf%20invariant%20one.md) problem. His second proof (with Atiyah) is beautiful and short, but only because he uses an extraordinary cohomology theory, complex [K-theory](K-theory.md). ## Categorical Properties You may be familiar with a similar problem at the space level. One can construct the [sequential colimit](sequential%20colimit)**. So you can work with spaces and maps-up-to-homotopy if you like, but you won't be able to do much. It's much better to work with spaces and maps on-the-nose, and to make constructions like the [pushout](pushout.md) or [sequential colimit](sequential%20colimit). > Slogan: Pass to homotopy as late as possible. Noting that $\Sigma S^n = S^{n+1}$, we could alternatively define $\mathbb{S} \definedas \lim_k \Sigma^k S^0$, then it turns out that $\pi_n \mathbb{S} = \pi_n^S$. This object is a **spectrum**, which vaguely resembles a chain complex with a differential: $$ X_0 \mapsvia{\Sigma} X_2 \mapsvia{\Sigma} X_3 \mapsvia{\Sigma} \cdots $$ Spectra *represent* invariant theories (like cohomology) in a precise way. For example, $$ HG := \tv{ K(G, 1), K(G, 2), \cdots } $$ then $H^n(X; G) \cong [X, K(G, 1)]$, and we can similarly extract $H^*(X; G)$ from (roughly) $\pi_* HG := [\mathbb{S}, HG \smash X]$. > Note: this glosses over some important details! Also, smash product basically just looks like the tensor product in the category of spectra. A modern direction is cooking up spectra that represent *extraordinary* cohomology theories. There are [Eilenberg Steenrod axioms](Eilenberg%20Steenrod%20axioms) that uniquely characterize homology on spaces. Homotopy: $\pi_* E \da [\SS, E]_*$ Cohomology: $H^*(X; M) = [\Suspendpinf X, HM]_{-*}$. Homology: $H_*(X; M) = [\SS, HM \smashprod X]_*$. ![attachments/Pasted_image_202110030122.png](attachments/Pasted_image_202110030122.png) Spectrum $E$ with coefficients in $G$: $E \smashprod MG$ for $MG$ the corresponding Moore spectrum. ## Spectra - On notation: capital letters denote some usual spectrum, eg $\BO$ or $\KU$, while lowercase denotes their connective covers, e.g. $\bo$ or $\ku$. - Connectivity: a spectrum $X$ is $i\dash$connected if $\pi_{