BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Thomas Sinclair appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Inspired by a well-known characterization of the index of an inclusion of II$_1$ factors due to Pimsner and Popa, we define an index-type invariant for inclusions of operator systems. We compute examples of this invariant, show that it is multiplicative under minimal tensor products, and explain how it generalizes the quantum Lovász theta invariant for a matricial system defined by Duan, Severini, and Winter.
We exhibit an operator norm bounded, infinite sequence $\{A_n\}$ of $3n \times 3n$ complex matrices for which the commutator map $X\mapsto XA_n - A_nX$ is uniformly bounded below as an operator over the space of trace-zero self-adjoint matrices equipped with Hilbert--Schmidt norm. The construction is based on families of quantum expanders. We give several potential applications of these matrices to the study of quantum expanders. We formulate several natural conjectures and problems related to such matrices and provide numerical evidence.
This paper gives a free entropy theoretic perspective on amenable absorption results for free products of tracial von Neumann algebras. In particular, we give the first free entropy proof of Popa's famous result that the generator MASA in a free group factor is maximal amenable, and we partially recover Houdayer's results on amenable absorption and Gamma stability. Moreover, we give a unified approach to all these results using $1$-bounded entropy. We show that if $\mathcal{M} = \mathcal{P} * \mathcal{Q}$, then $\mathcal{P}$ absorbs any subalgebra of $\mathcal{M}$ that intersects it diffusely and that has $1$-bounded entropy zero (which includes amenable and property Gamma algebras as well as many others). In fact, for a subalgebra $\mathcal{P} \leq \mathcal{M}$ to have this absorption property, it suffices for $\mathcal{M}$ to admit random matrix models that have exponential concentration of measure and that "simulate" the conditional expectation onto $\mathcal{P}$.
We show that the class of unital $\mathrm{C}^*$-algebras is an elementary class in the language of operator systems. As a result, we have that there is a definable predicate in the language of operator systems that defines the multiplication in any $\mathrm{C}^*$-algebra. Moreover, we prove that the aforementioned class is $\forall\exists\forall$-axiomatizable but not $\forall\exists$-axiomatizable nor $\exists\forall$-axiomatizable.
The purpose of this note is to discuss the local lifting property in terms of an equivalent approximation-type property, CP-stability, which was formulated by the author and Isaac Goldbring for the purposes of studying the continuous model theory of C$^*$-algebras and operator systems.
We use Ehrenfeucht-Fraïssé games to give a local geometric criterion for elementary equivalence of II$_1$ factors. We obtain as a corollary that two II$_1$ factors are elementarily equivalent if and only their unitary groups are elementarily equivalent as $\mathbb Z_4$-metric spaces.
We show that the class of 1-exact operator systems is not uniformly definable by a sequence of types. We use this fact to show that there is no finitary version of Arveson's extension theorem. Next, we show that WEP is equivalent to a certain notion of existential closedness for C$^*$ algebras and use this equivalence to give a simpler proof of Kavruk's result that WEP is equivalent to the complete tight Riesz interpolation property. We then introduce a variant of the space of n-dimensional operator systems and connect this new space to the Kirchberg Embedding Problem, which asks whether every C$^*$ algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. We end with some results concerning the question of whether or not the local lifting property (in the sense of Kirchberg) is uniformly definable by a sequence of types in the language of C$^*$ algebras.
Kirchberg's Embedding Problem (KEP) asks whether every separable C$^*$ algebra embeds into an ultrapower of the Cuntz algebra $\mathcal{O}_2$. In this paper, we use model theory to show that this conjecture is equivalent to a local approximate nuclearity condition that we call the existence of good nuclear witnesses. In order to prove this result, we study general properties of existentially closed C$^*$ algebras. Along the way, we establish a connection between existentially closed C$^*$ algebras, the weak expectation property of Lance, and the local lifting property of Kirchberg. The paper concludes with a discussion of the model theory of $\mathcal{O}_2$. Several results in this last section are proven using some technical results concerning tubular embeddings, a notion first introduced by Jung for studying embeddings of tracial von Neumann algebras into the ultrapower of the hyperfinite II$_1$ factor.
This paper includes a series of structural results for von Neumann algebras arising from measure preserving actions by product groups on probability spaces. Expanding upon the methods used earlier by the first two authors \cite{CS}, we obtain new examples of strongly solid factors as well as von Neumann algebras with unique or no Cartan subalgebra. For instance we show that every II$_1$ factor associated with a weakly amenable group in the class $\mathcal S$ of Ozawa is strongly solid, \cite{OzSolid}. There is also the following product version of this result: any maximal abelian $\star$-subalgebra of any II$_1$ factor associated with a finite product of weakly amenable groups in the class $\mathcal S$ of Ozawa has an amenable normalizing algebra. Finally, pairing some of these results with cocycle superrigidity results from \cite{IoaCSR}, it follows that compact actions by finite products of lattices in $Sp(n, 1)$, $n \geq2$, are virtually $W^*$-superrigid.
We prove a new weak mean ergodic theorem (Theorem A) for 1-cocycles associated to weakly mixing representations of amenable groups. Let $G$ be a finitely generated, discrete, amenable group $G$ which admits a controlled Folner sequence. We use Theorem A to deduce that any affine action $G\ca^T \Cal H$ on Hilbert space with weakly mixing linear part admits a sequence of almost fixed points (Theorem B). Specializing to the case that $G$ is a finitely generated group of polynomial growth, we show that convex combinations of averages of the associated 1-cocycle over $n$-balls provide a sequence of almost fixed points for the action $G\ca^T \Cal H$ (Corollary C). This affirms a weak form of a conjecture of Shalom independently of Gromov's theorem on the virtual nilpotency of groups of polynomial growth. As a consequence, we are able to give a new, elementary, ergodic-theoretical proof of Gromov's theorem.
Ozawa showed that for any i.c.c., hyperbolic group, the associated group factor is solid. Developing a new approach that combines some methods of Peterson, Ozawa and Popa, and Ozawa, we strengthen this result by showing that these factors are strongly solid. Using our methods in cooperation with a cocycle superrigidity result of Ioana, we show that profinite actions of lattices in Sp(n,1), n>1, are virtually W*-superrigid.
In this note, we show that the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fact that the theory of any locally universal, McDuff II_1 factor does not have quantifier elimination. We also show how a positive solution to the Connes Embedding Problem implies that there can be no model-complete theory of II_1 factors.
We present a general setting to investigate U_fin-cocycle superrigidity for Gaussian actions in terms of closable derivations on von Neumann algebras. In this setting we give new proofs to some U_fin-cocycle superrigidity results of S. Popa and we produce new examples of this phenomenon. We also use a result of K. Schmidt to give a necessary cohomological condition on a group representation in order for the resulting Gaussian action to be U_fin-cocycle superrigid.
We show that the group factors of ICC lattices in either SO(n,1) or SU(n,1), n \geq 2, are strongly solid in the sense of Ozawa and Popa. This strengthens a result of Ozawa and Popa showing that these factors do not have Cartan subalgebras.