We investigate the notion of relatively amenable topological action and show that the action of Thompson’s group T on $S^1$ is relatively amenable with respect to Thompson’s group F. We use this to conclude that F is exact if and only if T is exact. Moreover, we prove that the groupoid of germs of the action of T on $S^1$ is Borel amenable.

Let $(G,\unicode[STIX]{x1D6EC})$ be a self-similar $k$-graph with a possibly infinite vertex set $\unicode[STIX]{x1D6EC}^{0}$. We associate a universal C*-algebra ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$ to $(G,\unicode[STIX]{x1D6EC})$. The main purpose of this paper is to investigate the ideal structures of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$. We prove that there exists a one-to-one correspondence between the set of all $G$-hereditary and $G$-saturated subsets of $\unicode[STIX]{x1D6EC}^{0}$ and the set of all gauge-invariant and diagonal-invariant ideals of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$. Under some conditions, we characterize all primitive ideals of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$. Moreover, we describe the Jacobson topology of some concrete examples, which includes the C*-algebra of the product of odometers. On the way to our main results, we study self-similar $P$-graph C*-algebras in depth.

Using the classical universal coefficient theorem of Rosenberg-Schochet, we prove a simple classification of all localizing subcategories of the Bootstrap category Boot ⊂ KK of separable complex C*-algebras. Namely, they are in a bijective correspondence with subsets of the Zariski spectrum Specℤ of the integers – precisely as for the localizing subcategories of the derived category D(ℤ) of complexes of abelian groups. We provide corollaries of this fact and put it in context with the similar classifications available in the literature.