Related papers: Consistency of a counterexample to Naimark's probl…

After an appropriate restatement of the GNS construction for topological $^*$-algebras we prove that there exists an isomorphism among the set $\cycl(A)$ of weakly continuous strongly cyclic $^*$-representations of a barreled dual-separable…

We prove a noncommutative variant of Saskin's classical theorem -- on the connection between Choquet boundaries for function spaces and Korovkin sets -- for operator systems generating separable Type I C*-algebras. The main result implies…

Fowler introduced the notion of a product system: a collection of Hilbert bimodules $\mathbf{X}=\left\{\mathbf{X}_p:p\in P\right\}$ indexed by a semigroup $P$, endowed with a multiplication implementing isomorphisms $\mathbf{X}_p\otimes_A…

We study $C^*$-algebras arising from $C^*$-correspondences, which was introduced by the author. We prove the gauge-invariant uniqueness theorem, and obtain conditions for our $C^*$-algebras to be nuclear, exact, or satisfy the Universal…

We isolate \emph{the approximating diamond principles}, which are consequences of the diamond principle at an inaccessible cardinal. We use these principles to find new methods for negating the diamond principle at large cardinals. Most…

In this paper we associate to every reduced C*-algebraic quantum group A a universal C*-algebraic quantum group. We fine tune a proof of Kirchberg to show that every *-representation of a modified L1-space is generated by a unitary…

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…

We study maps between positive definite or positive semidefinite cones of unital $C^*$-algebras. We describe surjective maps that preserve (1) the norm of the quotient or multiplication of elements; (2) the spectrum of the quotient or…

The CBH theorem characterises quantum theory within a C*-algebraic framework. Namely, mathematical properties of C*-algebras modelling quantum systems are equivalent to constraints that are information-theoretic in nature: (1)…

Hilbert C*-modules are the analogues of Hilbert spaces where a C*-algebra plays the role of the scalar field. With the advent of Kasparov's celebrated KK-theory they became a standard tool in the theory of operator algebras. While the…

As a partial generalisation of the Uhlhorn theorem to Hilbert $C^*$-modules, we show in this article that the module structure and the orthogonality structure of a Hilbert $C^*$-module determine its Hilbert $C^*$-module structure. In fact,…

We prove that the C*-algebra of a second-countable, \'etale, amenable groupoid is simple if and only if the groupoid is topologically principal and minimal. We also show that if G has totally disconnected unit space, then the associated…

We prove a strong dichotomy for the number of ultrapowers of a given countable model associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are $2^{2^{\aleph_0}}$ many nonisomorphic ultrapowers. We…

First, I construct an isomorphism between the categories of (topological) groups of nilpotency class 2 with 2-divisible center and (topological) Lie rings of nilpotency class 2 with 2-divisible center. That isomorphism allows us to…

The main result of the paper is an extension of the Dirichlet problem from (closures of) bounded open domains U to arbitrary compact subsets X of the complex plane, i.e. the closure of the corresponding space of functions which are harmonic…

In the theory of C*-algebras, interesting noncommutative structures arise as deformations of the tensor product. For instance, the rotation algebra may be seen as a scalar twist deformation of the tensor product of the functions on the…

We show that every groupoid C*-algebra is isomorphic to its opposite, and deduce that there exist C*-algebras that are not stably isomorphic to groupoid C*-algebras, though many of them are stably isomorphic to twisted groupoid C*-algebras.…

Any two infinite-dimensional (separable) Hilbert spaces are unitarily isomorphic. The sets of all their self-adjoint operators are also therefore unitarily equivalent. Thus if all self-adjoint operators can be observed, and if there is no…

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…

We show that a unital ring is generated by its commutators as an ideal if and only if there exists a natural number $N$ such that every element is a sum of $N$ products of pairs of commutators. We show that one can take $N \leq 2$ for…