[論文レビュー] 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$ 内のすべての区別された多様体が、特定の可換性およびスペクトル的条件を満たす可換行列の共同スペクトルによって定義される1次元複素多様体であることを確立する。$P^n \to 0$ を満たす可換作用素族に対して、そのような多様体の閉包上でヴァン・ネウマン型不等式を証明し、$F_i$ 行列を含む作用素方程式の一意解から構成される関数的モデルを用いる。さらに、これらの多様体を通じて $\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$ 内のすべての区別された多様体を、可換行列の共同スペクトルによって定義される1次元複素多様体として特徴付けること。
• 可換作用素族 $(S_1, \dots, S_{n-1}, P)$ で $P^n \to 0$ を満たすものに対して、区別された多様体 $\Lambda_\Sigma$ の閉包上でヴァン・ネウマン型不等式を確立すること。
• 作用素方程式に現れる行列 $F_1, \dots, F_{n-1}$ の一意解を用いて、そのような作用素族の明示的関数的モデルと拡張を構成すること。
• $n \geq 3$ の場合に、$\mathbb{G}_n$ と $\mathbb{G}_{n-1}$ 内の区別された多様体の間の構造的関係を明らかにすること。
• $\Gamma_n$ をスペクトル集合としてもつ作用素族の完全な作用素論的枠組みを、区別された多様体の幾何学に裏打ちして提供すること。

提案手法

• 可換行列 $F_1, \dots, F_{n-1}$ が与えられた特定の可換性およびスペクトル的包含条件を満たすとき、$\mathbb{G}_n$ 内の区別された多様体を、$(F_i^* + pF_{n-i})_{i=1}^{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$ 内の区別された多様体であることを証明し、その閉包上でヴァン・ネウマン不等式が成り立つことを示す。
• $F_i$ 行列の構造とその共同スペクトルを分析することで、$\mathbb{G}_n$ と $\mathbb{G}_{n-1}$ 内の区別された多様体の再帰的関係を確立する。
• $\Gamma_n$ のスペクトル集合性および $P^n \to 0$ の強い収束性を活用して、$\overline{\Lambda_\Sigma}$ 上でのヴァン・ネウマン不等式の有効性を保証する。

実験結果

リサーチクエスチョン

• RQ1 シンメトライズド $n$-ディスク $\mathbb{G}_n$ 内のすべての区別された多様体の正確な幾何学的・代数的特徴付けは何か？
• RQ2 可換作用素族 $(S_1, \dots, S_{n-1}, P)$ で $\Gamma_n$ をスペクトル集合としてもつものが、区別された多様体の閉包上でヴァン・ネウマン型不等式を満たす条件は何か？
• RQ3 作用素方程式に現れる $F_i$ 行列の解を用いて、そのような作用素族の関数的モデルと明示的拡張をどのように構成できるか？
• RQ4 $n \geq 3$ の場合に、$\mathbb{G}_n$ 内の区別された多様体と $\mathbb{G}_{n-1}$ 内のそれらとの関係は何か？
• RQ5 $F_1, \dots, F_{n-1}$ 行列は、区別された多様体の構造を定義し、関数的モデルを可能にする上で果たす役割は何か？

主な発見

• すべての $\mathbb{G}_n$ 内の区別された多様体は1次元複素部分多様体であり、可換行列 $F_1, \dots, F_{n-1}$ が与えられた可換性およびスペクトル的条件を満たすとき、$(F_i^* + pF_{n-i})_{i=1}^{n-1}$ の共同スペクトルとして表現可能である。
• $P^n \to 0$ を満たす可換作用素族 $(S_1, \dots, S_{n-1}, P)$ に対して関連する多様体 $\Lambda_\Sigma$ は $\mathbb{G}_n$ 内の区別された多様体であり、その閉包上ですべての正則多項式に対してヴァン・ネウマン不等式が成り立つ。
• $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$ 内の区別された多様体であることが示され、完全な特徴付けが確立された。