One of the most influential applications of mathematical logic to operator algebras has been the study the existence of outer automorphisms of the Calkin algebra Q(H). While the motivation behind this work are purely of C*-algebraic nature, the solution turned out to be heavily influenced by set theory. More precisely, the existence of outer automorphisms of Q(H) is independent from the Zermelo-Fraenkel axiomatization of set theory: in 2007 Phillips and Weaver proved that under the Continuum Hypothesis it is possible to build outer automorphisms of Q(H), while Farah in 2011 showed that the Open Coloring Axiom entails that all automorphisms of Q(H) are inner. During the early months of the project, the researcher expanded the scope of this analysis to the set of endomorphisms of the Calkin algebra, obtaining a clean generalization of the results obtained by Farah. This work led to a complete classification of the set of unital endomorphisms of Q(H) up to unitary equivalence, as well as some interesting consequences on the structure of the class of C*-algebras that embed into the Calkin algebra.
The aforementioned work is part of a broader line of research investigating how set-theoretic axioms influence the nature and the rigidity of massive quotient structures in various categories, such as Boolean algebras, topological spaces and operator algebras. The researcher participated in the writing of an expository survey on this topic, a joint work with Ilijas Farah, Saeed Ghasemi and Alessandro Vignati. This survey aims to be an exhaustive point of reference for researchers who approach this subject.
The main collaboration produced by the researcher in the course of this project with other researcher in Paris consists of an application of infinitary model theory to the study of C*-algebras which fall within the scope of Elliott Classification Program. The latter refers to one of the most active and vibrant areas of research in operator algebras, aiming to classify sufficiently regular C*-algebras (usually referred to as classifiable C*-algebras) by computable invariants arising from the K-theory of a C*-algebra. One of the key methods in this program are the intertwining arguments allowing to build isomorphisms between C*-algebras starting from isomorphisms between the invariants. With other collaborator in Paris, the researcher conducted a deep analysis of how these arguments relate and combine with back-and-forth methods and Ehrenfeucht-Fraïssé games coming from model theory, focusing on approximately finite C*-algebras (AF-algebras). This connection proved to be extremely fruitful, leading to an extremely clear picture of how the model theoretic features of an AF-algebra are determined by those of its corresponding Elliott Invariant, which in this case reduces to its dimension group.
In the course of this project, the researcher included in his work topics which are currently central in the community of operator algebraists, focusing in particular on problems disjoint from logic and arising in the context of C*-dynamics and in the study of crossed products of C*-algebras. This effort led to a series of paper and significant advancements in the state of the art, with various researchers from University of Muenster, Gothenburg University and Ben-Gurion University of the Negev.
