Search arXiv⌕ Search

arXiv · 2609.38596

$\mathcal{Z}$-stable and selfless inclusions for the infinite braid group

Abstract

Let $B_\infty$ be the braid group on infinitely many strands and $P_\infty$ its pure braid group. We show that $C^*_r(P_\infty)\subseteq C^*_r(B_\infty)$ and all its intermediate inclusions are $\mathcal{Z}$-stable and completely selfless. This gives natural examples of simple nonnuclear $\mathcal{Z}$-stable $C^*$-algebras. Further examples come from $\mathrm{SL}_\infty(\mathbb{Z})$ and $\mathrm{GL}_\infty(\mathbb{Z})$. We also show that $C^*_r(\mathbb{F}_\infty)\subseteq C^*_r(B_\infty)$ is completely selfless for the free group $\mathbb{F}_\infty$ of braids in which only the first strand moves. All results hold for twisted group $C^*$-algebras. In contrast, $\mathcal{Z}$-stability fails for $B_n$ with $n$ finite and for groups that are not inner amenable.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tron Omland. 2026-10-26. $\mathcal{Z}$-stable and selfless inclusions for the infinite braid group. https://arxiv.org/abs/2609.38596

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the embedding rigidity problem for uniformly locally finite coarse spaces

In this paper, we construct countable uniformly locally finite metric spaces $X$ and $Y$ such that $C_u^*(X)$ is isomorphic to a hereditary $C^*$-subalgebra of $C_u^*(Y)$, but neither space coarsely embeds into the other. This gives a negative answer to the embedding rigidity problem for uniformly locally finite coarse spaces. On the positive side, we prove that a hereditary embedding $C_u^*(X)\to C_u^*(Y)$ implies an injective coarse embedding $X\to Y$ whenever $C_u^*(Y)$ contains no block-rank-one ghost projection. In particular, this strengthens the coarse embedding theorem of Braga, Farah, and Vignati by obtaining injectivity under the same hypothesis that every sparse subspace of $Y$ yields only compact ghost projections.

math.OA↗

Classification of reduced free products of nuclear C*-algebras

Consider the countably infinite reduced free product $D$ of copies of $(\mathrm C([0,1]),λ)$, where $λ$ is Lebesgue measure. It is proved that finite and countable reduced free products of unital separable nuclear UCT $\mathrm C^*$-algebras with respect to a chosen family of faithful traces are classified, after adjoining $D$, by the Elliott invariant. In other words, an isomorphism between the naive K-theory invariants of two such algebras is induced by an isomorphism between the algebras.

math.OA↗

C*-algebras of groupoid morphisms

In this paper we suggest a definition for a C*-algebra attached to an injective morphism of some Étale groupoid. We take into account all the peculiarities of such objects and present some interesting relations with already well-known C*-algebras from the literature.

math.OA↗