[论文解读] A Semigroup Composition C*-algebra

Katie S. Quertermous|ArXiv.org|Sep 4, 2009

Holomorphic and Operator Theory参考文献 28被引用 7

一句话总结

本文研究了在 Hardy 空间 $ H^2(\mathbb{D}) $ 上由半群的复合算子 $ C_{\varphi_s} $ 生成的单位元 C*-代数，其中 $ \varphi_s(z) = sz + (1-s) $ 且 $ 0 < s < 1 $。通过将问题单位酉等价地转化为加权 $ L^2 $ 空间上的 Toeplitz 算子族，作者确定了该 C*-代数模其换位理想后的商同构于 $ AP(\mathbb{R}) \oplus \mathbb{C} $，并证明了该代数是不可约的。

ABSTRACT

For 0 &lt; s &lt; 1, let phi_s(z)=sz+(1-s). We investigate the unital C*-algebra generated by the semigroup {C_{phi_s} : 0 &lt; s &lt; 1} of composition operators acting on the Hardy space of the unit disk. We determine the joint approximate point spectrum of a related collection of operators and show that the quotient of the C*-algebra by its commutator ideal is isomorphic to the direct sum of the complex numbers and the algebra of almost periodic functions on the real line. In addition, we show that the C*-algebra is irreducible.

研究动机与目标

• 确定由 $ H^2(\mathbb{D}) $ 上半群 $ \{C_{\varphi_s} : 0 < s < 1\} $ 生成的单位元 C*-代数的结构。
• 分析伴随算子 $ \{C_{\varphi_s}^*\} $ 的联合近似点谱，这些算子与一族 Toeplitz 算子 $ \{T_{s^{z/(1-z)}}\} $ 单位酉等价。
• 计算该 C*-代数模其换位理想后的商，并证明其同构于 $ AP(\mathbb{R}) \oplus \mathbb{C} $，其中 $ AP(\mathbb{R}) $ 是 $ \mathbb{R} $ 上的几乎周期函数代数。
• 通过证明其交换子代数仅由恒等算子的标量倍组成，证明该 C*-代数是不可约的。

提出的方法

• 利用单位酉等价性，将问题从 $ H^2(\mathbb{D}) $ 转移到加权 $ L^2 $ 空间 $ H^2(\tilde{\mu}) $，其中算子 $ C_{\varphi_s}^* $ 单位酉等价于 Toeplitz 算子 $ \tilde{T}_{s^{z/(1-z)}} $。
• 分析 $ \{\tilde{T}_{s^{z/(1-z)}}\} $ 有限子集的联合近似点谱，并将其与几乎周期 Toeplitz 算子的联合近似点谱联系起来。
• 构造从 C*-代数到 $ AP(\mathbb{R}) \oplus \mathbb{C} $ 的 $ \ast $-同态 $ \psi $，并证明 $ \psi $ 的核即为换位理想，从而得到一个短正合列。
• 通过证明任何与所有 $ \tilde{T}_{s^{z/(1-z)}} $ 交换的算子必为恒等算子的标量倍，确立了不可约性，利用了 Toeplitz 算子的性质及投影 $ P_{\tilde{\mu}} $。
• 关键技术工具是积分表示 $ \int_0^1 \langle \tilde{T}_{s^{z/(1-z)}} f, g \rangle \, ds = \langle \tilde{T}_{1-z} f, g \rangle $，该式通过变量替换 $ s = e^{-t} $ 推导得出。
• 利用关于投影 $ P_{\tilde{\mu}} \overline{f} $ 几乎处处为常数 $ \tilde{\mu} $-a.e. 的引理，证明若 Toeplitz 算子的有界符号与 $ \tilde{T}_z $ 交换，则该符号必为常数。

实验结果

研究问题

• RQ1 由 $ H^2(\mathbb{D}) $ 上半群 $ \{C_{\varphi_s} : 0 < s < 1\} $ 生成的 C*-代数的结构是什么？
• RQ2 伴随算子 $ \{C_{\varphi_s}^*\} $ 的联合近似点谱是什么？它与几乎周期函数有何关联？
• RQ3 该 C*-代数模其换位理想后的商与已知的函数代数有何关系？
• RQ4 该 C*-代数是否不可约，即其交换子代数是否仅由恒等算子的标量倍组成？

主要发现

• C*-代数 $ C^*(\{C_{\varphi_s} : 0 < s < 1\}) $ 模其换位理想后的商同构于 $ AP(\mathbb{R}) \oplus \mathbb{C} $，其中 $ AP(\mathbb{R}) $ 是 $ \mathbb{R} $ 上的几乎周期函数代数。
• 存在一个从 C*-代数到 $ AP(\mathbb{R}) \oplus \mathbb{C} $ 的 $ \ast $-同态 $ \psi $，使得序列 $ 0 \to \mathcal{C} \to C^*(\{C_{\varphi_s}\}) \xrightarrow{\psi} AP(\mathbb{R}) \oplus \mathbb{C} \to 0 $ 构成一个短正合列。
• 该 C*-代数是不可约的，因为其交换子代数仅由 $ H^2(\tilde{\mu}) $ 上恒等算子的标量倍组成。
• 任何属于 $ \{\tilde{T}_{s^{z/(1-z)}}\} $ 交换子代数的算子必为恒等算子的标量倍，这是由于 $ P_{\tilde{\mu}} \overline{\rho} $ 几乎处处为常数 $ \tilde{\mu} $-a.e.。
• $ \tilde{T}_{s^{z/(1-z)}} $ 与 $ C_{\varphi_s}^* $ 单位酉等价，使得在更易处理的希尔伯特空间设置下能够分析其谱结构与理想结构。
• 积分恒等式 $ \int_0^1 \langle \tilde{T}_{s^{z/(1-z)}} f, g \rangle \, ds = \langle \tilde{T}_{1-z} f, g \rangle $ 被用于证明交换子代数包含 $ \tilde{T}_{1-z} $，从而表明与之交换的算子存在有界符号。