The goal of the paper is to study the structure of the k-tuples of doubly $Λ$-commuting row isometries and the $C^*$-algebras they generate from the point of view of noncommutative multivariable operator theory. We obtain Wold decompositions, in this setting, and use them to classify the $k$-tuples of doubly $Λ$-commuting row isometries up to a unitary equivalence. We introduce a universal model in this setting, describe its invariant subspaces, and develop a dilation theory on $Λ$-polyballs.
In this paper, we obtain a complete description of the class of n-tuples (n >= 2) of doubly commuting isometries. In particular, we present a several variables analogue of the Wold decomposition for isometries on Hilbert spaces. Our main result is a generalization of M. Slocinski's Wold-type decomposition of a pair of doubly commuting isometries.
Słociński gave sufficient conditions for commuting isometries to have a nice Wold-like decomposition. In this note we provide analogous results for row-isometries satisfying certain commutation relations. Other than known results for doubly-commuting row-isometries, we provide sufficient condtions for a Wold decomposition based on the Lebesgue decomposition of the row-isometries.
We give a new formulation and proof of a theorem of Halmos and Wallen on the structure of power partial isometries on Hilbert space. We then use this theorem to give a structure theorem for a finite set of partial isometries which star-commute: each operator commutes with the others and with their adjoints.
We present an explicit version of Berger, Coburn and Lebow's classification result for pure pairs of commuting isometries in the sense of an explicit recipe for constructing pairs of commuting isometric multipliers with precise coefficients. We describe a complete set of (joint) unitary invariants and compare the Berger, Coburn and Lebow's representations with other natural analytic representations of pure pairs of commuting isometries. Finally, we study the defect operators of pairs of commuting isometries.
In this paper, motivated by the Berger, Coburn and Lebow and Bercovici, Douglas and Foias theory for tuples of commuting isometries, we study analytic representations and joint invariant subspaces of a class of commuting $n$-isometries and prove that the $C^*$-algebra generated by the $n$-shift restricted to an invariant subspace of finite codimension in $H^2(\mathbb{D}^n)$ is unitarily equivalent to the $C^*$-algebra generated by the $n$-shift on $H^2(\mathbb{D}^n)$.
If $T= \big[ T_1 ... T_n\big]$ is a row contraction with commuting entries, and the Arveson dilation is $\tilde T= \big[ \tilde T_1 ... \tilde T_n\big]$, then any operator $X$ commuting with each $T_i$ dilates to an operator $Z$ of the same norm which commutes with each $\tilde T_i$.
We define four 3x3 commuting contractions which do not dilate to commuting isometries. However they do satisfy the scalar von Neumann inequality. These matrices are all nilpotent of order 2. We also show that any three $3\times3$ commuting contractions which are scalar plus nilpotent of order 2 do dilate to commuting isometries.
Absolutely continuous commuting row contractions admit a weak-$*$ continuous functional calculus. Building on recent work describing the first and second dual spaces of the closure of the polynomial multipliers on the Drury-Arveson space, we give a complete characterization of these commuting row contractions in measure theoretic terms. We also establish that completely non-unitary row contractions are necessarily absolutely continuous, in direct parallel with the case of a single contraction. Finally, we consider refinements of this question for row contractions that are annihilated by a give…
We classify tuples of (not necessarily commuting) isometries that admit von Neumann-Wold decomposition. We introduce the notion of twisted isometries for tuples of isometries and prove the existence of orthogonal decomposition for such tuples. The former classification is partially inspired by a result that was observed more than three decades ago by Gaspar and Suciu. And the latter result generalizes Popovici's orthogonal decompositions for pairs of commuting isometries to general tuples of twisted isometries which also includes the case of tuples of commuting isometries. Our results unify al…
It is known that the non-zero part of compact defect operators of Berger-Coburn-Lebow pairs (BCL pairs in short) of isometries are diagonal operators of the form \[ \begin{bmatrix} I_1 & & & \\ & D & & \\ & & - I_2 & \\ & & & - D \\ \end{bmatrix}, \] where $I_1$ and $I_2$ are the identity operators and $D$ is a positive contractive diagonal operator. We discuss the question of constructing an irreducible BCL pair from a diagonal operator of the above type. The answer to this question is sometimes in the affirmative and sometimes in the negative. This also answers a part of the question raised …
A family $\{T_j\}_{j\in J}$ of commuting Hilbert space operators is said to be a spherical isometry if $\sum_{j\in J}T^*_jT_j=1$ in the weak operator topology. We show that every commuting family $\Cal F$ of spherical isometries has a commuting normal extension $\hat{\Cal F}$. Moreover, if $\hat{\Cal F}$ is minimal, then there exists a natural short exact sequence $0\to\Cal C\to C^*(\Cal F)\to C^*(\hat{\Cal F})\to 0$ with a completely isometric cross-section, where $\Cal C$ is the commutator ideal in $C^*(\Cal F)$. We also show that the space of Toeplitz operators associated to $\Cal F$ is com…
We establish a Wold-type decomposition for isometric and isometric Nica-covariant representations of the odometer semigroup. These generalize the Wold-type decomposition for commuting pairs of isometries due to Popovici and for pairs of doubly commuting isometries due to Słociński.
For $C^*$-algebra generated by a finite family of isometries $s_j$, $j=1,\dots,d$ satisfying $q_{ij}$-commutation relations \[ s_j^* s_j = I, \quad s_j^* s_k = q_{ij}s_ks_j^*, \qquad q_{ij} = \bar q_{ji}, |q_{ij}|<1, \ 1\le i \ne j \le d, \] we construct an infinite family of unitarily non-equivalent irreducible representations. These representations are deformations of the corresponding class of representations of the Cuntz algebra $\mathcal O_d$.
We obtain a Shimorin-Wold-type decomposition for a doubly commuting covariant representation of a product system of $C^*$-correspondences. This extends a recent Wold-type decomposition by Jeu and Pinto for a $q$-doubly commuting isometries. Application to the wandering subspaces of doubly commuting induced representations is explored, and a version of Mandrekar's Beurling type theorem is obtained to study doubly commuting invariant subspaces using Fock space approach due to Popescu.
We consider the C*-algebras O_2^q and A_2^q generated, respectively, by isometries s_1, s_2 satisfying the relation s_1^* s_2 = q s_2 s_1^* with |q| < 1 (the deformed Cuntz relation), and by isometries s_1, s_2 satisfying the relation s_2 s_1 = q s_1 s_2 with |q| = 1. We show that O_2^q is isomorphic to the Cuntz-Toeplitz C*-algebra O_2^0 for any |q| < 1. We further prove that A_2^{q_1} is isomorphic to A_2^{q_2} if and only if either q_1 = q_2 or q_1 = complex conjugate of q_2. In the second part of our paper, we discuss the complexity of the representation theory of A_2^q. We show that A_2^q…
Given a row contraction of operators on Hilbert space and a family of projections on the space which stabilize the operators, we show there is a unique minimal joint dilation to a row contraction of partial isometries which satisfy natural relations. For a fixed row contraction the set of all dilations forms a partially ordered set with a largest and smallest element. A key technical device in our analysis is a connection with directed graphs. We use a Wold Decomposition for partial isometries to describe the models for these dilations, and discuss how the basic properties of a dilation depend…
We introduce a notion called `maximal commuting piece' for tuples of Hilbert space operators. Given a commuting tuple of operators forming a row contraction there are two commonly used dilations in multivariable operator theory. Firstly there is the minimal isometric dilation consisting of isometries with orthogonal ranges and hence it is a noncommuting tuple. There is also a commuting dilation related with a standard commuting tuple on Boson Fock space. We show that this commuting dilation is the maximal commuting piece of the minimal isometric dilation. We use this result to classify all rep…
We study similarity classes of commuting row contractions annihilated by what we call higher order vanishing ideals of interpolating sequences. Our main result exhibits a Jordan-type direct sum decomposition for these row contractions. We illustrate how the family of ideals to which our theorem applies is very rich, especially in several variables. We also give two applications of the main result. First, we obtain a purely operator theoretic characterization of interpolating sequences. Second, we classify certain classes of cyclic commuting row contractions up to quasi-similarity in terms of t…
Higher-rank versions of Wold decomposition are shown to hold for doubly commuting isometric representations of product systems of C*-correspondences over N^k, generalising the classical result for a doubly commuting pair of isometries due to M.Slocinski. Certain decompositions are also obtained for the general, not necessarily doubly commuting, case and several corollaries and examples are provided. Possibilities of extending isometric representations to fully coisometric ones are discussed.
We study tensor products and nuclearity-related properties of the operator system $\mathcal S_n$ generated by the Cuntz isometries. By using the nuclearity of the Cuntz algebra, we can show that $\mathcal{S}_n$ is $C^*$-nuclear, and this implies a dual row contraction version of Ando's theorem characterizing operators of numerical radius 1. On the other hand, without using the nuclearity of the Cuntz algebra, we are still able to show directly this Ando type property of dual row contractions and conclude that $\mathcal{S}_n$ is $C^*$-nuclear, which yields a new proof of the nuclearity of the C…
A contractive $n$-tuple $A=(A_1,...,A_n)$ has a minimal joint isometric dilation $S=(S_1,...,S_n)$ where the $S_i$'s are isometries with pairwise orthogonal ranges. This determines a representation of the Cuntz-Toeplitz algebra. When $A$ acts on a finite dimensional space, the \wot-closed nonself-adjoint algebra $\mathfrak{S}$ generated by $S$ is completely described in terms of the properties of $A$. This provides complete unitary invariants for the corresponding representations. In addition, we show that the algebra $\mathfrak{S}$ is always hyper-reflexive. In the last section, we describe s…
Three canonical decompositions concerning commuting pair of isometries, power partial isometries, and contractions are reassessed. They have already been proved in von Neumann algebras. In the corresponding proofs, both norm and weak operator topologies are heavily involved. Ignoring topological structures, we give an algebraic approach to obtain them in the larger category of Baer $*$-rings.
Let $n>1$ and let $\{U_{ij}\}_{1\leq i<j\leq n}$ be $n\choose 2$ commuting unitaries on a Hilbert space $\mathcal{H}$. Suppose $U_{ji}:=U^*_{ij}$, $1\leq i<j\leq n$. An n-tuple of power partial isometries $(V_1,...,V_n)$ on Hilbert space $\mathcal{H}$ is called $\mathcal{U}_n$-twisted power partial isometry with respect to $\{U_{ij}\}_{i<j}$ (or simply $\mathcal{U}_n$-twisted power partial isometry if $\{U_{ij}\}_{i<j}$ is clear from the context) if $V_i^*V_j=U_{ij}V_jV^*_i, ~~ V_iV_j=U_{ji}V_jV_i ~~\text{and}~~ V_kU_{ij}=U_{ij}V_k~~(i,j,k=1,2,...,n,~\text{and}~i\neq j).$ We prove that each $\…
The celebrated theorem of Berger, Coburn and Lebow on pairs of commuting isometries can be formulated as follows: a pure isometry $V$ on a Hilbert space $\mathcal{H}$ is a product of two commuting isometries $V_1$ and $V_2$ in $\mathcal{B}(\mathcal{H})$ if and only if there exists a Hilbert space $\mathcal{E}$, a unitary $U$ in $\mathcal{B}(\mathcal{E})$ and an orthogonal projection $P$ in $\mathcal{B}(\mathcal{E})$ such that $(V, V_1, V_2)$ and $(M_z, M_Φ, M_Ψ)$ on $H^2_{\mathcal{E}}(\mathbb{D})$ are unitarily equivalent, where \[ Φ(z)=(P+zP^{\perp})U^*\;\text{and}\; Ψ(z)=U(P^{\perp}+zP) \;;(…
