# Schedule for: 18w5155 - Model Theory and Operator Algebras

Arriving in Banff, Alberta on Sunday, November 25 and departing Friday November 30, 2018
Sunday, November 25
16:00 - 17:30 Check-in begins at 16:00 on Sunday and is open 24 hours (Front Desk - Professional Development Centre)
17:30 - 19:30 Dinner
A buffet dinner is served daily between 5:30pm and 7:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building.
(Vistas Dining Room)
20:00 - 22:00 Informal gathering (Corbett Hall Lounge (CH 2110))
Monday, November 26
07:00 - 08:45 Breakfast
Breakfast is served daily between 7 and 9am in the Vistas Dining Room, the top floor of the Sally Borden Building.
(Vistas Dining Room)
08:45 - 09:00 Introduction and Welcome by BIRS Staff
A brief introduction to BIRS with important logistical information, technology instruction, and opportunity for participants to ask questions.
(TCPL 201)
09:00 - 10:00 Gabor Szabo: Introduction to C*-algebras
I will give an introduction to the theory of C*-algebras. Starting from the basics, we will treat spectral theory in some detail, culminating in the Gelfand-Naimark theorem. We will cover the GNS construction, with highlight being that every abstract C*-algebras can be realized as a C*-algebra of bounded operators on a Hilbert space. We will then discuss other constructions/examples such as certain universal C*-algebras or inductive limits. If there is time, I will give a rough outline of the Elliott classification program.
(TCPL 201)
10:00 - 10:30 Coffee Break (TCPL Foyer)
10:30 - 11:30 Adrian Ioana: Tutorial on von Neumann algebras
In the first lecture, I will review basic notions and constructions of von Neumann algebras. The second lecture will be devoted to property Gamma and McDuff’s property for II_1 factors. In the third lecture, I will discuss the isomorphism problem for ultrapowers of II_1 factors. ========== Lecture 1: Define vN algebras and state the bicommutant theorem. Introduce tracial vN algebras and the hyperfinite II_1 factor. Group and group measure space vN algebras. Lecture 2: Define property Gamma and discuss the connection with inner amenability of groups. Define McDuff’s property. Examples of II_1 factors that are Gamma but not McDuff. Lecture 3: The ultrapower construction for tracial vN algebras. Discuss dependence on the choice of the ultrafilter and examples of II_1 factors with non-isomorphic ultrapowers.
(TCPL 201)
11:30 - 13:00 Lunch
Lunch is served daily between 11:30am and 1:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building.
(Vistas Dining Room)
13:00 - 14:00 Guided Tour of The Banff Centre
Meet in the Corbett Hall Lounge for a guided tour of The Banff Centre campus.
(Corbett Hall Lounge (CH 2110))
14:00 - 14:01 Group Photo
Meet in foyer of TCPL to participate in the BIRS group photo. The photograph will be taken outdoors, so dress appropriately for the weather. Please don't be late, or you might not be in the official group photo!
(TCPL 201)
14:01 - 15:01 Martino Lupini: Tutorial 2: Model Theory, I
Lecture 1: Structures, ultraproducts, and formulas I will introduce the fundamental notions of logic for metric structures, such as formulas and ultraproducts. I will then explain how C*-algebras and von Neumann algebras fit into this framework. Lecture 2: Axiomatizability and definability I will present the crucial model-theoretic concepts of axiomatizability and definability, and then provide many examples from the theory of operator algebras. Lecture 3: Nuclearity and omitting types I will discuss how nuclearity can be captured model-theoretically, and how this opens up the possibility to use constructions from model theory to produce interesting new examples of nuclear C*-algebras.
(TCPL 201)
15:00 - 15:30 Coffee Break (TCPL Foyer)
15:30 - 16:30 Gabor Szabo: Tutorial 1, Introduction to C*-algebras, II (TCPL 201)
17:00 - 18:00 Adrian Ioana: Tutorial 3, II (TCPL 201)
17:30 - 19:30 Dinner
A buffet dinner is served daily between 5:30pm and 7:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building.
(Vistas Dining Room)
Tuesday, November 27
07:00 - 09:00 Breakfast (Vistas Dining Room)
09:00 - 10:00 Martino Lupini: Tutorial 3, II (TCPL 201)
10:00 - 10:30 Coffee Break (TCPL Foyer)
10:30 - 11:30 Gabor Szabo: Tutorial 1, III (TCPL 201)
11:30 - 13:30 Lunch (Vistas Dining Room)
14:00 - 15:00 Adrian Ioana: Tutorial 2, III (TCPL 201)
15:00 - 15:30 Coffee Break (TCPL Foyer)
15:30 - 16:30 Martino Lupini: Tutorial 3, III (TCPL 201)
17:00 - 18:00 Isaac Goldbring: Questions and problems session (TCPL 201)
17:30 - 19:30 Dinner (Vistas Dining Room)
Wednesday, November 28
07:00 - 09:00 Breakfast (Vistas Dining Room)
09:00 - 10:00 Bradd Hart: Correspondences and model theory
Abstract: In joint work with Goldbring and Sinclair, for tracial von Neumann algebras $M$ and $N$, we show how to capture the notion of an $M$-$N$ correspondence model theoretically. We use this correspondence framework to study $\sigma$-finite von Neumann algebras and the uniform 2-norm on a $C^*$-algebra with respect to a collection of states. The role of the ultraproduct will be highlighted for its guidance in determining the correct languages in these cases.
(TCPL 201)
10:00 - 10:30 Coffee Break (TCPL Foyer)
10:30 - 11:30 Christopher Schafhauser: On the classification of simple, nuclear C*-algebras
I will discuss some recent joint work with Jos\'e Carri\'on, Jamie Gabe, Aaron Tikuisis, and Stuart White, which provides a new abstract approach to the classification of simple, nuclear C*-algebras.
(TCPL 201)
12:30 - 13:30 Lunch (Vistas Dining Room)
13:30 - 17:30 Free Afternoon (Banff National Park)
17:30 - 19:30 Dinner (Vistas Dining Room)
Thursday, November 29
07:00 - 09:00 Breakfast (Vistas Dining Room)
09:00 - 10:00 Leonel Robert: C*-algebras of stable rank one and their Cuntz semigroups
I will talk about recent joint work with Antoine, Perera, and Thiel. We have shown that the Cuntz semigroup of a separable C*-algebra of stable rank one is inf-semilattice ordered, i.e., has finite infima and addition is distributive over infima. We use this to gain new insights into the structure of these Cuntz semigroups and to answer a number of questions on C*-algebras of stable rank one. We are able to remove the assumption of separability in some of these applications using model theoretic tools.
(TCPL 201)
10:00 - 10:30 Coffee Break (TCPL Foyer)
10:30 - 11:30 Aaron Tikuisis: The Toms-Winter conjecture and complemented partitions of unity
The Toms-Winter conjecture postulates that three very different-looking regularity-type conditions coincide for separable simple infinite-dimensional amenable unital C*-algebras. The different conditions are (i) finite nuclear dimension, (ii) Z-stability, and (iii) strict comparison of positive elements. In the first half of my talk, I will say some things about this conjecture and its important connections to the classification of C*-algebras. In the second half of the talk, I will discuss a key concept used in the proof that (ii) implies (i), called complemented partitions of unity (CPoU). As I will explain, this concept provides a method for gluing local witnesses of open types in tracial GNS representations to global witnesses (satisfying the type uniformly over all traces). I will explain complemented partitions of unity in the context of this local-to-global type satisfaction device. This is joint work with Jorge Castillejos, Sam Evington, Stuart White, and Wilhelm Winter.
(TCPL 201)
11:30 - 13:30 Lunch (Vistas Dining Room)
14:00 - 15:00 Eusebio Gardella: Equivariant model theory and applications to C*-dynamics
The use of (central) sequence algebras in the theory  of operator algebras has a long history, dating back to McDuff’s  characterization of those factors which absorb the hyperfinite  II_1-factor. Applications in the context of C*-algebras are both  abundant and far-reaching, and they often appear in connection  with classification of C*-algebras. Central sequence algebras are fundamental tools in the study of strongly self-absorbing  C*-algebras, which themselves have tight connections with the Elliott classification programme. This has prompted a deeper study  of ultrapowers and (central) sequence algebras, where  model-theoretic methods have become predominant. Ultrapowers  and relative commutants have also been a crucial tool in the study  of group actions on operator algebras, dating back to the  classification of amenable group actions on the hyperfinite  II_1-factor. A more recent instance of their use in the equivariant  setting is the study of strongly self-absorbing actions. As such,  equivariant (central) sequence algebras are interesting objects  whose systematic study is justified by their wide application in the  literature. In this talk, we report on joint work with Lupini, where we  consider actions of a compact group on a C*-algebra as a structure  in the framework of continuous model theory. The realization that  the continuous part of the ultrapower of a G-C*-algebra is just its  ultrapower as a structure in the new equivariant language, allows  us to establish interesting properties, including saturation and Los'  theorem. We give various applications to C*-dynamics, including to  strongly self-absorbing actions as well as to Rokhlin dimension.
(TCPL 201)
15:00 - 15:30 Coffee Break (TCPL Foyer)
15:30 - 16:30 Mikael Rordam: Non-closure of quantum correlation matrices and certain factorizable maps, traces on free product C*-algebras, and Connes Embedding Problem
We show that the convex set of factorizable quantum channels on a fixed matrix algebra of size at least 11 which factor through finite dimensional C*-algebras is non-closed, and that there exist factorizable quantum channels on matrix algebras that require an ancilla of type II_1. We also give a new and simplified proof of the result by Dykema, Paulsen and Prakash that the set of synchronous quantum correlations C_q^s(5,2) is non-closed. One can describe factorizable quantum channels on a given matrix algebra in terms of traces on the unital free product of that matrix algebra with itself. We give a description of which of these traces correspond to factorizable maps that can be approximated by ones with finite dimensional ancilla, and we relate this to the Connes Embedding Problem. This is a joint work with Magdalena Musat.
(TCPL 201)
17:00 - 18:00 Stefaan Vaes: Classification of regular subalgebras of the hyperfinite II_1 factor
I present a joint work with Sorin Popa and Dimitri Shlyakhtenko. We prove that under a natural condition, the regular von Neumann subalgebras B of the hyperfinite II_1 factor R are completely classified (up to conjugacy by an automorphism of R) by the associated discrete measured groupoid. The key step in proving this result is the vanishing of the 2-cohomology for cocycle actions of amenable discrete measured groupoids and the approximate vanishing of the 1-cohomology. This leads us to a new notion of treeability for equivalence relations. I also discuss (non-)classification results for amenable discrete measured groupoids.
(TCPL 201)
17:30 - 19:30 Dinner (Vistas Dining Room)
Friday, November 30
07:00 - 09:00 Breakfast (Vistas Dining Room)
09:00 - 09:50 Ilan Hirshberg: On C*-algebras not isomorphic to their opposites
For each C*-algebra A, one can construct its opposite $A^{op}$, which is the same as a Banach space, only with the order of multiplication is reversed. It is a long-standing and difficult open problem whether there exists a simple separable nuclear C*-algebra which is not isomorphic to its opposite. I will survey some of the known results and techniques, focusing on the nuclear case, and discuss a joint paper with Ilijas Farah from 2017 in which we construct a simple nuclear non-separable example.
(TCPL 201)
09:40 - 10:00 Coffee Break (TCPL Foyer)
10:10 - 11:10 Chris Phillips: The Continuum Hypothesis implies existence of outer isometric automorphisms of the l^p Calkin algebra
Let $p \in (1, \infty)$. We show that the Continuum Hypothesis implies that the $l^p$~Calkin algebra $Q (\^p) = L (l^p ({\mathbb{Z}})) / K (l^p ({\mathbb{Z}}))$ has isometric automorphisms which are not given by conjugation by invertible isometries in $Q (\^p)$. Depending on what is done between now and the time of the talk, we will describe progress towards proving that it is consistent with ZFC that there are no such isometric automorphisms. This is joint with with Andrey Blinov.
(TCPL 201)
11:30 - 12:00 Checkout by Noon
5-day workshop participants are welcome to use BIRS facilities (BIRS Coffee Lounge, TCPL and Reading Room) until 3 pm on Friday, although participants are still required to checkout of the guest rooms by 12 noon.
(Front Desk - Professional Development Centre)
12:00 - 13:30 Lunch from 11:30 to 13:30 (Vistas Dining Room)