The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins...
Transcript of The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins...
![Page 1: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/1.jpg)
department of mathemat i cal sc i ence s
university of copenhagen
The Kahn-Priddy Theorem
Jens Jakob Kjær
Presentation of Master Thesis
February 7, 2014
![Page 2: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/2.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Contents
1 History and Overview
2 Stable Homotopy Theory
3 Constructions of P−k
4 The Kahn-Priddy TheoremA LemmaThe Proof
5 The Spectral Sequence
Slide 2/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 3: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/3.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
History and OverviewHistory
• 1937 Freudenthals Suspension Theorem begins stablehomotopy theory
• 1972 Kahn and Priddy announce theorem linking stablehomotopy groups of innite real projective space to thestable homotopy groups of spheres [KP72]
• 1985 Jones strengthens the result [Jon85]
• 1990 Miller gives postcard length proof of Jones'strengthening [Mil90]
Slide 3/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 4: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/4.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
History and OverviewHistory
• 1937 Freudenthals Suspension Theorem begins stablehomotopy theory
• 1972 Kahn and Priddy announce theorem linking stablehomotopy groups of innite real projective space to thestable homotopy groups of spheres [KP72]
• 1985 Jones strengthens the result [Jon85]
• 1990 Miller gives postcard length proof of Jones'strengthening [Mil90]
Slide 3/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 5: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/5.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
History and OverviewHistory
• 1937 Freudenthals Suspension Theorem begins stablehomotopy theory
• 1972 Kahn and Priddy announce theorem linking stablehomotopy groups of innite real projective space to thestable homotopy groups of spheres [KP72]
• 1985 Jones strengthens the result [Jon85]
• 1990 Miller gives postcard length proof of Jones'strengthening [Mil90]
Slide 3/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 6: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/6.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
History and OverviewHistory
• 1937 Freudenthals Suspension Theorem begins stablehomotopy theory
• 1972 Kahn and Priddy announce theorem linking stablehomotopy groups of innite real projective space to thestable homotopy groups of spheres [KP72]
• 1985 Jones strengthens the result [Jon85]
• 1990 Miller gives postcard length proof of Jones'strengthening [Mil90]
Slide 3/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 7: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/7.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
History and OverviewHistory
• 1937 Freudenthals Suspension Theorem begins stablehomotopy theory
• 1972 Kahn and Priddy announce theorem linking stablehomotopy groups of innite real projective space to thestable homotopy groups of spheres [KP72]
• 1985 Jones strengthens the result [Jon85]
• 1990 Miller gives postcard length proof of Jones'strengthening [Mil90]
Slide 3/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 8: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/8.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
History and OverviewOverview
Twofold goal of the thesis
1 give an in-depth proof of Jones' theorem based onMiller's paper, and
2 give a detailed presentation (with some illustratingcalculations) of the part of the spectral sequence thatthis illuminates.
Theorem (The Kahn-Priddy Theorem)
There exists a morphism τ ′ : RP∞ → S0 which is surjective
on positive 2-localized stable homotopy groups.
Slide 4/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 9: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/9.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
History and OverviewOverview
Twofold goal of the thesis
1 give an in-depth proof of Jones' theorem based onMiller's paper, and
2 give a detailed presentation (with some illustratingcalculations) of the part of the spectral sequence thatthis illuminates.
Theorem (The Kahn-Priddy Theorem)
There exists a morphism τ ′ : RP∞ → S0 which is surjective
on positive 2-localized stable homotopy groups.
Slide 4/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 10: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/10.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
History and OverviewOverview
Twofold goal of the thesis
1 give an in-depth proof of Jones' theorem based onMiller's paper, and
2 give a detailed presentation (with some illustratingcalculations) of the part of the spectral sequence thatthis illuminates.
Theorem (The Kahn-Priddy Theorem)
There exists a morphism τ ′ : RP∞ → S0 which is surjective
on positive 2-localized stable homotopy groups.
Slide 4/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 11: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/11.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
History and OverviewOverview
Twofold goal of the thesis
1 give an in-depth proof of Jones' theorem based onMiller's paper, and
2 give a detailed presentation (with some illustratingcalculations) of the part of the spectral sequence thatthis illuminates.
Theorem (The Kahn-Priddy Theorem)
There exists a morphism τ ′ : RP∞ → S0 which is surjective
on positive 2-localized stable homotopy groups.
Slide 4/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 12: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/12.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
A spectrum X is a sequence of pointed topological spaces Xn
with pointed continuous maps σn : ΣXn → Xn+1
Denition
A morphism of spectra f : X → Y is a sequence of
continuous pointed maps fn : Xn → colimkΩYn+k such that
Ωfn+1 = fn.
Denition
X a pointed space then Σ∞X the suspension spectrum
(Σ∞X)n = ΣnX.
Slide 5/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 13: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/13.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
A spectrum X is a sequence of pointed topological spaces Xn
with pointed continuous maps σn : ΣXn → Xn+1
Denition
A morphism of spectra f : X → Y is a sequence of
continuous pointed maps fn : Xn → colimkΩYn+k such that
Ωfn+1 = fn.
Denition
X a pointed space then Σ∞X the suspension spectrum
(Σ∞X)n = ΣnX.
Slide 5/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 14: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/14.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
A spectrum X is a sequence of pointed topological spaces Xn
with pointed continuous maps σn : ΣXn → Xn+1
Denition
A morphism of spectra f : X → Y is a sequence of
continuous pointed maps fn : Xn → colimkΩYn+k such that
Ωfn+1 = fn.
Denition
X a pointed space then Σ∞X the suspension spectrum
(Σ∞X)n = ΣnX.
Slide 5/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 15: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/15.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
A spectrum X is a sequence of pointed topological spaces Xn
with pointed continuous maps σn : ΣXn → Xn+1
Denition
A morphism of spectra f : X → Y is a sequence of
continuous pointed maps fn : Xn → colimkΩYn+k such that
Ωfn+1 = fn.
Denition
X a pointed space then Σ∞X the suspension spectrum
(Σ∞X)n = ΣnX.
Slide 5/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 16: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/16.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
Sn := ΣnΣ∞S0.
Slide 6/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 17: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/17.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
Sn := ΣnΣ∞S0.
Slide 6/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 18: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/18.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
Sn := ΣnΣ∞S0.
Slide 6/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 19: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/19.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
Let Ho(Spec) be the category with objects spectra
and HomHo(Spec)(X,Y ) = [X,Y ]
Proposition
πtΣ∞X ∼= colimkπ
unstt+k ΣkX
Slide 7/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 20: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/20.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
Let Ho(Spec) be the category with objects spectra
and HomHo(Spec)(X,Y ) = [X,Y ]
Proposition
πtΣ∞X ∼= colimkπ
unstt+k ΣkX
Slide 7/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 21: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/21.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
Let Ho(Spec) be the category with objects spectra
and HomHo(Spec)(X,Y ) = [X,Y ]
Proposition
πtΣ∞X ∼= colimkπ
unstt+k ΣkX
Slide 7/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 22: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/22.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy Theory
Denition
Let Ho(Spec) be the category with objects spectra
and HomHo(Spec)(X,Y ) = [X,Y ]
Proposition
πtΣ∞X ∼= colimkπ
unstt+k ΣkX
Slide 7/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 23: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/23.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy TheoryS-duality
Denition
We say that X is S-dual to X∗ if there is morphism
µ : X ∧X∗ → S0 such that DU,V : [U, V ∧X]→ [U ∧X∗, V ]and DU,V [U,X∗ ∧ V ]→ [X ∧ U, V ] are isomorphisms for all
spectra U, V .
If X,X∗, Y, Y ∗ are S-dual and f : X → Y then there is adual map in [Y ∗, X∗].
Proposition
The S-dual of St is S−t. Given α : St → Ss then the dual is
α : S−s → S−t.
Slide 8/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 24: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/24.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy TheoryS-duality
Denition
We say that X is S-dual to X∗ if there is morphism
µ : X ∧X∗ → S0 such that DU,V : [U, V ∧X]→ [U ∧X∗, V ]and DU,V [U,X∗ ∧ V ]→ [X ∧ U, V ] are isomorphisms for all
spectra U, V .
If X,X∗, Y, Y ∗ are S-dual and f : X → Y then there is adual map in [Y ∗, X∗].
Proposition
The S-dual of St is S−t. Given α : St → Ss then the dual is
α : S−s → S−t.
Slide 8/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 25: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/25.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy TheoryS-duality
Denition
We say that X is S-dual to X∗ if there is morphism
µ : X ∧X∗ → S0 such that DU,V : [U, V ∧X]→ [U ∧X∗, V ]and DU,V [U,X∗ ∧ V ]→ [X ∧ U, V ] are isomorphisms for all
spectra U, V .
If X,X∗, Y, Y ∗ are S-dual and f : X → Y then there is adual map in [Y ∗, X∗].
Proposition
The S-dual of St is S−t. Given α : St → Ss then the dual is
α : S−s → S−t.
Slide 8/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 26: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/26.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Stable Homotopy TheoryS-duality
Denition
We say that X is S-dual to X∗ if there is morphism
µ : X ∧X∗ → S0 such that DU,V : [U, V ∧X]→ [U ∧X∗, V ]and DU,V [U,X∗ ∧ V ]→ [X ∧ U, V ] are isomorphisms for all
spectra U, V .
If X,X∗, Y, Y ∗ are S-dual and f : X → Y then there is adual map in [Y ∗, X∗].
Proposition
The S-dual of St is S−t. Given α : St → Ss then the dual is
α : S−s → S−t.
Slide 8/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 27: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/27.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Denition
Pn+kn = RPn+k/RPn−1
If k ∈ N φ(k) is the number of integers 0 < i ≤ k such thati ≡ 0, 1, 2, 4 (mod 8)
Denition
For n ∈ Z and k ∈ N0 we dene the spectra
Pn+kn = Σn−rΣ∞P r+kr for any r ≡ n modulo 2φ(k), r ≥ 0.
Slide 9/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 28: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/28.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Denition
Pn+kn = RPn+k/RPn−1
If k ∈ N φ(k) is the number of integers 0 < i ≤ k such thati ≡ 0, 1, 2, 4 (mod 8)
Denition
For n ∈ Z and k ∈ N0 we dene the spectra
Pn+kn = Σn−rΣ∞P r+kr for any r ≡ n modulo 2φ(k), r ≥ 0.
Slide 9/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 29: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/29.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Denition
Pn+kn = RPn+k/RPn−1
If k ∈ N φ(k) is the number of integers 0 < i ≤ k such thati ≡ 0, 1, 2, 4 (mod 8)
Denition
For n ∈ Z and k ∈ N0 we dene the spectra
Pn+kn = Σn−rΣ∞P r+kr for any r ≡ n modulo 2φ(k), r ≥ 0.
Slide 9/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 30: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/30.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Denition
Pn+kn = RPn+k/RPn−1
If k ∈ N φ(k) is the number of integers 0 < i ≤ k such thati ≡ 0, 1, 2, 4 (mod 8)
Denition
For n ∈ Z and k ∈ N0 we dene the spectra
Pn+kn = Σn−rΣ∞P r+kr for any r ≡ n modulo 2φ(k), r ≥ 0.
Slide 9/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 31: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/31.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Example
• P k1 = Σ∞RP k
• P k0 = Σ∞RP k+• P−1−3 = Σ−4Σ∞P 3
1
Proposition
The S-dual of P k−1−n is ΣPn−1−k
Slide 10/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 32: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/32.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Example
• P k1
= Σ∞RP k
• P k0 = Σ∞RP k+• P−1−3 = Σ−4Σ∞P 3
1
Proposition
The S-dual of P k−1−n is ΣPn−1−k
Slide 10/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 33: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/33.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Example
• P k1 = Σ∞RP k
• P k0 = Σ∞RP k+• P−1−3 = Σ−4Σ∞P 3
1
Proposition
The S-dual of P k−1−n is ΣPn−1−k
Slide 10/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 34: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/34.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Example
• P k1 = Σ∞RP k
• P k0
= Σ∞RP k+• P−1−3 = Σ−4Σ∞P 3
1
Proposition
The S-dual of P k−1−n is ΣPn−1−k
Slide 10/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 35: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/35.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Example
• P k1 = Σ∞RP k
• P k0 = Σ∞RP k+
• P−1−3 = Σ−4Σ∞P 31
Proposition
The S-dual of P k−1−n is ΣPn−1−k
Slide 10/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 36: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/36.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Example
• P k1 = Σ∞RP k
• P k0 = Σ∞RP k+• P−1−3
= Σ−4Σ∞P 31
Proposition
The S-dual of P k−1−n is ΣPn−1−k
Slide 10/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 37: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/37.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Example
• P k1 = Σ∞RP k
• P k0 = Σ∞RP k+• P−1−3 = Σ−4Σ∞P 3
1
Proposition
The S-dual of P k−1−n is ΣPn−1−k
Slide 10/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 38: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/38.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Example
• P k1 = Σ∞RP k
• P k0 = Σ∞RP k+• P−1−3 = Σ−4Σ∞P 3
1
Proposition
The S-dual of P k−1−n is ΣPn−1−k
Slide 10/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 39: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/39.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Denition
Given a spectra X we can dene Dk2X to be the spectra with
(Dk2X)n = Sk×(X∧X)n
Z/2 /RP k × ∗ and if
σ : Σ(X ∧X)n → (X ∧X)n+1 is the structure map of
X ∧X, then idSk × σ induces the structure maps of Dk2X.
Proposition
Pn+kn = Σ−nDk(Sn)
Lemma
There is a natural morphism ϕZ : Z ∧Dk2(X)→ Dk
2(Z ∧X)
Slide 11/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 40: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/40.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Denition
Given a spectra X we can dene Dk2X to be the spectra with
(Dk2X)n = Sk×(X∧X)n
Z/2 /RP k × ∗ and if
σ : Σ(X ∧X)n → (X ∧X)n+1 is the structure map of
X ∧X, then idSk × σ induces the structure maps of Dk2X.
Proposition
Pn+kn = Σ−nDk(Sn)
Lemma
There is a natural morphism ϕZ : Z ∧Dk2(X)→ Dk
2(Z ∧X)
Slide 11/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 41: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/41.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Denition
Given a spectra X we can dene Dk2X to be the spectra with
(Dk2X)n = Sk×(X∧X)n
Z/2 /RP k × ∗ and if
σ : Σ(X ∧X)n → (X ∧X)n+1 is the structure map of
X ∧X, then idSk × σ induces the structure maps of Dk2X.
Proposition
Pn+kn = Σ−nDk(Sn)
Lemma
There is a natural morphism ϕZ : Z ∧Dk2(X)→ Dk
2(Z ∧X)
Slide 11/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 42: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/42.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−k
Denition
Given a spectra X we can dene Dk2X to be the spectra with
(Dk2X)n = Sk×(X∧X)n
Z/2 /RP k × ∗ and if
σ : Σ(X ∧X)n → (X ∧X)n+1 is the structure map of
X ∧X, then idSk × σ induces the structure maps of Dk2X.
Proposition
Pn+kn = Σ−nDk(Sn)
Lemma
There is a natural morphism ϕZ : Z ∧Dk2(X)→ Dk
2(Z ∧X)
Slide 11/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 43: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/43.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−kMorphisms of interest
Denition
• P kn → P k+1n
• c : P kn → P kn+1
• π : P k−10 → S0
By taking homotopy colimit over the inclusions we get PnBy S-duality we get morphism ι : S−1 → P−1−k → P−k
Cober sequence S−1ι→ P−1 → P0
τ→ S0
Cober sequences S−k → P−kc→ P−k+1
The dual of P k−1−n → P k−n is c : Pn−1−k → Pn−1−k+1
Slide 12/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 44: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/44.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−kMorphisms of interest
Denition
• P kn → P k+1n
• c : P kn → P kn+1
• π : P k−10 → S0
By taking homotopy colimit over the inclusions we get PnBy S-duality we get morphism ι : S−1 → P−1−k → P−k
Cober sequence S−1ι→ P−1 → P0
τ→ S0
Cober sequences S−k → P−kc→ P−k+1
The dual of P k−1−n → P k−n is c : Pn−1−k → Pn−1−k+1
Slide 12/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 45: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/45.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−kMorphisms of interest
Denition
• P kn → P k+1n
• c : P kn → P kn+1
• π : P k−10 → S0
By taking homotopy colimit over the inclusions we get PnBy S-duality we get morphism ι : S−1 → P−1−k → P−k
Cober sequence S−1ι→ P−1 → P0
τ→ S0
Cober sequences S−k → P−kc→ P−k+1
The dual of P k−1−n → P k−n is c : Pn−1−k → Pn−1−k+1
Slide 12/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 46: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/46.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−kMorphisms of interest
Denition
• P kn → P k+1n
• c : P kn → P kn+1
• π : P k−10 → S0
By taking homotopy colimit over the inclusions we get PnBy S-duality we get morphism ι : S−1 → P−1−k → P−k
Cober sequence S−1ι→ P−1 → P0
τ→ S0
Cober sequences S−k → P−kc→ P−k+1
The dual of P k−1−n → P k−n is c : Pn−1−k → Pn−1−k+1
Slide 12/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 47: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/47.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−kMorphisms of interest
Denition
• P kn → P k+1n
• c : P kn → P kn+1
• π : P k−10 → S0
By taking homotopy colimit over the inclusions we get Pn
By S-duality we get morphism ι : S−1 → P−1−k → P−k
Cober sequence S−1ι→ P−1 → P0
τ→ S0
Cober sequences S−k → P−kc→ P−k+1
The dual of P k−1−n → P k−n is c : Pn−1−k → Pn−1−k+1
Slide 12/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 48: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/48.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−kMorphisms of interest
Denition
• P kn → P k+1n
• c : P kn → P kn+1
• π : P k−10 → S0
By taking homotopy colimit over the inclusions we get PnBy S-duality we get morphism ι : S−1 → P−1−k → P−k
Cober sequence S−1ι→ P−1 → P0
τ→ S0
Cober sequences S−k → P−kc→ P−k+1
The dual of P k−1−n → P k−n is c : Pn−1−k → Pn−1−k+1
Slide 12/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 49: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/49.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−kMorphisms of interest
Denition
• P kn → P k+1n
• c : P kn → P kn+1
• π : P k−10 → S0
By taking homotopy colimit over the inclusions we get PnBy S-duality we get morphism ι : S−1 → P−1−k → P−k
Cober sequence S−1ι→ P−1 → P0
τ→ S0
Cober sequences S−k → P−kc→ P−k+1
The dual of P k−1−n → P k−n is c : Pn−1−k → Pn−1−k+1
Slide 12/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 50: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/50.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−kMorphisms of interest
Denition
• P kn → P k+1n
• c : P kn → P kn+1
• π : P k−10 → S0
By taking homotopy colimit over the inclusions we get PnBy S-duality we get morphism ι : S−1 → P−1−k → P−k
Cober sequence S−1ι→ P−1 → P0
τ→ S0
Cober sequences S−k → P−kc→ P−k+1
The dual of P k−1−n → P k−n is c : Pn−1−k → Pn−1−k+1
Slide 12/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 51: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/51.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−kMorphisms of interest
Denition
• P kn → P k+1n
• c : P kn → P kn+1
• π : P k−10 → S0
By taking homotopy colimit over the inclusions we get PnBy S-duality we get morphism ι : S−1 → P−1−k → P−k
Cober sequence S−1ι→ P−1 → P0
τ→ S0
Cober sequences S−k → P−kc→ P−k+1
The dual of P k−1−n → P k−n is c : Pn−1−k → Pn−1−k+1
Slide 12/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 52: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/52.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Constructions of P−kMorphisms of interest
Denition
• P kn → P k+1n
• c : P kn → P kn+1
• π : P k−10 → S0
By taking homotopy colimit over the inclusions we get PnBy S-duality we get morphism ι : S−1 → P−1−k → P−k
Cober sequence S−1ι→ P−1 → P0
τ→ S0
Cober sequences S−k → P−kc→ P−k+1
The dual of P k−1−n → P k−n is c : Pn−1−k → Pn−1−k+1
Slide 12/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 53: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/53.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Kahn-Priddy Theorem
Theorem (The Kahn-Priddy Theorem)
There exists a morphism τ ′ : P1 → S0 which is surjective on
positive 2-localized homotopy groups
Theorem (Jones' Kahn-Priddy Theorem)
If s < t then for any α ∈ πt−1S−1 then
St−1α→ S−1
ι→ P−s−1 is trivial.
Slide 13/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 54: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/54.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Kahn-Priddy Theorem
Theorem (The Kahn-Priddy Theorem)
There exists a morphism τ ′ : P1 → S0 which is surjective on
positive 2-localized homotopy groups
Theorem (Jones' Kahn-Priddy Theorem)
If s < t then for any α ∈ πt−1S−1 then
St−1α→ S−1
ι→ P−s−1 is trivial.
Slide 13/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 55: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/55.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Kahn-Priddy Theorem
Theorem (The Kahn-Priddy Theorem)
There exists a morphism τ ′ : P1 → S0 which is surjective on
positive 2-localized homotopy groups
Theorem (Jones' Kahn-Priddy Theorem)
If s < t then for any α ∈ πt−1S−1 then
St−1α→ S−1
ι→ P−s−1 is trivial.
Slide 13/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 56: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/56.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Kahn-Priddy TheoremA lemma
Denition
Given α ∈ πtS0 then Q(α) : Pt → S−t it the t'thdesuspension of
D2(St)D2(α)→ D2(S
0) = P0π→ S0
Lemma
Take α ∈ πtS0, and π the pinch map, then the following
diagram commutes for 0 ≤ t < r
P−r
πc(r) // S0
α
PtQ(α) // S−t
Slide 14/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 57: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/57.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Kahn-Priddy TheoremA lemma
Denition
Given α ∈ πtS0 then Q(α) : Pt → S−t it the t'thdesuspension of
D2(St)D2(α)→ D2(S
0) = P0π→ S0
Lemma
Take α ∈ πtS0, and π the pinch map, then the following
diagram commutes for 0 ≤ t < r
P−r
πc(r) // S0
α
PtQ(α) // S−t
Slide 14/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 58: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/58.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Kahn-Priddy TheoremA lemma
Denition
Given α ∈ πtS0 then Q(α) : Pt → S−t it the t'thdesuspension of
D2(St)D2(α)→ D2(S
0) = P0π→ S0
Lemma
Take α ∈ πtS0, and π the pinch map, then the following
diagram commutes for 0 ≤ t < r
P−r
πc(r) // S0
α
PtQ(α) // S−t
Slide 14/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 59: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/59.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Kahn-Priddy TheoremProof of Lemma
St+r ∧D2(S−r)
α∧1
((
ϕSr //
ϕSt+r
St ∧D2(S0)π //
α∧1
St
α
Sr ∧D2(S−r)
ϕSr
((D2(S
0)
π
%%D2(S
t)Q(α)
//D2(α)
33
S0
Slide 15/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 60: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/60.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Kahn-Priddy TheoremProof of Lemma
St+r ∧D2(S−r)
α∧1
((
ϕSr //
ϕSt+r
St ∧D2(S0)π //
α∧1
St
α
Sr ∧D2(S−r)
ϕSr
((D2(S
0)
π
%%D2(S
t)Q(α)
//D2(α)
33
S0
Slide 15/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 61: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/61.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Kahn-Priddy TheoremProof of Theorem
Theorem (Jones' Kahn-Priddy Theorem)
If s < t then for any α ∈ πt−1S−1 then
St−1α→ S−1
ι→ P−s−1 is trivial.
Lemma
Take α ∈ πtS0, and π the pinch map, then the following
diagram commutes for 0 ≤ t < r
P−r
πc(r) // S0
α
PtQ(α) // S−t
Slide 16/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 62: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/62.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Kahn-Priddy TheoremProof of Theorem
Theorem (Jones' Kahn-Priddy Theorem)
If s < t then for any α ∈ πt−1S−1 then
St−1α→ S−1
ι→ P−s−1 is trivial.
Lemma
Take α ∈ πtS0, and π the pinch map, then the following
diagram commutes for 0 ≤ t < r
P−r
πc(r) // S0
α
PtQ(α) // S−t
Slide 16/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 63: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/63.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Spectral Sequence
Theorem
There is a spectral sequence with
Es,t1 := πt−s+1S−s+1 = πtS
0 and dr : Es,tr → Es+r,t+r−1
converging to π∗S−12
This is the spectral sequence derived from the tower
P−2 //
S−2
P−1 //
S−1
Slide 17/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 64: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/64.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Spectral Sequence
Theorem
There is a spectral sequence with
Es,t1 := πt−s+1S−s+1 = πtS
0 and dr : Es,tr → Es+r,t+r−1
converging to π∗S−12
This is the spectral sequence derived from the tower
P−2 //
S−2
P−1 //
S−1
Slide 17/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 65: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/65.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Spectral Sequence
Theorem
There is a spectral sequence with
Es,t1 := πt−s+1S−s+1 = πtS
0 and dr : Es,tr → Es+r,t+r−1
converging to π∗S−12
This is the spectral sequence derived from the tower
P−2 //
S−2
P−1 //
S−1
Slide 17/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 66: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/66.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Spectral SequenceThe E1-page
t
−s−5 −4 −3 −2 −1 0 1
0
2
4
ZZZZZZZ
Z/2Z/2Z/2Z/2Z/2Z/2Z/2
Z/2Z/2Z/2Z/2Z/2Z/2Z/2
Z24
Z24
Z24
Z24
Z24
Z24
Z24
0000000
Slide 18/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 67: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/67.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Spectral SequenceFiltration
Denition
Dene M sπt ⊂ πtS02by
M sπt = Ker [ι∗ : πt−1S−12→ πt−1P−s]
Lemma
M s−1πt−s+1/Msπt−s+1
∼= Es,t∞
Corollary
M sπt = πt−1S−12
whenever s ≤ t.
Slide 19/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 68: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/68.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Spectral SequenceFiltration
Denition
Dene M sπt ⊂ πtS02by
M sπt = Ker [ι∗ : πt−1S−12→ πt−1P−s]
Lemma
M s−1πt−s+1/Msπt−s+1
∼= Es,t∞
Corollary
M sπt = πt−1S−12
whenever s ≤ t.
Slide 19/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 69: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/69.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Spectral SequenceFiltration
Denition
Dene M sπt ⊂ πtS02by
M sπt = Ker [ι∗ : πt−1S−12→ πt−1P−s]
Lemma
M s−1πt−s+1/Msπt−s+1
∼= Es,t∞
Corollary
M sπt = πt−1S−12
whenever s ≤ t.
Slide 19/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 70: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/70.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Spectral SequenceFiltration
Denition
Dene M sπt ⊂ πtS02by
M sπt = Ker [ι∗ : πt−1S−12→ πt−1P−s]
Lemma
M s−1πt−s+1/Msπt−s+1
∼= Es,t∞
Corollary
M sπt = πt−1S−12
whenever s ≤ t.
Slide 19/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 71: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/71.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
The Spectral SequenceThe E∞-page
t
−s−5 −4 −3 −2 −1 0 1
0
2
4
XXXXXX
XXXXXX
XXXXX
XXXXX
XXXX
Slide 20/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014
![Page 72: The Kahn-Priddy Theoremjkjaer/Presentation2.pdf · 1937 Freudenthals Suspension Theorem begins stable homotopy theory 1972 Kahn and Priddy announce theorem linking stable homotopy](https://reader030.fdocuments.us/reader030/viewer/2022041007/5ead931d294ef973c47019de/html5/thumbnails/72.jpg)
un iver s i ty of copenhagen department of mathemat i cal sc i ence s
Bibliography
John D. S. Jones, Root Invariants, Cup-r-Products andThe Kahn-Priddy Theorem, Bulletin of the LondonMathematical Society 17 (1985), 479483.
Daniel S Kahn and Stewart B Priddy, Applications of thetransfer to stable homotopy theory, Bull. Amer. Math.Soc 78 (1972), no. 1972, 135146.
Haynes Miller, On Jones's Kahn-Priddy Theorem,Homotopy Theory and Related Topics - Proceedings ofthe International Conference held at Kinosaki, Japan,August 1924, 1988 (Mamoru Mimura, ed.),Springer-Verlag, 1990, pp. 210218.
Slide 21/20 Jens Jakob Kjær The Kahn-Priddy Theorem February 7, 2014