[论文解读] Unitary invariants in multivariable operator theory

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

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

一句话总结

本文提出了对 $n$ 个非交换算子 $n$-元组的经典数值半径的多变量推广，将其确立为酉不变量，并证明其与算子范数等价。主要贡献在于建立了多变量 von Neumann 型不等式，以及涉及非交换多项式与 Fock 空间表示的算子范数估计，其应用涵盖受限插值问题和群 $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$-元组建立酉不变框架。
• 利用全 Fock 空间和自由半群，将经典数值半径推广至 $n$-元组。
• 建立 von Neumann 不等式的多变量版本及其相关的算子范数不等式。
• 通过算子系数和三角有界性，刻画非交换多项式的正定性条件。
• 利用 $F_n^\infty$ 和 $\mathcal{A}_n$ 代数，将经典插值与扩张定理推广至非交换设置。

提出的方法

• 通过 Fock 空间中具有单位 $\ell^2$-范数的向量族的上确界，定义联合数值半径 $w(T_1,\ldots,T_n)$。
• 在全 Fock 空间 $F^2(H_n)$ 上，使用左创造算子 $S_1,\ldots,S_n$ 作为移位算子的非交换类比。
• 通过 $S_1,\ldots,S_n$ 生成的算子系统上的完全正映射，建立联合数值半径与算子范数的等价性。
• 证明多变量 von Neumann 不等式：对 $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$ 的普遍性质，推导非交换多项式系数的三角有界性。
• 应用 Berger-Kato-Stampfli 映射定理和扩张定理，通过 $F_n^\infty$-模刻画联合数值范围和算子半径。

实验结果

研究问题

• RQ1 如何以酉不变的方式将经典数值半径推广至非交换算子的 $n$-元组？
• RQ2 对于算子的 $n$-元组，联合数值半径与算子范数之间有何关系？
• RQ3 能否为 $\mathcal{A}_n$ 中的非交换多项式建立多变量 von Neumann 不等式？
• RQ4 非交换多项式在自由群 $\mathbb{F}_n$ 的全或约化群 $C^*$-代数中保持正定性的系数约束条件是什么？
• RQ5 联合数值范围与 $n$-元组的谱如何与非交换圆盘代数 $\mathcal{A}_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$ 生成的算子系统上的完全正映射得以刻画。
• 多变量 von Neumann 不等式成立：对 $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}$。
• 对于次数为 $m-1$ 的非交换多项式 $f(X_1,\ldots,X_n)$，若 $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)$ 上的限制，相同的系数有界性成立。