Invariants in derived analytic and noncommutative geometry.

Recent work on the foundations of functional analysis has enabled the use of tools from homotopy theory to develop a unified approach towards derived and noncommutative geometry, expressing (derived) algebraic and analytic geometry as special cases. Derived geometry studies schemes and algebraic stacks in the algebraic case, and analytic spaces and stacks over a base Banach ring in the analytic setting. The way these geometric objects are often studied is through invariants of noncommutative algebras
or categories of such algebras) that are naturally associated to them. The most fundamental such noncommutative invariant is algebraic K-theory, which is the so-called universal localising invariant. Algebraic K-theory is however hard to compute as it lacks an important property called excision, and can therefore only be approximated by cyclic homology and its variants.

In this project, we will study K-theory and its approximations in the context of analytic and noncommutative geometry – both of which can be studied using the framework of bornologies, following the work of Ben-Bassat, Kremnizer and Meyer. More concretely, we will use the recently discovered continuous K-theory by Efimov to define a version of infinitesimal K-theory for bornological algebras and show that it measures the obstruction to excision in algebraic K-theory and negative cyclic homology, thereby extending a landmark result to the analytic setting.

Opposite to K-theory is periodic cyclic homology, which satisfies several desirable properties when one works over a base field of characteristic zero. In positive characteristic, however, periodic cyclic homology is badly behaved. A recently developed invariant called analytic cyclic homology corrects its defects. In the second part of the proposal, we will show that this theory coincides with periodic cyclic homology for suitable rigid analytic spaces and nonarchimedean completed group algebras for hyperbolic and reductive p-adic groups.