Using non-selfadjoint techniques, we establish the Hao-Ng isomorphism for the reduced crossed product and all discrete groups. For the full crossed product an analogous result holds for all discrete groups but the C*-correspondences involved have to be hyperrigid. These results are obtained by calculating the C*-envelope of the reduced crossed product of an operator algebra by a discrete group.
In an earlier work, the authors proposed a non-selfadjoint approach to the Hao-Ng isomorphism problem for the full crossed product, depending on the validity of two conjectures stated in the broader context of crossed products for operator algebras. By work of Harris and Kim, we now know that these conjectures in the generality stated may not always be valid. In this paper we show that in the context of hyperrigid tensor algebras of C*-correspondences, each one of these conjectures is equivalent to the Hao-Ng problem. This is accomplished by studying the representation theory of non-selfadjoint crossed products of C*-correspondence dynamical systems; in particular we show that there is an appropriate dilation theory. A large class of tensor algebras of C*-correspondences, including all regular ones, are shown to be hyperrigid. Using Hamanas injective envelope theory, we extend earlier results from the discrete group case to arbitrary locally compact groups; this includes a resolution of the Hao-Ng isomorphism for the reduced crossed product and all hyperrigid C*-correspondences. A culmination of these results is the resolution of the Hao-Ng isomorphism problem for the full crossed product and all row-finite graph correspondences; this extends a recent result of Bedos, Kaliszewski, Quigg and Spielberg.
We prove that the isomorphism relation for separable C$^*$-algebras, and also the relations of complete and $n$-isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a standard Borel space.
A cosystem consists of a possibly nonselfadoint operator algebra equipped with a coaction by a discrete group. We introduce the concept of C*-envelope for a cosystem; roughly speaking, this is the smallest C*-algebraic cosystem that contains an equivariant completely isometric copy of the original one. We show that the C*-envelope for a cosystem always exists and we explain how it relates to the usual C*-envelope. We then show that for compactly aligned product systems over group-embeddable right LCM semigroups, the C*-envelope is co-universal, in the sense of Carlsen, Larsen, Sims and Vittadello, for the Fock tensor algebra equipped with its natural coaction. This yields the existence of a co-universal C*-algebra, generalizing previous results of Carlsen, Larsen, Sims and Vittadello, and of Dor-On and Katsoulis. We also realize the C*-envelope of the tensor algebra as the reduced cross sectional algebra of a Fell bundle introduced by Sehnem, which, under a mild assumption of normality, we then identify to the quotient of the Fock algebra by the image of Sehnems strong covariance ideal. In another application, we obtain a reduced Hao-Ng isomorphism theorem for the co-universal algebras.
Let $A$ be a unital operator algebra and let $alpha$ be an automorphism of $A$ that extends to a *-automorphism of its $ca$-envelope $cenv (A)$. In this paper we introduce the isometric semicrossed product $A times_{alpha}^{is} bbZ^+ $ and we show that $cenv(A times_{alpha}^{is} bbZ^+) simeq cenv (A) times_{alpha} bbZ$. In contrast, the $ca$-envelope of the familiar contractive semicrossed product $A times_{alpha} bbZ^+ $ may not equal $cenv (A) times_{alpha} bbZ$. Our main tool for calculating $ca$-envelopes for semicrossed products is the concept of a relative semicrossed product of an operator algebra, which we explore in the more general context of injective endomorphisms. As an application, we extend a recent result of Davidson and Katsoulis to tensor algebras of $ca$-correspondences. We show that if $T_{X}^{+}$ is the tensor algebra of a $ca$-correspondence $(X, fA)$ and $alpha$ a completely isometric automorphism of $T_{X}^{+}$ that fixes the diagonal elementwise, then the contractive semicrossed product satisfies $ cenv(T_{X}^{+} times_{alpha} bbZ^+)simeq O_{X} times_{alpha} bbZ$, where $O_{X}$ denotes the Cuntz-Pimsner algebra of $(X, fA)$.