Related papers: Forcing axioms and coronas of $C^*$-algebras

We show that certain extensions of classifiable C*-algebra are strongly classified by the associated six-term exact sequence in K-theory together with the positive cone of K_{0}-groups of the ideal and quotient. We apply our result to give…

The class forcing theorem, which asserts that every class forcing notion $\mathbb{P}$ admits a forcing relation $\Vdash_{\mathbb{P}}$, that is, a relation satisfying the forcing relation recursion -- it follows that statements true in the…

Given a closed ideal $I$ in a C*-algebra $A$, we develop techniques to bound the real rank of $A$ in terms of the real ranks of $I$ and $A/I$. Building on work of Brown, Lin and Zhang, we obtain complete solutions if $I$ belongs to any of…

We introduce and study the noncommutative weak Extension Principle, a lifting principle aiming to characterise $^*$-homomorphisms between coronas of nonunital separable $\mathrm{C}^*$-algebras. While this principle fails if the Continuum…

For any reduced free product $\mathrm{C}^*$-algebra $(A, \varphi) =(A_1, \varphi_1) \star (A_2, \varphi_2)$, we prove a boundary rigidity result for the embedding of $A$ into its associated $\mathrm{C}^*$-algebra $\Delta \mathbf{T}(A,…

Let $\mathcal D$ be a strongly self-absorbing $\mathrm{C}^*$-algebra. Given any separable $\mathrm{C}^*$-algebra $A$, our two main results assert the following. If $A$ is $\mathcal D$-stable, then the corona algebra of $A$ is $\mathcal…

We study the class of selfless C*-probability spaces introduced by Robert. It is known that a selfless tracial algebra has strict comparison and a unique trace. We prove that for separable tracial C*-algebras, selflessness is equivalent to…

Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Levy-Collapse. These show in particular that certain applications of forcing axioms require to add…

I prove forcing preservation theorems for products of definable partial orders preserving the cofinality of the meager or null ideal. Rectangular Ramsey theorems for related ideals follow from the proofs.

We demonstrate that any full and faithful $*$-functor between approximable categories of locally finite coarse spaces induces a coarse embedding between the underlying spaces. Furthermore, we establish a general characterisation of such…

We demonstrate that pure C*-algebras form a robust class by proving that pureness follows from very weak comparison and divisibility properties. Using this, we show that every simple, non-elementary C*-algebra with a unique quasitrace and…

We show that under mild set theoretic hypotheses we have rigidity for algebras of continuous functions over Higson coronas, topological spaces arising in coarse geometry. In particular, we show that under $\mathsf{OCA}$ and $\mathsf…

We show that the Fra\"iss\'e limit of a category of unital separable $C^*$-algebras which is sufficiently closed under tensor products of its objects and morphisms is strongly self-absorbing, given that it has approximate inner half-flip.…

In this paper, we connect the rigidity problem and the coarse Baum-Connes conjecture for Roe algebras. In particular, we show that if $X$ and $Y$ are two uniformly locally finite metric spaces such that their Roe algebras are…

We strengthen a result of Hanke-Schick about the strong Novikov conjecture for low degree cohomology by showing that their non-vanishing result for the maximal group C*-algebra holds for many other exotic group C*-algebras, in particular…

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…

We show that certain C*-algebras which have been studied among others by Arzumanian, Vershik, Deaconu, and Renault in connection to a measure preserving transformation of a measure space and/or to a covering map of a compact space are…

Generic absoluteness is the phenomenon that certain truths in the set-theoretic universe remain stable under forcing expansions. A classical result by Kripke asserts that every complete Boolean algebra completely embeds into a countably…

We prove some stability results for certain classes of C*-algebras. We prove that whenever $A$ is a finite-dimensional C*-algebra, $B$ is a C*-algebra and $\phi\colon A\to B$ is approximately a $^*$-homomorphism then there is an actual…

We study the validity of the Blackadar-Kirchberg conjecture for extensions of separable, nuclear, quasidiagonal $C^*$-algebras that satisfy the UCT. More specifically, we show that the conjecture for the extension has an affirmative answer…