[論文レビュー] From Stinespring dilation to Sz.-Nagy dilation on the symmetrized bidisc and operator models

Sourav Pal|arXiv (Cornell University)|Oct 15, 2013

Holomorphic and Operator Theory参考文献 18被引用数 11

ひとこと要約

本稿は、Stinespring拡大を基盤として、$Γ$-収縮$(S,P)$に対する明示的な正規$b\Gamma$-拡大（Sz.-Nagy拡大）を構成し、その拡大空間が$P$の最小ユニタリ拡大のそれと等しいことを示している。$(S,P)$の明示的な関数的モデルを確立し、モデル空間を$H^2(\mathcal{D}_V)$、モデル作用素をトーピツ型作用素として特定している。また、$(S^*,P^*)$の基本作用素が構成において中心的な役割を果たしている。

ABSTRACT

We provide an explicit normal distinguished boundary dilation to a pair of commuting operators $(S,P)$ having the closed symmetrized bidisc $Γ$ as a spectral set. This is called Sz.-Nagy dilation of $(S,P)$. The operator pair that dilates $(S,P)$ is obtained by an application of Stinespring dilation of $(S,P)$ given by Agler and Young. We further prove that the dilation is minimal and the dilation space is no bigger than the dilation space of the minimal unitary dilation of the contraction $P$. We also describe model space and model operators for such a pair $(S,P)$.

研究の動機と目的

• $(S,P)$の$\Gamma$-収縮に対して、Stinespring拡大の枠組みを拡張して、明示的な正規$b\Gamma$-拡大（Sz.-Nagy拡大）を構成すること。
• 拡大空間が$P$の最小ユニタリ拡大のそれ以上に大きくならないことを示し、拡大空間を最小化すること。
• モデル空間とモデル作用素を明示的に特定することで、$\Gamma$-収縮の明示的関数的モデルを提供すること。
• 拡大の構造を、$\Gamma$-ユニタリ部分空間と純粋$\Gamma$-共等長的部分空間への直交分解によって特徴付けること。
• $\mathcal{D}_V$の次元が$\mathcal{D}_P$と同一であることから、純粋部分と$H^2(\mathcal{D}_V)$上のトーピツ作用素とのユニタリ同値性を確立すること。

提案手法

• AglerとYoungによる特徴付けを用い、$\mathcal{K} = \ell^2(\mathcal{D}_P) \oplus \mathcal{H} \oplus \ell^2(\mathcal{D}_{P^*})$を用いて$(S,P)$にStinespring拡大を適用する。
• 基本作用素方程式$S - S^*P = D_P X D_P$および$S^* - S P^* = D_{P^*} X_* D_{P^*}$を解き、$\tilde{S}$と$\tilde{P}$を明示的に構成する。
• $\tilde{P}$が$P$の最小ユニタリ拡大であることを特定し、$P$の最小ユニタリ拡大の拡大空間と一致させることで、最小性を保証する。
• $P^*$の等長的拡大を用いて、モデル空間$\mathcal{K}_* = \mathcal{H} \oplus \mathcal{D}_{P^*} \oplus \mathcal{D}_{P^*} \oplus \cdots$を定義し、これは$H^2(\mathcal{D}_V)$とユニタリ同値であることを示す。
• モデル作用素$T$と$V$を、$\mathcal{K}_*$上に作用する無限大ブロック行列として定義し、$F_*$（$(S^*,P^*)$の基本作用素）が上側右ブロックを決定することを示す。
• $\Gamma$-等長的および$\Gamma$-共等長的理論を用いて、モデル空間を還元可能な部分空間へ分解し、ユニタリ部分と純粋部分を分離する。

実験結果

リサーチクエスチョン

• RQ1 Stinespring拡大を出発点として、任意の$\Gamma$-収縮$(S,P)$に対して、最小の正規$b\Gamma$-拡大を明示的に構成できるか。
• RQ2 $\Gamma$-収縮$(S,P)$の拡大空間は、$P$の最小ユニタリ拡大のそれ以上に大きくならないか。
• RQ3 関数的モデルの正確な構造は何か。モデル空間と作用素はどのように明示的に記述できるか。
• RQ4 $(S^*,P^*)$の基本作用素は、関数的モデルにおけるモデル作用素の構成にどのように影響を与えるか。
• RQ5 モデルの純粋部分は、$H^2(\mathcal{D}_V)$上のトーピツ作用素とユニタリ同値にできるか。$\mathcal{D}_V$はこの同値性においてどのような役割を果たすか。

主な発見

• $\mathcal{K}$は、$\ell^2(\mathcal{D}_P) \oplus \mathcal{H} \oplus \ell^2(\mathcal{D}_{P^*})$として明示的に実現され、$P$の最小ユニタリ拡大の拡大空間と一致する。これにより、最小性が保証される。
• $\tilde{P}$は$P$の最小ユニタリ拡大に正確に一致し、拡大空間が最小かつ最適であることを確認する。
• $(S^*,P^*)$の基本作用素$F_*$は、関数的モデルにおけるモデル作用素$T$と$V$の構成に用いられ、$F_*$は方程式$S^* - S P^* = D_{P^*} F_* D_{P^*}$を一意に解く。
• モデル空間$\mathcal{K}_*$は、$\Gamma$-ユニタリ部分と純粋$\Gamma$-共等長的部分に直交分解可能であり、後者は$H^2(\mathcal{D}_V)$とユニタリ同値である。
• モデルの純粋部分は、$H^2(\mathcal{D}_V)$上のトーピツ作用素$T_{B + B^* \bar{z}}$および$T_{\bar{z}}$とユニタリ同値である。ここで$B$はモデルの基本作用素である。
• $\mathcal{D}_V$と$\mathcal{D}_P$の次元は同一であり、モデルと元の収縮との一貫性が保証される。