A \(C^\ast\)-algebra of singular integral operators with shifts admitting distinct fixed points (Q2019252): Difference between revisions

The authors deal with a nonlocal \(C^*\)-algebra \(\mathfrak B\) generated by a \(C^* \)-algebra of singular integral operators with piecewise slowly oscillating coefficients and by a group of unitary shift operators \(U_{G}\) associated with a discrete amenable group \(G\) of orientation-preserving piecewise smooth homeomorphisms. Let \(\mathrm{PSO}(\mathbb T)\) be the \(C^*\)-algebra of piecewise slowly oscillating functions on the unit circle \(\mathbb T\) in \(\mathbb C\) and let \(G\) be a discrete amenable group of orientation-preserving piecewise smooth homeomorphisms \(g:\mathbb T\to\mathbb T\) possessing derivatives \(g^{\prime}\) with at most finite sets of discontinuities which act on \(\mathbb T\) topologically freely. The authors consider the \(C^*\)-subalgebra \(\mathfrak B=\mathrm{alg}(\mathrm{PSO}(\mathbb T), S_{\mathbb T},U_G)\) of \(\mathcal B(L^2(\mathbb T))\), the \(C^*\)-algebra of all bounded linear operators on \(L^2(\mathbb T)\), generated by all multiplication operators \(aI\) with \(a\in \mathrm{PSO}(\mathbb T)\), by the Cauchy singular integral operator \(S_{\mathbb T}\) defined by \[ (S_{\mathbb T}\varphi)(t)=\lim\limits_{\varepsilon \to 0} \frac{1}{\pi i}\int\limits_{\mathbb T\smallsetminus\mathbb T(t,\varepsilon)}\frac{\varphi(\tau)}{\tau-t}d\tau,\;\;\;\mathbb T(t,\varepsilon)=\{\tau\in\mathbb T: |\tau-t|<\varepsilon\},\quad t\in\mathbb T, \] and by the group \(U_G=\{u_g:g\in G\}\) of unitary weighted shift operators \(U_g\) given by \((U_g\varphi)(t)=|g^{\prime}(t)|^{\frac{1}{2}}\varphi(g(t))\) for all \(t\in\mathbb T\). They construct a representation \(\Psi_{\mathfrak B}\) of \(\mathfrak B\) on a suitable Hilbert space \(\mathcal H_{\mathfrak B}\). A Fredholm symbol map for \(\mathfrak B\) is obtained, that is, \(B\in\mathfrak B\) is Fredholm if and only if \(\Psi_{\mathfrak B}(B)\) is invertible on \(\mathcal H_{\mathfrak B}\). This gives a faithful representation of the quotient \(C^*\)-algebra \(\mathfrak B/\mathcal K\) on a suitable Hilbert space, where \(\mathcal K\) is the ideal of compact operators of \(\mathcal B(L^2(\mathbb T))\).