geometric representation theory
representation, 2-representation, ∞-representation
Grothendieck group, lambda-ring, symmetric function, formal group
principal bundle, torsor, vector bundle, Atiyah Lie algebroid
Eilenberg-Moore category, algebra over an operad, actegory, crossed module
Be?linson-Bernstein localization?
In representation theory a norm map is a canonical morphism from coinvariants to invariants of a given action which, in suitably well behaved cases is given by group averaging.
(e.g Lurie, constructions 6.1.6.4, 6.1.6.8, 6.1.6.18)
For ∞-actions of finite groups $G$ on objects $E$ in stable (∞,1)-categories, then the homotopy cofiber $X^{t G}$ of the norm map is called the Tate construction, sitting in a homotopy fiber sequence
(e.g Lurie, def. 6.1.6.24)
For the stable (∞,1)-category of spectra this is accordingly called the Tate spectrum.
The general abstract construction is due to
Review with an eye towards discussion of topological cyclic homology is in section I.1 of
Last revised on July 23, 2017 at 20:52:55. See the history of this page for a list of all contributions to it.