Simple infinite-dimensional quotients of the group \(C^{\bigstar}\)-algebras of certain discrete 6-dimensional nilpotent groups (Q555950)

There is a natural one-to-one correspondence between the dual \(\hat G\), i.e. the set of unitary equivalence classes of irreducible unitary representations of a locally compact group \(G\), and the unitary equivalence classes of irreducible *-representations of the corresponding group \(C^*\)-algebra \(C^*(G)\). To each representation \(\pi\in \hat G\) one associates its kernel \(I_\pi \triangleleft C^*(G)\), one obtains a map \(\hat G \to Prim(G)\) from the dual \(\hat G\) to the space \(Prim(G)\) of primitive ideals in \(C^*(G)\). The quotient \(C^*(G)/I_\pi\) becomes a simple quotient if the primitive ideal \(I_\pi\) is maximal. In the paper the authors study the simple quotients of group \(C^*\)-algebras of two discrete 6-dimensional nilpotent groups \(H_{6,1}\) and \(H_{6,2}\) from the list of 24 6-dimensional nilpotent groups \(H_{6,j}\), \(j=\overline{1,24}\), as the higher-dimensional analogues of the irrational rotation algebras. The main results are: (1) (Theorem 2.1) the faithful simple quotient \(A^{6,1}_\theta\) of \(C^*(H_{6,1})\) is presented as some \(C^*\)-crossed product \(A^{6,1}_\theta \cong \mathcal C(\mathbb T^3) \rtimes_\Phi \mathbb Z^2\) and (Theorem 3.1) \(A^{6,2}_\theta \cong \mathbb C(\mathbb T^3) \rtimes_\Psi \mathbb Z^2\); (2) a matrix presentation for the non-faithful simple quotients (Theorems 2.4, 2.8, 3.4, 3.8). The authors compute also the corresponding \(K\)-groups.