In the mathematical sub-area of algebraic topology , spectra are used to define generalized homology theories.
definition
A spectrum is a sequence of dotted spaces with dotted continuous images
-
.
Here the reduced hanging of .
![{\ displaystyle SE_ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b01145cd89cb5c3ff569a091cef46d3c4cd88e5a)
![E_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad6b82f2a00af6c9efd4c16d4e99329605645c0c)
Because the reduced suspension is left adjoint to the formation of the loop space , corresponds to a continuous mapping that is unambiguous except for homotopy . A spectrum is a spectrum if the maps are homeomorphisms .
![\ sigma_n](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e4aeaa7d544d1f21afc8c8993cf5e5625ed8f95)
![{\ displaystyle E_ {n} \ to \ Omega E_ {n + 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/819d7114c63b264e6285bcc9cc3782528b778172)
![\Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b0d5ca6f381068d756f6337c08e0af9d1eeb6f)
Other definitions can be found in the literature. For example, the spectra defined above are called the pre-spectrum and the spectra are then called the spectrum . With these designations one can assign each presectrum through a spectrum, its spectrification .
![\Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b0d5ca6f381068d756f6337c08e0af9d1eeb6f)
![E_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad6b82f2a00af6c9efd4c16d4e99329605645c0c)
![{\ displaystyle \ operatorname {colim} _ {k \ to \ infty} \ Omega ^ {k} E_ {n + k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b36b2498d63502694ff00b841a264c3ec16ea6a6)
A morphism between spectra and is a family of continuous mappings with for all .
![{\ displaystyle (E_ {n}, \ sigma _ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fd50d8aba9081a2d2339fa600eb6607e486cfda)
![{\ displaystyle (E_ {n} ^ {\ prime}, \ sigma _ {n} ^ {\ prime})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d54bb02c25d278bb5469079269d2b32add0bb5e)
![{\ displaystyle f_ {n} \ colon E_ {n} \ to E_ {n} ^ {\ prime}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4d6720ba54af860ca9d93da060fed28f5dd5fe4)
![{\ displaystyle f_ {n + 1} \ circ \ sigma _ {n} = \ sigma _ {n} ^ {\ prime} \ circ Sf_ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4018471995e5b0694a1ab5851010e83d2f39a97)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Examples
-
Hanging spectra : For a topological space forms a spectrum with the canonical homeomorphisms . It is called the suspension spectrum of the room . More generally, spectra of the form are referred to as hanging spectra , with the spectrum being meant for a spectrum .
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\ displaystyle \ sigma _ {n} \ colon SE_ {n} \ to E_ {n + 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d7114b3e752fba184be3b235df2751a6ed564f1)
![{\ displaystyle \ Sigma ^ {\ infty} X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c310e421935e346afc109d292e433a46f96af6b)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\ displaystyle \ Sigma ^ {k} \ Sigma ^ {\ infty} X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9a292fc73c3991699e01ae424cd3dd1fb9133a0)
![k \ in \ mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59a12237af5f2ec5fc7c5023f439266bae1380f7)
![{\ displaystyle E = (E_ {n}, \ sigma _ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebf2d0719b0834ddc045b3ad58d1acab72ca6423)
![{\ displaystyle \ Sigma ^ {k} E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f64997904e01db43a030235aeb1139b8d876c25)
![{\ displaystyle (E_ {n + k}, \ sigma _ {n + k})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/819147e6b36a73f113de411be767dd1c245c0adc)
-
Spherical spectrum : The hanging spectrum of the -dimensional sphere is called the spherical spectrum and is denoted by. So in this case and is canonical homeomorphism.
![{\ displaystyle 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aae8864a3c1fec9585261791a809ddec1489950)
![\ mathbf {S}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac8a515de34f0af7d15de46f73bf674950d444a8)
![{\ displaystyle E_ {n} = S ^ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6703d96057af140f377cc904df2ced65c56948b4)
![{\ displaystyle \ sigma _ {n} \ colon SS ^ {n} \ to S ^ {n + 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5a010901a0ba2caefdace68a70b775f66c02553)
-
Eilenberg-MacLane spectrum : For an Abelian group , the Eilenberg-MacLane spaces form a spectrum with and the homotopy equivalence given by Whitehead's theorem . This spectrum is also referred to as.
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![{\ displaystyle E_ {n} = K (G, n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4b7f2efd0118b363ec6b068f5ea0c47d5cbe4b7)
![{\ displaystyle \ sigma _ {n} \ colon SK (G, n) \ to K (G, n + 1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75c3339009389ca632121be659b3d72120e6fe4e)
![{\ displaystyle HG}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9fb62307b508eca86c308e23e26eaa6404e5d30)
-
Thom spectrum : The Thom spaces of the universal vector bundles over the Graßmann manifolds form a spectrum . In this case, the structure mapping is the mapping induced by the classifying mapping of the vector bundle
![{\ displaystyle Th (\ tau _ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4adb728e0a9e9094b30e45d4de3bee821f918f6)
![{\ displaystyle BO (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f65f1fc581a430570b8ca81a1aaa2f0d90820ee)
![{\ displaystyle MO (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/368be3214dc5480cea60785894693b5aec98b5ab)
![{\ displaystyle BO (n) \ to BO (n + 1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0dd15d2ef04d5897933e435230c5972aaa25e9a3)
![{\ displaystyle (\ tau _ {n} \ oplus {\ underline {\ mathbb {R}}}) \ to BO (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e650e30991d2047f5889270c8b841ceae04b9b8)
-
Topological K-theory spectrum : This spectrum is defined by for all , where is the ascending union of the unitary groups and their classifying space.
![{\ displaystyle E_ {2n} = U, E_ {2n + 1} = \ mathbb {Z} \ times BU}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61681a5b46af4cb5e93104e7fac8a8368270cb27)
![n \ in \ mathbb {N}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d059936e77a2d707e9ee0a1d9575a1d693ce5d0b)
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![BU](https://wikimedia.org/api/rest_v1/media/math/render/svg/f415ec5c732410697a2b09ab45469633d1d4b5b7)
-
-Spectra : Let be an infinite loop space, then define a -spectra.![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\ displaystyle E_ {n} = \ Omega ^ {- n} X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44b102d25d88a6afc5f5d81f7af1af3285e52f3c)
![\Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b0d5ca6f381068d756f6337c08e0af9d1eeb6f)
-
Algebraic K-theory spectrum : For a commutative ring with one , the application of the plus construction to the classifying space of , is an infinite loop space and therefore defines a spectrum.
![R.](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b0bfb3769bf24d80e15374dc37b0441e2616e33)
![{\ displaystyle X = BGL ^ {+} (R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14a17dffad15988d095dba09a5a07063f443b122)
![{\ displaystyle GL (R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a50a90fda013ad80140f9e48d303d27fb876857)
![\Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b0d5ca6f381068d756f6337c08e0af9d1eeb6f)
Homotopy groups of spectra
The kth homotopy group of a spectrum is defined by
-
.
The homotopy groups of a hanging spectrum are called stable homotopy groups of :
![{\ displaystyle E_ {n} = S ^ {n} X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/718f3b6956e5265ad850024621f385f3e45cde8c)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
-
.
The following already applies to spectra .
![\Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b0d5ca6f381068d756f6337c08e0af9d1eeb6f)
![{\ displaystyle \ pi _ {k} (E) = \ pi _ {k} (E_ {0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62bad5c4c062f406255bdff162c43987d95d6778)
Examples
- The stable homotopy groups of the spheres are the homotopy groups of the sphere spectrum .
![\ mathbf {S}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac8a515de34f0af7d15de46f73bf674950d444a8)
- The algebraic K-theory of a commutative ring with one is obtained for by definition as homotopy groups of the algebraic K-theory spectrum.
![{\ displaystyle K_ {i} (R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/171d04db290b533484b1ed3c249509d98b799185)
![R.](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b0bfb3769bf24d80e15374dc37b0441e2616e33)
![i \ ge1](https://wikimedia.org/api/rest_v1/media/math/render/svg/a40d31039a220c00dcc836babe2c5f6961c689bf)
- The cobordism group of unoriented -manifolds is isomorphic to the -th homotopy group of the Thom spectrum.
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Equivalences
The following analogue of Whitehead's Theorem applies to morphisms of spectra :
A morphism of spectra induces an isomorphism of all homotopy groups if and only if the induced morphism in the homotopy category of the spectra is an isomorphism. Such mappings are called equivalences .
Generalized theories of homology
A spectrum defines a (reduced) generalized homology theory through
-
,
where with the aid of the smash product by designated defined spectrum.
![{\ displaystyle E \ wedge X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47839ee73fb93a995e0d421d54edd48572c17e25)
![{\ displaystyle (E \ wedge X) _ {n}: = E_ {n} \ wedge X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf3823e07f7b4c4d0d2d395a0c8b714840d23543)
In particular is .
![{\ displaystyle {\ tilde {E}} _ {k} (S ^ {0}) = \ pi _ {k} (E)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/433ceb309eaa45c0a06a247e5f6d34f53050d1ee)
example
is isomorphic to the cobordism group of singular -manifolds in .
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
Generalized cohomology theories
Each spectrum defines a generalized (reduced) cohomology theory through
![E.](https://wikimedia.org/api/rest_v1/media/math/render/svg/4232c9de2ee3eec0a9c0a19b15ab92daa6223f9b)
![{\ displaystyle {\ widetilde {E}} ^ {k} (X): = \ operatorname {colim} _ {n \ to \ infty} \ left [S ^ {n} X, E_ {n + k} \ right ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c4041f1f2d438fcae4b0d7d085ee2f1b86f0f4a)
for topological spaces , where the homotopy classes denote dotted continuous mappings. (The theory of cohomology is said to be represented by the spectrum.)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
The associated unreduced cohomology theory is denoted by.
![{\ displaystyle E ^ {*} (X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80b2c00ab282a4318bc1ba56275cbfa4a50350ac)
Examples
The Eilenberg-MacLane spectrum defines the singular cohomology , the topological K-theory spectrum defines topological K-theory .
![{\ displaystyle H ^ {*} (X; G)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e580eb931f6f12594e2edb99a5c1087f5456f69)
calculation
Generalized cohomology groups of a room can often be calculated using the Atiyah-Hirzebruch spectral sequence. This is a converging spectral sequence with -term
![E ^ *](https://wikimedia.org/api/rest_v1/media/math/render/svg/a91d2119445b3b65384ba491c4b95f1557571ecc)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\ displaystyle E ^ {*} (X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80b2c00ab282a4318bc1ba56275cbfa4a50350ac)
![E_ {2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e6ee346e54f38302f47b5cf3016d8718f2040c0)
-
,
where singular cohomology denotes a coefficient group .
![{\ displaystyle E ^ {q} (X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7e0b182da58689a6b6ddac8191b648b8492ea4a)
Brownian representability theorem
From Brown's representability theorem it follows that every reduced generalized cohomology theory can be represented by a spectrum.
![\Omega](https://wikimedia.org/api/rest_v1/media/math/render/svg/24b0d5ca6f381068d756f6337c08e0af9d1eeb6f)
Smash product
For a spectrum and a space , the spectrum is defined by and the structure mappings .
![{\ displaystyle E = (E_ {n}, \ sigma _ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebf2d0719b0834ddc045b3ad58d1acab72ca6423)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\ displaystyle E \ wedge X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47839ee73fb93a995e0d421d54edd48572c17e25)
![{\ displaystyle (E \ wedge X) _ {n}: = E_ {n} \ wedge X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf3823e07f7b4c4d0d2d395a0c8b714840d23543)
![{\ displaystyle \ Sigma _ {n} \ wedge id_ {X}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91f8f94381c5eeb62d88c97b6da3dedb54364259)
There is a construction going back to Adams that assigns two spectra and a smash product , which has the following properties:
![E.](https://wikimedia.org/api/rest_v1/media/math/render/svg/4232c9de2ee3eec0a9c0a19b15ab92daa6223f9b)
![F.](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
![{\ displaystyle E \ wedge F}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9994fddd8bfe5069baff5d91471b889f6afdfbdb)
- The smash product is a covariant functor of both arguments.
- There are natural equivalences .
![{\ displaystyle \ alpha \ colon (E \ wedge F) \ wedge G \ to E \ wedge (F \ wedge G), \ tau \ colon E \ wedge F \ to F \ wedge E, l \ colon \ mathbf {S } \ wedge E \ to E, r \ colon E \ wedge \ mathbf {S} \ to E, \ Sigma \ colon \ Sigma E \ wedge F \ to \ Sigma (E \ wedge F)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cdf9720877093f3b4dd2d2368c753617fc3ec7d)
- There is a natural equivalence for every spectrum and every CW complex . Especially for all CW complexes .
![E.](https://wikimedia.org/api/rest_v1/media/math/render/svg/4232c9de2ee3eec0a9c0a19b15ab92daa6223f9b)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![{\ displaystyle e \ colon E \ wedge X \ to E \ wedge \ Sigma ^ {\ infty} X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c0a6eb57619f17401e98c8f37aefbfbc46a2491)
![{\ displaystyle \ Sigma ^ {\ infty} (X \ wedge Y) \ simeq \ Sigma ^ {\ infty} X \ wedge \ Sigma ^ {\ infty} Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db64e641a1c7b8e5e793cca0f56dda6713103a0b)
![X, Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8705438171d938b7f59cd1bfa5b7d99b6afa5cd)
- If there is an equivalence, then too .
![{\ displaystyle f \ colon E \ to F}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65e588635af63181c20287f8ea6f18389b5eaec2)
![{\ displaystyle f \ wedge id_ {G} \ colon E \ wedge G \ to F \ wedge G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e96e242f4201424efd91a01f458136cb89fa2aed)
- For a family of Spektra is an equivalence.
![{\ displaystyle \ left \ {E _ {\ Lambda} \ right \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6172b10b0a4773afb5475072172ae21597e977b)
![{\ displaystyle \ left \ {i _ {\ Lambda} \ wedge id_ {F} \ right \} \ colon \ vee _ {\ Lambda} (E _ {\ Lambda} \ wedge F) \ to (\ vee _ {\ Lambda } (E _ {\ Lambda})) \ wedge F}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efc0e06ab035897bb1800caaa083495185ecd042)
- If there's a fiber structure from Spektra, then so is it .
![{\ displaystyle A \ to B \ to C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d77a6d0aedc5ed1b12465f02c7cb7c2c1b1b731)
![{\ displaystyle A \ wedge E \ to B \ wedge E \ to C \ wedge E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a809419bb68a5516c4f92107ec3305ded1e31cdf)
Ring spectra
A ring spectrum is a spectrum with a smash product and with morphisms
![R.](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b0bfb3769bf24d80e15374dc37b0441e2616e33)
![\ wedge](https://wikimedia.org/api/rest_v1/media/math/render/svg/1caa4004cb216ef2930bb12fe805a76870caed94)
![{\ displaystyle \ mu \ colon R \ wedge R \ to R, \ epsilon \ colon \ mathbf {S} \ to R,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04b9b34ccfcfcb230a0752fa2c8c8e16739d31d5)
-
,
which the conditions
![{\ displaystyle \ mu \ circ (\ mu \ wedge id) \ circ \ alpha = \ mu \ circ (id \ wedge \ mu) \ colon R \ wedge (R \ wedge R) \ to R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5eab3d94aaa479de2745ceeb6aeb0319e282f3c)
![{\ displaystyle \ mu \ circ (\ epsilon \ wedge id) = \ lambda \ colon \ mathbf {S} \ wedge R \ to R, \ mu \ circ (id \ wedge \ epsilon) = \ rho \ colon R \ wedge \ mathbf {S} \ to R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd3d11ec85f04fb4132aec4547cb37a6b81ed4bf)
suffice.
literature
- Spanier, EH; Whitehead, JHC: A first approximation to homotopy theory. Proc. Nat. Acad. Sci. USA 39, (1953). 655-660. pdf
- Lima, Elon L .: Stable Postnikov invariants and their duals. Summa Brasil. Math. 4 1960 193-251.
- Adams, JF: Stable homotopy and generalized homology. Reprint of the 1974 original. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 1995. ISBN 0-226-00524-0
Web links