Searcharxiv⌕ Search

arXiv subjects

Stuart White

Publications and source records attributed to Stuart White.

At least 19 recordsLinked to original sources
arXiv2026

Uniqueness for embeddings of nuclear $C^*$-algebras into type II$_{1}$ factors

Let $A$ be a separable, unital and exact $C^*$-algebra satisfying the universal coefficient theorem. We prove uniqueness theorems up to unitary conjugacy for unital, full and nuclear maps from $A$ into ultraproducts of finite von Neumann factors: any two such maps agreeing on traces and total $K$-theory are unitarily equivalent. There are two consequences. Firstly if one takes the factors to be a sequence $(M_{k_n})_{n}$ of matrix algebras, we obtain a uniqueness result for quasidiagonal approximations of $A$. Secondly, when $(\mathcal M,\tau_{\calM})$ is a II$_1$ factor, a pair $\phi,\psi:A\to\mathcal M$ of unital, injective and nuclear maps are norm approximately unitarily equivalent if and only if $\tau_{\mathcal M}\circ\phi=\tau_{\mathcal M}\circ\psi$. The main strategy is to use Schafhauser's classification of lifts along the trace--kernel extension. Since our codomains may lack the tensorial absorption properties needed in this work, the main new ingredient is a suitable $KK$-uniqueness theorem tailored to our situation. This is inspired by $KK$-uniqueness theorems of Loreaux, Ng and Sutradhar.

math.OA↗
arXiv2023

Tracially Complete C*-Algebras

We introduce a new class of operator algebras -- tracially complete C*-algebras -- as a vehicle for transferring ideas and results between C*-algebras and their tracial von Neumann algebra completions. We obtain structure and classification results for amenable tracially complete C*-algebras satisfying an appropriate version of Murray and von Neumann's property gamma for II_1 factors. In a precise sense, these results fit between Connes' celebrated theorems for injective II_1 factors and the unital classification theorem for separable simple nuclear C*-algebras. The theory also underpins arguments for the known parts of the Toms-Winter conjecture.

math.OA↗
arXiv2023

Classifying $^*$-homomorphisms I: Unital simple nuclear $C^*$-algebras

We classify the unital embeddings of a unital separable nuclear $C^*$-algebra satisfying the universal coefficient theorem into a unital simple separable nuclear $C^*$-algebra that tensorially absorbs the Jiang--Su algebra. This gives a new and essentially self-contained proof of the stably finite case of the unital classification theorem: unital simple separable nuclear $C^*$-algebras that absorb the Jiang--Su algebra tensorially and satisfy the universal coefficient theorem are classified by Elliott's invariant of $K$-theory and traces.

math.OA↗
arXiv2023

Abstract classification theorems for amenable C*-algebras

In the 1970s Alain Connes identified the appropriate notion of amenabilty for von Neumann algebras, and used it to obtain a deep internal finite dimensional approximation structure for these algebras. This structure is exactly what is needed for classification, and one of many consequences of Connes' theorem is the uniqueness of amenable II$_1$ factors, and later a complete classification of all simple amenable von Neumann algebras acting on separable Hilbert spaces. The Elliott classification programme aims for comparable structure and classification results for $C^*$-algebras using operator $K$-theory and traces. The definitive unital classification theorem was obtained in 2015. This is a combination of the Kirchberg--Phillips theorem and the large scale activity in the stably finite case by numerous researchers over the previous 15--20 years. It classifies unital simple separable amenable $C^*$-algebras satisfying two extra hypotheses: a universal coefficient theorem which computes $KK$-theory in terms of $K$-theory and a regularity hypothesis excluding exotic high dimensional behaviour. Today the regularity hypothesis can be described in terms of tensor products (Jiang-Su stability). These hypotheses are abstract, and there are deep tools for verifying the universal coefficient theorem and Jiang-Su stability in examples. This article describes the unital classification theorem, its history and context, together with the new abstract approach to this result developed in collaboration with Carri\'on, Gabe, Schafhauser and Tikuisis. This method makes a direct connection to the von Neumann algebraic results, and does not need to obtain any kind of approximation structure inside $C^*$-algebras en route to classification. A companion survey will focus on the role of the Jiang-Su stability hypothesis, and the associated work on "regularity."

math.OA↗
arXiv2019

Uniform property Gamma

We further examine the concept of uniform property Gamma for C*-algebras introduced in our joint work with Winter. In addition to obtaining characterisations in the spirit of Dixmier's work on central sequence in II$_1$ factors, we establish the equivalence of uniform property Gamma, a suitable uniform version of McDuff's property for C*-algebras, and the existence of complemented partitions of unity for separable nuclear C*-algebras with no finite dimensional representations and a compact (non-empty) tracial state space. As a consequence, for C*-algebras as in the Toms-Winter conjecture, the combination of strict comparison and uniform property Gamma is equivalent to Jiang-Su stability. We also show how these ideas can be combined with those of Matui-Sato to streamline Winter's classification-by-embeddings technique.

math.OA↗
arXiv2019

The nuclear dimension of $\mathcal O_\infty$-stable $C^*$-algebras

We show that every nuclear $\mathcal O_\infty$-stable *-homomorphism with a separable exact domain has nuclear dimension at most 1. In particular separable, nuclear, $\mathcal O_\infty$-stable C*-algebras have nuclear dimension 1. We also characterise when $\mathcal O_\infty$-stable C*-algebras have finite decomposition rank in terms of quasidiagonality and primitive-ideal structure, and determine when full $\mathcal O_2$-stable *-homomorphisms have nuclear dimension 0.

math.OA↗
arXiv2019

Nuclear dimension of simple C*-algebras

We compute the nuclear dimension of separable, simple, unital, nuclear, Z-stable C*-algebras. This makes classification accessible from Z-stability and in particular brings large classes of C*-algebras associated to free and minimal actions of amenable groups on finite dimensional spaces within the scope of the Elliott classification programme.

math.OA↗
arXiv2018

Cartan subalgebras in uniform Roe algebras

In this paper we study structural and uniqueness questions for Cartan subalgebras of uniform Roe algebras. We characterise when an inclusion $B\subseteq A$ of $\mathrm{C}^*$-algebras is isomorphic to the canonical inclusion of $\ell^\infty(X)$ inside a uniform Roe algebra $C^*_u(X)$ associated to a metric space of bounded geometry. We obtain uniqueness results for `Roe Cartans' inside uniform Roe algebras up to automorphism when $X$ coarsely embeds into Hilbert space, and up to inner automorphism when $X$ has property A.

math.OA↗
arXiv2016

Structural properties of close II$_1$ factors

We show that a number of key structural properties transfer between sufficiently close II$_1$ factors, including solidity, strong solidity, uniqueness of Cartan masas and property $\Gamma$. We also examine II$_1$ factors close to tensor product factors, showing that such factors also factorise as a tensor product in a fashion close to the original.

math.OA↗
arXiv2016

Decomposable approximations revisited

Nuclear C*-algebras enjoy a number of approximation properties, most famously the completely positive approximation property. This was recently sharpened to arrange for the incoming maps to be sums of order-zero maps. We show that, in addition, the outgoing maps can be chosen to be asymptotically order-zero. Further these maps can be chosen to be asymptotically multiplicative if and only if the C*-algebra and all its traces are quasidiagonal.

math.OA↗
arXiv2015

Quasidiagonality of nuclear C*-algebras

We prove that faithful traces on separable and nuclear C*-algebras in the UCT class are quasidiagonal. This has a number of consequences. Firstly, by results of many hands, the classification of unital, separable, simple and nuclear C*-algebras of finite nuclear dimension which satisfy the UCT is now complete. Secondly, our result links the finite to the general version of the Toms-Winter conjecture in the expected way and hence clarifies the relation between decomposition rank and nuclear dimension. Finally, we confirm the Rosenberg conjecture: discrete, amenable groups have quasidiagonal C*-algebras.

math.OA↗
arXiv2015

Covering dimension of C*-algebras and 2-coloured classification

We introduce the concept of finitely coloured equivalence for unital *-homomorphisms between C*-algebras, for which unitary equivalence is the 1-coloured case. We use this notion to classify *-homomorphisms from separable, unital, nuclear C*-algebras into ultrapowers of simple, unital, nuclear, Z-stable C*-algebras with compact extremal trace space up to 2-coloured equivalence by their behaviour on traces; this is based on a 1-coloured classification theorem for certain order zero maps, also in terms of tracial data. As an application we calculate the nuclear dimension of non-AF, simple, separable, unital, nuclear, Z-stable C*-algebras with compact extremal trace space: it is 1. In the case that the extremal trace space also has finite topological covering dimension, this confirms the remaining open implication of the Toms-Winter conjecture. Inspired by homotopy-rigidity theorems in geometry and topology, we derive a "homotopy equivalence implies isomorphism" result for large classes of C*-algebras with finite nuclear dimension.

math.OA↗
arXiv2014

Nuclear dimension and Z-stability

Simple, separable, unital, monotracial and nuclear C$^*$-algebras are shown to have finite nuclear dimension whenever they absorb the Jiang-Su algebra $\mathcal{Z}$ tensorially. This completes the proof of the Toms-Winter conjecture in the unique trace case.

math.OA↗
arXiv2013

The Haagerup property for locally compact quantum groups

The Haagerup property for locally compact groups is generalised to the context of locally compact quantum groups, with several equivalent characterisations in terms of the unitary representations and positive-definite functions established. In particular it is shown that a locally compact quantum group G has the Haagerup property if and only if its mixing representations are dense in the space of all unitary representations. For discrete G we characterise the Haagerup property by the existence of a symmetric proper conditionally negative functional on the dual quantum group $\hat{G}$; by the existence of a real proper cocycle on G, and further, if G is also unimodular we show that the Haagerup property is a von Neumann property of G. This extends results of Akemann, Walter, Bekka, Cherix, Valette, and Jolissaint to the quantum setting and provides a connection to the recent work of Brannan. We use these characterisations to show that the Haagerup property is preserved under free products of discrete quantum groups.

math.OA↗