Interactions between C*-algebraic KK-theory and homotopy theory

Aim

Throughout the mid to late 20th century, K-theory has been an important tool in its various algebraic, topological, and analytic manifestations. Homotopy theory has long been a central language for studying algebraic and topological K-theory, in particular. Recently, there has been more work connecting the methods of homotopy theory and infinity categories to C*-algebraic K-theory as well, and the potential applications of this new perspective are still to be seen.

The aim of this 2-week online workshop will be to bring together researchers and students with backgrounds in either C*-algebraic KK-theory or homotopy theory to learn about the growing interactions between the two fields. The first week will consist of separate introductions to classical C*-algebraic KK-theory and infinity categories, which will be followed by a modern infinity categorical approach to C*-algebraic KK-theory. The second week will consist of research talks related to the interactions of these two fields.

There will be time during the second week for shorter contributed talks by early career mathematicians (PhD students and postdocs). We encourage those who are interested in speaking to submit a title and abstract in the registration form below by December 11, 2024.

Time

Dates: 7 - 10 January, and 13 - 17 January, 2025
Time: 16:00 - 18:30 CET / 09:00 - 11:30 CST
Zoom access data: Will be sent out to registered participants via E-Mail.
The specific time is chosen so that the workshop is hopefully accessible to people in various different time zones.

Speakers

Talks:

Pierre Albin
Ulrich Bunke
Bastiaan Cnossen
Marius Dadarlat
Ivo Dell'Ambrogio
Eugenia Ellis
Alexander Engel
Markus Land
Ralf Meyer
Devarshi Mukherjee
George Nadareishvili
Shintaro Nishikawa
Ulrich Pennig
Christian Voigt

Short Presentations:

Anupam Datta
Arturo Jaime
Georg Lehner
Georgii Makeev
Vikram Nadig
Chrisil Ouseph
Valerio Proietti
Luuk Stehouwer

Schedule

Week 1:

	Tuesday 07 Jan	Wednesday 08 Jan	Thursday 09 Jan	Friday 10 Jan
16:00 - 17:00 (CET)	Pierre Albin	Shintaro Nishikawa	Ulrich Bunke	Ulrich Pennig
17:30 - 18:30	Bastiaan Cnossen	Bastiaan Cnossen	Christian Voigt	Short Presentations

Week 2:

	Monday 13 Jan	Tuesday 14 Jan	Wednesday 15 Jan	Thursday 16 Jan	Friday 17 Jan
16:00 - 17:00 (CET)	Eugenia Ellis	Devarshi Mukherjee	Ivo Dell'Ambrogio	Markus Land	Alexander Engel
17:30 - 18:30	Ulrich Bunke	George Nadareishvili	Ralf Meyer	Short Presentations	Marius Dadarlat

Abstracts

Week 1:

Pierre Albin: An introduction to KK theory

I will give a brief introduction to KK theory from the point of view of the Atiyah-Singer index theorem.

Ulrich Bunke: KK-theory from the point of view of homotopy theory

The classical group-valued KK-theory can be organized into a triangulated category. In this talk I will explain that classical KK-theory is the homotopy category of a stable infinity category. I will discuss various aspects of constructions of such a stable infinity category.

Shintaro Nishikawa: The Baum-Connes Conjecture: An Introduction and Survey

This talk introduces the Baum-Connes Conjecture (BC) and explores a few subtopics. After a standard/traditional introduction to the BC, we discuss the distinctions and parallels between the BC and the Farrell-Jones Conjecture, examine the Higson-Kasparov theorem, and highlight the contributions of Julg and Lafforgue to the BC in the context of groups with Kazhdan's Property (T).

Ulrich Pennig: Twisted K-theory via homotopical algebra

There are (at least) two ways of defining twisted K-theory: From an operator-algebraic perspective it is given by K-theory of a bundle of C*-algebras, from a homotopy theoretic viewpoint it is defined using homotopy classes of sections of a bundle of spectra. In this talk I will outline how these two pictures nicely fit together when using the language of infinity-categories.

Week 2:

Ulrich Bunke: Homotopy theory for K-theory of crossed products

If a group G acts on a C*-algebra A, then one can form the crossed product A ⋊ G. In this talk I discuss the problem of calculating the K-theory K(A ⋊ G) of the crossed product in terms of the spectrum K(A) with the induced G-action. This talk should motivate to consider the K-theory of a C*-algebra as a spectrum rather than a graded abelian group.

Eugenia Ellis: Homotopy structures realizing algebraic kk-theory

Algebraic kk-theory, introduced by Cortiñas - Thom is a bivariant K-theory defined on the category of algebras over a commutative unital ring l. It consists of a triangulated category kk endowed with a functor j : Alg → kk that is the universal excisive, homotopy invariant and matrix-stable homology theory. Moreover, we can recover Weibel's homotopy K-theory from kk since we have kk(l,A) = KH(A) for any algebra A. In this work we see that the category of algebras with fibrations the split surjections and weak equivalences the kk-equivalences is a stable category of fibrant objects, whose homotopy category is kk. Using this we prove that kk_∞ the Dwyer-Kan localization of the ∞-category of algebras at kk-equivalences is a stable infinity category whose homotopy category is kk. (joint with Emanuel Rodriguez-Cirone)

Ralf Meyer: Classifying C*-algebras up to KK-equivalence

Several classification results for C*-algebras say that an equivalence between two C*-algebras in a suitable bivariant KK-theory that encodes extra structure such as ideals or a group action, lifts to an isomorphism of those C*-algebras, suitably compatible with the extra structure. This leads to the question how to classify objects in a bivariant KK-theory up to isomorphism using some simpler K-theoretic invariant. One method to produce prove that an invariant works for this is to show that any object has a projective resolution of length 1 in a certain sense. There are several examples where this exists. A rather sophisticated theorem about this due to my doctoral student Köhler is for C*-algebras with an action of a group of prime order. More generally, if an object has a projective resolution of length 2, then one may use a more general classification result proven by Bentmann and me. Besides the invariant used to set up the projective resolutions, this invariant contains an extra piece of information, which we call the obstruction class. This classification method applies, for instance, to C*-algebras with an action of the circle group or to graph C*-algebras with finite ideal lattice.

George Nadareishvili: Universal Coefficient Theorems in KK-theory.

During the talk, we briefly describe the general machinery for deriving Universal Coefficient Theorems in different categories of Kasparov's KK-theory. We go on to consider the KK-category of finite group actions that are equivalent to one on a Type I C*-algebra; we explain how after localising at the group order, we can specialize to the appropriate Universal Coefficient Theorem. The talk follows a joint work with Ralf Meyer.

Registration

You can register for the workshop and submit an abstract for a contributed talk via this Google form.

Organizers

Benjamin Dünzinger (Regensburg)
Yigal Kamel (Illinois)
Fredrick Mooers (Illinois)

HomeAboutPeopleEventsResearchRTGGuest ProgrammeImpressum