No Arabic abstract
We study subproduct systems in the sense of Shalit and Solel arising from stochastic matrices on countable state spaces, and their associated operator algebras. We focus on the non-self-adjoint tensor algebra, and Viselters generalization of the Cuntz-Pimsner C*-algebra to the context of subproduct systems. Suppose that $X$ and $Y$ are Arveson-Stinespring subproduct systems associated to two stochastic matrices over a countable set $Omega$, and let $mathcal{T}_+(X)$ and $mathcal{T}_+(Y)$ be their tensor algebras. We show that every algebraic isomorphism from $mathcal{T}_+(X)$ onto $mathcal{T}_+(Y)$ is automatically bounded. Furthermore, $mathcal{T}_+(X)$ and $mathcal{T}_+(Y)$ are isometrically isomorphic if and only if $X$ and $Y$ are unitarily isomorphic up to a *-automorphism of $ell^infty(Omega)$. When $Omega$ is finite, we prove that $mathcal{T}_+(X)$ and $mathcal{T}_+(Y)$ are algebraically isomorphic if and only if there exists a similarity between $X$ and $Y$ up to a *-automorphism of $ell^infty(Omega)$. Moreover, we provide an explicit description of the Cuntz-Pimsner algebra $mathcal{O}(X)$ in the case where $Omega$ is finite and the stochastic matrix is essential.
In this paper we study the C*-envelope of the (non-self-adjoint) tensor algebra associated via subproduct systems to a finite irreducible stochastic matrix $P$. Firstly, we identify the boundary representations of the tensor algebra inside the Toeplitz algebra, also known as its non-commutative Choquet boundary. As an application, we provide examples of C*-envelopes that are not *-isomorphic to either the Toeplitz algebra or the Cuntz-Pimsner algebra. This characterization required a new proof for the fact that the Cuntz-Pimsner algebra associated to $P$ is isomorphic to $C(mathbb{T}, M_d(mathbb{C}))$, filling a gap in a previous paper. We then proceed to classify the C*-envelopes of tensor algebras of stochastic matrices up to *-isomorphism and stable isomorphism, in terms of the underlying matrices. This is accomplished by determining the K-theory of these C*-algebras and by combining this information with results due to Paschke and Salinas in extension theory. This classification is applied to provide a clearer picture of the various C*-envelopes that can land between the Toeplitz and the Cuntz-Pimsner algebras.
We continue the study of isomorphisms of tensor algebras associated to a C*-correspondences in the sense of Muhly and Solel. Inspired by by recent work of Davidson, Ramsey and Shalit, we solve isomorphism problems for tensor algebras arising from weighted partial dynamical systems. We provide complete bounded / isometric classification results for tensor algebras arising from weighted partial systems, both in terms of the C*-correspondences associated to them, and in terms of the original dynamics. We use this to show that the isometric isomorphism and algebraic / bounded isomorphism problems are two distinct problems, that require separate criteria to be solved. Our methods yield alternative proofs to classification results for Peters semi-crossed product due to Davidson and Katsoulis and for multiplicity-free graph tensor algebras due to Katsoulis, Kribs and Solel.
We present some general theorems about operator algebras that are algebras of functions on sets, including theories of local algebras, residually finite dimensional operator algebras and algebras that can be represented as the scalar multipliers of a vector-valued reproducing kernel Hilbert space. We use these to further develop a quantized function theory for various domains that extends and unifies Aglers theory of commuting contractions and the Arveson-Drury-Popescu theory of commuting row contractions. We obtain analogous factorization theorems, prove that the algebras that we obtain are dual operator algebras and show that for many domains, supremums over all commuting tuples of operators satisfying certain inequalities are obtained over all commuting tuples of matrices.
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)$.
We make a careful study of one-parameter isometry groups on Banach spaces, and their associated analytic generators, as first studied by Cioranescu and Zsido. We pay particular attention to various, subtly different, constructions which have appeared in the literature, and check that all give the same notion of generator. We give an exposition of the smearing technique, checking that ideas of Masuda, Nakagami and Woronowicz hold also in the weak$^*$-setting. We are primarily interested in the case of one-parameter automorphism groups of operator algebras, and we present many applications of the machinery, making the argument that taking a structured, abstract approach can pay dividends. A motivating example is the scaling group of a locally compact quantum group $mathbb G$ and the fact that the inclusion $C_0(mathbb G) rightarrow L^infty(mathbb G)$ intertwines the relevant scaling groups. Under this general setup, of an inclusion of a $C^*$-algebra into a von Neumann algebra intertwining automorphism groups, we show that the graphs of the analytic generators, despite being only non-self-adjoint operator algebras, satisfy a Kaplansky Density style result. The dual picture is the inclusion $L^1(mathbb G)rightarrow M(mathbb G)$, and we prove an automatic normality result under this general setup. The Kaplansky Density result proves more elusive, as does a general study of quotient spaces, but we make progress under additional hypotheses.