Adelic models, rigidity and equivariant cohomology

点击翻译按钮获取中文摘要

Algebraic topology aims to capture the essence of geometric problems in rigid algebraic invariants. In fact the invariants themselves are a legitimate subject of study: if one seeks to find good invariants, it is useful to be able to look at all invariants and choose those that are particularly well structured, or which capture the phenomena you care about. An example of particular interest in this project is when we take symmetries into account (for example all of the geometric objects might have a specified rotational symmetry that is part of the structure we want to capture). This collection of invariants has the structure of a so-called tensor-triangulated category (tt-category). The aim of the project is to give a standard way of building a model for a tt-category. This is a two step process, first identifying an object like an algebraic variety and its ring of functions, but then also identifying additional structure. Once the standard model is constructed we give criteria for showing that the resulting model is not just a good approximation but actually recovers the whole tt-category (rigidity). When it comes to rational equivariant cohomology theories this result is known for tori and rank 1 groups thanks to previous work of the PI and collaborators. A test of the effectiveness of the methods of this project is that it should apply to give an analysis of cohomology groups for a wide range of other compact Lie groups. Along the way, the project will study new invariants of a tt-category (adelic cohomology groups), calculate them in familiar cases and understand their role in rigidity. Another benefit of the uniform approach to tt-categories is that examples from one arena can sometimes be transported to another, and we aim to consider several examples of this type.