BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We prove that, consistently with ZFC, no ultraproduct of countably infinite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separable metric) structures associated to the Fréchet filter. Since such structures are countably saturated, the Continuum Hypothesis implies that they are isomorphic when elementarily equivalent.
We study the extent of countable saturation for coronas of abelian C*-algebras. In particular, we show that the corona algebra of $C_0(\bbR^n)$ is countably saturated if and only if n=1.
We show that it is relatively consistent with ZFC that there exists a hyperfinite type II1-factor of density character ℵ1 which is not isomorphic to its opposite, does not have any outer automorphisms, and has trivial fundamental group.
A reflection principle for Corson compacta holds in the forcing extension obtained by Levy-collapsing a supercompact cardinal to~ℵ2. In this model, a compact Hausdorff space is Corson if and only if all of its continuous images of weight~ℵ1 are Corson compact. We use the Gelfand--Naimark duality, and our results are stated in terms of unital abelian \cstar-algebras.
We generalize all known results on rigidity of uniform Roe algebras to the setting of arbitrary uniformly locally finite coarse spaces. For instance, we show that isomorphism between uniform Roe algebras of uniformly locally finite coarse spaces whose uniform Roe algebras contain only compact ghost projections implies that the base spaces are coarsely equivalent. Moreover, if one of the spaces has property A, then the base spaces are bijectively coarsely equivalent. We also provide a characterization for the existence of an embedding onto hereditary subalgebra in terms of the underlying spaces. As an application, we partially answer a question of White and Willett about Cartan subalgebras of uniform Roe algebras.
Given a coarse space (X,E), one can define a C∗-algebra Cu∗(X) called the uniform Roe algebra of (X,E). It has been proved by J. Špakula and R. Willett that if the uniform Roe algebras of two uniformly locally finite metric spaces with property A are isomorphic, then the metric spaces are coarsely equivalent to each other. In this paper, we look at the problem of generalizing this result for general coarse spaces and on weakening the hypothesis of the spaces having property A.
We show that it is consistent with ZFC that there is a simple nuclear non-separable C*-algebra which is not isomorphic to its opposite algebra. We can furthermore guarantee that this example is an inductive limit of unital copies of the Cuntz algebra O_2, or of the CAR algebra.
We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II1 factor as Fraïssé limits of suitable classes of structures. Moreover by means of Fraïssé theory we provide new examples of AF algebras with strong homogeneity properties. As a consequence of our analysis we deduce Ramsey-theoretic results about the class of full-matrix algebras.
The relative commutant A′∩AU of a strongly self-absorbing algebra A is indistinguishable from its ultrapower AU. This applies both to the case when A is the hyperfinite II1 factor and to the case when it is a strongly self-absorbing C*-algebra. In the latter case we prove analogous results for ℓ∞(A)/c0(A) and reduced powers corresponding to other filters on N. Examples of algebras with approximately inner flip and approximately inner half-flip are provided, showing the optimality of our results. We also prove that strongly self-absorbing algebras are smoothly classifiable, unlike the algebras with approximately inner half-flip.
We show that the Calkin algebra is not countably homogeneous, in the sense of continuous model theory. We furthermore show that the connected component of the unitary group of the Calkin algebra is not countably homogeneous.
We present a self-contained account of Woodin's extender algebra and its use in proving absoluteness results, including a proof of the Σ12-absoluteness theorem. We also include a proof that the existence of an inner model with Woodin limit of Woodin cardinals implies the existence of divergent models of $\AD^+$.
The most recent wave of applications of logic to operator algebras is a young and rapidly developing field. This is a snapshot of the current state of the art.
We study countable saturation of the metric reduced products and introduce continuous fields of metric models indexed by locally compact, separable, completely metrizable spaces. Saturation of the reduced product depends both on the underlying index space and the model. By using the Gelfand--Naimark duality we conclude that the assertion that the \vCech--Stone remainder of the half-line has only trivial automorphisms is independent from ZFC. The consistency of this statement follows from Proper Forcing Axiom and this is the first known example of a connected space with this property.
It has been a longstanding problem whether every amenable operator algebra is isomorphic to a (necessarily nuclear) C*-algebra. In this note, we give a nonseparable counterexample. The existence of a separable counterexample remains an open problem. We also initiate a general study of unitarizability of representations of amenable groups in C*-algebras and show that our method cannot produce a separable counterexample.
We construct a simple C*-algebra with nuclear dimension zero that is not isomorphic to its tensor product with the Jiang-Su algebra Z, and a hyperfinite II_1 factor not isomorphic to its tensor product with the separable hyperfinite II_1 factor R. The proofs use a weakening of the Continuum Hypothesis.
We observe how a classical model-theoretic fact proves the existence of many strong amalgamation bases for the class of R^ω-embeddable von Neumann algebras, where R is the hyperfinite II_1 factor. In particular, we shows that R itself is a strong amalgamation base.
We examine the properties of existentially closed (R^omega-embeddable) II_1 factors. In particular, we use the fact that every automorphism of an existentially closed (R^omega-embeddable) II_1 factor is approximately inner to prove that Th(R) is not model-complete. We also show that Th(R) is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum many nonisomorphic existentially closed models of Th(R).
We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with nonprincipal ultrafilters on N are isomorphic even when the Continuum Hypothesis fails.
For every uncountable cardinal κ there are 2κ nonisomorphic simple AF algebras of density character κ and 2κ nonisomorphic hyperfinite II1 factors of density character κ. These estimates are maximal possible. All C*-algebras that we construct have the same Elliott invariant and Cuntz semigroup as the CAR algebra.
We consider various quotients of the C*-algebra of bounded operators on a nonseparable Hilbert space, and prove in some cases that, consistently, there are many outer automorphisms.
We prove that the isomorphism relation for separable C∗-algebras, and also the relations of complete and n-isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a standard Borel space.
We present unified proofs of several properties of the corona of σ-unital C*-algebras such as AA-CRISP, SAW*, being sub-σ-Stonean in the sense of Kirchberg, and the conclusion of Kasparov's Technical Theorem. Although our results were obtained by considering C*-algebras as models of the logic for metric structures, the reader is not required to have any knowledge of model theory of metric structures (or model theory, or logic in general). The proofs involve analysis of the extent of model-theoretic saturation of corona algebras.
In 1982 I. Pitowsky used Continuum Hypothesis to construct hidden variable models for spin-1/2 and spin-1 particles in quantum mechanics. We show that the existence of Pitowsky models is independent from ZFC.
Several authors have considered whether the ultrapower and the relative commutant of a C*-algebra or II_1 factor depend on the choice of the ultrafilter. We settle each of these questions, extending results of Ge-Hadwin and the first author.
We give model-theoretic characterizations of UHF algebras and of AF algebras as C*-algebras that omit certain sets of types.
We establish the Borel computability of various C∗-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by countable structures, and that a conjecture of Winter and the second author for nuclear separable simple C*-algebras cannot be disproved by appealing to known standard Borel structures on these algebras.
We prove that the statement `For all Borel ideals I and J on ω, every isomorphism between Boolean algebras P(ω)/I and P(ω)/J has a continuous representation' is relatively consistent with ZFC. In this model every isomorphism between P(ω)/I and any other quotient P(ω)/J over a Borel ideal is trivial for a number of Borel ideals I on ω. We can also assure that the dominating number is equal to ℵ1 and that 2ℵ1>2ℵ0. Therefore the Calkin algebra has outer automorphisms while all automorphisms of P(ω)/Fin are trivial. Proofs rely on delicate analysis of names for reals in a countable support iteration of suslin proper forcings.
We bound the Borel cardinality of the isomorphism relation for nuclear simple separable C*-algebras: It is turbulent, yet Borel reducible to the action of the automorphism group of the Cuntz algebra O_2 on its closed subsets. The same bounds are obtained for affine homeomorphism of metrizable Choquet simplexes. As a by-product we recover a result of Kechris and Solecki, namely, that homeomorphism of compacta in the Hilbert cube is Borel reducible to a Polish group action. These results depend intimately on the classification theory of nuclear simple C*-algebras by K-theory and traces. Both of necessity and in order to lay the groundwork for further study on the Borel complexity of C*-algebras, we prove that many standard C*-algebra constructions and relations are Borel, and we prove Borel versions of Kirchberg's O_2-stability and embedding theorems. We also find a C*-algebraic witness for a K_σhard equivalence relation.
The Proper Forcing Axiom implies all automorphisms of every Calkin algebra associated with an infinite-dimensional complex Hilbert space and the ideal of compact operators are inner. As a means of the proof we introduce the notion of Polish ω1-trees and cohrerent families of Polish spaces and prove some uniformization results.
We prove that the equivalence of pure states of a separable C*-algebra is either smooth or it continuously reduces $[0,1]^{\bbN}/\ell_2$ and it therefore cannot be classified by countable structures. The latter was independently proved by Kerr--Li--Pichot by using different methods. We also give some remarks on a 1967 problem of Dixmier.
We prove that it is relatively consistent with the usual axioms of mathematics that all automorphisms of the Calkin algebra are inner. Together with a 2006 Phillips--Weaver construction of an outer automorphism using the Continuum Hypothesis, this gives a complete solution to a 1977 problem of Brown-Douglas-Fillmore. We also give a simpler and self-contained proof of the Phillips--Weaver result.
There are three natural ways to define UHF (uniformly hyperfinite) C*-algebras, and all three definitions are equivalent for separable algebras. In 1967 Dixmier asked whether the three definitions remain equivalent for not necessarily separable algebras. We give a complete answer to this question. More precisely, we show that in small cardinality two definitions remain equivalent, and give counterexamples in other cases. Our results do not use any additional set-theoretic axioms beyond the usual axioms, namely ZFC.
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.