# 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) |