Showing 1–35 of 35 results for author: Solel, B

Isometric Dilations for Representations of Product Systems

Authors: S. Barik, M. Bhattacharjee, B. Solel

Abstract: We discuss representations of product systems (of $W^*$-correspondences) over the semigroup $\mathbb{Z}^n_+$ and show that, under certain pureness and Szego positivity conditions, a completely contractive representation can be dilated to an isometric representation. For $n=1,2$ this is known to hold in general (without assuming the conditions) but, for $n\geq 3$, it does not hold in general (as is… ▽ More We discuss representations of product systems (of $W^*$-correspondences) over the semigroup $\mathbb{Z}^n_+$ and show that, under certain pureness and Szego positivity conditions, a completely contractive representation can be dilated to an isometric representation. For $n=1,2$ this is known to hold in general (without assuming the conditions) but, for $n\geq 3$, it does not hold in general (as is known for the special case of isometric dilations of a tuple of commuting contractions). Restricting to the case of tuples of commuting contractions, our result reduces to a result of Barik, Das, Haria and Sarkar. Our dilation is explicitly constructed and we present some applications. △ Less

Submitted 3 January, 2024; originally announced January 2024.

Comments: 34 pages. Comments are welcome

MSC Class: 46L08; 46L10; 47A13; 47A20; 47A56; 47L05; 47L30; 47L55

Weighted Cuntz-Krieger Algebras

Authors: Leonid Helmer, Baruch Solel

Abstract: Let $E$ be a finite directed graph with no sources or sinks and write $X_E$ for the graph correspondence. We study the $C^*$-algebra $C^*(E,Z):=\mathcal{T}(X_E,Z)/\mathcal{K}$ where $\mathcal{T}(X_E,Z)$ is the $C^*$-algebra generated by weighted shifts on the Fock correspondence $\mathcal{F}(X_E)$ given by a weight sequence $\{Z_k\}$ of operators $Z_k\in \mathcal{L}(X_{E^{k}})$ and… ▽ More Let $E$ be a finite directed graph with no sources or sinks and write $X_E$ for the graph correspondence. We study the $C^*$-algebra $C^*(E,Z):=\mathcal{T}(X_E,Z)/\mathcal{K}$ where $\mathcal{T}(X_E,Z)$ is the $C^*$-algebra generated by weighted shifts on the Fock correspondence $\mathcal{F}(X_E)$ given by a weight sequence $\{Z_k\}$ of operators $Z_k\in \mathcal{L}(X_{E^{k}})$ and $\mathcal{K}$ is the algebra of compact operators on the Fock correspondence. If $Z_k=I$ for every $k$, $C^*(E,Z)$ is the Cuntz-Krieger algebra associated with the graph $E$. We show that $C^*(E,Z)$ can be realized as a Cuntz-Pimsner algebra and use a result of Schweizer to find conditions for the algebra $C^*(E,Z)$ to be simple. We also analyse the gauge-invariant ideals of $C^*(E,Z)$ using a result of Katsura and conditions that generalize the conditions of subsets of $E^0$ (the vertices of $E$) to be hereditary or saturated. As an example, we discuss in some details the case where $E$ is a cycle. △ Less

Submitted 12 August, 2021; originally announced August 2021.

Comments: 34 pages

MSC Class: 46L05; 47L80; 46L08; 46L35; 46L89

Weighted Cuntz Algebras

Authors: Leonid Helmer, Baruch Solel

Abstract: We study the $C^*$-algebra $\mathcal{T}/\mathcal{K}$ where $\mathcal{T}$ is the $C^*$-algebra generated by $d$ weighted shifts on the Fock space of $\mathbb{C}^d$, $\mathcal{F}(\mathbb{C}^d)$, ( where the weights are given by a sequence $\{Z_k\}$ of matrices $Z_k\in M_{d^k}(\mathbb{C})$) and $\mathcal{K}$ is the algebra of compact operators on the Fock space. If $Z_k=I$ for every $k$,… ▽ More We study the $C^*$-algebra $\mathcal{T}/\mathcal{K}$ where $\mathcal{T}$ is the $C^*$-algebra generated by $d$ weighted shifts on the Fock space of $\mathbb{C}^d$, $\mathcal{F}(\mathbb{C}^d)$, ( where the weights are given by a sequence $\{Z_k\}$ of matrices $Z_k\in M_{d^k}(\mathbb{C})$) and $\mathcal{K}$ is the algebra of compact operators on the Fock space. If $Z_k=I$ for every $k$, $\mathcal{T}/\mathcal{K}$ is the Cuntz algebra $\mathcal{O}_d$. We show that $\mathcal{T}/\mathcal{K}$ is isomorphic to a Cuntz-Pimsner algebra and use it to find conditions for the algebra to be simple. We present examples of simple and of non simple algebras of this type. We also describe the $C^*$-representations of $\mathcal{T}/\mathcal{K}$. △ Less

Submitted 5 March, 2021; v1 submitted 18 June, 2020; originally announced June 2020.

Comments: Minor changes. New reference added. To appear in JOT

MSC Class: 46L05; 47L80; 46L08; 46L35; 46L89

Dilations of unitary tuples

Authors: Malte Gerhold, Satish K. Pandey, Orr Shalit, Baruch Solel

Abstract: We study the space of all $d$-tuples of unitaries $u=(u_1,\ldots, u_d)$ using dilation theory and matrix ranges. Given two $d$-tuples $u$ and $v$ generating C*-algebras $\mathcal A$ and $\mathcal B$, we seek the minimal dilation constant $c=c(u,v)$ such that $u\prec cv$, by which we mean that $u$ is a compression of some $*$-isomorphic copy of $cv$. This gives rise to a metric \[ d_D(u,v)=\log\max… ▽ More We study the space of all $d$-tuples of unitaries $u=(u_1,\ldots, u_d)$ using dilation theory and matrix ranges. Given two $d$-tuples $u$ and $v$ generating C*-algebras $\mathcal A$ and $\mathcal B$, we seek the minimal dilation constant $c=c(u,v)$ such that $u\prec cv$, by which we mean that $u$ is a compression of some $*$-isomorphic copy of $cv$. This gives rise to a metric \[ d_D(u,v)=\log\max\{c(u,v),c(v,u)\} \] on the set of equivalence classes of $*$-isomorphic tuples of unitaries. We also consider the metric \[ d_{HR}(u,v)=\inf\left\{\|u'-v'\|:u',v'\in B(H)^d, u'\sim u\textrm{ and } v'\sim v\right\}, \] and we show the inequality \[ d_{HR}(u,v)\leq K d_D(u,v)^{1/2}. \] Let $u_Θ$ be the universal unitary tuple $(u_1,\ldots,u_d)$ satisfying $u_\ell u_k=e^{iθ_{k,\ell}} u_k u_\ell$, where $Θ=(θ_{k,\ell})$ is a real antisymmetric matrix. We find that $c(u_Θ, u_{Θ'})\leq e^{\frac{1}{4}\|Θ-Θ'\|}$. From this we recover the result of Haagerup-Rordam and Gao that there exists a map $Θ\mapsto U(Θ)\in B(H)^d$ such that $U(Θ)\sim u_Θ$ and \[ \|U(Θ)-U({Θ'})\|\leq K\|Θ-Θ'\|^{1/2}. \] Of special interest are: the universal $d$-tuple of noncommuting unitaries ${\mathrm u}$, the $d$-tuple of free Haar unitaries $u_f$, and the universal $d$-tuple of commuting unitaries $u_0$. We obtain the bounds \[ 2\sqrt{1-\frac{1}{d}}\leq c(u_f,u_0)\leq 2\sqrt{1-\frac{1}{2d}}. \] From this, we recover Passer's upper bound for the universal unitaries $c({\mathrm u},u_0)\leq\sqrt{2d}$. In the case $d=3$ we obtain the new lower bound $c({\mathrm u},u_0)\geq 1.858$ improving on the previously known lower bound $c({\mathrm u},u_0)\geq\sqrt{3}$. △ Less

Submitted 23 June, 2021; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: 31 pages. A few minor corrections have been made and a new appendix (Appendix B) has been added. To appear in Journal of the London Mathematical Society

MSC Class: 47A13; 46L54

Journal ref: Dilations of unitary tuples. J. London Math. Soc., 104: 2053-2081 (2021)

Invariant subspaces for certain tuples of operators with applications to reproducing kernel correspondences

Authors: Baruch Solel

Abstract: The techniques developed by Popescu, Muhly-Solel and Good for the study of algebras generated by weighted shifts are applied to generalize results of Sarkar and of Bhattacharjee-Eschmeier-Keshari-Sarkar concerning dilations and invariant subspaces for commuting tuples of operators. In that paper the authors prove Beurling-Lax-Halmos type results for commuting tuples $T=(T_1,\ldots,T_d)$ operators… ▽ More The techniques developed by Popescu, Muhly-Solel and Good for the study of algebras generated by weighted shifts are applied to generalize results of Sarkar and of Bhattacharjee-Eschmeier-Keshari-Sarkar concerning dilations and invariant subspaces for commuting tuples of operators. In that paper the authors prove Beurling-Lax-Halmos type results for commuting tuples $T=(T_1,\ldots,T_d)$ operators that are contractive and pure; that is $Φ_T(I)\leq I$ and $Φ_T^n(I)\searrow 0$ where $$Φ_T(a)=Σ_i T_iaT_i^*.$$ Here we generalize some of their results to commuting tuples $T$ satisfying similar conditions but for $$Φ_T(a)=Σ_{α\in \mathbb{F}^+_d} x_{|α|}T_αaT_α^*$$ where $\{x_k\}$ is a sequence of non negative numbers satisfying some natural conditions (where $T_α=T_{α(1)}\cdots T_{α(k)}$ for $k=|α|$). In fact, we deal with a more general situation where each $x_k$ is replaced by a $d^k\times d^k$ matrix. We also apply these results to subspaces of certain reproducing kernel correspondences $E_K$ (associated with maps-valued kernels $K$) that are invariant under the multipliers given by the coordinate functions. △ Less

Submitted 8 March, 2020; originally announced March 2020.

MSC Class: 30H05; 46E22; 46L08; 47A13; 47A15; 47A20; 47B32; 47B38

Minimal and maximal matrix convex sets

Authors: Benjamin Passer, Orr Shalit, Baruch Solel

Abstract: To every convex body $K \subseteq \mathbb{R}^d$, one may associate a minimal matrix convex set $\mathcal{W}^{\textrm{min}}(K)$, and a maximal matrix convex set $\mathcal{W}^{\textrm{max}}(K)$, which have $K$ as their ground level. The main question treated in this paper is: under what conditions on a given pair of convex bodies $K,L \subseteq \mathbb{R}^d$ does… ▽ More To every convex body $K \subseteq \mathbb{R}^d$, one may associate a minimal matrix convex set $\mathcal{W}^{\textrm{min}}(K)$, and a maximal matrix convex set $\mathcal{W}^{\textrm{max}}(K)$, which have $K$ as their ground level. The main question treated in this paper is: under what conditions on a given pair of convex bodies $K,L \subseteq \mathbb{R}^d$ does $\mathcal{W}^{\textrm{max}}(K) \subseteq \mathcal{W}^{\textrm{min}}(L)$ hold? For a convex body $K$, we aim to find the optimal constant $θ(K)$ such that $\mathcal{W}^{\textrm{max}}(K) \subseteq θ(K) \cdot \mathcal{W}^{\textrm{min}}(K)$; we achieve this goal for all the $\ell^p$ unit balls, as well as for other sets. For example, if $\overline{\mathbb{B}}_{p,d}$ is the closed unit ball in $\mathbb{R}^d$ with the $\ell^p$ norm, then \[ θ(\overline{\mathbb{B}}_{p,d}) = d^{1-|1/p - 1/2|}. \] This constant is sharp, and it is new for all $p \neq 2$. Moreover, for some sets $K$ we find a minimal set $L$ for which $\mathcal{W}^{\textrm{max}}(K) \subseteq \mathcal{W}^{\textrm{min}}(L)$. In particular, we obtain that a convex body $K$ satisfies $\mathcal{W}^{\textrm{max}}(K) = \mathcal{W}^{\textrm{min}}(K)$ if and only if $K$ is a simplex. These problems relate to dilation theory, convex geometry, operator systems, and completely positive maps. We discuss and exploit these connections as well. For example, our results show that every $d$-tuple of self-adjoint operators of norm less than or equal to $1$, can be dilated to a commuting family of self-adjoints, each of norm at most $\sqrt{d}$. We also introduce new explicit constructions of these (and other) dilations. △ Less

Submitted 27 November, 2017; v1 submitted 18 June, 2017; originally announced June 2017.

Comments: 47 pages, 5 figures. Version 2 corrects minor errors and clarifies some of the theorem statements. Remarks have been added throughout the text, and section 4 has been expanded a bit. To appear in Journal of Functional Analysis

MSC Class: 47A20; 47A13; 46L07; 47L25

Journal ref: J. Funct. Anal. 274:11 (2018), 3197-3253

Dilations, inclusions of matrix convex sets, and completely positive maps

Authors: Kenneth R. Davidson, Adam Dor-On, Orr Shalit, Baruch Solel

Abstract: A matrix convex set is a set of the form $\mathcal{S} = \cup_{n\geq 1}\mathcal{S}_n$ (where each $\mathcal{S}_n$ is a set of $d$-tuples of $n \times n$ matrices) that is invariant under UCP maps from $M_n$ to $M_k$ and under formation of direct sums. We study the geometry of matrix convex sets and their relationship to completely positive maps and dilation theory. Key ingredients in our approach a… ▽ More A matrix convex set is a set of the form $\mathcal{S} = \cup_{n\geq 1}\mathcal{S}_n$ (where each $\mathcal{S}_n$ is a set of $d$-tuples of $n \times n$ matrices) that is invariant under UCP maps from $M_n$ to $M_k$ and under formation of direct sums. We study the geometry of matrix convex sets and their relationship to completely positive maps and dilation theory. Key ingredients in our approach are polar duality in the sense of Effros and Winkler, matrix ranges in the sense of Arveson, and concrete constructions of scaled commuting normal dilation for tuples of self-adjoint operators, in the sense of Helton, Klep, McCullough and Schweighofer. Given two matrix convex sets $\mathcal{S} = \cup_{n \geq 1} \mathcal{S}_n,$ and $\mathcal{T} = \cup_{n \geq 1} \mathcal{T}_n$, we find geometric conditions on $\mathcal{S}$ or on $\mathcal{T}$, such that $\mathcal{S}_1 \subseteq \mathcal{T}_1$ implies that $\mathcal{S} \subseteq C\mathcal{S}$ for some constant $C$. For instance, under various symmetry conditions on $\mathcal{S}$, we can show that $C$ above can be chosen to equal $d$, the number of variables, and in some cases this is sharp. We also find an essentially unique self-dual matrix convex set $\mathcal{D}$, the self-dual matrix ball, for which corresponding inclusion and dilation results hold with constant $C=\sqrt{d}$. Our results have immediate implications to spectrahedral inclusion problems studied recently by Helton, Klep, McCullough and Schweighofer. Our constants do not depend on the ranks of the pencils determining the free spectrahedra in question, but rather on the "number of variables" $d$. There are also implications to the problem of existence of (unital) completely positive maps with prescribed values on a set of operators. △ Less

Submitted 4 February, 2018; v1 submitted 29 January, 2016; originally announced January 2016.

Comments: Proposition 6.3, Corollary 6.4 and Theorem 6.5 in the previous version do not hold in the generality claimed. In this version we added "non-singularity" assumption (Definition 6.3) under which these results hold; in the new version they appear as Proposition 6.7, Corollary 6.8 and Theorem 6.9. 52 pages

MSC Class: 47A13; 47B32; 12Y05; 13P10

Journal ref: International Mathematics Research Notices, Vol. 2017 Issue 13 (2017), 4069-4130

Boundaries, Bundles and Trace Algebras

Authors: Erin Griesenauer, Paul S. Muhly, Baruch Solel

Abstract: We describe how noncommutative function algebras built from noncommutative functions in the sense of \cite{K-VV2014} may be studied as subalgebras of homogeneous $C^{*}$-algebras. We describe how noncommutative function algebras built from noncommutative functions in the sense of \cite{K-VV2014} may be studied as subalgebras of homogeneous $C^{*}$-algebras. △ Less

Submitted 30 October, 2015; originally announced October 2015.

MSC Class: 46K50; 46L15; 46L89; 47L55; 47L75

Matricial Function Theory and Weighted Shifts

Authors: Paul S. Muhly, Baruch Solel

Abstract: Let $\mathcal{T}_{+}(E)$ be the tensor algebra of a $W^{*}$-correspondence $E$ over a $W^{*}$-algebra $M$. In earlier work, we showed that the completely contractive representations of $\mathcal{T}_{+}(E)$, whose restrictions to $M$ are normal, are parametrized by certain discs or balls $\overline{D(E,σ)}$ indexed by the normal $*$-representations $σ$ of $M$. Each disc has analytic structure, and… ▽ More Let $\mathcal{T}_{+}(E)$ be the tensor algebra of a $W^{*}$-correspondence $E$ over a $W^{*}$-algebra $M$. In earlier work, we showed that the completely contractive representations of $\mathcal{T}_{+}(E)$, whose restrictions to $M$ are normal, are parametrized by certain discs or balls $\overline{D(E,σ)}$ indexed by the normal $*$-representations $σ$ of $M$. Each disc has analytic structure, and each element $F\in \mathcal{T}_{+}(E) $ gives rise to an operator-valued function $\widehat{F}_σ$ on $\overline{D(E,σ)}$ that is continuous and analytic on the interior. In this paper, we explore the effect of adding operator-valued weights to the theory. While the statements of many of the results in the weighted theory are anticipated by those in the unweighted setting, substantially different proofs are required. Interesting new connections with the theory of completely positive are developed. Our perspective has been inspired by work of Vladimir Müller in which he studied operators that can be modeled by parts of weighted shifts. Our results may be interpreted as providing a description of operator algebras that can be modeled by weighted tensor algebras. Our results also extend work of Gelu Popescu, who investigated similar questions. △ Less

Submitted 8 July, 2015; originally announced July 2015.

MSC Class: 46L07; 46L08; 47L30; 47L55; 47L75; 47L80

Tensorial Function Theory: From Berezin transforms to Taylor's Taylor series and back

Authors: Paul S. Muhly, Baruch Solel

Abstract: Let $H^{\infty}(E)$ be the Hardy algebra of a $W^{*}$-correspondence $E$ over a $W^{*}$-algebra $M$. Then the ultraweakly continuous completely contractive representations of $H^{\infty}(E)$ are parametrized by certain sets $\mathcal{AC}(σ)$ indexed by $NRep(M)$ - the normal *-representations $σ$ of $M$. Each set $\mathcal{AC}(σ)$ has analytic structure, and each element $F\in H^{\infty}(E)$ gives… ▽ More Let $H^{\infty}(E)$ be the Hardy algebra of a $W^{*}$-correspondence $E$ over a $W^{*}$-algebra $M$. Then the ultraweakly continuous completely contractive representations of $H^{\infty}(E)$ are parametrized by certain sets $\mathcal{AC}(σ)$ indexed by $NRep(M)$ - the normal *-representations $σ$ of $M$. Each set $\mathcal{AC}(σ)$ has analytic structure, and each element $F\in H^{\infty}(E)$ gives rise to an analytic operator-valued function $\hat{F}_σ$ on $\mathcal{AC}(σ)$ that we call the $σ$-Berezin transform of $F$. The sets ${\mathcal{AC}(σ)}_{σ\inΣ}$ and the family of functions ${\hat{F}_σ}_{σ\inΣ}$ exhibit "matricial structure" that was introduced by Joeseph Taylor in his work on noncommutative spectral theory in the early 1970s. Such structure has been exploited more recently in other areas of free analysis and in the theory of linear matrix inequalities. Our objective here is to determine the extent to which the matricial structure characterizes the Berezin transforms. △ Less

Submitted 10 October, 2012; originally announced October 2012.

Absolute continuity, Interpolation and the Lyapunov order

Authors: Paul S. Muhly, Baruch Solel

Abstract: We extend our Nevanlinna-Pick theorem for Hardy algebras and their representations to cover interpolation at the absolutely continuous points of the boundaries of their discs of representations. The Lyapunov order plays a crucial role in our analysis. We extend our Nevanlinna-Pick theorem for Hardy algebras and their representations to cover interpolation at the absolutely continuous points of the boundaries of their discs of representations. The Lyapunov order plays a crucial role in our analysis. △ Less

Submitted 4 July, 2011; originally announced July 2011.

Comments: 9 pages

MSC Class: 46L08; 46L89; 46L52; 47L30; 47L55; 47L65; 47L75

Progress in noncommutative function theory

Authors: Paul S. Muhly, Baruch Solel

Abstract: In this expository paper we describe the study of certain non-self-adjoint operator algebras, the Hardy algebras, and their representation theory. We view these algebras as algebras of (operator valued) functions on their spaces of representations. We will show that these spaces of representations can be parameterized as unit balls of certain $W^{*}$-correspondences and the functions can be viewed… ▽ More In this expository paper we describe the study of certain non-self-adjoint operator algebras, the Hardy algebras, and their representation theory. We view these algebras as algebras of (operator valued) functions on their spaces of representations. We will show that these spaces of representations can be parameterized as unit balls of certain $W^{*}$-correspondences and the functions can be viewed as Schur class operator functions on these balls. We will provide evidence to show that the elements in these (non commutative) Hardy algebras behave very much like bounded analytic functions and the study of these algebras should be viewed as noncommutative function theory. △ Less

Submitted 24 August, 2010; originally announced August 2010.

MSC Class: 46L08; 46L89; 46L52; 47L30; 47L55; 47L65; 47L75

Morita Transforms of Tensor Algebras

Authors: Paul S. Muhly, Baruch Solel

Abstract: We show that if $M$ and $N$ are $C^{*}$-algebras and if $E$ (resp. $F$) is a $C^{*}$-correspondence over $M$ (resp. $N$), then a Morita equivalence between $(E,M)$ and $(F,N)$ implements a isometric functor between the categories of Hilbert modules over the tensor algebras of $\mathcal{T}_{+}(E)$ and $\mathcal{T}_{+}(F)$. We show that this functor maps absolutely continuous Hilbert modules to abso… ▽ More We show that if $M$ and $N$ are $C^{*}$-algebras and if $E$ (resp. $F$) is a $C^{*}$-correspondence over $M$ (resp. $N$), then a Morita equivalence between $(E,M)$ and $(F,N)$ implements a isometric functor between the categories of Hilbert modules over the tensor algebras of $\mathcal{T}_{+}(E)$ and $\mathcal{T}_{+}(F)$. We show that this functor maps absolutely continuous Hilbert modules to absolutely continuous Hilbert modules and provides a new interpretation of Popescu's reconstruction operator. △ Less

Submitted 20 July, 2010; originally announced July 2010.

MSC Class: Primary: 46H25; 47L30; 47L55; Secondary: 46H25; 47L65

Representations of Hardy Algebras: Absolute Continuity, Intertwiners and Superharmonic Operators

Authors: Paul S. Muhly, Baruch Solel

Abstract: Suppose $\mathcal{T}_{+}(E)$ is the tensor algebra of a $W^{*}$-correspondence $E$ and $H^{\infty}(E)$ is the associated Hardy algebra. We investigate the problem of extending completely contractive representations of $\mathcal{T}_{+}(E)$ on a Hilbert space to ultra-weakly continuous completely contractive representations of $H^{\infty}(E)$ on the same Hilbert space. Our work extends the classical… ▽ More Suppose $\mathcal{T}_{+}(E)$ is the tensor algebra of a $W^{*}$-correspondence $E$ and $H^{\infty}(E)$ is the associated Hardy algebra. We investigate the problem of extending completely contractive representations of $\mathcal{T}_{+}(E)$ on a Hilbert space to ultra-weakly continuous completely contractive representations of $H^{\infty}(E)$ on the same Hilbert space. Our work extends the classical Sz.-Nagy - Foiaş functional calculus and more recent work by Davidson, Li and Pitts on the representation theory of Popescu's noncommutative disc algebra. △ Less

Submitted 7 June, 2010; originally announced June 2010.

MSC Class: 46L08; 46L89; 46L52; 47L30; 47L55; 47L65; 47L75

Subproduct systems

Authors: Orr Shalit, Baruch Solel

Abstract: The notion of a subproduct system, a generalization of that of a product system, is introduced. We show that there is an essentially 1 to 1 correspondence between cp-semigroups and pairs (X,T) where X is a subproduct system and T is an injective subproduct system representation. A similar statement holds for subproduct systems and units of subproduct systems. This correspondence is used as a fra… ▽ More The notion of a subproduct system, a generalization of that of a product system, is introduced. We show that there is an essentially 1 to 1 correspondence between cp-semigroups and pairs (X,T) where X is a subproduct system and T is an injective subproduct system representation. A similar statement holds for subproduct systems and units of subproduct systems. This correspondence is used as a framework for developing a dilation theory for cp-semigroups. Results we obtain: (i) a *-automorphic dilation to semigroups of *-endomorphisms over quite general semigroups; (ii) necessary and sufficient conditions for a semigroup of CP maps to have a *-endomorphic dilation; (iii) an analogue of Parrot's example of three contractions with no isometric dilation, that is, an example of three commuting, contractive normal CP maps on B(H) that admit no *-endomorphic dilation (thereby solving an open problem raised by Bhat in 1998). Special attention is given to subproduct systems over the semigroup N, which are used as a framework for studying tuples of operators satisfying homogeneous polynomial relations, and the operator algebras they generate. As applications we obtain a noncommutative (projective) Nullstellansatz, a model for tuples of operators subject to homogeneous polynomial relations, a complete description of all representations of Matsumoto's subshift C*-algebra when the subshift is of finite type, and a classification of certain operator algebras -- including an interesting non-selfadjoint generalization of the noncommutative tori. △ Less

Submitted 26 May, 2009; v1 submitted 11 January, 2009; originally announced January 2009.

Comments: The assertion from version 2 that every subproduct system over N^k can be embedded in a product system is false - we provide a counter example. The corollaries of that assertion stating the existence of dilations of k-tuples of CP maps are removed. An example of 3 commuting CP maps of arbitrarily small norm that have no dilation is added. 63 pages

MSC Class: 46L55; 46L57; 46L08; 47L30

Journal ref: Documenta Mathematica, 14 (2009), 801-868.

The Poisson Kernel for Hardy Algebras

Authors: Paul S. Muhly, Baruch Solel

Abstract: This note contributes to a circle of ideas that we have been developing recently in which we view certain abstract operator algebras $H^{\infty}(E)$, which we call Hardy algebras, and which are noncommutative generalizations of classical $H^{\infty}$, as spaces of functions defined on their spaces of representations. We define a generalization of the Poisson kernel, which ``reproduces'' the valu… ▽ More This note contributes to a circle of ideas that we have been developing recently in which we view certain abstract operator algebras $H^{\infty}(E)$, which we call Hardy algebras, and which are noncommutative generalizations of classical $H^{\infty}$, as spaces of functions defined on their spaces of representations. We define a generalization of the Poisson kernel, which ``reproduces'' the values, on $\mathbb{D}((E^σ)^*)$, of the ``functions'' coming from $H^{\infty}(E)$. We present results that are natural generalizations of the Poisson integral formuala. They also are easily seen to be generalizations of formulas that Popescu developed. We relate our Poisson kernel to the idea of a characteristic operator function and show how the Poisson kernel identifies the ``model space'' for the canonical model that can be attached to a point in the disc $\mathbb{D}((E^σ)^*)$. We also connect our Poission kernel to various "point evaluations" and to the idea of curvature. △ Less

Submitted 12 July, 2007; originally announced July 2007.

MSC Class: 47L55; 46L08; 46L52; 47L30

Operator algebras associated with unitary commutation relations

Authors: Stephen C. Power, Baruch Solel

Abstract: We define nonselfadjoint operator algebras with generators $L_{e_1},..., L_{e_n}, L_{f_1},...,L_{f_m}$ subject to the unitary commutation relations of the form \[ L_{e_i}L_{f_j} = \sum_{k,l} u_{i,j,k,l} L_{f_l}L_{e_k}\] where $u= (u_{i,j,k,l})$ is an $nm \times nm$ unitary matrix. These algebras, which generalise the analytic Toeplitz algebras of rank 2 graphs with a single vertex, are classifie… ▽ More We define nonselfadjoint operator algebras with generators $L_{e_1},..., L_{e_n}, L_{f_1},...,L_{f_m}$ subject to the unitary commutation relations of the form \[ L_{e_i}L_{f_j} = \sum_{k,l} u_{i,j,k,l} L_{f_l}L_{e_k}\] where $u= (u_{i,j,k,l})$ is an $nm \times nm$ unitary matrix. These algebras, which generalise the analytic Toeplitz algebras of rank 2 graphs with a single vertex, are classified up to isometric isomorphism in terms of the matrix $u$. △ Less

Submitted 2 April, 2007; originally announced April 2007.

Comments: 38 pages

MSC Class: 47L55; 47L30; 47L75; 46L05

Schur Class Operator Functions and Automorphisms of Hardy Algebras

Authors: Paul S. Muhly, Baruch Solel

Abstract: Let $E$ be a $W^{\ast}$-correspondence over a von Neumann algebra $M$ and let $H^{\infty}(E)$ be the associated Hardy algebra. If $σ$ is a faithful normal representation of $M$ on a Hilbert space $H$, then one may form the dual correspondence $E^σ$ and represent elements in $H^{\infty}(E)$ as $B(H)$-valued functions on the unit ball $\mathbb{D}(E^σ)^{\ast}$. The functions that one obtains are ca… ▽ More Let $E$ be a $W^{\ast}$-correspondence over a von Neumann algebra $M$ and let $H^{\infty}(E)$ be the associated Hardy algebra. If $σ$ is a faithful normal representation of $M$ on a Hilbert space $H$, then one may form the dual correspondence $E^σ$ and represent elements in $H^{\infty}(E)$ as $B(H)$-valued functions on the unit ball $\mathbb{D}(E^σ)^{\ast}$. The functions that one obtains are called Schur class functions and may be characterized in terms of certain Pick-like kernels. We study these functions and relate them to system matrices and transfer functions from systems theory. We use the information gained to describe the automorphism group of $H^{\infty}(E)$ in terms of special Möbius transformations on $\mathbb{D}(E^σ)$. Particular attention is devoted to the $H^{\infty}% $-algebras that are associated to graphs. △ Less

Submitted 13 June, 2007; v1 submitted 27 June, 2006; originally announced June 2006.

Comments: Minor corrections. A few comments and references added

MSC Class: 47A57; 47L55; 47L65; 47L75; 46L08; 46L53; 47A48; 46L52; 47L30; 46T25

Quantum Markov Semigroups (Product Systems and Subordination)

Authors: Paul S. Muhly, Baruch Solel

Abstract: We show that if a product system comes from a quantum Markov semigroup, then it carries a natural Borel structure with respect to which the semigroup may be realized in terms of a measurable representation. We show, too, that the dual product system of a Borel product system also carries a natural Borel structure. We apply our analysis to study the order interval consisting of all quantum Markov… ▽ More We show that if a product system comes from a quantum Markov semigroup, then it carries a natural Borel structure with respect to which the semigroup may be realized in terms of a measurable representation. We show, too, that the dual product system of a Borel product system also carries a natural Borel structure. We apply our analysis to study the order interval consisting of all quantum Markov semigroups that are subordinate to a given one. △ Less

Submitted 4 July, 2006; v1 submitted 30 October, 2005; originally announced October 2005.

Comments: Revised according to the referee's comments and suggestions; to appear in International Journal of Mathematics

MSC Class: 46L55; 46L53; 46L57; 46L60; 81S25; 47L90

Extensions and Dilations for $C^*$-dynamical Systems

Authors: Paul S. Muhly, Baruch Solel

Abstract: Let $A$ be a unital $C^*$-algebra and $α$ be an injective, unital endomorphism of $A$. A covariant representation of $(A,α)$ is a pair $(π,T)$ consisting of a $C^*$-representation $π$ of $A$ on a Hilbert space $H$ and a contraction $T$ in $B(H)$ satisfying $Tπ(α(a))=π(a)T$. It follows from more general results of ours that such a covariant representation can be extended to a covariant represen… ▽ More Let $A$ be a unital $C^*$-algebra and $α$ be an injective, unital endomorphism of $A$. A covariant representation of $(A,α)$ is a pair $(π,T)$ consisting of a $C^*$-representation $π$ of $A$ on a Hilbert space $H$ and a contraction $T$ in $B(H)$ satisfying $Tπ(α(a))=π(a)T$. It follows from more general results of ours that such a covariant representation can be extended to a covariant representation $(ρ,V)$ (on a larger space $K$) such that $V$ is a coisometry and it can be dilated to a covariant representation $(σ,U)$ (on a larger space $K_1$) with $U$ unitary. Our objective here is to give self-contained, elementary proofs of these results which avoid the technology of $C^*$-correspondences. We also discuss the non uniqueness of the extension. △ Less

Submitted 22 September, 2005; originally announced September 2005.

Comments: 11 pages

MSC Class: 46L05; 46L55; 47L30; 47L55

Regular dilations of representations of product systems

Authors: Baruch Solel

Abstract: We study completely contractive representations of product systems $X$ of correspondences over the semigroup $\mathbb{Z}_+^k$. We present a necessary and sufficient condition for such a representation to have a regular isometric dilation. We discuss representations that doubly commute and show that these representations induce completely contractive representations of the norm closed algebra gen… ▽ More We study completely contractive representations of product systems $X$ of correspondences over the semigroup $\mathbb{Z}_+^k$. We present a necessary and sufficient condition for such a representation to have a regular isometric dilation. We discuss representations that doubly commute and show that these representations induce completely contractive representations of the norm closed algebra generated by the image of the Fock representation of $X$. △ Less

Submitted 7 April, 2005; originally announced April 2005.

Comments: 30 pages, Latex

MSC Class: 46L08; 47L55; 46L07; 47L65; 47L75; 47A45; 47L30

Representations of product systems over semigroups and dilations of commuting CP maps

Authors: Baruch Solel

Abstract: We study completely contractive representations of product systems of $C^*$-correspondences over semigroups. For a product system of $C^*$-correspondences over the semigroup $\mathbb{N}^2$, we prove that every such representation can be dilated to an isometric (or Toeplitz) representation. We use it to prove that every pair of commuting CP maps on a von Neumann algebra $M$ can be dilated to a co… ▽ More We study completely contractive representations of product systems of $C^*$-correspondences over semigroups. For a product system of $C^*$-correspondences over the semigroup $\mathbb{N}^2$, we prove that every such representation can be dilated to an isometric (or Toeplitz) representation. We use it to prove that every pair of commuting CP maps on a von Neumann algebra $M$ can be dilated to a commuting pair of endomorphisms (on a larger von Neumann algebra). △ Less

Submitted 1 December, 2005; v1 submitted 20 February, 2005; originally announced February 2005.

Comments: Revised version. References added. Changes in exposition. To appear in JFA

MSC Class: 46L08; 46L10; 46L55; 46L57; 47L30

A class of limit algebras associated with directed graphs

Authors: David W. Kribs, Baruch Solel

Abstract: Every directed graph defines a Hilbert space and a family of weighted shifts that act on the space. We identify a natural notion of periodicity for such shifts and study their C*-algebras. We prove the algebras generated by all shifts of a fixed period are of Cuntz-Krieger and Toeplitz-Cuntz-Krieger type. The limit C*-algebras determined by an increasing sequence of positive integers, each divid… ▽ More Every directed graph defines a Hilbert space and a family of weighted shifts that act on the space. We identify a natural notion of periodicity for such shifts and study their C*-algebras. We prove the algebras generated by all shifts of a fixed period are of Cuntz-Krieger and Toeplitz-Cuntz-Krieger type. The limit C*-algebras determined by an increasing sequence of positive integers, each dividing the next, are proved to be isomorphic to Cuntz-Pimsner algebras and the linking maps are shown to arise as factor maps. We derive a characterization of simplicity and compute the $K$-groups for these algebras. We prove a classification theorem for the class of algebras generated by simple loop graphs. △ Less

Submitted 17 November, 2004; originally announced November 2004.

Comments: 31 pages, preprint version

Journal ref: J. Aust. Math. Soc., 82 (2007), 1-24.

Representations of B^a(E)

Authors: P. S. Muhly, M. Skeide, B. Solel

Abstract: We present a short and elegant proof of the complete theory of strict representations of the algebra B^a(E) of all adjointable operators on a Hilbert B-module E by operators on a Hilbert C-module F. Aanalogue for W*-modules and normal representations is also proved. As an application we furnish a new proof of Blecher's Eilenberg-Watts theorem. We present a short and elegant proof of the complete theory of strict representations of the algebra B^a(E) of all adjointable operators on a Hilbert B-module E by operators on a Hilbert C-module F. Aanalogue for W*-modules and normal representations is also proved. As an application we furnish a new proof of Blecher's Eilenberg-Watts theorem. △ Less

Submitted 8 July, 2006; v1 submitted 28 October, 2004; originally announced October 2004.

Comments: Publication data added, corrected an ambiguity in the formulation of Corollary 1.20 (present also in the published version) and adjusted the proof appropriately

MSC Class: 46L08; 46L55; 46L53; 46M05; 46M15

Journal ref: Infin. Dimens. Anal. Quantum Probab. Relat. Top., 9 (47--66) 2006

Hardy algebras associated with $W^*$-correspondences (point evaluation and Schur class functions)

Authors: Paul S. Muhly, Baruch Solel

Abstract: This is primarily an exposition of our work on Hardy algebras associated with $W^*$-correspondences with an emphasis on interpolation results (a generalized Nevanlinna-Pick theorem) and the concepts of Schur class operator functions (and realizations). We describe in detail the construction of the Hardy algebras, its representations and the important concepts of duality and point evaluation. Man… ▽ More This is primarily an exposition of our work on Hardy algebras associated with $W^*$-correspondences with an emphasis on interpolation results (a generalized Nevanlinna-Pick theorem) and the concepts of Schur class operator functions (and realizations). We describe in detail the construction of the Hardy algebras, its representations and the important concepts of duality and point evaluation. Many examples are provided. △ Less

Submitted 18 April, 2004; originally announced April 2004.

Comments: Expository, 28 pages

MSC Class: 46L08; 46L53; 47A48; 47A57; 47L55; 47L65; 47L75

Duality of $W^*$-correspondences and applications

Authors: Paul S. Muhly, Baruch Solel

Abstract: This is an exposition of our work on the canonical models of representations of Hardy algebras associated with $W^*$-correspondences. It generalizes the model theory of Sz.-Nagy and Foias and the work of Popescu on models of row contractions. We also emphasize the concept of duality for $W^*$-correspondences and its relation to Morita equivalence of correspondenses. This is an exposition of our work on the canonical models of representations of Hardy algebras associated with $W^*$-correspondences. It generalizes the model theory of Sz.-Nagy and Foias and the work of Popescu on models of row contractions. We also emphasize the concept of duality for $W^*$-correspondences and its relation to Morita equivalence of correspondenses. △ Less

Submitted 18 April, 2004; originally announced April 2004.

Comments: Expository, 18 pages

MSC Class: 46L08; 46L53; 47A45; 47L55; 47L65; 47L75

Canonical Models for Representations of Hardy Algebras

Authors: Paul S. Muhly, Baruch Solel

Abstract: In this paper we study canonical models for representations of the Hardy algebras that generalize the model theory of Sz.-Nagy and Foias for contraction operators. The Hardy algebras are non selfadjoint operator algebras associated with $W^*$-correspondences. This class includes the classical $H^{\infty}$ algebra, free semigroup algebras, quiver algebras and other classes of algebras studied in… ▽ More In this paper we study canonical models for representations of the Hardy algebras that generalize the model theory of Sz.-Nagy and Foias for contraction operators. The Hardy algebras are non selfadjoint operator algebras associated with $W^*$-correspondences. This class includes the classical $H^{\infty}$ algebra, free semigroup algebras, quiver algebras and other classes of algebras studied in the literature. △ Less

Submitted 18 April, 2004; originally announced April 2004.

MSC Class: 46L08; 46L53; 47A45; 47L55; 47L65; 47L75

Limit C*-algebras associated with an automorphism

Authors: Baruch Solel

Abstract: We present and study C*-algebras generated by "periodic weighted creation operators" on the Fock space associated with an automorphism $α$ on a C*-algebra $A$. These algebras can be viewed as generalized Bunce-Deddens algebras associated with the automorphism and can be written as a certain direct limit. We prove a crossed product presentation for such an algebra and find a necessary and suffici… ▽ More We present and study C*-algebras generated by "periodic weighted creation operators" on the Fock space associated with an automorphism $α$ on a C*-algebra $A$. These algebras can be viewed as generalized Bunce-Deddens algebras associated with the automorphism and can be written as a certain direct limit. We prove a crossed product presentation for such an algebra and find a necessary and sufficient condition for it to be simple. In the case where the automorphism is induced by an irrational rotation (on $C(\mathbb{T})$) we compute the K-theory groups and obtain a complete classification of these algebras. △ Less

Submitted 3 December, 2003; originally announced December 2003.

Comments: Latex file, To appear in Math. Scand

MSC Class: 46L05; 46L40; 46L35; 46L80

You Can See the Arrows in a Quiver Operator Algebra

Authors: Baruch Solel

Abstract: We prove that two quiver operator algebras can be isometrically isomorphic only if the quivers (=directed graphs) are isomorphic. We also show how the graph can be recovered from certain representations of the algebra. We prove that two quiver operator algebras can be isometrically isomorphic only if the quivers (=directed graphs) are isomorphic. We also show how the graph can be recovered from certain representations of the algebra. △ Less

Submitted 25 September, 2003; originally announced September 2003.

Comments: Latex file

MSC Class: 47L55; 47L75; 46K50

Hardy Algebras, W*-Correspondences and Interpolation Theory

Authors: Paul S. Muhly, Baruch Solel

Abstract: Given a von Neumann algebra $M$ and a $W^{\ast}$-correspondence $E$ over $M$, we construct an algebra $H^{\infty}(E)$ that we call the Hardy algebra of $E$. When $M=\mathbb{C}=E$, then $H^{\infty}(E)$ is the classical Hardy space $H^{\infty}(\mathbb{T})$ of bounded analytic functions on the unit disc. We show that given any faithful normal representation $σ$ of $M$ on a Hilbert space $H$ there i… ▽ More Given a von Neumann algebra $M$ and a $W^{\ast}$-correspondence $E$ over $M$, we construct an algebra $H^{\infty}(E)$ that we call the Hardy algebra of $E$. When $M=\mathbb{C}=E$, then $H^{\infty}(E)$ is the classical Hardy space $H^{\infty}(\mathbb{T})$ of bounded analytic functions on the unit disc. We show that given any faithful normal representation $σ$ of $M$ on a Hilbert space $H$ there is a natural correspondence $E^σ$ over the commutant $σ(M)^{\prime}$, called the $σ$-dual of $E$, and that $H^{\infty}(E)$ can be realized in terms of ($B(H)$-valued) functions on the open unit ball $\mathbb{D}((E^σ)^{\ast})$ in the space of adjoints of elements in $E^σ$. We prove analogues of the Nevanlinna-Pick theorem in this setting and discover other aspects of the value ``distribution theory'' for elements in $H^{\infty}(E)$. We also analyze the ``boundary behavior'' of elements in $H^{\infty}(E)$ and obtain generalizations of the Sz.-Nagy--Foia\c {s} functional calculus. The correspondence $E^σ$ has a dual that is naturally isomorphic to $E$ and the commutants of certain, so-called induced representations of $H^{\infty}(E)$ can be viewed as induced representations of $H^{\infty}(E^σ)$. For these induced representations a double commutant theorem is proved. △ Less

Submitted 10 August, 2003; originally announced August 2003.

Comments: 74 pages, Latex file

MSC Class: 46L08; 46L89; 46L52; 47L30; 47L55; 47L65; 47L75

A double commutant theorem for operator algebras

Authors: David P. Blecher, Baruch Solel

Abstract: Every unital nonselfadjoint operator algebra possesses canonical and functorial classes of faithful (even completely isometric) Hilbert space representations satisfying a double commutant theorem generalizing von Neumann's classical result. Examples and complementary results are given. Every unital nonselfadjoint operator algebra possesses canonical and functorial classes of faithful (even completely isometric) Hilbert space representations satisfying a double commutant theorem generalizing von Neumann's classical result. Examples and complementary results are given. △ Less

Submitted 26 March, 2003; originally announced March 2003.

Comments: 17 pages

The Curvature and Index of Completely Positive Maps

Authors: Paul S. Muhly, Baruch Solel

Abstract: We study conjugacy invariants for completely positive maps that are inspired by the concept of curvature introduced for commuting d-tuples of contractions by Arveson We study conjugacy invariants for completely positive maps that are inspired by the concept of curvature introduced for commuting d-tuples of contractions by Arveson △ Less

Submitted 31 July, 2002; originally announced July 2002.

Comments: 35 pages, Latex file

MSC Class: 46L53; 46L55; 46L57; 46L87; 47L55

Quantum Markov Processes (Correspondences and Dilations)

Authors: Paul S. Muhly, Baruch Solel

Abstract: We study the structure of quantum Markov Processes from the point of view of product systems and their representations. We study the structure of quantum Markov Processes from the point of view of product systems and their representations. △ Less

Submitted 19 March, 2002; originally announced March 2002.

Comments: 44 pages, Latex

MSC Class: 46L53; 46L55; 46L60; 81S25 (Primary) 46L07; 46L08; 47L90

Isometries of Hilbert C*-modules

Authors: Baruch Solel

Abstract: It is shown that every linear surjective isometry between two right, full, Hilbert C*-modules is a sum of two maps : a (bi-) module map (which is completely isometric and preserves the inner product) and a map that reverses the (bi-) module actions. Every such isometry can be extended to an isometry of the C* linking algebras. It is shown that every linear surjective isometry between two right, full, Hilbert C*-modules is a sum of two maps : a (bi-) module map (which is completely isometric and preserves the inner product) and a map that reverses the (bi-) module actions. Every such isometry can be extended to an isometry of the C* linking algebras. △ Less

Submitted 19 April, 2001; originally announced April 2001.

Comments: 41 pages, Latex, To appear in the Transactions of AMS

MSC Class: 46L08; 46L07; 46B99

Meet irreducible ideals in direct limit algebras

Authors: Allan P. Donsig, Alan Hopenwasser, Timothy D. Hudson, Michael P. Lamoureux, Baruch Solel

Abstract: We study the meet irreducible ideals in certain direct limit algebras, namely the strongly maximal triangular subalgebras of AF C*-algebras. These ideals have a description in terms of the coordinates, or spectrum, that is a natural extension of one description of meet irreducible ideals in the upper triangular matrices. Additional information is available if the limit algebra is an analytic sub… ▽ More We study the meet irreducible ideals in certain direct limit algebras, namely the strongly maximal triangular subalgebras of AF C*-algebras. These ideals have a description in terms of the coordinates, or spectrum, that is a natural extension of one description of meet irreducible ideals in the upper triangular matrices. Additional information is available if the limit algebra is an analytic subalgebra of its C*-envelope or if the analytic algebra is trivially analytic with an injective 0-cocycle. Completely meet irreducible ideals are considered, and a distance formula is presented. △ Less

Submitted 21 January, 1997; originally announced January 1997.

Comments: AMS-TeX v2.1, 27 pages with no figures

MSC Class: 46K50 (Primary) 46H10 (Secondary)