[论文解读] 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 Algebra参考文献 14被引用 12

一句话总结

本文对由有限秩、非交换 $n$-元组算子的最小联合等距扩张生成的弱算子拓扑（wot）闭非自伴代数提供了完整的刻画。它证明了此类代数是超反射的，并给出了显式、可计算的多项式不变量，用于分类不可约 $d \times d$ 矩阵 $n$-元组的相似类，从而提供了一组有限的多项式条件以判断相似性。

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$.

研究动机与目标

• 确定由有限秩、非交换 $n$-元组算子产生的 Cuntz-Toeplitz 代数表示的完全酉不变量。
• 分析由此类 $n$-元组的最小联合等距扩张生成的 wot 闭代数 ${\mathfrak{S}}$ 的结构。
• 证明当原 $n$-元组作用于有限维空间时，代数 ${\mathfrak{S}}$ 的超反射性。
• 推导出一组有限的多项式不变量，以完全分类不可约 $d \times d$ 矩阵 $n$-元组的相似类。
• 基于扩张结构，提供一个基于有限个多项式零化条件的矩阵相似性算法判别准则。

提出的方法

• 构造一个具有两两正交值域的压缩 $n$-元组 $A = (A_1, \dots, A_n)$ 的最小联合等距扩张 $S = (S_1, \dots, S_n)$。
• 根据 $A$ 的性质（特别是其有限秩与非交换性）刻画由 $S$ 生成的 wot 闭代数 ${\mathfrak{S}}$。
• 以自由半群 $\mathcal{F}_n$ 的左正则表示与非交换解析 Toeplitz 代数 $\mathfrak{L}_n$ 的结构作为框架。
• 利用子空间的一个标准正交基，识别出 $\mathfrak{L}_n$ 中对应于由扩张诱导的同态 $\Phi_B$ 的核的右理想 $\mathfrak{J}$。
• 通过计算有限个生成元，将理想生成问题简化为双侧理想，这些生成元对应于矩阵 $n$-元组 $B$ 上的多项式条件。
• 验证这些多项式零化条件对于相似于原 $n$-元组 $A$ 的必要性与充分性。

实验结果

研究问题

• RQ1 由有限秩、非交换算子 $n$-元组的最小联合等距扩张生成的 wot 闭代数 ${\mathfrak{S}}$ 的完整结构是什么？
• RQ2 能否证明代数 ${\mathfrak{S}}$ 是超反射的？这对其算子理论性质意味着什么？
• RQ3 与这类 $n$-元组相关的 Cuntz-Toeplitz 代数表示的完全酉不变量是什么？
• RQ4 是否存在一组有限的多项式不变量，能完全分类 $d \times d$ 矩阵 $n$-元组的相似类？
• RQ5 如何将不可约 $n$-元组的相似性问题约化为检查一组可计算多项式的零化？

主要发现

• 由有限秩 $n$-元组的最小联合等距扩张生成的 wot 闭代数 ${\mathfrak{S}}$ 完全由原 $n$-元组 $A$ 的性质决定。
• 代数 ${\mathfrak{S}}$ 总是超反射的，这是一种强算子代数正则性性质。
• 对于 $d \times d$ 矩阵的不可约 $n$-元组 $A$，存在一组至多 $1 + (n-1)d^2$ 个多项式 $p_j$，使得另一 $n$-元组 $B$ 相似于 $A$ 当且仅当对所有 $j$ 有 $p_j(B) = 0$。
• 多项式不变量来源于自由半群代数中的右理想生成元，可通过简化为双侧理想以提高计算效率。
• 在具体例子中，$2 \times 2$ 矩阵的 $2$-元组的相似类由三个多项式条件刻画：$4B_1^2 = I$，$B_2B_1B_2 = 0$，以及 $8B_1B_2B_1 = I - 2B_2$。
• 一个压缩对的扩张具有纯秩 1 当且仅当 $\det(I - B_1B_1^* - B_2B_2^*) = 0$，这对应于一个导出不等式条件的等号成立。