[论文解读] A Note on Tetrablock Contractions

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

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

一句话总结

本文通过从收缩的缺陷算子导出的基本算子，构建了纯四胞体收缩的函数模型和完整的单位圆不变量。关键结果表明，每个纯四胞体等距算子都与 Hardy 空间上的特定模型三元组酉等价，并在 Hardy 空间中证明了关于此类算子三元组不变子空间的 Beurling-Lax-Halmos 型定理。

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.

研究动机与目标

• 通过从算子方程导出的基本算子，为纯四胞体收缩建立函数模型。
• 基于基本算子，为纯四胞体收缩建立完整的单位圆不变量。
• 在 Hardy 空间中，为乘法算子三元组的不变子空间证明 Beurling-Lax-Halmos 型定理。
• 通过与 Hardy 空间上模型算子三元组的酉等价性，刻画纯四胞体等距算子。
• 分析函数空间上四胞体收缩的一个自然例子，以计算其基本算子。

提出的方法

• 将基本算子 $ F_1, F_2 $ 作为算子方程 $ 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} $。
• 利用伴随三元组 $ (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^*} $。
• 在 Hardy 空间 $ H^2_{/mathcal{D}_{P^*}}(\mathbb{D}) $ 上，建立纯四胞体等距算子 $ (A,B,P) $ 与模型三元组 $ (M_{G_1^* + G_2 z}, M_{G_2^* + G_1 z}, M_z) $ 之间的酉等价。
• 应用 Beurling-Lax-Halmos 定理，通过内函数刻画 $ H^2_{\mathcal{E}}(\mathbb{D}) $ 中算子三元组 $ (M_{F_1^* + F_2 z}, M_{F_2^* + F_1 z}, M_z) $ 的不变子空间。
• 证明：$ H^2_{\mathcal{E}}(\mathbb{D}) $ 的闭子空间 $ \mathcal{M} $ 关于算子三元组不变，当且仅当存在某个内函数 $ \Theta $，使得 $ (F_1^* + F_2 z)\Theta(z) = \Theta(z)(G_1 + G_2^* z) $。
• 通过直接计算 $ H^2_{\mathcal{D}_{P^*}}(\mathbb{D}) $ 中函数的矩阵表示上 $ U^* M_{G_1^* + G_2 z} U $、$ U^* M_{G_2^* + G_1 z} U $ 和 $ U^* M_z U $ 的作用，验证酉等价性。

实验结果

研究问题

• RQ1 纯四胞体收缩的函数模型是什么？基本算子在模型构造中如何应用？
• RQ2 四胞体收缩在何种条件下允许扩张？基本算子的可交换性如何与之关联？
• RQ3 Beurling-Lax-Halmos 型定理能否推广至与四胞体域相关的 Hardy 空间上算子三元组？
• RQ4 如何通过与 Hardy 空间上模型算子三元组的酉等价性来刻画纯四胞体等距算子？
• RQ5 函数空间上自然四胞体收缩的基本算子是什么？如何计算这些算子？

主要发现

• 每个纯四胞体等距算子 $ (A,B,P) $ 都与 Hardy 空间 $ 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^*) $ 的基本算子。
• 建立了 Beurling-Lax-Halmos 型定理：非零闭子空间 $ \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 $ 的数值半径。
• 通过直接计算 Hardy 空间中函数的矩阵表示上共轭算子的作用，验证了原始等距算子与模型三元组之间的酉等价性。
• 本文提供了一种方法，通过显式求解定义算子方程，计算函数空间上自然四胞体收缩的基本算子。