No label defined (Q3159229)

A contraction \(T\) acting on a separable, complex Hilbert space \(H\) is said to be absolutely continuous if the spectral measure of its unitary part is absolutely continuous with respect to the Lebesgue measure on the unit circle. In this case, for any vectors \(x,y\in H\) there exists a unique function \(x\mathop{\cdot}\limits^T y\in L^1\) whose Fourier coefficients \(\widehat{x\mathop{\cdot}\limits^T y}(n)\) equal \((T^nx,y)\) for \(n\leq 0\) and \((T^{*n}x,y)\) for \(n>0.\) To each absolutely continuous contraction \(T\) it was associated in the paper by \textit{B.~Chevreau, G.~Exner} and \textit{C. M.~Pearcy} [J. Oper. Theory 34, No. 2, 347-380 (1995; Zbl 0853.47026)] its boundary set \(X_T\) which is defined as the unique maximal Borel subset of the unit circle with the following property: for every function \(f\in L^1(X_T)\) with \(\| f\|_1\leq 1\), there are sequences \(\{x_n\}\) and \(\{y_n\}\) in the unit ball of \(H\) such that \(\|[f]- [x_n\mathop{\cdot}\limits^T y_n]\|\to 0\) and, moreover, \(\|[x_n\mathop{\cdot}\limits^T z]\|+\|[z\mathop{\cdot}\limits^T y_n]\|\to 0\) for every \(z\in H.\) Here, \([f]\) denotes the class of \(f\) in the quotient space \(L^1/H_0^1\). It is known that \(X_T\) equals the unit circle if and only if \(T\) belongs to the class \({\mathbb A}_{\aleph_0}\) appearing in the theory of dual algebras. The main result of this paper is that if \(b\) is a Blaschke product of finite degree \(d\) for which there exist \(d\) distinct Möbius transforms \(u\) such that \(b\circ u=b\), then \(b(X_T)=X_{b(T)}\) for every absolutely continuous contraction \(T\). This result is related to previous work by the same authors in [Proc. Lond. Math. Soc., III. Ser. 79, No. 1, 222--240 (1999; Zbl 1026.47511) and Acta Sci. Math. 64, No. 3--4, 707--731 (1998; Zbl 0937.47066)].