[论文解读] The semi-commutator of Toeplitz operators on the bidisc

Caixing Gu, Dechao Zheng|arXiv (Cornell University)|May 22, 1996

Holomorphic and Operator Theory参考文献 10被引用 15

一句话总结

本文刻画了在双圆盘的 Hardy 空间上，两个 Toeplitz 算子的半交换子 $T_fT_g - T_{fg}$ 为零、有限秩或紧算子的条件。利用 Littlewood-Paley 理论和分布函数不等式，证明了半交换子为零当且仅当对每个变量 $z_i$，$\bar{f}$ 或 $g$ 在 $z_i$ 上是解析的。此外，证明了在双圆盘上不存在非零的有限秩半交换子，并给出了在双环面 $T^2$ 上具有连续符号的紧半交换子的显式例子，表明在此类算子中，紧性并不蕴含其消失。

ABSTRACT

In this paper we characterize when the semi-commutator $T_fT_g-T_{fg}$ of two Toeplitz operators $T_f$ and $T_g$ on the Hardy space of the bidisc is zero. We also show that there is no nonzero finite rank semi-commutator on the bidisc. Furthermore explicit examples of compact semi-commutators with symbols continuous on the bitorus $T^2$ are given.

研究动机与目标

• 刻画双圆盘上两个 Toeplitz 算子的半交换子 $T_fT_g - T_{fg}$ 为零的条件。
• 证明在双圆盘上不存在非零的有限秩半交换子，与单位圆盘情形形成对比。
• 为可分符号情形（$f(z_1,z_2) = f_1(z_1)f_2(z_2)$，$g(z_1,z_2) = g_1(z_1)g_2(z_2)$）提供半交换子紧性的必要与充分条件。
• 构造双环面 $T^2$ 上具有连续符号的紧半交换子的显式例子。
• 澄清在双圆盘设定下，半交换子的紧性与消失之间的区别，表明前者并不蕴含后者。

提出的方法

• 通过恒等式 $T_fT_g - T_{fg} = -H^*_{\bar{f}}H_g$ 分析半交换子，将其与 Hankel 算子联系起来。
• 运用调和分析和 Littlewood-Paley 公式，将涉及半交换子的内积表示为共解析函数导数的 $L^2$ 范数。
• 应用 Zheng [13] 的分布函数不等式，控制每个变量中 Hankel 算子范数的增长。
• 利用再生核技术分析半交换子在 $H^2(D^2)$ 上的作用，特别是通过归一化核 $k_z$。
• 通过证明 $\|T_fT_g - T_{fg} - K_r\| \to 0$ 当 $r \to 1$ 时，建立紧性，其中 $K_r$ 是紧算子。
• 可分符号形式允许将半交换子分解为每个变量中 Hankel 算子的乘积，从而能够分析极限 $\lim_{z_i \to T} \|H_{f_i}k_{z_i}\| \|H_{g_i}k_{z_i}\| = 0$。

实验结果

研究问题

• RQ1 在双圆盘上，两个 Toeplitz 算子的半交换子 $T_fT_g - T_{fg}$ 何时为零？
• RQ2 双圆盘上的半交换子能否非零但为有限秩？
• RQ3 在何种条件下可保证半交换子是紧的，特别是对于可分符号？
• RQ4 是否存在双环面 $T^2$ 上非恒为零的具有连续符号的紧半交换子？
• RQ5 在双圆盘上，半交换子的紧性是否蕴含其消失，如同单位圆盘情形一样？

主要发现

• 半交换子 $T_fT_g - T_{fg}$ 为零当且仅当对每个 $i = 1,2$，$\bar{f}$ 或 $g$ 在 $z_i$ 上是解析的。
• 在双圆盘上不存在非零的有限秩半交换子，这与单位圆盘中有限秩半交换子可以存在的事实形成对比。
• 对于可分符号 $f = f_1f_2$，$g = g_1g_2$，半交换子是紧的当且仅当在 $T$ 上有 $f_1g_1 = 0$ 且 $f_2g_2 = 0$，并且 $\lim_{z_i \to T} \|H_{f_i}k_{z_i}\| \|H_{g_i}k_{z_i}\| = 0$。
• 构造了双环面 $T^2$ 上具有连续符号的紧半交换子的显式例子，表明紧性并不蕴含消失。
• 极限条件 $\lim_{z_i \to T} \|H_{f_i}k_{z_i}\| \|H_{g_i}k_{z_i}\| = 0$ 对于一般符号并非充分，如第 4 节中的例子所示。
• 半交换子的紧性并不蕴含其消失，且存在连续符号使得半交换子为紧但非零。