Fixed point composition and Toeplitz-composition \(C^\ast\)-algebras (Q2436753)

Let \(\varphi\) be an analytic self-map of the unit disk \(\mathbb D\). Then the composition operator \(C_{\varphi}: f \mapsto f\circ \varphi\), defined on the Hardy space \(H^2(\mathbb D)\), is a bounded operator. We know that, if \(\varphi\) is a linear-fractional map, then \(C_{\varphi}\) is a compact operator on \(H^2(\mathbb D)\) if and only if \(\|\varphi\|_{\infty}:= \sup\{|\varphi(z)|: z\in \mathbb D\}< 1\). In the case where \(\|\varphi\|_{\infty}= 1\), but \(\varphi\) is not an automorphism of \(\mathbb D\), the structure of the unital C*-algebra \(C^*(C_{\varphi}, \mathcal K)\) generated by \(C_{\varphi}\) and the ideal \(\mathcal K\) of compact operators depends on the configuration of the fixed points of \(\varphi\). In this paper, the author considers the case that \(\varphi\) fixes a point \(\zeta \in \mathbb T\) and \(\varphi'(\zeta)\neq 1\) and studies, respectively, \(C^*(C_{\varphi}, \mathcal K)\) and the unital C*-algebra \(C^*(\mathcal F_{\zeta})\) generated by all composition operators induced by linear-fractional, non-automorphism self-maps of \(\mathbb D\) that fix \(\zeta\). Applying these results, she shows that the unital C*-algebras \(C^*(C_{\varphi}, \mathcal K)\) and \(C^*(\mathcal F_{\zeta})\) are isomorphic, modulo \(\mathcal K\), to a unitization of a crossed product of \(C_0([0,1])\) by the discrete groups \(\mathbb Z\) and \(\mathbb R^+_d\), respectively. The author also determines the structure of \(C^*(T_z, C_{\varphi})/\mathcal K\), where \(\varphi\) is a linear-fractional self-map of \(\mathbb D\) that fixes \(\zeta\in \mathbb T\) and \(T_z\) is the unilateral shift; combining this result with work of \textit{M. T. Jury} [Integral Equations Oper. Theory 58, No. 3, 341--362 (2007; Zbl 1162.47033)] and \textit{T. L. Kriete} et al. [J. Oper. Theory 58, No. 1, 135--156 (2007; Zbl 1134.47303); Isr. J. Math. 179, 449--477 (2010; Zbl 1205.47024)], the author obtains a full description of \(C^*(T_z, C_{\varphi})/\mathcal K\) for any linear-fractional self-map \(\varphi\) of \(\mathbb D\).