Prof. Dr. Thomas Nikolaus, Mathematisches Institut

The goal of this project is to study cohomology theories for schemes in order to attack important open problems in arithmetic. Among these theories are topological periodic homology (TP), topological cyclic homology (TC), rational de Rham–Witt cohomology, prismatic cohomology, K-theory, L-Theory and leafwise cohomology of associated dynamical systems. We will prove structural results about those theories as well as make further calculations of specific cases.

The general goal of the project is to study the homological algebra of stable infinity-categories and Poincaré infinity-categories. This is done through the theory of non-commutative motives and Efimov K-Theory. Concrete goals are to give a new approach to controlled algebra (thereby attacking open problems and conjectures in geometric topology) and obtain new structural results about the category of motives. The latter thus yields new results about K-Theory and TC, e.g. we try to resolve the long-standing open question about a universal property for TC.