Past Functional Analysis Seminar

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.