This book is dedicated to equivariant mathematics, specifically the study of additive categories of objects with actions of finite groups. The framework of Mackey 2-functors axiomatizes the variance of such categories as a function of the group. In other words, it provides a categorification of the widely used notion of Mackey functor, familiar to representation theorists and topologists.
The book contains an extended catalogue of examples of such Mackey 2-functors that are already in use in many mathematical fields from algebra to topology, from geometry to KK-theory. Among the first results of the theory, the ambidexterity theorem gives a way to construct further examples and the separable monadicity theorem explains how the value of a Mackey 2-functor at a subgroup can be carved out of the value at a larger group, by a construction that generalizes ordinary localization in the same way that the étale topology generalizes the Zariski topology. The second part of the book provides a motivic approach to Mackey 2-functors, 2-categorifying the well-known span construction of Dress and Lindner. This motivic theory culminates with the following application: The idempotents of Yoshida’s crossed Burnside ring are the universal source of block decompositions.
The book is self-contained, with appendices providing extensive background and terminology. It is written for graduate students and more advanced researchers interested in category theory, representation theory and topology.
Keywords: Groupoids, Mackey formula, equivariant, 2-functors, derivators, ambidexterity, separable monadicity, spans, string diagrams, motivic decompositions, Burnside algebras
Author(s): Paul Balmer, Ivo Dell'Ambrogio
Publisher: European Mathematical Society
Year: 2020
Language: English
Pages: 237
Introduction
Survey of results
The definition of Mackey 2-functors
Rectification
Separable monadicity
Mackey 2-functors and Grothendieck derivators
Mackey 2-motives
Pointers to related works
Mackey 2-functors
Comma and iso-comma squares
Mackey squares
General Mackey 2-functors
Separable monadicity
Decategorification
Rectification and ambidexterity
Self iso-commas
Comparing the legs of a self iso-comma
The canonical morphism from left to right adjoint
Rectification of Mackey 2-functors
Examples
Examples from additive derivators
Mackey sub-2-functors and quotients
Extending examples from groups to groupoids
Mackey 2-functors of equivariant objects
Bicategories of spans
Spans in a (2,1)-category
The universal property of spans
Bicategorical upgrades of the universal property
Pullback of 2-cells in the bicategory of spans
Heuristic account and the 2-dual version
Mackey 2-motives
Mackey 2-motives and their universal property
A strict presentation and a calculus of string diagrams
The bicategory of Mackey 2-functors
Additive Mackey 2-motives and decompositions
Additive Mackey 2-motives
The Yoneda 2-embedding
Presheaves over a Mackey 2-functor
Crossed Burnside rings and Mackey 2-motives
Motivic decompositions of Mackey 2-functors
Appendix A: Categorical reminders
Bicategories and 2-categories
Mates
String diagrams
How to read string diagrams in this book
The ordinary category of spans
Additivity for categories
Additivity for bicategories
Appendix B: Ordinary Mackey functors on a given group
Bibliography
Index