arXiv Science⌕ Search

arXiv subjects

James Gabe

Publications and source records attributed to James Gabe.

At least 19 recordsLinked to original sources
arXiv2024

A unified approach for classifying simple nuclear $C^\ast$-algebras

We provide a new proof of the Kirchberg--Phillips theorem by adapting the framework laid out by Carri\'on--Gabe--Schafhauser--Tikuisis--White for classifying separable simple unital nuclear stably finite $\mathcal Z$-stable $C^\ast$-algebras satisfying the UCT. Not only does this give a unified approach to classifying stably finite and purely infinite $C^\ast$-algebras, in contrast to the other proofs of the Kirchberg--Phillips theorem, our proof does not rely on Kirchberg's Geneva Theorems, but instead implies them as corollaries (for nuclear $C^\ast$-algebras).

math.OA↗
arXiv2024

Self-adjoint traces on the Pedersen ideal of $\mathrm{C}^\ast$-algebras

In order to circumvent a fundamental issue when studying densely defined traces on $\mathrm{C}^\ast$-algebras -- which we refer to as the Trace Question -- we initiate a systematic study of the set $T_{\mathbb R}(A)$ of self-adjoint traces on the Pedersen ideal of $A$. The set $T_{\mathbb R}(A)$ is a topological vector space with a vector lattice structure, which in the unital setting reflects the Choquet simplex structure of the tracial states. We establish a form of Kadison duality for $T_{\mathbb R}(A)$ and compute $T_{\mathbb R}(A)$ for principal twisted \'etale groupoid $\mathrm{C}^\ast$-algebras. We also answer the Trace Question positively for a large class of $\mathrm{C}^\ast$-algebras.

math.OA↗
arXiv2023

Inclusions of real rank zero

We introduce a notion of real rank zero for inclusions of C$^*$-algebras. After showing that our definition has many equivalent characterisations, we offer a complete description of the commutative case. We provide permanence and K-theoretic properties of inclusions of real rank zero and prove that a large class of full infinite inclusions have real rank zero.

math.OA↗
arXiv2023

Tracially Complete C*-Algebras

We introduce a new class of operator algebras -- tracially complete C*-algebras -- as a vehicle for transferring ideas and results between C*-algebras and their tracial von Neumann algebra completions. We obtain structure and classification results for amenable tracially complete C*-algebras satisfying an appropriate version of Murray and von Neumann's property gamma for II_1 factors. In a precise sense, these results fit between Connes' celebrated theorems for injective II_1 factors and the unital classification theorem for separable simple nuclear C*-algebras. The theory also underpins arguments for the known parts of the Toms-Winter conjecture.

math.OA↗
arXiv2023

Extensions of C*-algebras

Let $A$ be a separable amenable $C^*$-algebra and $B$ a non-unital and $\sigma$-unital simple $C^*$-algebra with continuous scale ($B$ need not be stable). We classify, up to unitary equivalence, all essential extensions of the form $0 \rightarrow B \rightarrow D \rightarrow A \rightarrow 0$ using KK theory. There are characterizations of when the relation of weak unitary equivalence is the same as the relation of unitary equivalence, and characterizations of when an extension is liftable (a.k.a.~trivial or split). In the case where $B$ is purely infinite, an essential extension $\rho : A \rightarrow M(B)/B$ is liftable if and only if $[\rho]=0$ in $KK(A, M(B)/B)$. When $B$ is stably finite, the extension $\rho$ is often not liftable when $[\rho]=0$ in $KK(A, M(B)/B).$ Finally, when $B$ additionally has tracial rank zero and when $A$ belongs to a sufficiently regular class of unital separable amenable $C^*$-algebras, we have a version of the Voiculescu noncommutative Weyl--von Neumann theorem: Suppose that $\Phi, \Psi: A \rightarrow M(B)$ are unital injective homomorphisms such that $\Phi(A) \cap B = \Psi(A) \cap B = \{ 0 \}$ and $\tau \circ \Phi = \tau \circ \Psi$ for all $\tau \in T(B),$ {the tracial state space of $B.$} Then there exists a sequence $\{ u_n \}$ of unitaries in $M(B)$ such that (i) $u_n \Phi(a) u_n^* - \Psi(a) \in B$ for all $a \in A$ and $n \geq 1$, (ii) $\| u_n \Phi(a) u_n^* - \Psi(a) \| \rightarrow 0$ as $n \rightarrow \infty$ for all $a \in A$.

math.OA↗
arXiv2023

Classifying $^*$-homomorphisms I: Unital simple nuclear $C^*$-algebras

We classify the unital embeddings of a unital separable nuclear $C^*$-algebra satisfying the universal coefficient theorem into a unital simple separable nuclear $C^*$-algebra that tensorially absorbs the Jiang--Su algebra. This gives a new and essentially self-contained proof of the stably finite case of the unital classification theorem: unital simple separable nuclear $C^*$-algebras that absorb the Jiang--Su algebra tensorially and satisfy the universal coefficient theorem are classified by Elliott's invariant of $K$-theory and traces.

math.OA↗
arXiv2022

The dynamical Kirchberg-Phillips theorem

Let $G$ be a second-countable, locally compact group. In this article we study amenable $G$-actions on Kirchberg algebras that admit an approximately central embedding of a canonical quasi-free action on the Cuntz algebra $\mathcal{O}_\infty$. If $G$ is discrete, this coincides with the class of amenable and outer $G$-actions on Kirchberg algebras. We show that the resulting $G$-C*-dynamical systems are classified by equivariant Kasparov theory up to cocycle conjugacy. This is the first classification theory of its kind applicable to actions of arbitrary locally compact groups. Among various applications, our main result solves a conjecture of Izumi for actions of discrete amenable torsion-free groups, and recovers the main results of recent work by Izumi-Matui for actions of poly-$\mathbb{Z}$ groups.

math.OA↗
arXiv2022

The stable uniqueness theorem for equivariant Kasparov theory

This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical systems. The main result is a stable uniqueness theorem that generalizes a fundamental characterization of ordinary $KK$-theory by Lin and Dadarlat-Eilers. Along the way, we prove an equivariant Cuntz-Thomsen picture analog of the fact that the equivalence relation of homotopy agrees with the (a priori stronger) equivalence relation of stable operator homotopy. The results proved in this paper will be employed as the technical centerpiece in forthcoming work of the authors to classify certain amenable group actions on Kirchberg algebras by equivariant Kasparov theory.

math.OA↗
arXiv2022

Lifting theorems for completely positive maps

We prove lifting theorems for completely positive maps going out of exact $C^\ast$-algebras, where we remain in control of which ideals are mapped into which. A consequence is, that if $\mathsf X$ is a second countable topological space, $\mathfrak A$ and $\mathfrak B$ are separable, nuclear $C^\ast$-algebras over $\mathsf X$, and the action of $\mathsf X$ on $\mathfrak A$ is continuous, then $E(\mathsf X; \mathfrak A, \mathfrak B) \cong KK(\mathsf X; \mathfrak A, \mathfrak B)$ naturally. As an application, we show that a separable, nuclear, strongly purely infinite $C^\ast$-algebra $\mathfrak A$ absorbs a strongly self-absorbing $C^\ast$-algebra $\mathscr D$ if and only if $\mathfrak I$ and $\mathfrak I\otimes \mathscr D$ are $KK$-equivalent for every two-sided, closed ideal $\mathfrak I$ in $\mathfrak A$. In particular, if $\mathfrak A$ is separable, nuclear, and strongly purely infinite, then $\mathfrak A \otimes \mathcal O_2 \cong \mathfrak A$ if and only if every two-sided, closed ideal in $\mathfrak A$ is $KK$-equivalent to zero.

math.OA↗
arXiv2022

The nuclear dimension of $\mathcal O_\infty$-stable $C^*$-algebras

We show that every nuclear $\mathcal O_\infty$-stable *-homomorphism with a separable exact domain has nuclear dimension at most 1. In particular separable, nuclear, $\mathcal O_\infty$-stable C*-algebras have nuclear dimension 1. We also characterise when $\mathcal O_\infty$-stable C*-algebras have finite decomposition rank in terms of quasidiagonality and primitive-ideal structure, and determine when full $\mathcal O_2$-stable *-homomorphisms have nuclear dimension 0.

math.OA↗
arXiv2021

Classification of $\mathcal O_\infty$-stable $C^\ast$-algebras

I present a proof of Kirchberg's classification theorem: two separable, nuclear, $\mathcal O_\infty$-stable $C^\ast$-algebras are stably isomorphic if and only if they are ideal-related $KK$-equivalent. In particular, this provides a more elementary proof of the Kirchberg--Phillips theorem which is isolated in the paper to increase readability of this important special case.

math.OA↗
arXiv2021

Dynamic asymptotic dimension and Matui's HK conjecture

We prove that the homology groups of a principal ample groupoid vanish in dimensions greater than the dynamic asymptotic dimension of the groupoid (as a side-effect of our methods, we also give a new model of groupoid homology in terms of the Tor groups of homological algebra, which might be of independent interest). As a consequence, the K-theory of the $C^*$-algebras associated with groupoids of finite dynamic asymptotic dimension can be computed from the homology of the underlying groupoid. In particular, principal ample groupoids with dynamic asymptotic dimension at most two and finitely generated second homology satisfy Matui's HK-conjecture. We also construct explicit maps from the groupoid homology groups to the K-theory groups of their $C^*$-algebras in degrees zero and one, and investigate their properties.

math.OA↗
arXiv2019

Traceless AF embeddings and unsuspended $E$-theory

I show that quasidiagonality and AF embeddability are equivalent properties for traceless $\mathrm C^\ast$-algebras and are characterised in terms of the primitive ideal space. For nuclear $\mathrm C^\ast$-algebras the same characterisation determines when Connes and Higson's $E$-theory can be unsuspended.

math.OA↗
arXiv2019

The unital Ext-groups and classification of $C^\ast$-algebras

The semigroups of unital extensions of separable $C^\ast$-algebras come in two flavours: a strong and a weak version. By the unital $\mathrm{Ext}$-groups, we mean the groups of invertible elements in these semigroups. We use the unital $\mathrm{Ext}$-groups to obtain $K$-theoretic classification of both unital and non-unital extensions of $C^\ast$-algebras, and in particular we obtain a complete $K$-theoretic classification of full extensions of UCT Kirchberg algebras by stable AF algebras.

math.OA↗
arXiv2018

A new proof of Kirchberg's $\mathcal O_2$-stable classification

I present a new proof of Kirchberg's $\mathcal O_2$-stable classification theorem: two separable, nuclear, stable/unital, $\mathcal O_2$-stable $C^\ast$-algebras are isomorphic if and only if their ideal lattices are order isomorphic, or equivalently, their primitive ideal spaces are homeomorphic. Many intermediate results do not depend on pure infiniteness of any sort.

math.OA↗