Source author record

Stuart White

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

21works
3topics
4close collaborators

Published work

21 publications

preprint2022arXiv

The nuclear dimension of O∞\mathcal O_\infty-stable C∗C^*-algebras

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

preprint2016arXiv

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.

preprint2014arXiv

Kadison-Kastler stable factors

A conjecture of Kadison and Kastler from 1972 asks whether sufficiently close operator algebras in a natural uniform sense must be small unitary perturbations of one another. For n≥3n\geq 3 and a free ergodic probability measure preserving action of SLn(Z)SL_n(\mathbb Z) on a standard nonatomic probability space (X,μ)(X,μ), write M=((L∞(X,μ)⋊SLn(Z)) ⊗‾ RM=((L^\infty(X,μ)\rtimes SL_n(\mathbb Z))\,\overline{\otimes}\, R, where RR is the hyperfinite II1_1 factor. We show that whenever MM is represented as a von Neumann algebra on some Hilbert space H\mathcal H and N⊆B(H)N\subseteq\mathcal B(\mathcal H) is sufficiently close to MM, then there is a unitary uu on H\mathcal H close to the identity operator with uMu∗=NuMu^*=N. This provides the first nonamenable class of von Neumann algebras satisfying Kadison and Kastler's conjecture. We also obtain stability results for crossed products L∞(X,μ)⋊ΓL^\infty(X,μ)\rtimesΓ whenever the comparison map from the bounded to usual group cohomology vanishes in degree 2 for the module L2(X,μ)L^2(X,μ). In this case, any von Neumann algebra sufficiently close to such a crossed product is necessarily isomorphic to it. In particular, this result applies when ΓΓ is a free group.

preprint2013arXiv

The Cuntz semigroup and stability of close C*-algebras

We prove that separable C*-algebras which are completely close in a natural uniform sense have isomorphic Cuntz semigroups, continuing a line of research developed by Kadison - Kastler, Christensen, and Khoshkam. This result has several applications: we are able to prove that the property of stability is preserved by close C*-algebras provided that one algebra has stable rank one; close C*-algebras must have affinely homeomorphic spaces of lower-semicontinuous quasitraces; strict comparison is preserved by sufficient closeness of C*-algebras. We also examine C*-algebras which have a positive answer to Kadison's Similarity Problem, as these algebras are completely close whenever they are close. A sample consequence is that sufficiently close C*-algebras have isomorphic Cuntz semigroups when one algebra absorbs the Jiang-Su algebra tensorially.

preprint2013arXiv

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 G^\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.

preprint2012arXiv

On spectral triples on crossed products arising from equicontinuous actions

The external Kasparov product is used to construct odd and even spectral triples on crossed products of C∗C^*-algebras by actions of discrete groups which are equicontinuous in a natural sense. When the group in question is Z\Z this gives another viewpoint on the spectral triples introduced by Belissard, Marcolli and Reihani. We investigate the properties of this construction and apply it to produce spectral triples on the Bunce-Deddens algebra arising from the odometer action on the Cantor set and some other crossed products of AF-algebras.

preprint2012arXiv

Type II_1 factors satisfying the spatial isomorphism conjecture

This paper addresses a conjecture of Kadison and Kastler that a von Neumann algebra M on a Hilbert space H should be unitarily equivalent to each sufficiently close von Neumann algebra N and, moreover, the implementing unitary can be chosen to be close to the identity operator. This is known to be true for amenable von Neumann algebras and in this paper we describe new classes of non-amenable factors for which the conjecture is valid. These are based on tensor products of the hyperfinite II_1 factor with crossed products of abelian algebras by suitably chosen discrete groups.

preprint2011arXiv

Shift invariant preduals of ℓ1(Z)\ell_1(\Z)

The Banach space ℓ1(Z)\ell_1(\Z) admits many non-isomorphic preduals, for example, C(K)C(K) for any compact countable space KK, along with many more exotic Banach spaces. In this paper, we impose an extra condition: the predual must make the bilateral shift on ℓ1(Z)\ell_1(\Z) weak∗^*-continuous. This is equivalent to making the natural convolution multiplication on ℓ1(Z)\ell_1(\Z) separately weak*-continuous and so turning ℓ1(Z)\ell_1(\Z) into a dual Banach algebra. We call such preduals \emph{shift-invariant}. It is known that the only shift-invariant predual arising from the standard duality between C0(K)C_0(K) (for countable locally compact KK) and ℓ1(Z)\ell_1(\Z) is c0(Z)c_0(\Z). We provide an explicit construction of an uncountable family of distinct preduals which do make the bilateral shift weak∗^*-continuous. Using Szlenk index arguments, we show that merely as Banach spaces, these are all isomorphic to c0c_0. We then build some theory to study such preduals, showing that they arise from certain semigroup compactifications of Z\Z. This allows us to produce a large number of other examples, including non-isometric preduals, and preduals which are not Banach space isomorphic to c0c_0.

preprint2011arXiv

The Radial Masa in a Free Group Factor is Maximal Injective

The radial (or Laplacian) masa in a free group factor is the abelian von Neumann algebra generated by the sum of the generators (of the free group) and their inverses. The main result of this paper is that the radial masa is a maximal injective von Neumann subalgebra of a free group factor. We also investigate tensor products of maximal injective algebras. Given two inclusions Bi⊂MiB_i\subset M_i of type I\mathrm{I} von Neumann algebras in finite von Neumann algebras such that each BiB_i is maximal injective in MiM_i, we show that the tensor product B1 ⊗ˉ B2B_1\ \bar{\otimes}\ B_2 is maximal injective in M1 ⊗ˉ M2M_1\ \bar{\otimes}\ M_2 provided at least one of the inclusions satisfies the asymptotic orthogonality property we establish for the radial masa. In particular it follows that finite tensor products of generator and radial masas will be maximal injective in the corresponding tensor product of free group factors.

preprint2010arXiv

Groupoid normalisers of tensor products: infinite von Neumann algebras

The groupoid normalisers of a unital inclusion B⊆MB\subseteq M of von Neumann algebras consist of the set GNM(B)\mathcal{GN}_M(B) of partial isometries v∈Mv\in M with vBv∗⊆BvBv^*\subseteq B and v∗Bv⊆Bv^*Bv\subseteq B. Given two unital inclusions Bi⊆MiB_i\subseteq M_i of von Neumann algebras, we examine groupoid normalisers for the tensor product inclusion B1 ⊗‾ B2⊆M1 ⊗‾ M2B_1\ \overline{\otimes}\ B_2\subseteq M_1\ \overline{\otimes}\ M_2 establishing the formula GNM1 ⊗‾ M2(B1 ⊗‾ B2)′′=GNM1(B1)′′ ⊗‾ GNM2(B2)′′ \mathcal{GN}_{M_1\,\overline{\otimes}\,M_2}(B_1\ \overline{\otimes}\ B_2)''=\mathcal{GN}_{M_1}(B_1)''\ \overline{\otimes}\ \mathcal{GN}_{M_2}(B_2)'' when one inclusion has a discrete relative commutant B1′∩M1B_1'\cap M_1 equal to the centre of B1B_1 (no assumption is made on the second inclusion). This result also holds when one inclusion is a generator masa in a free group factor. We also examine when a unitary u∈M1 ⊗‾ M2u\in M_1\ \overline{\otimes}\ M_2 normalising a tensor product B1 ⊗‾ B2B_1\ \overline{\otimes}\ B_2 of irreducible subfactors factorises as w(v1⊗v2)w(v_1\otimes v_2) (for some unitary w∈B1 ⊗‾ B2w\in B_1\ \overline{\otimes}\ B_2 and normalisers vi∈NMi(Bi)v_i\in\mathcal{N}_{M_i}(B_i)). We obtain a positive result when one of the MiM_i is finite or both of the BiB_i are infinite. For the remaining case, we characterise the II1_1 factors B1B_1 for which such factorisations always occur (for all M1,B2M_1, B_2 and M2M_2) as those with a trivial fundamental group.

preprint2009arXiv

Perturbations of C*-algebraic invariants

Kadison and Kastler introduced a metric on the set of all C∗^*-algebras on a fixed Hilbert space. In this paper structural properties of C∗^*-algebras which are close in this metric are examined. Our main result is that the property of having a positive answer to Kadison's similarity problem transfers to close C∗^*-algebras. In establishing this result we answer questions about closeness of commutants and tensor products when one algebra satisfies the similarity property. We also examine KK-theory and traces of close C∗^*-algebras, showing that sufficiently close algebras have isomorphic Elliott invariants when one algebra has the similarity property.

preprint2009arXiv

Perturbations of nuclear C*-algebras

Kadison and Kastler introduced a natural metric on the collection of all C*-subalgebras of the bounded operators on a separable Hilbert space. They conjectured that sufficiently close algebras are unitarily conjugate. We establish this conjecture when one algebra is separable and nuclear. We also consider one-sided versions of these notions, and we obtain embeddings from certain near inclusions involving separable nuclear C*-algebras. At the end of the paper we demonstrate how our methods lead to improved characterisations of some of the types of algebras that are of current interest in the classification programme.

preprint2008arXiv

Conditions implying the uniqueness of the weak∗^*-topology on certain group algebras

We investigate possible preduals of the measure algebra M(G)M(G) of a locally compact group and the Fourier algebra A(G)A(G) of a separable compact group. Both of these algebras are canonically dual spaces and the canonical preduals make the multiplication separately weak∗^*-continuous so that these algebras are dual Banach algebras. In this paper we find additional conditions under which the preduals C0(G)C_0(G) of M(G)M(G) and C∗(G)C^*(G) of A(G)A(G) are uniquely determined. In both cases we consider a natural coassociative multiplication and show that the canonical predual gives rise to the unique weak∗^*-topology making both the multiplication separately weak∗^*-continuous and the coassociative multiplication weak∗^*-continuous. In particular, dual cohomological properties of these algebras are well defined with this additional structure.

preprint2008arXiv

Preduals of semigroup algebras

For a locally compact group GG, the measure convolution algebra M(G)M(G) carries a natural coproduct. In previous work, we showed that the canonical predual C0(G)C_0(G) of M(G)M(G) is the unique predual which makes both the product and the coproduct on M(G)M(G) weak∗^*-continuous. Given a discrete semigroup SS, the convolution algebra ℓ1(S)\ell^1(S) also carries a coproduct. In this paper we examine preduals for ℓ1(S)\ell^1(S) making both the product and the coproduct weak∗^*-continuous. Under certain conditions on SS, we show that ℓ1(S)\ell^1(S) has a unique such predual. Such SS include the free semigroup on finitely many generators. In general, however, this need not be the case even for quite simple semigroups and we construct uncountably many such preduals on ℓ1(S)\ell^1(S) when SS is either Z+×Z\mathbb Z_+\times\mathbb Z or (N,⋅)(\mathbb N,\cdot).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.