[論文レビュー] A Note on Tetrablock Contractions

Haripada Sau|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|Dec 2, 2013

Holomorphic and Operator Theory参考文献 12被引用数 5

ひとこと要約

本稿では、純粋な四重空間収縮のデフォルト作用素を含む作用素方程式から導かれる基本作用素を用いて、関数的モデルと完全なユニタリ不変量を構築する。主な結果として、任意の純粋な四重空間等長作用素は、ある特定のモデル三重対がハーディー空間上にユニタリ同値であることが示され、このような作用素三重対における不変部分空間に関して、ベルリング＝ラクス＝ハルモス型定理が証明される。

ABSTRACT

A commuting triple of operators $(A,B,P)$ on a Hilbert space $\mathcal{H}$ is called a tetrablock contraction if the closure of the set $$ E = \{\underline{x}=(x_1,x_2,x_3)\in \mathbb{C}^3: 1-x_1z-x_2w+x_3zw eq 0 ext{whenever}|z| \leq 1 ext{and}|w| \leq 1 \} $$ is a spectral set. In this paper, we have constructed a functional model and produced a complete unitary invariant for a pure tetrablock contraction. In this construction, the fundamental operators, which are the unique solutions of the operator equations $$ A-B^*P = D_PX_1D_P ext{and} B-A^*P=D_PX_2D_P, ext{where $X_1,X_2 \in \mathcal{B}(\mathcal{D}_P)$}, $$ play a big role. As a corollary to the functional model, we show that every pure tetrablock isometry $(A,B,P)$ on a Hilbert space $\mathcal{H}$ is unitarily equivalent to $(M_{G_1^*+G_2z}, M_{G_2^*+G_1z},M_z)$ on $H^2_{\mathcal{D}_{P^*}}(\mathbb{D})$, where $G_1$ and $G_2$ are the fundamental operators of $(A^*,B^*,P^*)$. We prove a Beurling-Lax-Halmos type theorem for a triple of operators $(M_{F_1^*+F_2z},M_{F_2^*+F_1z},M_z)$, where $\mathcal{E}$ is a Hilbert space and $F_1,F_2 \in \mathcal{B}(\mathcal{E})$. We deal with a natural example of tetrablock contraction on functions space to find out its fundamental operators.

研究の動機と目的

• 作用素方程式から導かれる基本作用素を用いて、純粋な四重空間収縮の関数的モデルを構築すること。
• 基本作用素に基づいて、純粋な四重空間収縮の完全なユニタリ不変量を確立すること。
• ハーディー空間上における乗法作用素三重対における不変部分空間に関して、ベルリング＝ラクス＝ハルモス型定理を証明すること。
• 純粋な四重空間等長作用素を、ハーディー空間上でのモデル作用素三重対へのユニタリ同値性によって特徴付けること。
• 関数空間上での自然な四重空間収縮の例を分析し、その基本作用素を計算すること。

提案手法

• 作用素方程式 $ A - B^*P = D_P F_1 D_P $ および $ B - A^*P = D_P F_2 D_P $ における $ D_P = (I - P^*P)^{1/2} $ を用いて、基本作用素 $ F_1, F_2 $ を一意に解として導出する。
• 作用素三重対 $ (A^*, B^*, P^*) $ を用いて、随伴基本作用素 $ G_1, G_2 $ を定義し、$ A^* - B P^* = D_{P^*} G_1 D_{P^*} $ および $ B^* - A P^* = D_{P^*} G_2 D_{P^*} $ を満たすようにする。
• 純粋な四重空間等長作用素 $ (A,B,P) $ とハーディー空間 $ H^2_{/mathcal{D}_{P^*}}(\mathbb{D}) $ 上のモデル三重対 $ (M_{G_1^* + G_2 z}, M_{G_2^* + G_1 z}, M_z) $ の間のユニタリ同値性を構築する。
• ベルリング＝ラクス＝ハルモス定理を応用し、ハーディー空間 $ H^2_{\mathcal{E}}(\mathbb{D}) $ 上における三重対 $ (M_{F_1^* + F_2 z}, M_{F_2^* + F_1 z}, M_z) $ における不変部分空間を内挿関数を用いて特徴付ける。
• 閉部分空間 $ \mathcal{M} \subset H^2_{\mathcal{E}}(\mathbb{D}) $ が作用素三重対に関して不変であるための必要十分条件は、ある内挿関数 $ \Theta $ に対して $ (F_1^* + F_2 z)\Theta(z) = \Theta(z)(G_1 + G_2^* z) $ が成り立つことであることを示す。
• 関数 $ H^2_{\mathcal{D}_{P^*}}(\mathbb{D}) $ の行列表現における作用素の作用を直接計算することで、ユニタリ同値性を検証する。

実験結果

リサーチクエスチョン

• RQ1 純粋な四重空間収縮の関数的モデルとは何か。また、基本作用素はその構築にどのように用いられるか。
• RQ2 四重空間収縮が拡張をもつための条件は何か。また、基本作用素の可換性はその拡張性とどのように関係するか。
• RQ3 四重空間領域に関連するハーディー空間上における三重作用素に対して、ベルリング＝ラクス＝ハルモス型定理を拡張できるか。
• RQ4 純粋な四重空間等長作用素は、モデル作用素三重対へのユニタリ同値性によってどのように特徴付けられるか。
• RQ5 関数空間上での自然な四重空間収縮の基本作用素とは何か。また、それらはどのように計算されるか。

主な発見

• 任意の純粋な四重空間等長作用素 $ (A,B,P) $ は、ハーディー空間 $ H^2_{\mathcal{D}_{P^*}}(\mathbb{D}) $ 上のモデル三重対 $ (M_{G_1^* + G_2 z}, M_{G_2^* + G_1 z}, M_z) $ にユニタリ同値である。ここで $ G_1, G_2 $ は $ (A^*, B^*, P^*) $ の基本作用素である。
• ベルリング＝ラクス＝ハルモス型定理が確立された：非ゼロの閉部分空間 $ \mathcal{M} \subset H^2_{\mathcal{E}}(\mathbb{D}) $ が三重対 $ (M_{F_1^* + F_2 z}, M_{F_2^* + F_1 z}, M_z) $ に関して不変であるための必要十分条件は、ある内挿関数 $ \Theta $ に対して $ (F_1^* + F_2 z)\Theta(z) = \Theta(z)(G_1 + G_2^* z) $ が成り立つことである。
• 収縮 $ P $ が稠密な値域を持つ場合、基本作用素 $ F_1, F_2 $ の可換性は、随伴基本作用素 $ G_1, G_2 $ の可換性をもたらし、拡張定理における同じスペクトル条件を満たす。
• 四重空間収縮の基本作用素 $ F_1, F_2 $ は、$ w(F_1), w(F_2) \leq 1 $ を満たす。ここで $ w(X) $ は作用素 $ X $ の数値半径を表す。
• ユニタリ同値性は、関数空間上の行列表現における作用素の作用を直接計算することで検証された。
• 本稿では、関数空間上での自然な四重空間収縮の基本作用素を、定義される作用素方程式を明示的に解くことで計算する手法を提供している。