[论文解读] Operator theory and distinguished varieties in the symmetrized $n$-disk

Sourav Pal|arXiv (Cornell University)|Aug 20, 2017

Holomorphic and Operator Theory参考文献 21被引用 6

一句话总结

本文证明了在对称化 $n$-圆盘 $\mathbb{G}_n$ 中的每个特殊复叠面均为一维复子簇，其由满足特定交换性与谱条件的可交换矩阵的联合谱定义。该文利用由涉及 $F_i$ 矩阵的唯一解构造的功能模型，证明了当交换算子族满足 $P^n \to 0$ 时，在此类复叠面的闭包上成立 von Neumann 型不等式，并通过这些复叠面揭示了 $\mathbb{G}_n$ 与 $\mathbb{G}_{n-1}$ 之间的结构联系。

ABSTRACT

We prove that every distinguished variety in the symmetrized polydisc $\mathbb G_n$ has complex dimension $1$ and can be represented as \begin{align}\label{eqn:1} \Lambda= &\{ (s_1,\dots,s_{n-1},p)\in \mathbb G_n \,: onumber \\& \quad (s_1,\dots,s_{n-1}) \in \sigma_T(F_1^*+pF_{n-1}\,,\, F_2^*+pF_{n-2}\,,\,\dots\,, F_{n-1}^*+pF_1) \}, \end{align} where $F_1,\dots,F_{n-1}$ are commuting square matrices of same order satisfying \begin{itemize} \item[(i)] $[F_i^*,F_{n-j}]=[F_j^*,F_{n-i}]$ for $1\leq i<j\leq n-1$, \item[(ii)] $\sigma_T(F_1,\dots,F_{n-1})\subseteq \mathbb G_{n-1}$. \end{itemize} The converse also holds, i.e, a set of the form ( ef{eqn:1}) is always a distinguished variety in $\mathbb G_n$. We show that for a tuple of commuting operators $\Sigma = (S_1,\dots,S_{n-1},P)$ having $\Gamma_n$ as a spectral set, there is a distinguished variety $\Lambda_{\Sigma}$ in $\mathbb G_n$ such that the von-Neumann's inequality holds on $\overline{\Lambda_{\Sigma}}$, i.e, \[ \|f(S_1,\dots,S_{n-1},P)\|\leq \sup_{(s_1,\dots,s_{n-1},p)\in\Lambda_{\Sigma}}\, |f(s_1,\dots,s_{n-1},p)|, \] for any holomorphic polynomial $f$ in $n$ variables, provided that $P^n ightarrow 0$ strongly as $n ightarrow \infty$. The variety $\Lambda_\Sigma$ has been shown to have representation like ( ef{eqn:1}), where $F_i$ is the unique solutions of the operator equation \[ S_i-S_{n-i}^*P=(I-P^*P)^{\frac{1}{2}}X_i(I-P^*P)^{\frac{1}{2}}\,,\,i=1,\dots,n-1. \] We provide some operator theory on $\Gamma_n$. We produce an explicit dilation and a concrete functional model for such a triple $(S_1,\dots,S_{n-1},P)$ and the unique operators $F_1,\dots,F_{n-1}$ play central role in this model. Also for $n\geq 3$, we describe a connection between distinguished varieties in $\mathbb G_n$ and $\mathbb G_{n-1}$.

研究动机与目标

• 将对称化 $n$-圆盘 $\mathbb{G}_n$ 中的所有特殊复叠面表征为由可交换矩阵的联合谱定义的一维复子集。
• 在特殊复叠面 $\Lambda_\Sigma$ 的闭包上，为满足 $P^n \to 0$ 的交换算子族 $(S_1, \dots, S_{n-1}, P)$ 建立 von Neumann 型不等式。
• 通过涉及矩阵 $F_1, \dots, F_{n-1}$ 的算子方程的唯一解，为这类算子族构造显式的功能模型与扩张。
• 揭示 $n \geq 3$ 时 $\mathbb{G}_n$ 与 $\mathbb{G}_{n-1}$ 中特殊复叠面之间的结构联系。
• 为以 $\Gamma_n$ 作为谱集的算子族提供一个完整的算子理论框架，其基础建立在特殊复叠面的几何结构之上。

提出的方法

• 将 $\mathbb{G}_n$ 中的特殊复叠面表示为 $(F_i^* + pF_{n-i})_{i=1}^{n-1}$ 的联合谱，其中 $F_1, \dots, F_{n-1}$ 为满足特定交换性与谱包含关系的可交换矩阵。
• 利用算子方程 $S_i - S_{n-i}^*P = (I - P^*P)^{1/2}X_i(I - P^*P)^{1/2}$ 唯一确定由给定算子族 $(S_1, \dots, S_{n-1}, P)$ 导出的矩阵 $F_i$。
• 以唯一的 $F_i$ 矩阵为核心组件，为算子族 $(S_1, \dots, S_{n-1}, P)$ 构造功能模型，从而实现显式扩张与函数演算。
• 证明由 $F_i$ 矩阵定义的复叠面 $\Lambda_\Sigma$ 是 $\mathbb{G}_n$ 中的特殊复叠面，且 von Neumann 不等式在其闭包上成立。
• 通过分析 $F_i$ 矩阵的结构及其联合谱，建立 $\mathbb{G}_n$ 与 $\mathbb{G}_{n-1}$ 中特殊复叠面之间的递归联系。
• 利用 $\Gamma_n$ 的谱集性质与强收敛性 $P^n \to 0$，确保 von Neumann 不等式在 $\overline{\Lambda_\Sigma}$ 上的有效性。

实验结果

研究问题

• RQ1 对称化 $n$-圆盘 $\mathbb{G}_n$ 中所有特殊复叠面的精确几何与代数表征是什么？
• RQ2 当交换算子族 $(S_1, \dots, S_{n-1}, P)$ 以 $\Gamma_n$ 作为谱集时，在何种条件下其在特殊复叠面的闭包上满足 von Neumann 型不等式？
• RQ3 如何利用涉及 $F_i$ 矩阵的算子方程的解，为这类算子族构造功能模型与显式扩张？
• RQ4 当 $n \geq 3$ 时，$\mathbb{G}_n$ 与 $\mathbb{G}_{n-1}$ 中的特殊复叠面之间存在何种关系？
• RQ5 $F_1, \dots, F_{n-1}$ 矩阵在定义特殊复叠面的结构并实现功能模型中起到何种作用？

主要发现

• 所有 $\mathbb{G}_n$ 中的特殊复叠面均为一维复子簇，且可表示为 $(F_i^* + pF_{n-i})_{i=1}^{n-1}$ 的联合谱，其中可交换矩阵 $F_1, \dots, F_{n-1}$ 满足给定的交换性与谱条件。
• 与满足 $P^n \to 0$ 的交换算子族 $(S_1, \dots, S_{n-1}, P)$ 相关的复叠面 $\Lambda_\Sigma$ 是 $\mathbb{G}_n$ 中的特殊复叠面，且对所有全纯多项式，其闭包上均成立 von Neumann 不等式。
• $F_i$ 矩阵由算子方程 $S_i - S_{n-i}^*P = (I - P^*P)^{1/2}X_i(I - P^*P)^{1/2}$ 唯一确定，且在算子族的功能模型中起核心作用。
• 通过 $F_i$ 矩阵为算子族 $(S_1, \dots, S_{n-1}, P)$ 构造了具体的功能模型与显式扩张，从而完整实现了该算子系统的实现。
• 当 $n \geq 3$ 时，$\mathbb{G}_n$ 与 $\mathbb{G}_{n-1}$ 中的特殊复叠面之间存在自然对应关系，该关系由 $F_i$ 矩阵及其联合谱的结构所介导。
• 反之亦然：只要形式如方程 (1) 所示，任何此类集合均为 $\mathbb{G}_n$ 中的特殊复叠面，从而实现了完全的表征。