a strong künneth theorem for periodic topological cyclic ... · topological periodic cyclic...
TRANSCRIPT
![Page 1: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/1.jpg)
A Strong Künneth Theorem for Periodic TopologicalCyclic Homology
Michael A. Mandell
Indiana University
Shanks Workshop on Homotopy Theory
Vanderbilt University
March 25, 2017
M.A.Mandell (IU) Periodic Topological Cyclic Homology Mar 2017 1 / 16
![Page 2: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/2.jpg)
A Strong Künneth Theorem for Topological PeriodicCyclic Homology
Michael A. Mandell
Indiana University
Shanks Workshop on Homotopy Theory
Vanderbilt University
March 25, 2017
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 1 / 16
![Page 3: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/3.jpg)
Overview
Topological periodic cyclic homology (TP) is the analogue of periodiccyclic homology (HP) using THH in place of HH. If k is a finite field,then smooth and proper d.g. categories over k satisfy a strongKünneth theorem:
TP(X ) ∧LTP(k) TP(Y )→ TP(X ⊗k Y )
is an isomorphism in the derived category of TP(k)-modules.
Joint work with Andrew BlumbergPreprint Soon
Outline1 Introduction to TP2 Structure and properties of TP3 The Künneth theorem
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 2 / 16
![Page 4: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/4.jpg)
Overview
Topological periodic cyclic homology (TP) is the analogue of periodiccyclic homology (HP) using THH in place of HH. If k is a finite field,then smooth and proper varieties over k satisfy a strongKünneth theorem:
TP(X ) ∧LTP(k) TP(Y )→ TP(X ⊗k Y )
is an isomorphism in the derived category of TP(k)-modules.
Joint work with Andrew BlumbergPreprint Soon
Outline1 Introduction to TP2 Structure and properties of TP3 The Künneth theorem
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 2 / 16
![Page 5: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/5.jpg)
Overview
Topological periodic cyclic homology (TP) is the analogue of periodiccyclic homology (HP) using THH in place of HH. If k is a finite field,then smooth and proper d.g. algebras over k satisfy a strongKünneth theorem:
TP(X ) ∧LTP(k) TP(Y )→ TP(X ⊗k Y )
is an isomorphism in the derived category of TP(k)-modules.
Joint work with Andrew BlumbergPreprint Soon
Outline1 Introduction to TP2 Structure and properties of TP3 The Künneth theorem
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 2 / 16
![Page 6: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/6.jpg)
Overview
Topological periodic cyclic homology (TP) is the analogue of periodiccyclic homology (HP) using THH in place of HH. If k is a finite field,then smooth and proper d.g. algebras over k satisfy a strongKünneth theorem:
TP(X ) ∧LTP(k) TP(Y )→ TP(X ⊗k Y )
is an isomorphism in the derived category of TP(k)-modules.
Joint work with Andrew BlumbergPreprint Soon
Outline
1 Introduction to TP2 Structure and properties of TP3 The Künneth theorem
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 2 / 16
![Page 7: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/7.jpg)
Overview
Topological periodic cyclic homology (TP) is the analogue of periodiccyclic homology (HP) using THH in place of HH. If k is a finite field,then smooth and proper d.g. algebras over k satisfy a strongKünneth theorem:
TP(X ) ∧LTP(k) TP(Y )→ TP(X ⊗k Y )
is an isomorphism in the derived category of TP(k)-modules.
Joint work with Andrew BlumbergPreprint Soon
Outline1 Introduction to TP
2 Structure and properties of TP3 The Künneth theorem
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 2 / 16
![Page 8: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/8.jpg)
Overview
Topological periodic cyclic homology (TP) is the analogue of periodiccyclic homology (HP) using THH in place of HH. If k is a finite field,then smooth and proper d.g. algebras over k satisfy a strongKünneth theorem:
TP(X ) ∧LTP(k) TP(Y )→ TP(X ⊗k Y )
is an isomorphism in the derived category of TP(k)-modules.
Joint work with Andrew BlumbergPreprint Soon
Outline1 Introduction to TP2 Structure and properties of TP
3 The Künneth theorem
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 2 / 16
![Page 9: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/9.jpg)
Overview
Topological periodic cyclic homology (TP) is the analogue of periodiccyclic homology (HP) using THH in place of HH. If k is a finite field,then smooth and proper d.g. algebras over k satisfy a strongKünneth theorem:
TP(X ) ∧LTP(k) TP(Y )→ TP(X ⊗k Y )
is an isomorphism in the derived category of TP(k)-modules.
Joint work with Andrew BlumbergPreprint Soon
Outline1 Introduction to TP2 Structure and properties of TP3 The Künneth theorem
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 2 / 16
![Page 10: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/10.jpg)
Introduction
Hochschild Homology
and Cyclic Homology
Cyclic bar construction
Ncyq R = R ⊗ · · · ⊗ R︸ ︷︷ ︸
q factors
⊗R
R ⊗ · · · ⊗ R
⊗ ⊗
R
Chain complex
Construct Double Complex:
···
···
······
···↓
↓
↓ ↓ ↓ ···· · · ← • ←
•
← • ← • ← •↓
↓
↓ ↓· · · ← • ←
•
← • ← •↓
↓
↓· · · ← • ←
•
← •↓
↓
· · · ← • ←
•
↓· · · ← •
···
HNHPHHHC
Cyclic structure =⇒ Connes’ B operator B : NcyR → NcyR[−1]
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 3 / 16
![Page 11: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/11.jpg)
Introduction
Hochschild Homology
and Cyclic Homology
Cyclic bar construction
Ncyq R = R ⊗ · · · ⊗ R︸ ︷︷ ︸
q factors
⊗R
R ⊗ · · · ⊗ R
⊗ ⊗
R
Chain complex
Construct Double Complex:
···
···
······
···↓
↓
↓ ↓ ↓ ···· · · ← • ←
•
← • ← • ← •↓
↓
↓ ↓· · · ← • ←
•
← • ← •↓
↓
↓· · · ← • ←
•
← •↓
↓
· · · ← • ←
•
↓· · · ← •
···
HNHPHHHC
Cyclic structure =⇒ Connes’ B operator B : NcyR → NcyR[−1]
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 3 / 16
![Page 12: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/12.jpg)
Introduction
Hochschild Homology
and Cyclic Homology
Cyclic bar construction
Ncyq R = R ⊗ · · · ⊗ R︸ ︷︷ ︸
q factors
⊗R
R ⊗ · · · ⊗ R
⊗ ⊗
R
Chain complex
Construct Double Complex:
···
···
······
···↓
↓
↓ ↓ ↓ ···· · · ← • ←
•
← • ← • ← •↓
↓
↓ ↓· · · ← • ←
•
← • ← •↓
↓
↓· · · ← • ←
•
← •↓
↓
· · · ← • ←
•
↓· · · ← •
···
HNHPHHHC
Cyclic structure =⇒ Connes’ B operator B : NcyR → NcyR[−1]
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 3 / 16
![Page 13: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/13.jpg)
Introduction
Hochschild Homology and Cyclic Homology
Cyclic bar construction
Ncyq R = R ⊗ · · · ⊗ R︸ ︷︷ ︸
q factors
⊗R
R ⊗ · · · ⊗ R
⊗ ⊗
R
Chain complex
Construct Double Complex:
···
···
······
···↓
↓
↓ ↓ ↓ ···· · · ← • ←
•
← • ← • ← •↓
↓
↓ ↓· · · ← • ←
•
← • ← •↓
↓
↓· · · ← • ←
•
← •↓
↓
· · · ← • ←
•
↓· · · ← •
···
HNHP
HH
HC
Cyclic structure =⇒ Connes’ B operator B : NcyR → NcyR[−1]
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 3 / 16
![Page 14: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/14.jpg)
Introduction
Hochschild Homology and Cyclic Homology
Cyclic bar construction
Ncyq R = R ⊗ · · · ⊗ R︸ ︷︷ ︸
q factors
⊗R
R ⊗ · · · ⊗ R
⊗ ⊗
R
Chain complex
Construct Double Complex:
···
······
······
↓
↓ ↓ ↓ ↓ ···
· · · ← • ←
• ← • ← • ← •
↓
↓ ↓ ↓
· · · ← • ←
• ← • ← •
↓
↓ ↓
· · · ← • ←
• ← •
↓
↓
· · · ← • ←
•
↓· · · ← •
···
HNHPHH
HC
Cyclic structure =⇒ Connes’ B operator B : NcyR → NcyR[−1]
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 3 / 16
![Page 15: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/15.jpg)
Introduction
Hochschild Homology and Cyclic Homology
Cyclic bar construction
Ncyq R = R ⊗ · · · ⊗ R︸ ︷︷ ︸
q factors
⊗R
R ⊗ · · · ⊗ R
⊗ ⊗
R
Chain complex
Construct Double Complex:···
···
······
···
↓ ↓
↓ ↓ ↓ ···
· · · ← • ← •
← • ← • ← •
↓ ↓
↓ ↓
· · · ← • ← •
← • ← •
↓ ↓
↓
· · · ← • ← •
← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
HN
HPHHHC
Cyclic structure =⇒ Connes’ B operator B : NcyR → NcyR[−1]
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 3 / 16
![Page 16: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/16.jpg)
Introduction
Hochschild Homology and Cyclic Homology
Cyclic bar construction
Ncyq R = R ⊗ · · · ⊗ R︸ ︷︷ ︸
q factors
⊗R
R ⊗ · · · ⊗ R
⊗ ⊗
R
Chain complex
Construct Double Complex:···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
HN
HP
HHHC
Cyclic structure =⇒ Connes’ B operator B : NcyR → NcyR[−1]
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 3 / 16
![Page 17: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/17.jpg)
Introduction
Topological Hochschild Homology
Cyclic bar construction (Bökstedt)
Ncyq R = R ∧ · · · ∧ R︸ ︷︷ ︸
q factors
∧R
R ∧ · · · ∧ R
∧ ∧R
Spectrum
Construction
···
···
······
···↓
↓
↓ ↓ ↓ ···· · · ← • ←
•
← • ← • ← •↓
↓
↓ ↓· · · ← • ←
•
← • ← •↓
↓
↓· · · ← • ←
•
← •↓
↓
· · · ← • ←
•
↓· · · ← •
···
HH corresponds to THH
Cyclic structure =⇒ circle group action
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 4 / 16
![Page 18: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/18.jpg)
Introduction
Topological Hochschild Homology
Cyclic bar construction (Bökstedt)
Ncyq R = R ∧ · · · ∧ R︸ ︷︷ ︸
q factors
∧R
R ∧ · · · ∧ R
∧ ∧R
Spectrum
Construction
···
···
······
···↓
↓
↓ ↓ ↓ ···· · · ← • ←
•
← • ← • ← •↓
↓
↓ ↓· · · ← • ←
•
← • ← •↓
↓
↓· · · ← • ←
•
← •↓
↓
· · · ← • ←
•
↓· · · ← •
···
HH corresponds to THH
Cyclic structure =⇒ circle group action
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 4 / 16
![Page 19: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/19.jpg)
Introduction
Topological Hochschild Homology
Cyclic bar construction (Bökstedt)
Ncyq R = R ∧ · · · ∧ R︸ ︷︷ ︸
q factors
∧R
R ∧ · · · ∧ R
∧ ∧R
Spectrum
Construction
···
···
······
···↓
↓
↓ ↓ ↓ ···· · · ← • ←
•
← • ← • ← •↓
↓
↓ ↓· · · ← • ←
•
← • ← •↓
↓
↓· · · ← • ←
•
← •↓
↓
· · · ← • ←
•
↓· · · ← •
···
HH corresponds to THH
Cyclic structure =⇒ circle group action
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 4 / 16
![Page 20: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/20.jpg)
Introduction
Topological Hochschild Homology
Cyclic bar construction (Bökstedt)
Ncyq R = R ∧ · · · ∧ R︸ ︷︷ ︸
q factors
∧R
R ∧ · · · ∧ R
∧ ∧R
Spectrum
Construction
···
···
······
···↓
↓
↓ ↓ ↓ ···· · · ← • ←
•
← • ← • ← •↓
↓
↓ ↓· · · ← • ←
•
← • ← •↓
↓
↓· · · ← • ←
•
← •↓
↓
· · · ← • ←
•
↓· · · ← •
···
HH corresponds to THH
Cyclic structure =⇒ circle group action
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 4 / 16
![Page 21: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/21.jpg)
Introduction
Topological Hochschild Homology
Cyclic bar construction (Bökstedt)
Ncyq R = R ∧ · · · ∧ R︸ ︷︷ ︸
q factors
∧R
R ∧ · · · ∧ R
∧ ∧R
Spectrum
Construction
···
······
······
↓
↓ ↓ ↓ ↓ ···
· · · ← • ←
• ← • ← • ← •
↓
↓ ↓ ↓
· · · ← • ←
• ← • ← •
↓
↓ ↓
· · · ← • ←
• ← •
↓
↓
· · · ← • ←
•
↓· · · ← •
···
HH corresponds to THHHC corresponds to THHhT
Cyclic structure =⇒ circle group action
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 4 / 16
![Page 22: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/22.jpg)
Introduction
Topological Hochschild Homology
Cyclic bar construction (Bökstedt)
Ncyq R = R ∧ · · · ∧ R︸ ︷︷ ︸
q factors
∧R
R ∧ · · · ∧ R
∧ ∧R
Spectrum
Construction···
···
······
···
↓ ↓
↓ ↓ ↓ ···
· · · ← • ← •
← • ← • ← •
↓ ↓
↓ ↓
· · · ← • ← •
← • ← •
↓ ↓
↓
· · · ← • ← •
← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
HH corresponds to THHHN corresponds to THHhT
Cyclic structure =⇒ circle group action
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 4 / 16
![Page 23: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/23.jpg)
Introduction
Topological Hochschild Homology
Cyclic bar construction (Bökstedt)
Ncyq R = R ∧ · · · ∧ R︸ ︷︷ ︸
q factors
∧R
R ∧ · · · ∧ R
∧ ∧R
Spectrum
Construction···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
HH corresponds to THHHP corresponds to THH tT
Cyclic structure =⇒ circle group action
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 4 / 16
![Page 24: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/24.jpg)
Introduction
Topological Periodic Cyclic Homology
DefinitionFor a ring spectrum R, define the Topological Periodic CyclicHomology of R by TP(R) = THH(R)tT.
HighlightsMajor player in trace method K -theory calculations
Characteristic p replacement for HP (?)
(2014–) Hasse-Weil zeta function: Connes-Consani Hesselholt(2011–) Non-commutative motives: Kontsevich, Marcolli-Tabuadanon-commutative homological motives ????
Realization functor / Weil cohomology theory
HP∗(X )⊗k [t ,t−1] HP∗(Y )→ HP∗(X ⊗k Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 5 / 16
![Page 25: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/25.jpg)
Introduction
Topological Periodic Cyclic Homology
DefinitionFor a ring spectrum R, define the Topological Periodic CyclicHomology of R by TP(R) = THH(R)tT.
HighlightsMajor player in trace method K -theory calculations
Characteristic p replacement for HP (?)
(2014–) Hasse-Weil zeta function: Connes-Consani Hesselholt(2011–) Non-commutative motives: Kontsevich, Marcolli-Tabuadanon-commutative homological motives ????
Realization functor / Weil cohomology theory
HP∗(X )⊗k [t ,t−1] HP∗(Y )→ HP∗(X ⊗k Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 5 / 16
![Page 26: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/26.jpg)
Introduction
Topological Periodic Cyclic Homology
DefinitionFor a ring spectrum R, define the Topological Periodic CyclicHomology of R by TP(R) = THH(R)tT.
HighlightsMajor player in trace method K -theory calculations
Characteristic p replacement for HP (?)
(2014–) Hasse-Weil zeta function: Connes-Consani Hesselholt(2011–) Non-commutative motives: Kontsevich, Marcolli-Tabuadanon-commutative homological motives ????
Realization functor / Weil cohomology theory
HP∗(X )⊗k [t ,t−1] HP∗(Y )→ HP∗(X ⊗k Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 5 / 16
![Page 27: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/27.jpg)
Introduction
Topological Periodic Cyclic Homology
DefinitionFor a ring spectrum R, define the Topological Periodic CyclicHomology of R by TP(R) = THH(R)tT.
HighlightsMajor player in trace method K -theory calculations
Characteristic p replacement for HP (?)
(2014–) Hasse-Weil zeta function: Connes-Consani Hesselholt(2011–) Non-commutative motives: Kontsevich, Marcolli-Tabuadanon-commutative homological motives ????
Realization functor / Weil cohomology theory
HP∗(X )⊗k [t ,t−1] HP∗(Y )→ HP∗(X ⊗k Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 5 / 16
![Page 28: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/28.jpg)
Introduction
Topological Periodic Cyclic Homology
DefinitionFor a ring spectrum R, define the Topological Periodic CyclicHomology of R by TP(R) = THH(R)tT.
HighlightsMajor player in trace method K -theory calculations
Characteristic p replacement for HP (?)(2014–) Hasse-Weil zeta function: Connes-Consani Hesselholt(2011–) Non-commutative motives: Kontsevich, Marcolli-Tabuadanon-commutative homological motives ????
Realization functor / Weil cohomology theory
HP∗(X )⊗k [t ,t−1] HP∗(Y )→ HP∗(X ⊗k Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 5 / 16
![Page 29: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/29.jpg)
Introduction
Topological Periodic Cyclic Homology
DefinitionFor a ring spectrum R, define the Topological Periodic CyclicHomology of R by TP(R) = THH(R)tT.
HighlightsMajor player in trace method K -theory calculations
Characteristic p replacement for HP (?)(2014–) Hasse-Weil zeta function: Connes-Consani Hesselholt(2011–) Non-commutative motives: Kontsevich, Marcolli-Tabuadanon-commutative homological motives ????
Realization functor / Weil cohomology theory
HP∗(X )⊗k [t ,t−1] HP∗(Y )→ HP∗(X ⊗k Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 5 / 16
![Page 30: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/30.jpg)
Introduction
Topological Periodic Cyclic Homology
DefinitionFor a ring spectrum R, define the Topological Periodic CyclicHomology of R by TP(R) = THH(R)tT.
HighlightsMajor player in trace method K -theory calculations
Characteristic p replacement for HP (?)(2014–) Hasse-Weil zeta function: Connes-Consani Hesselholt(2011–) Non-commutative motives: Kontsevich, Marcolli-Tabuadanon-commutative homological motives ????
Realization functor / Weil cohomology theory
HP∗(X )⊗k [t ,t−1] HP∗(Y )→ HP∗(X ⊗k Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 5 / 16
![Page 31: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/31.jpg)
Introduction
Topological Periodic Cyclic Homology
DefinitionFor a ring spectrum R, define the Topological Periodic CyclicHomology of R by TP(R) = THH(R)tT.
HighlightsMajor player in trace method K -theory calculations
Characteristic p replacement for HP (?)(2014–) Hasse-Weil zeta function: Connes-Consani Hesselholt(2011–) Non-commutative motives: Kontsevich, Marcolli-Tabuadanon-commutative homological motives ????
Realization functor / Weil cohomology theory
HP∗(X )⊗k [t ,t−1] HP∗(Y )→ HP∗(X ⊗k Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 5 / 16
![Page 32: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/32.jpg)
Introduction
Topological Periodic Cyclic Homology
DefinitionFor a ring spectrum R, define the Topological Periodic CyclicHomology of R by TP(R) = THH(R)tT.
HighlightsMajor player in trace method K -theory calculations
Characteristic p replacement for HP (?)(2014–) Hasse-Weil zeta function: Connes-Consani Hesselholt(2011–) Non-commutative motives: Kontsevich, Marcolli-Tabuadanon-commutative homological motives ????
Realization functor / Weil cohomology theory
HP∗(X )⊗k [t ,t−1] HP∗(Y )→ HP∗(X ⊗k Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 5 / 16
![Page 33: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/33.jpg)
Introduction
Künneth Theorem
TheoremLax symmetric monoidal functor
TP(X ) ∧LTP(R) TP(Y )→ TP(X ⊗L
R Y )
is an isomorphism when X and Y are smooth and proper over k.
DefinitionA k -algebra X is smooth when it is compact as an X ⊗k X op-module,i.e., when R HomX⊗k X op
(X ,−) commutes with direct sums.
DefinitionA k -algebra X is proper when it is compact as a k -module.
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 6 / 16
![Page 34: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/34.jpg)
Introduction
Künneth Theorem
TheoremLet k be finite field. The lax symmetric monoidal functor
TP(X ) ∧LTP(k ) TP(Y )→ TP(X ⊗
L
k Y )
is an isomorphism when X and Y are smooth and proper over k.
DefinitionA k -algebra X is smooth when it is compact as an X ⊗k X op-module,i.e., when R HomX⊗k X op
(X ,−) commutes with direct sums.
DefinitionA k -algebra X is proper when it is compact as a k -module.
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 6 / 16
![Page 35: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/35.jpg)
Introduction
Künneth Theorem
TheoremLet k be finite field. The lax symmetric monoidal functor
TP(X ) ∧LTP(k ) TP(Y )→ TP(X ⊗
L
k Y )
is an isomorphism when X and Y are smooth and proper over k.
DefinitionA k -algebra X is smooth when it is compact as an X ⊗k X op-module,i.e., when R HomX⊗k X op
(X ,−) commutes with direct sums.
DefinitionA k -algebra X is proper when it is compact as a k -module.
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 6 / 16
![Page 36: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/36.jpg)
Introduction
Künneth Theorem
TheoremLet k be finite field. The lax symmetric monoidal functor
TP(X ) ∧LTP(k ) TP(Y )→ TP(X ⊗
L
k Y )
is an isomorphism when X and Y are smooth and proper over k.
DefinitionA k -algebra X is smooth when it is compact as an X ⊗k X op-module,i.e., when R HomX⊗k X op
(X ,−) commutes with direct sums.
DefinitionA k -algebra X is proper when it is compact as a k -module.
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 6 / 16
![Page 37: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/37.jpg)
Introduction
Künneth Theorem
TheoremLet k be finite field. The lax symmetric monoidal functor
TP(X ) ∧LTP(k ) TP(Y )→ TP(X ⊗
L
k Y )
is an isomorphism when X and Y are smooth and proper over k.
DefinitionA k -algebra X is smooth when it is compact as an X ⊗k X op-module,i.e., when R HomX⊗k X op
(X ,−) commutes with direct sums.
DefinitionA k -algebra X is proper when it is compact as a k -module.
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 6 / 16
![Page 38: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/38.jpg)
Introduction
Künneth Theorem
TheoremLet k be finite field. The lax symmetric monoidal functor
TP(X ) ∧LTP(k ) TP(Y )→ TP(X ⊗
L
k Y )
is an isomorphism when X and Y are smooth and proper over k.
DefinitionA k -algebra X is smooth when it is compact as an X ⊗k X op-module,i.e., when R HomX⊗k X op
(X ,−) commutes with direct sums.
DefinitionA k -algebra X is proper when it is compact as a k -module.
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 6 / 16
![Page 39: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/39.jpg)
Structure and Properties
Review of Tate Construction
ET ET+ → S0 → ET
Smash with Z ET and take fixed points
(Z ET ∧ ET+)T → (Z ET)T → (Z ET ∧ ET)T
(X ET ∧ ET+)T ' Σ(X ET)hT ' ΣXhT (Adams Isomorphism)
Definition
For Z a T-equivariant spectrum Z tT = (Z ET ∧ ET)T.(Composite of derived functors.)
ΣZhT → Z hT → Z tT → Σ2ZhT
TP(X ) = THH(X )tT
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 7 / 16
![Page 40: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/40.jpg)
Structure and Properties
Review of Tate Construction
ET ET+ → S0 → ET
Smash with Z ET and take fixed points
(Z ET ∧ ET+)T → (Z ET)T → (Z ET ∧ ET)T
(X ET ∧ ET+)T ' Σ(X ET)hT ' ΣXhT (Adams Isomorphism)
Definition
For Z a T-equivariant spectrum Z tT = (Z ET ∧ ET)T.(Composite of derived functors.)
ΣZhT → Z hT → Z tT → Σ2ZhT
TP(X ) = THH(X )tT
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 7 / 16
![Page 41: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/41.jpg)
Structure and Properties
Review of Tate Construction
ET ET+ → S0 → ET
Smash with Z ET and take fixed points
(Z ET ∧ ET+)T → (Z ET)T → (Z ET ∧ ET)T
(X ET ∧ ET+)T ' Σ(X ET)hT ' ΣXhT (Adams Isomorphism)
Definition
For Z a T-equivariant spectrum Z tT = (Z ET ∧ ET)T.(Composite of derived functors.)
ΣZhT → Z hT → Z tT → Σ2ZhT
TP(X ) = THH(X )tT
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 7 / 16
![Page 42: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/42.jpg)
Structure and Properties
Review of Tate Construction
ET ET+ → S0 → ET
Smash with Z ET and take fixed points
(Z ET ∧ ET+)T → (Z ET)T → (Z ET ∧ ET)T
(X ET ∧ ET+)T ' Σ(X ET)hT ' ΣXhT (Adams Isomorphism)
Definition
For Z a T-equivariant spectrum Z tT = (Z ET ∧ ET)T.(Composite of derived functors.)
ΣZhT → Z hT → Z tT → Σ2ZhT
TP(X ) = THH(X )tT
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 7 / 16
![Page 43: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/43.jpg)
Structure and Properties
Review of Tate Construction
ET ET+ → S0 → ET
Smash with Z ET and take fixed points
(Z ET ∧ ET+)T → (Z ET)T → (Z ET ∧ ET)T
(X ET ∧ ET+)T ' Σ(X ET)hT ' ΣXhT (Adams Isomorphism)
Definition
For Z a T-equivariant spectrum Z tT = (Z ET ∧ ET)T.(Composite of derived functors.)
ΣZhT → Z hT → Z tT → Σ2ZhT
TP(X ) = THH(X )tT
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 7 / 16
![Page 44: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/44.jpg)
Structure and Properties
Review of Tate Construction
ET ET+ → S0 → ET
Smash with Z ET and take fixed points
(Z ET ∧ ET+)T → (Z ET)T → (Z ET ∧ ET)T
(X ET ∧ ET+)T ' Σ(X ET)hT ' ΣXhT (Adams Isomorphism)
Definition
For Z a T-equivariant spectrum Z tT = (Z ET ∧ ET)T.(Composite of derived functors.)
ΣZhT → Z hT → Z tT → Σ2ZhT
TP(X ) = THH(X )tT
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 7 / 16
![Page 45: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/45.jpg)
Structure and Properties
Review of Tate Construction
ET ET+ → S0 → ET
Smash with Z ET and take fixed points
(Z ET ∧ ET+)T → (Z ET)T → (Z ET ∧ ET)T
(X ET ∧ ET+)T ' Σ(X ET)hT ' ΣXhT (Adams Isomorphism)
Definition
For Z a T-equivariant spectrum Z tT = (Z ET ∧ ET)T.(Composite of derived functors.)
ΣZhT → Z hT → Z tT → Σ2ZhT
TP(X ) = THH(X )tT
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 7 / 16
![Page 46: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/46.jpg)
Structure and Properties
Review of Tate Construction
ET ET+ → S0 → ET
Smash with Z ET and take fixed points
(Z ET ∧ ET+)T → (Z ET)T → (Z ET ∧ ET)T
(X ET ∧ ET+)T ' Σ(X ET)hT ' ΣXhT (Adams Isomorphism)
Definition
For Z a T-equivariant spectrum Z tT = (Z ET ∧ ET)T.(Composite of derived functors.)
ΣZhT → Z hT → Z tT → Σ2ZhT
TP(X ) = THH(X )tT
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 7 / 16
![Page 47: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/47.jpg)
Structure and Properties
Review of Tate Construction
ET ET+ → S0 → ET
Smash with Z ET and take fixed points
(Z ET ∧ ET+)T → (Z ET)T → (Z ET ∧ ET)T
(X ET ∧ ET+)T ' Σ(X ET)hT ' ΣXhT (Adams Isomorphism)
Definition
For Z a T-equivariant spectrum Z tT = (Z ET ∧ ET)T.(Composite of derived functors.)
ΣZhT → Z hT → Z tT → Σ2ZhT
TP(X ) = THH(X )tT
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 7 / 16
![Page 48: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/48.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 49: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/49.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 50: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/50.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 51: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/51.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 52: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/52.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 53: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/53.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 54: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/54.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 55: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/55.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 56: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/56.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 57: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/57.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 58: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/58.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 59: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/59.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 60: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/60.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 61: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/61.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 62: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/62.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET
←− This is coherent
THH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 63: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/63.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET
←− This can be made coherent!
Use diagonal map ET→ ET× ET ←− This is coherentTHH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 64: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/64.jpg)
Structure and Properties
The Multiplication
TP(X ) ∧ TP(Y )→ TP(X ∧ Y )
TP(X ) = (THH(X )ET ∧ ET)T
ET ∧ ET ' ET ←− This can be made coherent!Use diagonal map ET→ ET× ET ←− This is coherentTHH(X ) ∧ THH(Y ) ∼= THH(X ∧ Y )
TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
TP(X ) ∧ TP(R) ∧ TP(Y )→ TP(X ∧ R ∧ Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 8 / 16
![Page 65: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/65.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET
/ on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . .
/ S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 66: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/66.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET
/ on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . .
/ S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 67: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/67.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET
/ on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . .
/ S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 68: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/68.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET
/ on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . .
/ S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 69: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/69.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET
/ on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . .
/ S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 70: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/70.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET
/ on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . .
/ S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 71: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/71.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET
/ on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . .
/ S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 72: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/72.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET
/ on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . .
/ S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 73: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/73.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET / on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . . / S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 74: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/74.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET / on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . . / S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 75: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/75.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET / on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . . / S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 76: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/76.jpg)
Structure and Properties
The Filtration···
······
······
↓ ↓ ↓ ↓ ↓ ···· · · ← • ← • ← • ← • ← •
↓ ↓ ↓ ↓· · · ← • ← • ← • ← •
↓ ↓ ↓· · · ← • ← • ← •
↓ ↓· · · ← • ← •
↓· · · ← •
···
···�� �� �� ��
T× T× T�� �� ��
OOOOOO
T× T�� ��
OOOO
T
OO
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
TP(X ) = (THH(X )ET ∧ ET)T
Simplicial filtration on ET / on ET
T+ ∧ (T× T/(T ∨ T)) ∧∆[2]/∂∆[2]
T+ ∧ (T/{1}) ∧∆[1]/∂∆[1]
T+
T+, Σ2T+, Σ4T+,. . . / S0, ΣT+, Σ3T+,. . .
Filtration on TP(X ) : F iTP(X ) =
{(THH(X )(ET,ET−i−1) ∧ S0)T i ≤ 0(THH(X )ET ∧ ETi)
T i > 0
F i/F i−1 =
{(THH(X )(Σ2iT+))T i ≤ 0(THH(X )ET ∧ Σ2i−1T+)T i > 0
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 9 / 16
![Page 77: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/77.jpg)
Structure and Properties
The Spectral Sequence···
······
······ ···
· · · ← • ← • ← • ← • ← •
· · · ← • ← • ← • ← •
· · · ← • ← • ← •
· · · ← • ← •
· · · ← •···
(1,1) periodic on E1
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
Spectral sequence
E1i,j = πi+jΣ
2iTHH(X ) = THHj−i(X )
Renumber: Double filtration degree
E2r2i,j = (E r
i,i+j)old, d2r = (dr )old
Spectral SequenceConditionally convergent spectral sequence
E22i,j = THHj(X ) =⇒ TP2i+j(X ). (E r
2i+1,j = 0)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 10 / 16
![Page 78: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/78.jpg)
Structure and Properties
The Spectral Sequence···
······
· · · • • • · · ·
· · · • •
hh
•
hh
· · ·
· · · • •
hh
•
hh
· · ·
· · · • •
hh
•
hh
· · ·
· · · • •
hh
•
hh
· · ·
(2,0) periodic on E2
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
Spectral sequence
E1i,j = πi+jΣ
2iTHH(X ) = THHj−i(X )
Renumber: Double filtration degree
E2r2i,j = (E r
i,i+j)old, d2r = (dr )old
Spectral SequenceConditionally convergent spectral sequence
E22i,j = THHj(X ) =⇒ TP2i+j(X ). (E r
2i+1,j = 0)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 10 / 16
![Page 79: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/79.jpg)
Structure and Properties
The Spectral Sequence···
······
· · · • • • · · ·
· · · • •
hh
•
hh
· · ·
· · · • •
hh
•
hh
· · ·
· · · • •
hh
•
hh
· · ·
· · · • •
hh
•
hh
· · ·
(2,0) periodic on E2
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
Spectral sequence
E1i,j = πi+jΣ
2iTHH(X ) = THHj−i(X )
Renumber: Double filtration degree
E2r2i,j = (E r
i,i+j)old, d2r = (dr )old
Spectral SequenceConditionally convergent spectral sequence
E22i,j = THHj(X ) =⇒ TP2i+j(X ). (E r
2i+1,j = 0)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 10 / 16
![Page 80: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/80.jpg)
Structure and Properties
The Spectral Sequence···
······
· · · • • • · · ·
· · · • •
hh
•
hh
· · ·
· · · • •
hh
•
hh
· · ·
· · · • •
hh
•
hh
· · ·
· · · • •
hh
•
hh
· · ·
(2,0) periodic on E2
Filtration on TP(X ) with associated graded
F i/F i−1 ' Σ2iTHH(X )
Spectral sequence
E1i,j = πi+jΣ
2iTHH(X ) = THHj−i(X )
Renumber: Double filtration degree
E2r2i,j = (E r
i,i+j)old, d2r = (dr )old
Spectral SequenceConditionally convergent spectral sequence
E22i,j = THHj(X ) =⇒ TP2i+j(X ). (E r
2i+1,j = 0)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 10 / 16
![Page 81: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/81.jpg)
Structure and Properties
Combining the Multiplication and Filtration
Multiplicative spectral sequence:
TP(X ) ∧ TP(Y )→ TP(X ∧ Y ) a filtered map
? Coherent model?
In homotopy category, easy obstruction theory cellular approximationto diagonal & multiplication.
What about TP(X ) ∧TP(R) TP(X )→ TP(X ∧R Y )?=⇒ map of spectral sequences
Definitely not with symmetry. What about just associativity?
Coherently homotopy associative cellular approximation to diagonal?
Multiplication FiltrationDiagonal ET→ ET× ET Simplicial/cellular filt. on ETMult. ET ∧ ET ' ET Filtration on ET
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 11 / 16
![Page 82: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/82.jpg)
Structure and Properties
Combining the Multiplication and Filtration
Multiplicative spectral sequence:
TP(X ) ∧ TP(Y )→ TP(X ∧ Y ) a filtered map
? Coherent model?
In homotopy category, easy obstruction theory cellular approximationto diagonal & multiplication.
What about TP(X ) ∧TP(R) TP(X )→ TP(X ∧R Y )?=⇒ map of spectral sequences
Definitely not with symmetry. What about just associativity?
Coherently homotopy associative cellular approximation to diagonal?
Multiplication FiltrationDiagonal ET→ ET× ET Simplicial/cellular filt. on ETMult. ET ∧ ET ' ET Filtration on ET
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 11 / 16
![Page 83: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/83.jpg)
Structure and Properties
Combining the Multiplication and Filtration
Multiplicative spectral sequence:
TP(X ) ∧ TP(Y )→ TP(X ∧ Y ) a filtered map
? Coherent model?
In homotopy category, easy obstruction theory cellular approximationto diagonal & multiplication.
What about TP(X ) ∧TP(R) TP(X )→ TP(X ∧R Y )?=⇒ map of spectral sequences
Definitely not with symmetry. What about just associativity?
Coherently homotopy associative cellular approximation to diagonal?
Multiplication FiltrationDiagonal ET→ ET× ET Simplicial/cellular filt. on ETMult. ET ∧ ET ' ET Filtration on ET
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 11 / 16
![Page 84: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/84.jpg)
Structure and Properties
Combining the Multiplication and Filtration
Multiplicative spectral sequence:
TP(X ) ∧ TP(Y )→ TP(X ∧ Y ) a filtered map
? Coherent model?
In homotopy category, easy obstruction theory cellular approximationto diagonal & multiplication.
What about TP(X ) ∧TP(R) TP(X )→ TP(X ∧R Y )?=⇒ map of spectral sequences
Definitely not with symmetry. What about just associativity?
Coherently homotopy associative cellular approximation to diagonal?
Multiplication FiltrationDiagonal ET→ ET× ET Simplicial/cellular filt. on ETMult. ET ∧ ET ' ET Filtration on ET
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 11 / 16
![Page 85: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/85.jpg)
Structure and Properties
Combining the Multiplication and Filtration
Multiplicative spectral sequence:
TP(X ) ∧ TP(Y )→ TP(X ∧ Y ) a filtered map? Coherent model?
In homotopy category, easy obstruction theory cellular approximationto diagonal & multiplication.
What about TP(X ) ∧TP(R) TP(X )→ TP(X ∧R Y )?=⇒ map of spectral sequences
Definitely not with symmetry. What about just associativity?
Coherently homotopy associative cellular approximation to diagonal?
Multiplication FiltrationDiagonal ET→ ET× ET Simplicial/cellular filt. on ETMult. ET ∧ ET ' ET Filtration on ET
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 11 / 16
![Page 86: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/86.jpg)
Structure and Properties
Combining the Multiplication and Filtration
Multiplicative spectral sequence:
TP(X ) ∧ TP(Y )→ TP(X ∧ Y ) a filtered map? Coherent model?
In homotopy category, easy obstruction theory cellular approximationto diagonal & multiplication.
What about TP(X ) ∧TP(R) TP(X )→ TP(X ∧R Y )?=⇒ map of spectral sequences
Definitely not with symmetry.
What about just associativity?
Coherently homotopy associative cellular approximation to diagonal?
Multiplication FiltrationDiagonal ET→ ET× ET Simplicial/cellular filt. on ETMult. ET ∧ ET ' ET Filtration on ET
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 11 / 16
![Page 87: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/87.jpg)
Structure and Properties
Combining the Multiplication and Filtration
Multiplicative spectral sequence:
TP(X ) ∧ TP(Y )→ TP(X ∧ Y ) a filtered map? Coherent model?
In homotopy category, easy obstruction theory cellular approximationto diagonal & multiplication.
What about TP(X ) ∧TP(R) TP(X )→ TP(X ∧R Y )?=⇒ map of spectral sequences
Definitely not with symmetry. What about just associativity?
Coherently homotopy associative cellular approximation to diagonal?
Multiplication FiltrationDiagonal ET→ ET× ET Simplicial/cellular filt. on ETMult. ET ∧ ET ' ET Filtration on ET
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 11 / 16
![Page 88: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/88.jpg)
Structure and Properties
Combining the Multiplication and Filtration
Multiplicative spectral sequence:
TP(X ) ∧ TP(Y )→ TP(X ∧ Y ) a filtered map? Coherent model?
In homotopy category, easy obstruction theory cellular approximationto diagonal & multiplication.
What about TP(X ) ∧TP(R) TP(X )→ TP(X ∧R Y )?=⇒ map of spectral sequences
Definitely not with symmetry. What about just associativity?
Coherently homotopy associative cellular approximation to diagonal?
Multiplication FiltrationDiagonal ET→ ET× ET Simplicial/cellular filt. on ETMult. ET ∧ ET ' ET Filtration on ET
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 11 / 16
![Page 89: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/89.jpg)
Structure and Properties
Combining the Multiplication and Filtration
Multiplicative spectral sequence:
TP(X ) ∧ TP(Y )→ TP(X ∧ Y ) a filtered map? Coherent model?
In homotopy category, easy obstruction theory cellular approximationto diagonal & multiplication.
What about TP(X ) ∧TP(R) TP(X )→ TP(X ∧R Y )?=⇒ map of spectral sequences
Definitely not with symmetry. What about just associativity?
Coherently homotopy associative cellular approximation to diagonal?
Multiplication FiltrationDiagonal ET→ ET× ET Simplicial/cellular filt. on ETMult. ET ∧ ET ' ET Filtration on ET
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 11 / 16
![Page 90: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/90.jpg)
Structure and Properties
Combining the Multiplication and Filtration
Multiplicative spectral sequence:
TP(X ) ∧ TP(Y )→ TP(X ∧ Y ) a filtered map? Coherent model?
In homotopy category, easy obstruction theory cellular approximationto diagonal & multiplication.
What about TP(X ) ∧TP(R) TP(X )→ TP(X ∧R Y )?=⇒ map of spectral sequences
Definitely not with symmetry. What about just associativity?
Coherently homotopy associative cellular approximation to diagonal!
Multiplication FiltrationDiagonal ET→ ET× ET Simplicial/cellular filt. on ETMult. ET ∧ ET ' ET Filtration on ET
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 11 / 16
![Page 91: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/91.jpg)
Digression
Approximation of the diagonal for simplicial spaces
Let X• be a simplicial space, |X•| its geometric realization. |X n• | vs |X•|n
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Find an A∞ operad A and a map of operadsA(n)→ Filt(|X•|, |X•|n) ⊂ T (|X•|, |X•|n).
Barycentric Coordinates and Milnor Coordinates on ∆[m]
Barycentric t0, . . . , tm,∑
ti = 1↔ Milnor 0 ≤ u0 ≤ u1 ≤ · · · ≤ um−1 ≤ 1
An element in |X•| is specified by (x ∈ Xm,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 12 / 16
![Page 92: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/92.jpg)
Digression
Approximation of the diagonal for simplicial spaces
Let X• be a simplicial space, |X•| its geometric realization. |X n• | vs |X•|n
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Find an A∞ operad A and a map of operadsA(n)→ Filt(|X•|, |X•|n) ⊂ T (|X•|, |X•|n).
Barycentric Coordinates and Milnor Coordinates on ∆[m]
Barycentric t0, . . . , tm,∑
ti = 1↔ Milnor 0 ≤ u0 ≤ u1 ≤ · · · ≤ um−1 ≤ 1
An element in |X•| is specified by (x ∈ Xm,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 12 / 16
![Page 93: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/93.jpg)
Digression
Approximation of the diagonal for simplicial spaces
Let X• be a simplicial space, |X•| its geometric realization. |X n• | vs |X•|n
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Find an A∞ operad A and a map of operadsA(n)→ Filt(|X•|, |X•|n) ⊂ T (|X•|, |X•|n).
Barycentric Coordinates and Milnor Coordinates on ∆[m]
Barycentric t0, . . . , tm,∑
ti = 1↔ Milnor 0 ≤ u0 ≤ u1 ≤ · · · ≤ um−1 ≤ 1
An element in |X•| is specified by (x ∈ Xm,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 12 / 16
![Page 94: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/94.jpg)
Digression
Approximation of the diagonal for simplicial spaces
Let X• be a simplicial space, |X•| its geometric realization. |X n• | vs |X•|n
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Find an A∞ operad A and a map of operadsA(n)→ Filt(|X•|, |X•|n) ⊂ T (|X•|, |X•|n).
Barycentric Coordinates and Milnor Coordinates on ∆[m]
Barycentric t0, . . . , tm,∑
ti = 1↔ Milnor 0 ≤ u0 ≤ u1 ≤ · · · ≤ um−1 ≤ 1
An element in |X•| is specified by (x ∈ Xm,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 12 / 16
![Page 95: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/95.jpg)
Digression
Approximation of the diagonal for simplicial spaces
Let X• be a simplicial space, |X•| its geometric realization. |X n• | vs |X•|n
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Find an A∞ operad A and a map of operadsA(n)→ Filt(|X•|, |X•|n) ⊂ T (|X•|, |X•|n).
Barycentric Coordinates and Milnor Coordinates on ∆[m]
Barycentric t0, . . . , tm,∑
ti = 1↔ Milnor 0 ≤ u0 ≤ u1 ≤ · · · ≤ um−1 ≤ 1
An element in |X•| is specified by (x ∈ Xm,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 12 / 16
![Page 96: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/96.jpg)
Digression
Approximation of the diagonal for simplicial spaces (ii)
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Solution
1 The overlapping little 1-cubes operad CΞ1
2 The map CΞ1 → T (|X•|, |X•|n).
3 little 1-cubes operad C1 ⊂ CΞ1 .
An element c ∈ CΞ(n) specifies n monotonic PL maps gi : I → I
(x ,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1) 7→((x ,0 ≤ g1(u0) ≤ · · · ≤ g1(um−1) ≤ 1), . . . ,
(x ,0 ≤ gn(u0) ≤ · · · ≤ gn(um−1) ≤ 1))
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 13 / 16
![Page 97: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/97.jpg)
Digression
Approximation of the diagonal for simplicial spaces (ii)
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Solution1 The overlapping little 1-cubes operad CΞ
1
2 The map CΞ1 → T (|X•|, |X•|n).
3 little 1-cubes operad C1 ⊂ CΞ1 .
An element c ∈ CΞ(n) specifies n monotonic PL maps gi : I → I
(x ,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1) 7→((x ,0 ≤ g1(u0) ≤ · · · ≤ g1(um−1) ≤ 1), . . . ,
(x ,0 ≤ gn(u0) ≤ · · · ≤ gn(um−1) ≤ 1))
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 13 / 16
![Page 98: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/98.jpg)
Digression
Approximation of the diagonal for simplicial spaces (ii)
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Solution1 The overlapping little 1-cubes operad CΞ
12 The map CΞ
1 → T (|X•|, |X•|n).
3 little 1-cubes operad C1 ⊂ CΞ1 .
An element c ∈ CΞ(n) specifies n monotonic PL maps gi : I → I
(x ,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1) 7→((x ,0 ≤ g1(u0) ≤ · · · ≤ g1(um−1) ≤ 1), . . . ,
(x ,0 ≤ gn(u0) ≤ · · · ≤ gn(um−1) ≤ 1))
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 13 / 16
![Page 99: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/99.jpg)
Digression
Approximation of the diagonal for simplicial spaces (ii)
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Solution1 The overlapping little 1-cubes operad CΞ
12 The map CΞ
1 → T (|X•|, |X•|n).
3 little 1-cubes operad C1 ⊂ CΞ1 .
An element c ∈ CΞ(n) specifies n monotonic PL maps gi : I → I
(x ,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1) 7→((x ,0 ≤ g1(u0) ≤ · · · ≤ g1(um−1) ≤ 1), . . . ,
(x ,0 ≤ gn(u0) ≤ · · · ≤ gn(um−1) ≤ 1))
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 13 / 16
![Page 100: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/100.jpg)
Digression
Approximation of the diagonal for simplicial spaces (ii)
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Solution1 The overlapping little 1-cubes operad CΞ
12 The map CΞ
1 → T (|X•|, |X•|n).
3 little 1-cubes operad C1 ⊂ CΞ1 .
An element c ∈ CΞ(n) specifies n monotonic PL maps gi : I → I
(x ,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1) 7→((x ,0 ≤ g1(u0) ≤ · · · ≤ g1(um−1) ≤ 1), . . . ,
(x ,0 ≤ gn(u0) ≤ · · · ≤ gn(um−1) ≤ 1))
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 13 / 16
![Page 101: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/101.jpg)
Digression
Approximation of the diagonal for simplicial spaces (ii)
ProblemParametrize a contractible spaces of filtered approximations of thediagonal maps |X•| → |X•|n for all n that compose appropriately.
Solution1 The overlapping little 1-cubes operad CΞ
12 The map CΞ
1 → T (|X•|, |X•|n).3 little 1-cubes operad C1 ⊂ CΞ
1 .
An element c ∈ CΞ(n) specifies n monotonic PL maps gi : I → I
(x ,0 ≤ u0 ≤ · · · ≤ um−1 ≤ 1) 7→((x ,0 ≤ g1(u0) ≤ · · · ≤ g1(um−1) ≤ 1), . . . ,
(x ,0 ≤ gn(u0) ≤ · · · ≤ gn(um−1) ≤ 1))
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 13 / 16
![Page 102: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/102.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Applied to TP
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 103: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/103.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Applied to TP
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 104: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/104.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Applied to TP
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 105: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/105.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Applied to TP
F−iTP(X ) ∧ F−jTP(X )→ F−i−jTP(X ∧ Y )
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 106: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/106.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
Little 1-cubes: Moore construction (Moore loop space)
Use length parameter to make fully associative
F−iTP(X ) ∧ R>0+ ∧ F−jTP(Y ) ∧ R>0
+ → F−i−jTP(X ∧ Y ) ∧ R>0+
Filtered monoidal TPM(X ) ∧ TPM(Y )→ TPM(X ∧ Y )
TPM(X ) ∧TPM (R) TPM(Y )→ TPM(X ∧R Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 107: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/107.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
Little 1-cubes: Moore construction (Moore loop space)
Use length parameter to make fully associative
F−iTP(X ) ∧ R>0+ ∧ F−jTP(Y ) ∧ R>0
+ → F−i−jTP(X ∧ Y ) ∧ R>0+
Filtered monoidal TPM(X ) ∧ TPM(Y )→ TPM(X ∧ Y )
TPM(X ) ∧TPM (R) TPM(Y )→ TPM(X ∧R Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 108: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/108.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
Little 1-cubes: Moore construction (Moore loop space)
Use length parameter to make fully associative
F−iTP(X ) ∧ R>0+ ∧ F−jTP(Y ) ∧ R>0
+ → F−i−jTP(X ∧ Y ) ∧ R>0+
Filtered monoidal TPM(X ) ∧ TPM(Y )→ TPM(X ∧ Y )
TPM(X ) ∧TPM (R) TPM(Y )→ TPM(X ∧R Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 109: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/109.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
Little 1-cubes: Moore construction (Moore loop space)
Use length parameter to make fully associative
F−iTP(X ) ∧ R>0+ ∧ F−jTP(Y ) ∧ R>0
+ → F−i−jTP(X ∧ Y ) ∧ R>0+
Filtered monoidal TPM(X ) ∧ TPM(Y )→ TPM(X ∧ Y )
TPM(X ) ∧TPM (R) TPM(Y )→ TPM(X ∧R Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 110: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/110.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
Little 1-cubes: Moore construction (Moore loop space)
Use length parameter to make fully associative
F−iTP(X ) ∧ R>0+ ∧ F−jTP(Y ) ∧ R>0
+ → F−i−jTP(X ∧ Y ) ∧ R>0+
Filtered monoidal TPM(X ) ∧ TPM(Y )→ TPM(X ∧ Y )
TPM(X ) ∧TPM (R) TPM(Y )→ TPM(X ∧R Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 111: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/111.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
Little 1-cubes: Moore construction (Moore loop space)
Use length parameter to make fully associative
F−iTP(X ) ∧ R>0+ ∧ F−jTP(Y ) ∧ R>0
+ → F−i−jTP(X ∧ Y ) ∧ R>0+
Filtered monoidal TPM(X ) ∧ TPM(Y )→ TPM(X ∧ Y )
TPM(X ) ∧TPM (R) TPM(Y )→ TPM(X ∧R Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 112: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/112.jpg)
Digression
Filtered Monoidal Structure
A filtered approximation of the diagonal gives a mapETi+j−1 → (ETi−1 × ET) ∪ (ET× ETj−1) ⊂ ET× ET
Hence a map (ET,ETi+j−1)→ (ET,ETi−1)× (ET,ETj−1)
Parametrized
C1(n)+ ∧ F−i1TP(X1) ∧ · · · ∧ F−in TP(Xn)→ F−i1−···−in TP(X1 ∧ · · · ∧ Xn)
Little 1-cubes: Moore construction (Moore loop space)
Use length parameter to make fully associative
F−iTP(X ) ∧ R>0+ ∧ F−jTP(Y ) ∧ R>0
+ → F−i−jTP(X ∧ Y ) ∧ R>0+
Filtered monoidal TPM(X ) ∧ TPM(Y )→ TPM(X ∧ Y )
TPM(X ) ∧TPM (R) TPM(Y )→ TPM(X ∧R Y )
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 14 / 16
![Page 113: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/113.jpg)
Künneth Theorem
Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
Also map of filtered TP(R)-modules
=⇒ map of spectral sequences
preserving periodicity op. on E2
Righthand spectral sequence is Tate spectral sequence for
THH(X ∧R Y ) ∼= THH(X ) ∧THH(R) THH(Y )
E2 periodic with π∗(THH(X ) ∧THH(R) THH(Y )) in each even column
Lefthand spectral sequence has (renumbered) E2-term
π∗Gr(TP(X ) ∧TP(R) TP(Y )) ∼= π∗(Gr TP(X ) ∧Gr TP(R) Gr TP(Y ))
E2-term is π∗Gr TP(R)-module =⇒ (2,0)-periodic
Proposition
Map of spectral sequences is an isomorphism on E2
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 15 / 16
![Page 114: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/114.jpg)
Künneth Theorem
Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
Also map of filtered TP(R)-modules
=⇒ map of spectral sequences
preserving periodicity op. on E2
Righthand spectral sequence is Tate spectral sequence for
THH(X ∧R Y ) ∼= THH(X ) ∧THH(R) THH(Y )
E2 periodic with π∗(THH(X ) ∧THH(R) THH(Y )) in each even column
Lefthand spectral sequence has (renumbered) E2-term
π∗Gr(TP(X ) ∧TP(R) TP(Y )) ∼= π∗(Gr TP(X ) ∧Gr TP(R) Gr TP(Y ))
E2-term is π∗Gr TP(R)-module =⇒ (2,0)-periodic
Proposition
Map of spectral sequences is an isomorphism on E2
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 15 / 16
![Page 115: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/115.jpg)
Künneth Theorem
Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
Also map of filtered TP(R)-modules
=⇒ map of spectral sequences
preserving periodicity op. on E2
Righthand spectral sequence is Tate spectral sequence for
THH(X ∧R Y ) ∼= THH(X ) ∧THH(R) THH(Y )
E2 periodic with π∗(THH(X ) ∧THH(R) THH(Y )) in each even column
Lefthand spectral sequence has (renumbered) E2-term
π∗Gr(TP(X ) ∧TP(R) TP(Y )) ∼= π∗(Gr TP(X ) ∧Gr TP(R) Gr TP(Y ))
E2-term is π∗Gr TP(R)-module =⇒ (2,0)-periodic
Proposition
Map of spectral sequences is an isomorphism on E2
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 15 / 16
![Page 116: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/116.jpg)
Künneth Theorem
Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
Also map of filtered TP(R)-modules
=⇒ map of spectral sequences
preserving periodicity op. on E2
Righthand spectral sequence is Tate spectral sequence for
THH(X ∧R Y ) ∼= THH(X ) ∧THH(R) THH(Y )
E2 periodic with π∗(THH(X ) ∧THH(R) THH(Y )) in each even column
Lefthand spectral sequence has (renumbered) E2-term
π∗Gr(TP(X ) ∧TP(R) TP(Y )) ∼= π∗(Gr TP(X ) ∧Gr TP(R) Gr TP(Y ))
E2-term is π∗Gr TP(R)-module =⇒ (2,0)-periodic
Proposition
Map of spectral sequences is an isomorphism on E2
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 15 / 16
![Page 117: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/117.jpg)
Künneth Theorem
Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
Also map of filtered TP(R)-modules
=⇒ map of spectral sequences
preserving periodicity op. on E2
Righthand spectral sequence is Tate spectral sequence for
THH(X ∧R Y ) ∼= THH(X ) ∧THH(R) THH(Y )
E2 periodic with π∗(THH(X ) ∧THH(R) THH(Y )) in each even column
Lefthand spectral sequence has (renumbered) E2-term
π∗Gr(TP(X ) ∧TP(R) TP(Y )) ∼= π∗(Gr TP(X ) ∧Gr TP(R) Gr TP(Y ))
E2-term is π∗Gr TP(R)-module =⇒ (2,0)-periodic
Proposition
Map of spectral sequences is an isomorphism on E2
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 15 / 16
![Page 118: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/118.jpg)
Künneth Theorem
Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
Also map of filtered TP(R)-modules
=⇒ map of spectral sequences
preserving periodicity op. on E2
Righthand spectral sequence is Tate spectral sequence for
THH(X ∧R Y ) ∼= THH(X ) ∧THH(R) THH(Y )
E2 periodic with π∗(THH(X ) ∧THH(R) THH(Y )) in each even column
Lefthand spectral sequence has (renumbered) E2-term
π∗Gr(TP(X ) ∧TP(R) TP(Y )) ∼= π∗(Gr TP(X ) ∧Gr TP(R) Gr TP(Y ))
E2-term is π∗Gr TP(R)-module =⇒ (2,0)-periodic
Proposition
Map of spectral sequences is an isomorphism on E2
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 15 / 16
![Page 119: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/119.jpg)
Künneth Theorem
Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
Also map of filtered TP(R)-modules
=⇒ map of spectral sequences preserving periodicity op. on E2
Righthand spectral sequence is Tate spectral sequence for
THH(X ∧R Y ) ∼= THH(X ) ∧THH(R) THH(Y )
E2 periodic with π∗(THH(X ) ∧THH(R) THH(Y )) in each even column
Lefthand spectral sequence has (renumbered) E2-term
π∗Gr(TP(X ) ∧TP(R) TP(Y )) ∼= π∗(Gr TP(X ) ∧Gr TP(R) Gr TP(Y ))
E2-term is π∗Gr TP(R)-module =⇒ (2,0)-periodic
Proposition
Map of spectral sequences is an isomorphism on E2
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 15 / 16
![Page 120: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/120.jpg)
Künneth Theorem
Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
Also map of filtered TP(R)-modules
=⇒ map of spectral sequences preserving periodicity op. on E2
Righthand spectral sequence is Tate spectral sequence for
THH(X ∧R Y ) ∼= THH(X ) ∧THH(R) THH(Y )
E2 periodic with π∗(THH(X ) ∧THH(R) THH(Y )) in each even column
Lefthand spectral sequence has (renumbered) E2-term
π∗Gr(TP(X ) ∧TP(R) TP(Y )) ∼= π∗(Gr TP(X ) ∧Gr TP(R) Gr TP(Y ))
E2-term is π∗Gr TP(R)-module =⇒ (2,0)-periodic
Proposition
Map of spectral sequences is an isomorphism on E2
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 15 / 16
![Page 121: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/121.jpg)
Künneth Theorem
Outline of Proof of Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
induces isomorphism of E2-terms of spectral sequences
RHSS: Tate spectral sequence =⇒ conditionally convergent.
TheoremIf R = Hk and X and Y are smooth and proper, then the LHSS isconditionally convergent.
In fact, strongly convergent.
TheoremIf R is an E∞ ring spectrum and A is a smooth and proper R-algebra,then THH(A) is a compact THH(R)-module.
TP∗(k) = Wk [v , v−1] is periodicπ∗(F 0TP(k)) = Wk [v ,pv−1] has finite global dimension
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 16 / 16
![Page 122: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/122.jpg)
Künneth Theorem
Outline of Proof of Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
induces isomorphism of E2-terms of spectral sequences
RHSS: Tate spectral sequence =⇒ conditionally convergent.
TheoremIf R = Hk and X and Y are smooth and proper, then the LHSS isconditionally convergent.
In fact, strongly convergent.
TheoremIf R is an E∞ ring spectrum and A is a smooth and proper R-algebra,then THH(A) is a compact THH(R)-module.
TP∗(k) = Wk [v , v−1] is periodicπ∗(F 0TP(k)) = Wk [v ,pv−1] has finite global dimension
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 16 / 16
![Page 123: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/123.jpg)
Künneth Theorem
Outline of Proof of Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
induces isomorphism of E2-terms of spectral sequences
RHSS: Tate spectral sequence =⇒ conditionally convergent.
TheoremIf R = Hk and X and Y are smooth and proper, then the LHSS isconditionally convergent.
In fact, strongly convergent.
TheoremIf R is an E∞ ring spectrum and A is a smooth and proper R-algebra,then THH(A) is a compact THH(R)-module.
TP∗(k) = Wk [v , v−1] is periodicπ∗(F 0TP(k)) = Wk [v ,pv−1] has finite global dimension
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 16 / 16
![Page 124: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/124.jpg)
Künneth Theorem
Outline of Proof of Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
induces isomorphism of E2-terms of spectral sequences
RHSS: Tate spectral sequence =⇒ conditionally convergent.
TheoremIf R = Hk and X and Y are smooth and proper, then the LHSS isconditionally convergent.
In fact, strongly convergent.
TheoremIf R is an E∞ ring spectrum and A is a smooth and proper R-algebra,then THH(A) is a compact THH(R)-module.
TP∗(k) = Wk [v , v−1] is periodicπ∗(F 0TP(k)) = Wk [v ,pv−1] has finite global dimension
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 16 / 16
![Page 125: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/125.jpg)
Künneth Theorem
Outline of Proof of Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
induces isomorphism of E2-terms of spectral sequences
RHSS: Tate spectral sequence =⇒ conditionally convergent.
TheoremIf R = Hk and X and Y are smooth and proper, then the LHSS isconditionally convergent. In fact, strongly convergent.
TheoremIf R is an E∞ ring spectrum and A is a smooth and proper R-algebra,then THH(A) is a compact THH(R)-module.
TP∗(k) = Wk [v , v−1] is periodicπ∗(F 0TP(k)) = Wk [v ,pv−1] has finite global dimension
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 16 / 16
![Page 126: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/126.jpg)
Künneth Theorem
Outline of Proof of Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
induces isomorphism of E2-terms of spectral sequences
RHSS: Tate spectral sequence =⇒ conditionally convergent.
TheoremIf R = Hk and X and Y are smooth and proper, then the LHSS isconditionally convergent. In fact, strongly convergent.
TheoremIf R is an E∞ ring spectrum and A is a smooth and proper R-algebra,then THH(A) is a compact THH(R)-module.
TP∗(k) = Wk [v , v−1] is periodic
π∗(F 0TP(k)) = Wk [v ,pv−1] has finite global dimension
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 16 / 16
![Page 127: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/127.jpg)
Künneth Theorem
Outline of Proof of Künneth Theorem
Filtered map TP(X ) ∧TP(R) TP(Y )→ TP(X ∧R Y )
induces isomorphism of E2-terms of spectral sequences
RHSS: Tate spectral sequence =⇒ conditionally convergent.
TheoremIf R = Hk and X and Y are smooth and proper, then the LHSS isconditionally convergent. In fact, strongly convergent.
TheoremIf R is an E∞ ring spectrum and A is a smooth and proper R-algebra,then THH(A) is a compact THH(R)-module.
TP∗(k) = Wk [v , v−1] is periodicπ∗(F 0TP(k)) = Wk [v ,pv−1] has finite global dimension
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 16 / 16
![Page 128: A Strong Künneth Theorem for Periodic Topological Cyclic ... · Topological periodic cyclic homology (TP) is the analogue of periodic cyclic homology (HP) using THH in place of HH](https://reader033.vdocument.in/reader033/viewer/2022052002/6015683085fbeb6c746f0c92/html5/thumbnails/128.jpg)
Questions and Answers
M.A.Mandell (IU) Topological Periodic Cyclic Homology Mar 2017 17 / 17