Related papers: Excision and a Theorem of Popa
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…
Let $G$ be a finite group of order divisible by a prime $p$ and let $P\in\Syl_p(G)$. We prove a recent conjecture by Hung stating that $|\Irr_{p'}(G)|\geq \frac{\exp(P/P')-1}{p-1}+2\sqrt{p-1}-1.$ Let $a\geq 2$ be an integer and suppose that…
We give a brief survey of the development of the Elliott program of classification of separable simple amenable $C^*$-algebras.
We give a very simple and elementary proof of the existence of a weakly compact family of probability measures $\{P_{\theta}:\theta \in \Theta \}$ to represent an important sublinear expectation--G-expectation $\mathbb{E}[\cdot]$. We also…
In this paper we prove the WALA conjecture.
We present a classification theorem for a class of unital simple separable amenable ${\cal Z}$-stable $C^*$-algebras by the Elliott invariant. This class of simple $C^*$-algebras exhausts all possible Elliott invariant for unital stably…
We survey the use of extra-set-theoretic hypotheses, mainly the continuum hypothesis, in the C*-algebra literature. The Calkin algebra emerges as a basic object of interest.
In this note an explicit expression of $\exp A\ (A\in so(4))$ is given in terms of the magic matrix by Makhlin.
Following Elliott's earlier work, we show that the Elliott invariant of any finite separable simple $C^*$-algebra with finite nuclear dimension can always be described as a scaled simple ordered group pairing together with a countable…
These notes give an expanded account of my lectures at the CIRM-IHP research school on 'Methods in representation theory and operator algebras', January 6-10, 2025. Their main goal is to explain a proof of a theorem of A. Wassermann, that…
Let $\mathcal{A}$ be a separable nuclear C*-algebra, and $\mathcal{B}$ be a nonunital separable simple $\mathcal{Z}$-stable C*-algebra. Continuing the work from Gabe-Lin-Ng, we classify all essential extensions, with large complement, of…
Given an arbitrary countable ordinal $\alpha $, we introduce the notion of type $I_{\alpha }$ C*-algebra and $\alpha $-subhomogeneous C*-algebra. When $\alpha =0$, these recover the notions of Fell C*-algebra and of commutative C*-algebra,…
This note provides a new approach to a result of Foregger and related earlier results by Keilson and Eberlein. Using quite different techniques, we prove a more general result from which the others follow easily. Finally, we argue that the…
In this paper, we give a form of refined Roth's theorem. As an application, we prove a special case of the $abc$-conjecture.
We prove an improved form of an expectation of Polya and discuss several related questions
Simple type theory is formulated for use with the generic theorem prover Isabelle. This requires explicit type inference rules. There are function, product, and subset types, which may be empty. Descriptions (the eta-operator) introduce the…
For each 1<s<\infty, a Popa algebra A_s is constructed that embeds as a weakly dense C*-subalgebra of the interpolated free group factor L(F_s). Certain approximation properties for A_s are shown. It follows that L(F_s) has the weak…
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…
In this article we survey some of the recent goings-on in the classification programme of C$^*$-algebras, following the interesting link found between the Cuntz semigroup and the classical Elliott invariant and the fact that the Elliott…
Let $X \subset \mathbb{C}^n$ be an algebraic variety, and let $\Lambda \subset \mathbb{C}^n$ be a discrete subgroup whose real and complex spans agree. We describe the topological closure of the image of $X$ in $\mathbb{C}^n / \Lambda$,…