Past Functional Analysis Seminar

Groupoids provide a rich supply of C*-algebras, and there are many results describing the structure of these C*-algebras using properties of the underlying groupoid. For non-Hausdorff groupoids, less is known, largely due to the existence of 'singular' functions in the reduced C*-algebra. This talk will discuss two approaches to studying ideals in non-Hausdorff groupoid C*-algebras. The first uses Timmermann's Hausdorff cover to reduce certain problems to the setting of Hausdorff groupoids. The second will restrict to isotropy groups. For amenable second-countable étale groupoids, these techniques allow us to characterise when the ideal of singular functions has dense intersection with the underlying groupoid *-algebra. This is based on joint work with K. A. Brix, J. B. Hume, and X. Li, as well as upcoming work with J. B. Hume.

The Cuntz semigroup of a C*-algebra A consists of equivalence classes of positive elements, where equivalence means roughly that two positive elements have the same rank relative to A.  It can be thought of as a generalization of the Murray von Neumann semigroup to positive elements and is an incredibly sensitive invariant. We present a calculation of the homotopy groups of these Cuntz classes as topological subspaces of A when A is classifiable in the sense of Elliott.  Remarkably, outside the case of compact classes, these spaces turn out to be contractible.  

I will describe recent developments in information geometry (the study of optimal transport and entropy) for the setting of free probability.  One of the main goals of free probability is to model the large-n behavior of several $n \times n$ matrices $(X_1^{(n)},\dots,X_m^{(n)})$ chosen according to a sufficiently nice joint distribution that has a similar formula for each n (for instance, a density of the form constant times $e^{-n^2 \tr_n(p(x))}$ where $p$ is a non-commutative polynomial).  The limiting object is a tuple $(X_1,\dots,X_m)$ of operators from a von Neumann algebra.  We want the entropy and the optimal transportation distance of the probability distributions on $n \times n$ matrix tuples converge in some sense to their free probabilistic analogs, and so to obtain a theory of Wasserstein information geometry for the free setting.  I will present both negative results showing unavoidable difficulties in the free setting, and positive results showing that nonetheless several crucial aspects of information geometry do adapt.

Directed graph algebras have long been studied as tractable examples of C*-algebras, but they are limited by their inability to have torsion in their K_1 group. Graphs of groups, which are famed in geometric group theory because of their intimate connection with group actions on trees, are a more recent addition to the C*-algebra scene. In this talk, I will introduce the child of these two concepts – directed graphs of groups – and describe how their algebras inherit the best properties of its parents’, with a view to outlining how we can use these algebras to model a class of C*-algebras (stable UCT Kirchberg algebras) which is classified completely by K-theory.

Roe algebras were introduced in the late 1990's in the study of indices of elliptic operators on (locally compact) Riemannian manifolds. Roe was particularly interested in coarse equivalences of metric spaces, which is a weaker notion than that of quasi-isometry. In fact, soon thereafter it was realized that the isomorphism class of these class of C*-algebras did not depend on the coarse equivalence class of the manifold. The converse, that is, whether this class is a complete invariant, became known as the 'Rigidity Problem for Roe algebras'. In this talk we will discuss an affirmative answer to this question, and how to approach its proof. This is based on joint work with Federico Vigolo.

A landmark result in the study of locally compact, abelian groups is the Pontryagin duality. In simple terms, it says that for a given locally compact, abelian group G, one can uniquely associate another locally compact, abelian group called the Pontryagin dual of G. In the realm of C*-algebras, whenever such an abelian group G acts on a C*-algebra A, there is a canonical action of the dual group of G on the crossed product of A by G. In particular, it is natural to ask to what extent one can relate properties of the given G-action to those of the dual action. 

In this talk, I will first introduce a property for actions of locally compact abelian groups called the abelian Rokhlin property and then state a duality type result for this property. While the abelian Rokhlin property is in general weaker than the known Rokhlin property, these two properties coincide in the case of the acting group being the real numbers. Using the duality result mentioned above, I will give new examples of continuous actions of the real numbers which satisfy the Rokhlin property. Part of this talk is based on joint work with Johannes Christensen and Gábor Szabó.

A G-kernel is a group homomorphism from a (discrete) group G to Out(A), the outer automorphism group of a C*-algebra A. There are cohomological obstructions to lifting such a G-kernel to a group action. In the setting of von Neumann algebras, G-kernels on the hyperfinite II_1-factor have been completely understood via deep results of Connes, Jones and Ocneanu. 

In the talk I will explain how G-kernels on C*-algebras and the lifting obstructions can be interpreted in terms cohomology with coefficients in crossed modules. G-kernels, group actions and cocycle actions then give rise to induced maps on classifying spaces. For strongly self-absorbing C*-algebras these classifying spaces turn out to be infinite loop spaces creating a bridge to stable homotopy theory.

The talk is based on joint work with S. Giron Pacheco and M. Izumi, and with my PhD student V. Bianchi.
 

Let G be an infinite discrete group; e.g. free group, surface groups, or hyperbolic 3-manifold group.

Finite dimensional unitary representations of G of fixed dimension are usually very hard to understand. However, there are interesting notions of convergence of such representations as the dimension tends to infinity. One notion — strong convergence — is of interest both from the point of view of G alone but also through recently realized applications to spectral gaps of locally symmetric spaces. For example, this notion bypasses (unconditionally) the use of Selberg's Eigenvalue Conjecture in obtaining existence of large area hyperbolic surfaces with near-optimal spectral gaps. 

The talk is a broadly accessible discussion on these themes, based on joint works with W. Hide, L. Louder, D. Puder, J. Thomas, R. van Handel.

Quantized universal enveloping algebras admit an intriguing class of (unbounded) Hilbert space representations obtained via their cluster structure. In these so-called positive representations the standard generators act by (essentially self-adjoint) positive operators. 

The aim of this talk is to discuss some analytical questions arising in this context, and in particular to what extent these representations can be understood using the theory of locally compact quantum groups in the sense of Kustermans and Vaes. I will focus on the simplest case in rank 1, where many of the key features (and difficulties) are already visible. (Based on work in progress with Kenny De Commer, Gus Schrader and Alexander Shapiro). 

Building on the concept of diagonal dimension introduced by Li, Liao, and Winter in 2023, we propose a topological dimension for an inclusion pair of C*-algebras. This new framework allows for finite values in cases of Cartan inclusions that are not diagonal. In this talk, we present calculations for both upper and lower bounds concerning the inclusion of the unitization of c_0(\mathbb{N}) into the Toeplitz algebra. This work is a collaboration with W. Winter.

The landmark completion of the Elliott classification program for unital separable simple nuclear C*-algebras saw three regularity properties rise to prominence: Z-stability, a C*-algebraic analogue of von Neumann algebras' McDuffness; finite nuclear dimension, an operator algebraic version of having finite Lebesgue dimension; and strict comparison, a generalization of tracial comparison in II_1 factors. Given their relevance to classification, most of the investigations into their interplay have focused on the simple nuclear case.

 The purpose of this talk is to advertise the general study of these properties and discuss their applications both within and outside operator algebras. Concretely, I will explain how characterizing when certain twisted group C*-algebras are Z-stable can provide new partial solutions to a well-known problem in generalized time-frequency analysis; this is joint work with U. Enstad. If time allows, I will also briefly discuss how a different incarnation of tracial comparison (finite radius of comparison) for non-commutative tori relates to the existence of smooth Gabor frames; this last part is joint work with U. Enstad and also H. Thiel.

Guentner, Willet and Yu defined a notion of dynamic asymptotic dimension for an étale groupoid that can be used to bound the nuclear dimension of its groupoid C*-algebra.  To have finite dynamic asymptotic dimension, the isotropy subgroups of the groupoid must be locally finite.  I will discuss 1) how to use similar ideas to bound the nuclear dimension of the C*-algebra of a groupoid with `large' isotropy subgroups and 2) the limitations of that approach. In an application to the C*-algebra of a directed graph,  if the C*-algebra is stably finite, then its nuclear dimension is at most 1.  This is joint work with Dana Williams. 

Rota’s Alternierende Verfahren theorem in classical probability theory, which examines the convergence of iterates of measure preserving Markov operators, relies on a dilation technique. In the noncommutative setting of von Neumann algebras, this idea leads to the notion of absolute dilation.  

In this talk, we explore when a Fourier multiplier on a group von Neumann algebra is absolutely dilatable. We discuss conditions that guarantee absolute dilatability and present an explicit counterexample—a Fourier multiplier that does not satisfy this property. This talk is based on a joint work with Christian Le Merdy.

We propose a natural version of Connes' Rigidity Conjecture (1982) that involves property (T) groups with infinite centre. Using methods at the rich intersection between von Neumann algebras and geometric group theory, we identify several instances where this conjecture holds. This is joint work with Ionut Chifan, Denis Osin, and Hui Tan.

A classical result of Dixmier and Douady enables us to classify locally trivial bundles of C*-algebras with compact operators as fibres via methods in homotopy theory. Dadarlat and Pennig have shown that this generalises to the much larger family of bundles of stabilised strongly self-absorbing C*-algebras, which are classified by the first group of the cohomology theory associated to the units of complex topological K-theory. Building on work of Evans and Pennig I consider Z/pZ-equivariant C*-algebra bundles over Z/pZ-spaces. The fibres of these bundles are infinite tensor products of the endomorphism algebra of a Z/pZ-representation. In joint work with Pennig, we show that the theory refines completely to this equivariant setting. In particular, we prove a full classification of the C*-algebra bundles via equivariant stable homotopy theory.

A countable group G is said to be W*-superrigid if G can be entirely recovered from its ambient group von Neumann algebra L(G). I will present a series of joint works with Milan Donvil in which we establish new degrees of W*-superrigidity: isomorphisms may be replaced by virtual isomorphisms expressed by finite index bimodules, the group von Neumann algebra may be twisted by a 2-cocycle, the group G might have infinite center, or we may enlarge the category of discrete groups to the broader class of discrete quantum groups.

Self-similar groups are groups of automorphisms of infinite rooted trees obeying a simple but powerful rule. Under this rule, groups with exotic properties can be generated from very basic starting data, most famously the Grigorchuk group which was the first example of a group with intermediate growth.

Nekrashevych introduced a groupoid and a C*-algebra for a self-similar group action on a tree as models for some underlying noncommutative space for the system. Our goal is to compute the K-theory of the C*-algebra and the homology of the groupoid. Our main theorem provides long exact sequences which reduce the problems to group theory. I will demonstrate how to apply this theorem to fully compute homology and K-theory through the example of the Grigorchuk group.

This is joint work with Benjamin Steinberg.

Given two von Neumann algebras A,B with an action by a locally compact (quantum) group G, one can consider its associated equivariant correspondences, which are usual A-B-correspondences (in the sense of Connes) with a compatible unitary G-representation. We show how the category of such equivariant A-B-correspondences carries an analogue of the Fell topology, which is preserved under natural operations (such as crossed products or equivariant Morita equivalence). If time permits, we will discuss one particular interesting example of such a category of equivariant correspondences, which quantizes the representation category of SL(2,R). This is based on joint works with Joeri De Ro and Joel Dzokou Talla. 

Kasparov's bivariant K-theory (or KK-theory) is an extremely powerful invariant for both C*-algebras and C*-dynamical systems, which was originally motivated for a tool to solve classical problems coming from topology and geometry. Its paramount importance for classification theory was discovered soon after, impressively demonstrated within the Kirchberg-Phillips theorem to classify simple nuclear and purely infinite C*-algebras. Since then, it can be said that every methodological novelty about extracting information from KK-theory brought along some new breakthrough in classification theory. Perhaps the most important example of this is the Lin-Dadarlat-Eilers stable uniqueness theorem, which forms the technical basis behind many of the most important articles written over the past decade. In the recent landmark paper of Carrion et al, it was demonstrated how the stable uniqueness theorem can be upgraded to a uniqueness theorem of sorts under extra assumptions. It was then posed as an open problem whether the statement of a desired "KK-uniqueness theorem" always holds.

In this talk I want to present the affirmative answer to this question: If A and B are separable C*-algebras and (f,g) is a Cuntz pair of absorbing representations whose induced class in KK(A,B) vanishes, then f and g are strongly asymptotically unitarily equivalent. The talk shall focus on the main conceptual ideas towards this theorem, and I plan to discuss variants of the theorem if time permits. It turns out that the analogous KK-uniqueness theorem is true in a much more general context, which covers equivariant and/or ideal-related and/or nuclear KK-theory.

Two-dimensional chiral conformal field theories (CFTs) admit three distinct mathematical formulations: vertex operator algebras (VOAs), conformal nets, and Segal (functorial) chiral CFTs. With the broader aim to build fully extended Segal chiral CFTs, we start with the input of a conformal net. 

In this talk, we focus on presenting three equivalent constructions of the category of solitons, i.e. the category of solitonic representations of the net, which we propose is what theory (chiral CFT) assigns to a point. Solitonic representations of the net are one of the primary class of examples of bicommutant categories (a categorified analogue of a von Neumann algebras). The Drinfel’d centre of solitonic representations is the representation category of the conformal net which has been studied before, particularly in the context of rational CFTs (finite-index nets). If time permits, we will briefly outline ongoing work on bicommutant category modules (which are the structures assigned by the Segal Chiral CFT at the level of 1-manifolds), hinting towards a categorified analogue of Connes fusion of von Neumann algebra modules.

(Bicommutant categories act on W*-categories analogous to von Neumann algebras acting on Hilbert spaces)

In subfactor theory, it has been observed that operator algebras often admit symmetries beyond mere groups, sometimes called quantum symmetries. Besides recent substantial progress on the classification programs of simple amenable C*-algebras and group actions on them, there has been increasing interest in their quantum symmetries. This talk is devoted to an attempt to ensure the existence of various quantum symmetries on simple amenable C*-algebras, at least in the purely infinite case, by providing a systematic way to produce them. As a technical ingredient, a simplicity criterion for certain Pimsner algebras is given.

The reduced twisted C*-algebra A of an étale groupoid G has a canonical abelian subalgebra D: functions on G's unit space. When G has no non-trivial abelian subgroupoids (i.e., G is principal), then D is in fact maximal abelian. Remarkable work by Kumjian shows that the tuple (A,D) allows us to reconstruct the underlying groupoid G and its twist uniquely; this uses that D is not only masa but even what is called a C*-diagonal. In this talk, I show that twisted C*-algebras of non-principal groupoids can also have such C*-diagonal subalgebras, arising from non-trivial abelian subgroupoids, and I will discuss the reconstructed principal twisted groupoid of Kumjian for such pairs of algebras.

A trace on a group is a positive-definite conjugation-invariant function on it. These traces correspond to tracial states on the group's maximal  C*-algebra. In the past couple of decades, the study of traces has led to exciting connections to the rigidity, stability, and dynamics of groups. In this talk, I will explain these connections and focus on the topological structure of the space of traces of some groups. We will see the different behaviours of these spaces for free groups vs. higher-rank lattices, and how our strategy for the free group can be used to answer a question of Musat and Rørdam regarding free products of matrix algebras. This is based on joint works with Arie Levit, Joav Orovitz, and Itamar Vigdorovich.

The (Local) Lifting Property ((L)LP) is introduced by Kirchberg and deals with lifting completely positive maps. We will discuss various examples, characterizations, and closure properties of the (L)LP and, if time permits, connections with some other lifting properties of C*-algebras.  Joint work with Dominic Enders.

I will give a light introduction to the concept of a quantum expander, which is an analogue of an expander graph that arises in quantum information theory.  Most examples of quantum expanders that appear in the quantum information literature are obtained by random matrix techniques.  I will explain another, more algebraic approach to constructing quantum expanders, which is based on using actions and representations of discrete quantum groups with Kazhdan's property (T).  This is joint work with Eric Culf (U Waterloo) and Matthijs Vernooij (TU Delft).   

A C*-algebra is said to be residually finite-dimensional (RFD) when it has `sufficiently many' finite-dimensional representations. The RFD property is an important, and still somewhat mysterious notion, with subtle connections to residual finiteness properties of groups. In this talk I will present certain characterisations of the RFD property for C*-algebras of amenable étale groupoids and for C*-algebraic crossed products by amenable actions of discrete groups, extending (and inspired by) earlier results of Bekka, Exel, and Loring. I will also explain the role of the amenability assumption and describe several consequences of our main theorems. Finally, I will discuss some examples, notably these related to semidirect products of groups.

A non-local game involves two non-communicating players who cooperatively play to give winning pairs of answers to questions posed by an external referee. Non-local games provide a convenient framework for exhibiting quantum supremacy in accomplishing certain tasks and have become increasingly useful in quantum information theory, mathematics, computer science, and physics in recent years. Within mathematics, non-local games have deep connections with the field of operator algebras, group theory, graph theory, and combinatorics. In this talk, I will provide an introduction to the theory of non-local games and quantum correlation classes and show their connections to different branches of mathematics. We will discuss how entanglement-assisted strategies for non-local games may be interpreted and studied using tools from operator algebras, group theory, and combinatorics. I will then present a general framework of non-local games involving quantum questions and answers.

A C*-correspondence between two C*-algebras is a generalization of a *-homomorphism. Laca and Neshveyev showed that, like a *-homomorphism, there is an induced map between traces of the algebras. Given sufficient regularity conditions, the map defines a bounded operator between the spaces of (bounded) tracial linear functionals. 

This operator can be of independent interest - a special case of correspondence gives Ruelle's operator associated to a non-invertible discrete-time dynamical system, and the study of Ruelle's operator is the basis of his thermodynamic formalism. Moreover, by the work of Laca and Neshveyev, the operator's positive eigenvectors determine the KMS states of the gauge action on the Cuntz-Pimsner algebra of the correspondence.

Given a C*-correspondence from a C*-algebra to itself, we will present a sufficient condition on the C*-correspondence that implies the operator on traces has a unique positive eigenvector, and moreover a spectral gap. This result recovers the Perron-Frobenius theorem, aspects of Ruelle's thermodynamic formalism, and unique KMS state results for a variety of constructions of Cuntz-Pimsner algebras, including the C*-algebras associated to self-similar groupoids. The talk is based on work in progress.

The stable uniqueness theorem for KK-theory asserts that a Cuntz-pair of *-homomorphisms between separable C*-algebras gives the zero element in KK if and only if the *-homomorphisms are stably homotopic through a unitary path, in a specific sense. This result, along with its group equivariant analogue, has been crucial in the classification theory of C*-algebras and C*-dynamics. In this talk, I will present a unitary tensor category analogue of the stable uniqueness theorem and explore its application to a duality in tensor category equivariant KK-theory. To make the talk approachable even for those unfamiliar with actions of unitary tensor categories or KK-theory, I will introduce the relevant definitions and concepts, drawing comparisons with the case of group actions. This is joint work with Kan Kitamura and Robert Neagu.

The notion of semi-uniform stability of a strongly continuous semi-group refers to the stability of classical solutions of a linear evolution equation, and this has analogues with the classical Katznelson-Tzafriri theorem. The co-generator of a strongly continuous semigroup is a bounded linear operator that comes from a particular discrete approximation to the semigroup. After reviewing some background on (quantified) stability theory for semigroups and the Katznelson-Tzafriri theorem, I will present some results relating the stability of a strongly continuous semigroup with that of its cogenerator. This talk is based on joint work with David Seifert.

Roe type algebras are operator algebras designed to catch the large-scale behaviour of metric spaces. This talk focuses on the following question: if two Roe type algebras associated to spaces (X,d_X) and (Y,d_Y) are isomorphic, how similar are X and Y? We provide positive results proved in the last 5 years, and, if time allows it, we show that sometimes answers to this question are subject to set theoretic considerations

The classification program of C*-algebras aims to classify simple, separable, nuclear C*-algebras by their K-theory and traces, inspired by analogous results obtained for von Neumann algebras. A landmark result in this project was obtained in 2015, building upon the work of numerous researchers over the past 20 years. More recently, Carrión, Gabe, Schafhauser, Tikuisis, and White developed a new, more abstract approach to classification, which connects more explicitly to the von Neumann algebraic classification results. In their paper, they carry out this approach in the stably finite setting, while for the purely infinite case, they refer to the original result obtained by Kirchberg and Phillips. In this talk, I provide an overview of how the new approach can be adapted to classify purely infinite C*-algebras, recovering the Kirchberg-Phillips classification by K-theory and obtaining Kirchberg's absorption theorems as corollaries of classification rather than (pivotal) ingredients. This is joint work with Jamie Gabe.

In this talk, based on a joint work with Ilijas Farah, I will present an application of an old continuous selection theorem due to Michael to the study of II1 factors. More precisely, I'll show that if two strongly continuous paths (or loops) of projections (p_t), (q_t), for t in [0,1], in a II1 factor are such that every p_t is subequivalent to q_t, then the subequivalence can be realized by a strongly continuous path (or loop) of partial isometries. I will then use an extension of this result to solve affirmatively the so-called trace problem for factorial W*-bundles whose base space is 1-dimensional.

We discuss the trace problem and stable rank for tracialy complete C*-algebras

In the category of operator systems, identification comes via complete order isomorphisms, and so an operator system can be identified with a C*-algebra without itself being an algebra. So, when is an operator system a C*-algebra? This question has floated around the community for some time. From Choi and Effros, we know that injectivity is sufficient, but certainly not necessary outside of the finite-dimensional setting. In this talk, I will give a characterization in the separable nuclear setting coming from C*-encoding systems. This comes from joint work with Galke, van Lujik, and Stottmeister.

The Cuntz semigroup of a C*-algebra is an ordered monoid consisting of equivalence classes of positive elements in the stabilization of the algebra.  It can be thought of as a generalization of the Murray-von Neumann semigroup, and records substantial information about the structure of the algebra.  Here we examine the set of positive elements having a fixed equivalence class in the Cuntz semigroup of a simple, separable, exact and Z-stable C*-algebra and show that this set is path connected when the class is non-compact, i.e., does not correspond to the class of a projection in the C*-algebra.  This generalizes a known result from the setting of real rank zero C*-algebras.

The classification of simple, unital, nuclear UCT C*-algebras with finite nuclear dimension can be achieved using an invariant derived from K-theory and tracial information. In this talk, I will present a classification theorem for certain classes of C*-algebras that rely solely on tracial deformations.  

 Structural properties of C*-Algebras such as Stable Rank One, Real Rank Zero, and radius of comparison have played an important role in classification.  Crossed product C*-Algebras are useful examples to study because knowledge of the base Algebra can be leveraged to determine properties of the crossed product.  In this talk we will discuss the permanence of various structural properties when taking crossed products of several types.  Crossed products considered will include the usual C* crossed product by a group action along with generalizations such as crossed products by a partial automorphism.  

This talk is based on joint work with Julian Buck and N. Christopher Phillips and on joint work with Maria Stella Adamo, Marzieh Forough, Magdalena Georgescu, Ja A Jeong, Karen Strung, and Maria Grazia Viola.

The Zappa–Szép (ZS) product of two groupoids is a generalization of the semi-direct product: instead of encoding one groupoid action by homomorphisms, the ZS product groupoid encodes two (non-homomorphic, but “compatible”) actions of the groupoids on each other. I will show how to construct the ZS product of two twists over such groupoids and give an example using Weyl twists from Cartan pairs arising from Kumjian--Renault theory.

 Based on joint work with Boyu Li, New Mexico State University

The set $M_n(\mathbb{R})$ of all $n \times n$ matrices over the real numbers is an example of an algebraic structure called a $C^*$-algebra. The subalgebra $D$ of diagonal matrices has special properties and is called a \emph{Cartan subalgebra} of $M_n(\mathbb{R})$. Given an arbitrary $C^*$-algebra, it can be very hard (but also very rewarding) to find a Cartan subalgebra, if one exists at all. However, if the $C^*$-algebra is generated by a cocycle $c$ and a group (or groupoid) $G$, then it is natural to look within $G$ for a subgroup (or subgroupoid) $S$ that may give rise to a Cartan subalgebra. In this talk, we identify sufficient conditions on $S$ and $c$ so that the subalgebra generated by $(S,c)$ is indeed a Cartan subalgebra of the $C^*$-algebra generated by $(G,c)$. We then apply our theorem to $C^*$-algebras generated by $k$-graphs, which are directed graphs in higher dimensions. This is joint work with J. Briones Torres, A. Duwenig, L. Gallagher, E. Gillaspy, S. Reznikoff, H. Vu, and S. Wright.

A self-similar k-graph is a pair consisting of a (discrete countable) group and a k-graph, such that the group acts on the k-graph self-similarly. For such a pair, one can associate it with a universal C*-algebra, called the self-similar k-graph C*-algebra. This class of C*-algebras embraces many important and interesting C*-algebras,  such as the higher rank graph C*-algebras of Kumjian-Pask, the Katsura algebras,  the Nekrashevych algebras constructed from self-similar groups, and the Exel-Pardo algebra. 

In this talk, we will survey some results on self-similar k-graph C*-algebras. 

A central theme in the 40-year-old Ribe program is the quest for metric invariants that characterize local properties of Banach spaces. These invariants are usually closely related to the geometry of certain sequences of finite graphs (Hamming cubes, binary trees, diamond graphs...) and provide quantitative bounds on the bi-Lipschitz distortion of those graphs.

A more recent program, deeply influenced by the late Nigel Kalton, has a similar goal but for asymptotic properties instead. In this talk, we will motivate the (asymptotic) notions of infrasup umbel convexity (introduced in collaboration with Chris Gartland (UC San Diego)) and bicone convexity. These asymptotic notions are inspired by the profound work of Lee, Mendel, Naor, and Peres on the (local) notion of Markov convexity and of Eskenazis, Mendel, and Naor on the (local) notion of diamond convexity. 

All these metric invariants share the common feature of being derived from point-configuration inequalities which generalize curvature inequalities.

If time permits we will discuss the values of these invariants for Heisenberg groups.

A group is called W*-superrigid if its group von Neumann algebra completely remembers the original group. In this talk, I will present a recent joint work with Stefaan Vaes in which we generalize W*-superrigidity for groups in two directions. Firstly, we find a class of groups for which W*-superrigidity holds in the presence of a twist by an arbitrary 2-cocycle: the twisted group von Neumann algebra completely remembers both the original group and the 2-cocycle. Secondly, for the same class of groups, the superrigidity also holds up to virtual isomorphism.

Associated to every shift space, the Cuntz-Krieger algebra (C-K algebra for abbreviation) is an invariant of conjugacy defined and developed by K. Matsumoto, S. Eilers, T. Carlsen, and many of their collaborators in the last decade. In particular, Carlsen defined the C-K algebra to be the full groupoid C*-algebra of the “cover”, which is a topological system consisting of a surjective local homeomorphism on a zero-dimensional space induced by the shift space. 

In 2022, K. Brix proved that the C-K algebra of the Sturmian shift has finite nuclear dimension, where the Sturmian shift is the (unique) minimal shift space with the smallest complexity function: p_X(n)=n+1. In recent results (joint with Z. He), we show that for any minimal shift space with finitely many left special elements, its C-K algebra always have finite nuclear dimension. In fact, this can be further applied to the class of aperiodic shift spaces with non-superlinear growth complexity. 

Recently, Elliott, Li, and Niu proved a classification theorem for Villadsen-type algebras using the combination of the Elliott invariant and the radius of comparison, an invariant that was introduced by Toms in order to distinguish between certain non-isomorphic AH algebras with the same Elliott invariant. This might have raised the prospect that the Elliott classification program can be extended beyond the Z-stable case by adding the radius of comparison to the invariant. I will discuss a recent preprint in which we show that this is not the case: we construct an uncountable family of nonisomorphic AH algebras with the same Elliott and same radius of comparison. We can distinguish between them using a finer invariant, which we call the local radius of comparison. This is joint work with N. Christopher Phillips.

A $C^*$-diagonal is a certain commutative subalgebra of a $C^∗$ -algebra with a rich structure. Renault and Kumjian showed that finding a $C^*$ -diagonal of a $C^∗$-algebra is equivalent to realizing the $C^*$-algebra via a groupoid. This establishes a close connection between $C^∗$-diagonals and dynamics and allows one to relate the geometric properties of groupoids to the properties of $C^∗$ -diagonals. 

In this talk, I will explore the unique pure state extension property of an Abelian $C^*$-subalgebra of a 1-dim NCCW complex, the approximation of morphisms between two 1-dim NCCW complexes by $C^*$-diagonal preserving morphisms, and the existence of $C^*$-diagonal in inductive limits of certain 1-dim NCCW complexes.

One possible version of the Kirchberg—Phillips theorem states that simple, separable, nuclear, purely infinite C*-algebras are classified by KK-theory. In order to generalize this result to non-simple C*-algebras, Kirchberg first restricted his attention to those that absorb the Cuntz algebra O2 tensorially. C*-algebras in this class carry no KK-theoretical information in a strong sense, and they are classified by their ideal structure alone. It should be mentioned that, although this result is in Kirchberg’s work, its full proof was first published by Gabe. In joint work with Gábor Szabó, we showed a generalization of Kirchberg's O2-stable theorem that classifies G-C*-algebras up to cocycle conjugacy, where G is any second-countable, locally compact group. In our main result, we assume that actions are amenable, sufficiently outer, and absorb the trivial action on O2 up to cocycle conjugacy. In very recent work, I moreover show that the range of the classification invariant, consisting of a topological dynamical system over primitive ideals, is exhausted for any second-countable, locally compact group.

In this talk, I will recall the classification of O2-stable C*-algebras, and describe their classification invariant. Subsequently, I will give a short introduction to the C*-dynamical working framework and present the classification result for equivariant O2-stable actions. Time permitting, I will give an idea of how one can build a C*-dynamical system in the scope of our classification with a prescribed invariant.