[Paper Review] Isometric dilations of non-commuting finite rank $n$-tuples

Kenneth R. Davidson, David W. Kribs+1 more|ArXiv.org|Nov 23, 2004

Advanced Topics in Algebra14 references12 citations

TL;DR

This paper provides a complete characterization of the weak operator topology (wot)-closed nonself-adjoint algebras generated by minimal joint isometric dilations of finite-rank, non-commuting $n$-tuples of operators. It establishes that such algebras are hyper-reflexive and gives explicit, computable polynomial invariants that classify similarity classes of irreducible $n$-tuples of $d \times d$ matrices, offering a finite set of polynomial conditions for similarity.

ABSTRACT

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 similarity invariants. In particular, an $n$-tuple $B$ of $d imes d$ matrices is similar to an irreducible $n$-tuple $A$ if and only if a certain finite set of polynomials vanish on $B$.

Motivation & Objective

• To determine complete unitary invariants for the Cuntz-Toeplitz algebra representations arising from finite-rank, non-commuting $n$-tuples of operators.
• To analyze the structure of the wot-closed algebra ${\mathfrak{S}}$ generated by the minimal joint isometric dilation of such $n$-tuples.
• To establish hyper-reflexivity of the algebra ${\mathfrak{S}}$ when the original $n$-tuple acts on a finite-dimensional space.
• To derive a finite set of polynomial invariants that classify similarity classes of irreducible $n$-tuples of $d \times d$ matrices.
• To provide an algorithmic criterion for matrix similarity based on vanishing of a finite number of polynomials derived from the dilation structure.

Proposed method

• Construct the minimal joint isometric dilation $S = (S_1, \dots, S_n)$ of a contractive $n$-tuple $A = (A_1, \dots, A_n)$ with pairwise orthogonal ranges.
• Characterize the wot-closed algebra ${\mathfrak{S}}$ generated by $S$ in terms of the properties of $A$, particularly its finite rank and non-commutativity.
• Use the structure of the left regular representation of the free semigroup $\mathcal{F}_n$ and the non-commutative analytic Toeplitz algebra $\mathfrak{L}_n$ as a framework.
• Identify a right ideal $\mathfrak{J}$ in $\mathfrak{L}_n$ corresponding to the kernel of a homomorphism $\Phi_B$ induced by the dilation, using an orthonormal basis for a subspace.
• Reduce the ideal generation to a two-sided ideal by computing a finite set of generators, which correspond to polynomial conditions on the matrix $n$-tuple $B$.
• Verify that the vanishing of these polynomials is both necessary and sufficient for similarity to the original $n$-tuple $A$.

Experimental results

Research questions

• RQ1 What is the complete structure of the wot-closed algebra ${\mathfrak{S}}$ generated by the minimal joint isometric dilation of a finite-rank $n$-tuple of non-commuting operators?
• RQ2 Can the algebra ${\mathfrak{S}}$ be shown to be hyper-reflexive, and what does this imply about its operator-theoretic properties?
• RQ3 What are the complete unitary invariants for the Cuntz-Toeplitz algebra representation associated with such $n$-tuples?
• RQ4 Is there a finite set of polynomial invariants that completely classify $n$-tuples of $d \times d$ matrices up to similarity?
• RQ5 How can the similarity problem for irreducible $n$-tuples be reduced to checking the vanishing of a computable set of polynomials?

Key findings

• The wot-closed algebra ${\mathfrak{S}}$ generated by the minimal joint isometric dilation of a finite-rank $n$-tuple is completely determined by the properties of the original $n$-tuple $A$.
• The algebra ${\mathfrak{S}}$ is always hyper-reflexive, a strong operator-algebraic regularity property.
• For an irreducible $n$-tuple $A$ of $d \times d$ matrices, there exists a finite set of at most $1 + (n-1)d^2$ polynomials $p_j$ such that another $n$-tuple $B$ is similar to $A$ if and only if $p_j(B) = 0$ for all $j$.
• The polynomial invariants are derived from generators of a right ideal in the free semigroup algebra, which can be reduced to a two-sided ideal for computational efficiency.
• In a concrete example, the similarity class of a $2$-tuple of $2 \times 2$ matrices is characterized by three polynomial conditions: $4B_1^2 = I$, $B_2B_1B_2 = 0$, and $8B_1B_2B_1 = I - 2B_2$.
• The dilation of a contractive pair has pure rank 1 if and only if the determinant of $I - B_1B_1^* - B_2B_2^*$ is zero, which corresponds to equality in a derived inequality condition.