[論文レビュー] Unitary invariants in multivariable operator theory

Gelu Popescu|arXiv (Cornell University)|Oct 22, 2004

Holomorphic and Operator Theory参考文献 36被引用数 4

ひとこと要約

本稿は、非可換作用素の $n$-重組みの古典的数値半径の多変数一般化を導入し、ユニタリ不変性を確立し、作用素ノルムと同値であることを示している。主な貢献は、非可換多項式およびフォック空間表現を含む多変数バーナイユ型不等式と関連する作用素ノルム推定であり、制約付き補間および群 $C^*$-代数上の正値性条件への応用を含む。

ABSTRACT

The problems considered in this paper come as a natural continuation of our program to develop a free analogue of Sz.-Nagy-Foias theory, for row contractions. The paper is structured as follows: Introduction Part I. Unitary invariants for n-tuples of operators 1. Joint numerical radius 2. Euclidean operator radius 3. Joint numerical range and spectrum 4. $ρ$-operator radius Part II. Joint operator radii, inequalities, and applications 5. von Neumann inequalities 6. Constrained von Neumann inequalities 7. Multivariable Haagerup-de la Harpe inequalities 8. Multivariable Fejer inequalities References

研究の動機と目的

• 多変数作用素論における非可換有界作用素の $n$-重組のユニタリ不変枠組みを構築すること。
• 完全フォック空間および自由モノイドを用いて、古典的数値半径を $n$-重組に一般化すること。
• バーナイユ不等式および関連する作用素ノルム不等式の多変数版を確立すること。
• 非可換多項式の正値性条件を作用素係数および三角不等式による境界で特徴付けること。
• $F_n^\infty$ および $\mathcal{A}_n$ 代数を用いて、古典的補間および拡大定理を非可換設定に拡張すること。

提案手法

• フォック空間内の単位 $\ell^2$-ノルムを持つベクトル族に関する上界として、連立数値半径 $w(T_1,\ldots,T_n)$ を定義する。
• 完全フォック空間 $F^2(H_n)$ 上の左生成作用素 $S_1,\ldots,S_n$ を、シフト作用素の非可換類似物として用いる。
• 作用素 $S_1,\ldots,S_n$ が生成する作用素系上の完全正値写像を用いて、連立数値半径と作用素ノルムの同値性を確立する。
• 多変数バーナイユ不等式を証明する：$f_j \in \mathcal{A}_n$ に対して、$w(f_1(T),\ldots,f_k(T)) \leq \|[f_1,\ldots,f_k]\| + 2\left(\sum_{j=1}^n |f_j(0)|^2\right)^{1/2}$。
• 非可換多項式の係数に関する三角不等式による境界を、$C^*({\mathbb{F}}_n)$ および $C_{\text{red}}^*({\mathbb{F}}_n)$ における正値性を用いて導出し、$\bf{U}_i$ の普遍性を用いる。
• ベルガー＝カトー＝シュタームフラ写像定理および拡大定理を用いて、$F_n^\infty$-加群を用いた連立数値範囲および作用素半径の特徴付けを行う。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ不変な方法で、古典的数値半径を非可換作用素の $n$-重組に一般化することは可能か？
• RQ2 作用素の $n$-重組に対して、連立数値半径と作用素ノルムの関係は何か？
• RQ3 非可換多項式 $\mathcal{A}_n$ に対して、多変数バーナイユ不等式を確立できるか？
• RQ4 自由群 $\mathbb{F}_n$ の全または縮小 $C^*$-代数において、非可換多項式の正値性を保証する係数制約は何か？
• RQ5 非可換ディスク代数 $\mathcal{A}_n$ の構造と、$n$-重組の連立数値範囲およびスペクトルの関係は何か？

主な発見

• 連立数値半径 $w(T_1,\ldots,T_n)$ は、$B(\mathcal{H})^{(n)}$ 上の作用素ノルムと同値なノルムをなしており、$n$-重組のユニタリ不変量を提供する。
• ユニタリ球 $\{(T_1,\ldots,T_n) : w(T_1,\ldots,T_n) \leq 1\}$ は、$S_1,\ldots,S_n$ が生成する作用素系上の完全正値写像によって特徴付けられる。
• 多変数バーナイユ不等式が成立する：$f_j \in \mathcal{A}_n$ に対して、$w(f_1(T),\ldots,f_k(T)) \leq \|[f_1,\ldots,f_k]\| + 2\left(\sum_{j=1}^n |f_j(0)|^2\right)^{1/2}$。
• 非可換多項式 $f(X_1,\ldots,X_n)$ が次数 $m-1$ であるとき、$f(S_1,\ldots,S_n) \geq 0$ ならば、$1 \leq k \leq m-1$ に対して $\left(\sum_{|\alpha|=k} |a_\alpha|^2\right)^{1/2} \leq a_0 \cos\left(\frac{\pi}{[\frac{m-1}{k}]+2}\right)$ が成り立つ。
• $C_{\text{red}}^*({\mathbb{F}}_n)$ において $f(U_1,\ldots,U_n) \geq 0$ または $C^*({\mathbb{F}}_n)$ において $f(\bf{U}_1,\ldots,\bf{U}_n) \geq 0$ ならば、普遍性および $F^2(H_n)$ への制限により、同じ係数境界が成り立つ。