No Arabic abstract
We establish the Hao-Ng isomorphism for generalized gauge actions of locally compact abelian groups on product systems over abelian lattice orders and we then use it to explore Takai duality in this context. As an application we generalize related work of Schafhauser.
Let $(mathcal G, Sigma)$ be an ordered abelian group with Haar measure $mu$, let $(mathcal A, mathcal G, alpha)$ be a dynamical system and let $mathcal Artimes_{alpha} Sigma $ be the associated semicrossed product. Using Takai duality we establish a stable isomorphism [ mathcal Artimes_{alpha} Sigma sim_{s} big(mathcal A otimes mathcal K(mathcal G, Sigma, mu)big)rtimes_{alphaotimes {rm Ad}: rho} mathcal G, ] where $mathcal K(mathcal G, Sigma, mu)$ denotes the compact operators in the CSL algebra ${rm Alg}:mathcal L(mathcal G, Sigma, mu)$ and $rho$ denotes the right regular representation of $mathcal G$. We also show that there exists a complete lattice isomorphism between the $hat{alpha}$-invariant ideals of $mathcal Artimes_{alpha} Sigma$ and the $(alphaotimes {rm Ad}: rho)$-invariant ideals of $mathcal A otimes mathcal K(mathcal G, Sigma, mu)$. Using Takai duality we also continue our study of the Radical for the crossed product of an operator algebra and we solve open problems stemming from the earlier work of the authors. Among others we show that the crossed product of a radical operator algebra by a compact abelian group is a radical operator algebra. We also show that the permanence of semisimplicity fails for crossed products by $mathbb R$. A final section of the paper is devoted to the study of radically tight dynamical systems, i.e., dynamical systems $(mathcal A, mathcal G, alpha)$ for which the identity ${rm Rad}(mathcal A rtimes_alpha mathcal G)=({rm Rad}:mathcal A) rtimes_alpha mathcal G$ persists. A broad class of such dynamical systems is identified.
Let $(G, P)$ be an abelian, lattice ordered group and let $X$ be a compactly aligned product system over $P$. We show that the C*-envelope of the Nica tensor algebra $mathcal{N}mathcal{T}^+_X$ coincides with both Sehnems covariance algebra $mathcal{A} times_X P$ and the co-universal C*-algebra $mathcal{N}mathcal{O}^r_X$ for injective, gauge compatible, Nica-covariant representations of Carlsen, Larsen, Sims and Vittadello. We give several applications of this result on both the selfadjoint and non-selfadjoint operator algebra theory. First we guarantee the existence of $mathcal{N}mathcal{O}^r_X$, thus settling a problem of Carlsen, Larsen, Sims and Vittadello which was open even for abelian, lattice ordered groups. As a second application, we resolve a problem posed by Skalski and Zacharias on dilating isometric representations of product systems to unitary representations. As a third application we characterize the C*-envelope of the tensor algebra of a finitely aligned higher-rank graph which also holds for topological higher-rank graphs. As a final application we prove reduced Hao-Ng isomorphisms for generalized gauge actions of discrete groups on C*-algebras of product systems. This generalizes recent results that were obtained by various authors in the case where $(G, P) =(mathbb{Z},mathbb{N})$.
Starting from a discrete $C^*$-dynamical system $(mathfrak{A}, theta, omega_o)$, we define and study most of the main ergodic properties of the crossed product $C^*$-dynamical system $(mathfrak{A}rtimes_alphamathbb{Z}, Phi_{theta, u},om_ocirc E)$, $E:mathfrak{A}rtimes_alphamathbb{Z}rightarrowga$ being the canonical conditional expectation of $mathfrak{A}rtimes_alphamathbb{Z}$ onto $mathfrak{A}$, provided $ainaut(ga)$ commute with the $*$-automorphism $th$ up tu a unitary $uinga$. Here, $Phi_{theta, u}inaut(mathfrak{A}rtimes_alphamathbb{Z})$ can be considered as the fully noncommutative generalisation of the celebrated skew-product defined by H. Anzai for the product of two tori in the classical case.
Given a C$^*$-correspondence $X$, we give necessary and sufficient conditions for the tensor algebra $mathcal T_X^+$ to be hyperrigid. In the case where $X$ is coming from a topological graph we obtain a complete characterization.
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.