A note on Arveson's hyperrigidity and non-degenerate C*-correspondences

Abstract: We revisit the results of Kim, and of Katsoulis and Ramsey concerning hyperrigidity for non-degenerate C*-correspondences. We show that the tensor algebra is hyperrigid, if and only if Katsura's ideal acts non-degenerately, if and only if Katsura's ideal acts non-degenerately under any representation. This gives a positive answer to the question of Katsoulis and Ramsey, showing that their necessary condition and their sufficient condition for hyperrigidity of the tensor algebra are equivalent. Non-degeneracy of the left action of Katsura's ideal was also shown by Kim to be equivalent to hyperrigidity for the selfadjoint operator space associated with the C*-correspondence, and our approach provides a simplified proof of this result as well. In the process we revisit Arveson's criterion connecting maximality with the unique extension property and hyperrigidity, in conjunction with the work of Salomon on generating sets.