[論文レビュー] 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$ の構造をフレームワークとして用いる。
• 拡大によって誘導されるホモモーフィズム $\Phi_B$ の核に対応する $\mathfrak{L}_n$ 内の右イデアル $\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$-対の類似関係は、3つの多項式条件によって特徴付けられる：$4B_1^2 = I$、$B_2B_1B_2 = 0$、および $8B_1B_2B_1 = I - 2B_2$。
• 合同なペアの拡大は、$I - B_1B_1^* - B_2B_2^*$ の行列式がゼロであるときに限り、純粋ランク 1 をもつ。これは導出された不等式条件における等号に一致する。