On freely generated semigraph \(C^*\)-algebras (Q2811015)

In [\textit{B. Burgstaller}, Banach J. Math. Anal. 6, No. 2, 38--57 (2012; Zbl 1260.46035)], the author introduced a family of \(C^*\)-algebras, named higher rank semigraph \(C^*\)-algebras, which extend the families of ultragraph algebras [\textit{M. Tomforde}, J. Oper. Theory 50, No. 2, 345--368 (2003; Zbl 1061.46048)] and labelled graph \(C^*\)-algebras [\textit{T. Bates} and \textit{D. Pask}, J. Oper. Theory 57, No. 1, 207--226 (2007; Zbl 1113.46049)]. As in these earlier families of \(C^*\)-algebras, besides generators that are partial isometries with commuting range and source projections, an additional set of generators consisting of commuting projections is allowed, along with relations similar to those used in higher rank graphs.NEWLINENEWLINEIn this paper, the author continues his investigations of these \(C^*\)-algebras. For a semigraph \(T\), a \(C^*\)-algebra \(\mathcal {Q}(T)\) generated by \(T\) is introduced as a generalized Cuntz-Krieger algebra. It satisfies a Cuntz-Krieger uniqueness theorem and its \(K\)-groups are computed.NEWLINENEWLINEA ``semigraph'' \(T\), defined in [Burgstaller, loc.\,cit.], is a semimultiplicative set with a particular unique factorization property involving a degree map. A ``semigraph algebra'' \(X\), also introduced therein, is a \(*\)-algebra generated by, subject to certain relations, a set \(\mathcal {T}\) of partial isometries that form a semigraph together with a disjoint set \(\mathcal {P}\) of commuting projections. In [Burgstaller, loc.\,cit.], it was shown that a cancellative property for \(X\) guarantees that the universal representation of \(X\) in \(C^{\ast}(X)\) is injective if it is injective on the subset of ``standard projections'' in \(X\). This is a Cuntz-Krieger uniqueness theorem which generalizes, for example, the corresponding uniqueness theorems for Toeplitz Cuntz-Krieger algebras [\textit{J. Cuntz} and \textit{W. Krieger}, Invent. Math. 56, 251--268 (1980; Zbl 0434.46045)] and higher rank Toeplitz graph algebras [\textit{I. Raeburn} and \textit{A. Sims}, J. Oper. Theory 53, No. 2, 399--429 (2005; Zbl 1093.46032)].NEWLINENEWLINEThe property of a semigraph algebra \(X\) being free is introduced; this is a Toeplitz-type condition roughly requiring that the range projections of generators should not sum to the unit. This property ensures that \(X\) is cancellative.NEWLINENEWLINEWith a semigraph \(T\), the author associates a particular \(*\)-algebra \(X\), the ``freely generated semigraph algebra for \(T\)'', a specific quotient of the free algebra containing \(T\), so that, for example, the (partially defined) multiplication in \(T\) carries over to the multiplication in \(X\) and \(xy=0\) in \(X\) whenever the product of \(x\) and \(y\) in \(T\) is undefined. The enveloping \(C^*\)-algebra of this \(X\), denoted by \(\mathcal {Q}(T)\), is termed the ``freely generated semigraph \(C^*\)-algebra associated with \(T\)''. It is shown that this \(*\)-algebra \(X\) is a semigraph algebra, that the embedding of \(T\) in \(X\) is injective, and that \(X\) is a free semigraph algebra. The latter implies that the Cuntz-Krieger uniqueness theorem holds for \(\mathcal {Q}(T)\).NEWLINENEWLINEA left cancellative semimultiplicative set \(\Delta \) is formed from a given semigraph \(T\), allowing one to form the reduced \(C^*\)-algebra \(C_{r}^{\ast}(\Delta)\) of \(\Delta \) via left multiplication operators. The author shows that there is a representation of \(X\), the freely generated semigraph algebra for \(T\), as bounded operators in \(C_{r}^{\ast}(\Delta)\), which is injective on the appropriate subset of standard projections. Applying the uniqueness theorem then yields that \(\mathcal {Q}(T)\cong C_{r}^{\ast}(\Delta)\).NEWLINENEWLINEAnother property for a semigraph algebra \(X\), namely ``weakly free'', is introduced. This property, weaker than \(X\) being free, allows for results in [\textit{B. Burgstaller}, J. Funct. Anal. 256, No. 6, 1693--1707 (2009; Zbl 1172.46045)] to be directly applied in computing the \(K\)-theory of the universal \(C^*\)-algebra \(C^{\ast}(X)\), so in particular for the \(C^*\)-algebra \(\mathcal {Q}(T)\). The \(K\)-group results obtained here generalize, for example, those for the Toeplitz Cuntz-Krieger algebras [\textit{J. Cuntz}, Ann. Math. (2) 113, 181--197 (1981; Zbl 0437.46060)] and the higher rank Toeplitz graph algebras [Burgstaller, loc.\,cit.].