相关论文: Forcing axioms and coronas of $C^*$-algebras

We prove several rigidity results for corona $C^*$-algebras and \v{C}ech-Stone remainders under the assumption of Forcing Axioms. In particular, we prove that a strong version of Todor\v{c}evi\'c's $\OCA$ and Martin's Axiom at level…

Given a nonunital $\mathrm{C}^*$-algebra $A$ one constructs its corona algebra $\mathcal M(A)/A$. This is the noncommutative analog of the \v{C}ech-Stone remainder of a topological space. We analyze the two faces of these algebras: the…

In a recent article by Farah and the authors, a strong lifting theorem was proved for a class of coordinate-respecting maps between reduced products of discrete structures, hereby working under mild Forcing Axioms. We generalise this…

We extend the classical Feferman-Vaught theorem to logic for metric structures. This implies that the reduced powers of elementarily equivalent structures are elementarily equivalent, and therefore they are isomorphic under the Continuum…

The Corona Factorization Property of a C*-algebra, originally defined to study extensions of C*-algebras, has turned out to say something important about intrinsic structural properties of the C*-algebra. We show in this paper that a…

We study the saturation properties of several classes of $C^*$-algebras. Saturation has been shown by Farah and Hart to unify the proofs of several properties of coronas of $\sigma$-unital $C^*$-algebras; we extend their results by showing…

We obtain a fundamental inequality for a contraction with respect to a $C^*$-algebra valued metric space. As an application of this inequality a simple proof is given for the fixed point theorem in $C^*$-algebra valued metric space.

In this memoir we develop a framework to study rigidity problems for Roe-like C*-algebras of countably generated coarse spaces. The main goal is to give a complete and self-contained solution to the problem of C*-rigidity for proper…

The Corona Factorization Property, originally invented to study extensions of C*-algebras, conveys essential information about the intrinsic structure of the C*-algebras. We show that the Corona Factorization Property of a \sigma-unital…

We prove that the class of crossed product C*-algebras associated with the action of the multiplicative group of a number field on its ring of finite adeles is rigid in the following explicit sense: Given any *-isomorphism between two such…

We present unified proofs of several properties of the corona of $\sigma$-unital C*-algebras such as AA-CRISP, SAW*, being sub-$\sigma$-Stonean in the sense of Kirchberg, and the conclusion of Kasparov's Technical Theorem. Although our…

We consider inductive systems of C*-algebras with completely positive contractive connecting maps. We define a condition, called C*-encoding, which is sufficient for the limit of the system to be completely order isomorphic to a C*-algebra…

We solve a class of lifting problems involving approximate polynomial relations (soft polynomial relations). Various associated C*-algebras are therefore projective. The technical lemma we need is a new manifestation of Akemann and…

We give another bit of evidence that forcing axioms provide proper framework for rigidity of quotient structures, by improving the OCA lifting theorem proved by the author in late 20th century and greatly simplifying its proof. In the…

We examine rigidity phenomena for representations of amenable operator algebras which have an ideal of compact operators. We establish that a generalized version of Kadison's conjecture on completely bounded homomorphisms holds for the…

We study the connection between the condition that the reduced C*-algebra of a finitely presented group is exact and the Novikov conjecture holding. The main result states that if the group is strongly exact in the sense that the inclusion…

I introduce a new family of axioms extending ZFC set theory, the $\Sigma_n$-correct forcing axioms. These assert roughly that whenever a forcing name $\dot{a}$ can be forced by a poset in some forcing class $\Gamma$ to have some $\Sigma_n$…

We show that stabilizations of sufficiently noncommutative separable unital C*-algebras with finite nuclear dimension have the corona factorization property.

We prove that for every $n\geq 2$, the reduced group $C^*$-algebras of the countable free groups $C^*_r(\mathbb{F}_n)$ have strict comparison. Our method works in a general setting: for $G$ in a large family of non-amenable groups,…

We study comparison properties in the category Cu aiming to lift results to the C*-algebraic setting. We introduce a new comparison property and relate it to both the CFP and $\omega$-comparison. We show differences of all properties by…