The structure of gauge-invariant ideals of labelled graph \(C^{\ast}\)-algebras (Q665497)

In the present paper the authors describe the structure of the gauge-invariant ideals of the \(C^*\)-algebra \(C^*(E, \mathcal{L}, \mathcal{B})\) associated to certain labelled spaces \((E, \mathcal{L}, \mathcal{B})\). The class of labelled graph \(C^*\)-algebras was introduced by \textit{T. Bates} and \textit{D. Pask} in [``\(C^*\)-algebras of labelled graphs'', J. Oper. Theory 57, No. 1, 207--226 (2007; Zbl 1113.46049)]. The graphs \(E\) under consideration here have no sinks, and the labelled spaces \((E, \mathcal{L}, \mathcal{B})\) in the present analysis are set-finite, receiver set-finite, weakly left-resolving, and moreover \(\mathcal{B}\) is closed under relative complements. The main hurdle is that of identifying quotients \(C^*(E, \mathcal{L}, \mathcal{B})/I\) by gauge-invariant ideals as suitable labelled graph-like \(C^*\)-algebras. It turns out that the appropriate class consists of what the authors call \textit{quotient labelled spaces} obtained from certain equivalence relations on \(\mathcal{B}\). The main result establishes that gauge-invariant ideals of \(C^*(E, \mathcal{L}, \mathcal{B})\) are in bijective correspondence with the hereditary saturated subsets of \(\mathcal{B}\). Criteria, in the form of both necessary and sufficient conditions, for simplicity of certain labelled graph algebras are also obtained.