Gauge-invariant ideals of \(C^\ast \)-algebras of Boolean dynamical systems (Q2310488)

Labelled graph \(C^*\)-algebras were introduced in [\textit{T. Bates} and \textit{D. Pask}, J. Oper. Theory 57, No. 1, 207--226 (2007; Zbl 1113.46049)] in order to encode information associated to sofic systems. Inspired by this construction, the class of \(C^*\)-algebras of Boolean dynamical systems was introduced in [\textit{T. M. Carlsen} et al., J. Math. Anal. Appl. 450, No. 1, 727--768 (2017; Zbl 1365.37012)]. This class contains many labelled graph \(C^*\)-algebras, but not all of them. In the paper under review, the authors extend the class of Boolean dynamical systems to that of \emph{generalized Boolean dynamical systems}: given any Boolean dynamical system \((\mathcal{B}, \mathcal{L}, \theta)\), they attach to it a family \({(\mathcal{I}_\alpha)}_{\alpha\in \mathcal{L}}\) of ideals of \(\mathcal{B}\) such that \(\theta_\alpha(\mathcal{B})\subseteq \mathcal{I}_\alpha\) for each \(\alpha\) (Definition 3.2), and they associate a universal \(C^*\)-algebra \(C^*(\mathcal{B}, \mathcal{L}, \theta, \mathcal{I}_\alpha)\) (Definition 3.3 \& Proposition 6.4). This class contains all Boolean dynamical system \(C^*\)-algebras (Example 4.1) and all weakly left-resolving normal labelled space \(C^*\)-algebras (Example 4.2). Thus, this class contains all graph \(C^*\)-algebras, ultragraph \(C^*\)-algebras, \(C^*\)-algebras of shift spaces, and homeomorphism \(C^*\)-algebras over \(0\)-dimensional compact spaces, among others. The ultimate aim of the paper is to describe the gauge-invariant ideals for this class of algebras (and thus, for the relevant subclasses of it). To do this, the authors first introduce the notion of \emph{relative generalized Boolean dynamical system}: given a generalized Boolean dynamical system \((\mathcal{B}, \mathcal{L}, \theta, \mathcal{I}_\alpha)\), they attach to it an ideal \(\mathcal{J}\) of \(\mathcal{B}_{\text{reg}}\), and they associate a universal \(C^*\)-algebra \(C^*(\mathcal{B}, \mathcal{L}, \theta, \mathcal{I}_\alpha; \mathcal{J})\) (Definitions 3.2 \& 3.3). By following ideas of \textit{T. Bates} et al. [Ergodic Theory Dyn. Syst. 37, No. 2, 337--368 (2017; Zbl 1373.46066)], they show that \(C^*(\mathcal{B}, \mathcal{L}, \theta, \mathcal{I}_\alpha; \mathcal{J})\) can be constructed as a relative Cuntz-Pimsner algebra (Theorem 5.5). Thus, they can use Katsura's gauge-invariant uniqueness theorem for relative Cuntz-Pimsner algebras [\textit{T. Katsura}, Pac. J. Math. 230, No. 1, 107--145 (2007; Zbl 1152.46048), Corollary 11.8] to produce a gauge-invariant uniqueness theorem for \(C^*(\mathcal{B}, \mathcal{L}, \theta, \mathcal{I}_\alpha; \mathcal{J})\) (Theorem 6.1). They are thus able to show that, for any relative generalized Boolean dynamical system \((\mathcal{B}, \mathcal{L}, \theta, \mathcal{I}_\alpha; \mathcal{J})\), there exists an associated Boolean dynamical system \((\widetilde{\mathcal{B}}, \mathcal{L}, \widetilde{\theta})\) so that \(C^*(\mathcal{B}, \mathcal{L}, \theta, \mathcal{I}_\alpha; \mathcal{J})\) is Morita equivalent to \(C^*(\widetilde{\mathcal{B}}, \mathcal{L}, \widetilde{\theta})\) (Propositions 6.3 \& 6.4). Finally, they give a complete description of gauge-invariant ideals for \(C^*(\mathcal{B}, \mathcal{L}, \theta, \mathcal{I}_\alpha; \mathcal{J})\), which generalize the results in [\textit{T. M. Carlsen} et al., J. Math. Anal. Appl. 450, No. 1, 727--768 (2017; Zbl 1365.37012), Proposition 10.11 \& Theorem 10.12] and [\textit{J. A. Jeong} et al., J. Funct. Anal. 262, No. 4, 1759--1780 (2012; Zbl 1247.46042), Theorem~5.2] (Theorem~7.4).