Operator algebras associated with unitary commutation relations
Stephen C. Power (Lancaster University), Baruch Solel (Technion)

TL;DR
This paper introduces a class of nonselfadjoint operator algebras generated by unitary commutation relations, generalizing analytic Toeplitz algebras of rank 2 graphs, and classifies them via an associated unitary matrix.
Contribution
It defines and classifies new operator algebras based on unitary commutation relations, extending the theory of analytic Toeplitz algebras of rank 2 graphs.
Findings
Algebras are classified up to isometric isomorphism by the unitary matrix u.
Generalization of analytic Toeplitz algebras of rank 2 graphs.
Provides a framework for understanding operator algebras with unitary commutation relations.
Abstract
We define nonselfadjoint operator algebras with generators 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 is an 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 .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Operator Algebra Research · Advanced Topics in Algebra · Holomorphic and Operator Theory
Operator Algebras Associated with Unitary Commutation
Relations ††thanks: 2000 Mathematics Subject Classification. 47L55, 47L30, 47L75, 46L05.
Stephen C. Power
*Lancaster University
Department of Mathematics and Statistics
Lancaster, United Kingdom LA1 4YF
E-mail: [email protected]
*
Baruch Solel
*Technion
Department of Mathematics
Haifa 32000, Israel
E-mail: [email protected]
SCP is supported by EPSRC grant EP/E002625/1 BS is supported by the Fund for the Promotion of Research at the Technion and by EPSRC grant EP/E002625/1
Abstract
We define nonselfadjoint operator algebras with generators
subject to the unitary commutation relations of the form
[TABLE]
where is an 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 .
1 Introduction
The unilateral shift on complex separable Hilbert space generates two fundamental operator algebras, namely the norm closed (unital) algebra and the weak operator topology closed algebra. The former is naturally isomorphic to the disc algebra of holomorphic functions on the unit disc, continuous to the boundary, while the latter is isomorphic to . The freely noncommuting multivariable generalisations of these algebras arise from the freely noncommuting shifts given by the left creation operators on the Fock space Here the generated operator algebras, denoted and for the norm and weak topologies, are known as the noncommutative disc algebra and the freesemigroup algebra. They have been studied extensively with respect to operator algebra structure, representation theory and the multivariable operator theory of row contractions. See for example [2], [9].
Higher rank generalisations of these algebras arise when one considers several families of freely noncommuting generators between which there are commutation relations. In the present paper we consider a very general form of such relations, namely
[TABLE]
where and are freely noncommuting and is an unitary matrix. The associated operator algebras are denoted and and we classify them up to various forms of isomorphism in terms of the unitary matrices . Such unitary relations arose originally in the context of the general dilation theorem proven in Solel ([12], [13]) for two row contractions and satisfying the unitary commutation relations.
For , we have with and is the subalgebra of the rotation C*-algebra for the relations . When is a permutation unitary matrix arising from a permutation in then the relations are those associated with a single vertex rank 2 graph in the sense of Kumjian and Pask, and the algebras in this case have been considered in Kribs and Power [5] and Power [10]. In particular, in [10] it was shown that there are 9 operator algebras arising from the 24 permutations in case . In contrast, we see below in Section 6 that for general by unitaries there are uncountably many isomorphism classes of the unitary relation algebras expressed in terms of a nine fold real parametrisation of isomorphism types.
The algebras are easily defined; they are determined by the left regular representation of the semigroup whose generators are subject to the relations where . On the other hand the unitary relation algebras are generated by creation operators on a -graded Fock space with relations arising from the identification . In particular, is a representation of the non-selfadjoint tensor algebra of a rank correspondence (or a product system over ) in the sense of [13]. See also [3]
In the main results, summarised partly in Theorem 5.10, we see that if and are isomorphic then the two families of generators have matching cardinalities. Furthermore, if then the algebras are isomorphic if and only if the unitaries in are unitary equivalent by a unitary in . As in [10] we term this product unitary equivalence (with respect to the fixed tensor product decomposition). The case admits an extra possibility, in view of the possibility of generator exchanging isomorphisms, namely that are product unitary equivalent, where .
The theorem is proven as follows. After some preliminaries we identify, in Section 3, the character space and the set of w*-continuous characters on . These are subsets of the closed unit ball product which are associated with a variety in determined by . We then define the core , a closed subset of the realised character space , and we identify this intrinsically (algebraically) in terms of representations of into , the algebra of upper triangular matrices in . The importance of the core is that we are able to show that the interior is a minimal automorphism invariant subset on which automorphisms act transitively. This allows us to infer the existence of graded isomorphisms from general isomorphisms. To construct automorphisms we first review, in Section 4, Voiculescu’s construction of a unitary action of the Lie group on the Cuntz algebra and the operator algebras and . This provides, in particular, unitary automorphisms , for , which act transitively on the interior ball, , of the character space of . For these explicit unitary automorphisms of the -generated copy of in , we establish unitary commutation relations for the tuples and , when is a point in the core. This enables us to define natural unitary automorphisms of itself, and in Theorem 4.8 the relative interior of the core is identified as an automorphism invariant set in the Gelfand space . In Section 5 we determine the graded and bigraded isomorphisms in terms of product unitary equivalence. To do this we observe that such isomorphisms induce an origin preserving biholomorphic map between the cores and and that these maps, by a generalised Schwarz’s Lemma, are implemented by a product unitary. We then prove the main classification theorem.
In Section 6 we analyse in detail the case and consider the special case of permutation unitaries.
Finally, in Section 7 we show that the algebra is contained in a tensor algebra , associated with a correspondence as in [7]. Moreover, at least when , every automorphism of extends to an automorphism of . The advantage of the tensor algebra is that its representation theory is known ([7]) while this is not the case yet for the algebra .
2 Preliminaries
Fix two finite dimensional Hilbert spaces and and a unitary matrix . The rows and columns of are indexed by () and when we write as an matrix we assume that is ordered lexicographically (so that, for example, the second row is the row indexed by ). We also fix orthonormal bases and for and respectively and the matrix is used to identify with through the equation
[TABLE]
Equivalently, we write
[TABLE]
For every , we write for . Using succesive applications of (1), we can identify with whenever and .
Let be the Fock space given by the Hilbert space direct sum
[TABLE]
and, for and , write and for the “shift” operators
[TABLE]
and
[TABLE]
where, in the last equation, we use (1) to identify the resulting vector as a vector of .
The unital semigroup generated by is denoted and the algebra it generates denoted . The norm closure of will be written and its closure in the weak* operator topology will be written . In particular, the algebras and studied in [10] are the algebras and for which is a permutation matrix.
The results of Section 2 in [5] hold here too with minor changes. Every is the limit (in the strong operator topology) of its Cesaro sums
[TABLE]
where lies in and is “supported” on . In fact, let be the projection of onto , form the one-parameter unitary group defined by and set . Then is a -continuous action of on that normalizes both and and
[TABLE]
for all . Then leaves invariant.
We can define the algebra generated by the right shifts and defined by
[TABLE]
and
[TABLE]
The techniques of the proof of Proposition 2.3 of [5] can be applied here to show that the commutant of is . Also, mapping to , we get a unitary operator
[TABLE]
implementing a unitary equivalence of and . In fact, it is easy to check that and for every . To see that the commutation relation in the range is given by , apply to (2) to get (in the range of ) which is equation (1) with instead of .
As in [5], we conclude that and .
3 The character space and its core
In the following proposition we describe the structure of the character spaces and (equipped with the weak∗ topology). Similar results were obtained in [5] for algebras defined for higher rank graphs and in [2] for analytic Toeplitz algebras. (See also [10].)
It will be convenient to write
[TABLE]
and
[TABLE]
where is the open unit ball of . We refer to as the *variety associated with * .
Proposition 3.1
- (1)
The linear multiplicative functionals on are in one-to-one correspondence with points in . 2. (2)