[論文レビュー] An improvement of Andô dilations

Haripada Sau|arXiv (Cornell University)|Nov 1, 2017

Holomorphic and Operator Theory参考文献 13被引用数 3

ひとこと要約

本稿は、tetrablockモデル理論を用いて、可換な収縮作用素のためのアンドウの拡大定理を改善し、最小な等長的拡大を構成することで、それを達成している。特筆すべきは、積 $ T = T_1T_2 $ が純粋であるとき、ユニタリ不変量 $ \{\Lambda^*PU\Lambda, \Lambda^*U^*P^\perp\Lambda, \Theta_T\} $ が可換対 $ (T_1, T_2) $ を完全に特徴付けるという一意性結果を確立したことである。

ABSTRACT

We improve And$\hat{ ext{o}}$'s dilations. Indeed for a pair of commuting contractions $(T_1,T_2)$ on a Hilbert space, we show: (B) There exists a Hilbert space $\mathcal F$, a commuting pair $(V_1,V_2)$ of isometries on $\mathcal H\oplus H^2(\mathcal F)$ such that $(V_1^*,V_2^*)|_{\mathcal H}=(T_1^*,T_2^*)$ and $$ (V_1,V_2)|_{H^2(\mathcal F)}=(M_\varphi,M_\psi), $$where $\varphi$ and $\psi$ are inner functions of the form $\varphi(z)=P^\perp U+zP U$ and $\psi(z)=U^*P+zU^*P^\perp$ for some unitary $U$ and projection $P$ in $\mathcal B(\mathcal F)$ (C)There exists an isometry $\Pi:\mathcal H\oplus H^2(\mathcal D_T) o\mathcal H\oplus H^2(\mathcal F)$ such that $$ \Pi^*V_1V_2\Pi=V_T ext{ and }\Pi^*(V_1,V_2)\Pi=(M_\Phi,M_\Psi), $$where $\Phi(z)=\Lambda^*(PU+zP^\perp U)\Lambda,\;\Psi(z)=\Lambda^*(U^*P^\perp+zU^*P)\Lambda$ for some isometry $\Lambda:\mathcal D_T o \mathcal F$ and $V_T$ is the minimal isometric dilation of $T=T_1T_2$ constructed by Sch$\ddot{ ext{a}}$ffer \cite{sfr} Our approach is based on the dilation theory of the tetrablock $$ \mathbb E=\{(a_{11},a_{22}, ext{det}A): A=\begin{pmatrix} a_{11} & a_{12} a_{21} & a_{22} \end{pmatrix} ext{ with }\lVert A Vert <1\}. $$ In the case when $T=T_1T_2$ is pure, results like above have been obtained recently in \cite{D-S-S}. We derive their results as a simple application of the model theory of the tetrablock developed in \cite{sau}. Moreover, the beauty of the model theory of the tetrablock adorns this paper with the following uniqueness result: Let $(T_1,T_2)$ be a commuting pair of contractions such that their product is pure, then the set $$ \{\Lambda^*PU\Lambda,\;\Lambda^*U^*P^\perp \Lambda,\;\Theta_{T}\} $$is a complete set of unitary invariance for $(T_1,T_2)$, where $\Theta_{T}$ is the characteristic function of $T=T_1T_2$.

研究の動機と目的

• 可換な収縮作用素の対に対するアンドウの拡大定理を精緻化すること。
• tetrablockモデル理論の枠組みにおいて、最小な等長的拡大を確立すること。
• ユニタリ不変量を用いて、純粋な可換収縮作用素に対して一意性結果を導出すること。
• tetrablockモデル理論を適用することで、最近の純粋収縮作用素に関する結果を一般化すること。
• 多変数作用素論における既存の拡大理論および特徴関数理論を統合・拡張すること。

提案手法

• 作用素 $ T_1, T_2 $ の随伴を拡張する、$ \mathcal{H} \oplus H^2(\mathcal{F}) $ 上の可換な等長作用素対 $ (V_1, V_2) $ を構成する。
• $ (V_1, V_2) $ の $ H^2(\mathcal{F}) $ 上への制限を、内挿関数 $ \varphi(z) = P^\perp U + zPU $ および $ \psi(z) = U^*P + zU^*P^\perp $ による乗法作用素として表現する。
• 積 $ T = T_1T_2 $ のシュレーディンガー型拡大 $ V_T $ を用いて、拡大が既知の最小拡大構成と関連することを示す。
• 拡大とtetrablockモデルを結ぶために、$ \mathcal{H} \oplus H^2(\mathcal{D}_T) \to \mathcal{H} \oplus H^2(\mathcal{F}) $ への等長作用素 $ \Pi $ を導入する。
• tetrablock $ \mathbb{E} $ のモデル理論を用いて、拡大の構造的性質および一意性に関する結果を導出する。
• 特徴関数 $ \Theta_T $ を、一意性定理における主要なユニタリ不変量として用いる。

実験結果

リサーチクエスチョン

• RQ1 tetrablockモデル理論を用いて、可換な収縮作用素のためのアンドウの拡大を、最小かつ構造的な等長的拡大へ改善できるか。
• RQ2 積 $ T = T_1T_2 $ が純粋であるとき、等長的拡大の明確な形は何か。
• RQ3 ユニタリ作用素 $ U $ と射影 $ P $ によってパrameter化された内挿関数 $ \varphi $ と $ \psi $ は、拡大の構造とどのように関係するか。
• RQ4 積 $ T = T_1T_2 $ が純粋であるとき、可換対 $ (T_1, T_2) $ を完全に決定するユニタリ不変量は何か。
• RQ5 tetrablockモデル理論は、純粋な収縮作用素および特徴関数に関する既存の結果をどのように統合・拡張するか。

主な発見

• 作用素空間 $ \mathcal{H} \oplus H^2(\mathcal{F}) $ 上に、$ (V_1^*, V_2^*)|_{\mathcal{H}} = (T_1^*, T_2^*) $ かつ $ (V_1, V_2)|_{H^2(\mathcal{F})} = (M_\varphi, M_\psi) $ を満たす最小な等長的拡大 $ (V_1, V_2) $ が構成された。ここで $ \varphi, \psi $ は特定の内挿関数である。
• 拡大 $ (V_1, V_2) $ と $ T = T_1T_2 $ の最小拡大 $ V_T $ を結ぶ等長作用素 $ \Pi $ が存在し、モデルの構造を保ったまま相互作用する。
• $ \Phi(z) = \Lambda^*(PU + zP^\perp U)\Lambda $ および $ \Psi(z) = \Lambda^*(U^*P^\perp + zU^*P)\Lambda $ により定義される対 $ (M_\Phi, M_\Psi) $ は、tetrablockモデルから自然に生じる。
• 積 $ T = T_1T_2 $ が純粋であるとき、集合 $ \{\Lambda^*PU\Lambda, \Lambda^*U^*P^\perp\Lambda, \Theta_T\} $ は $ (T_1, T_2) $ の完全なユニタリ不変量の集合をなす。
• 本結果は、tetrablockモデル理論の広範な枠組みに埋め込むことで、最近の純粋収縮作用素に関する結果を一般化・統合した。
• tetrablockモデルは、可換収縮作用素の拡大における一意性および最小性を導出する自然で洗練された設定を提供する。