The closure of ideals of \(\ell^1(\Sigma)\) in its enveloping \(C^*\)-algebra (Q1679448)

If \(X\) is a compact Hausdorff space and \(\sigma\) is a homeomorphism of \(X\), then an involutive Banach algebra \(l^1 (\Sigma)\) of crossed product type is naturally associated with the topological dynamical system \(\Sigma = (X,\sigma)\). In this paper, the authors initiate the study of the relation between two-sided ideals of \(l^1 (\Sigma)\) and \(C^*(\Sigma)\), the enveloping \(C^*\)-algebra \(C(X)\rtimes_{\sigma}\mathbb{Z}\) of \(l^1(\Sigma)\). Among other things, it is proved that the closure of a proper two-sided ideal of \(l^1(\Sigma)\) in \(C^*(\Sigma)\) is again a proper two-sided ideal of \(C^*(\Sigma)\).