[论文解读] Toeplitz-Composition C*-Algebras

Thomas Kriete, Barbara D. MacCluer+1 more|ArXiv.org|Aug 17, 2006

Holomorphic and Operator Theory参考文献 18被引用 36

一句话总结

本文刻画了由移位算子和由单位圆盘上非自同构的分式线性自同态 φ 诱导的复合算子生成的 C*-代数，其中 φ 将不同的边界点 ζ 和 η 相互映射。利用 φ 的 Krein 伴射 σ 和紧算子扰动，证明了模紧算子的商代数是非交换但可处理的，并通过谱局部化和在两点集上的矩阵表示，完整描述了该代数中元素的本质谱，给出了关键算子如 Cφ + Cφ* 和 [Cφ*, Cφ] 的本质谱的显式公式。

ABSTRACT

Let $ζ$ and $η$ be distinct points on the unit circle and suppose that $ϕ$ is a linear-fractional self-map of the unit disk D, not an automorphism, with $ϕ(ζ)=η$. We describe the C*-algebra generated by the associated composition operator $C_ϕ$ and the shift operator, acting on the Hardy space on D.

研究动机与目标

• 描述 Hardy 空间 H^2 上由移位算子 T_z 和复合算子 C_φ 生成的 C*-代数，其中 φ 是单位圆盘上的非自同构分式线性自同态。
• 分析模紧算子理想下 C*(T_z, C_φ) 的结构，特别关注当 φ 将不同的边界点 ζ 和 η 相互映射时的情形。
• 利用谱局部化技术与矩阵表示，确定 C*(T_z, C_φ) 中任意元素的本质谱。
• 将已知关于本质交换性与换位子紧性的结果，推广至抛物或自同构情形之外的更广范围的复合算子。

提出的方法

• 利用 φ 的 Krein 伴射 σ，将 C_φ 的伴随表示为 C_φ* = sC_σ + K，其中 s 为某标量，K 为紧算子。
• 应用 R. G. Douglas 的局部化定理，通过将表示限制在两点集 Λ = {ζ, η} ∪ {p}（其中 p 为特殊点）上来分析本质谱。
• 为每个 λ ∈ Λ 构造矩阵表示 Φ_λ([B]) ∈ M_2(ℂ)，以编码算子 B ∈ C*(T_z, C_φ) 的本质谱行为。
• 利用 2×2 矩阵上的算子范数公式，将 B 的本质范数计算为 sup_λ ||Φ_λ([B])||_M_2。
• 应用本质谱的谱映射定理，将 σ_e(B) 表达为 w(∂𝔻) 与 Λ 上矩阵值函数 Φ_λ([B]) 的联合数值域的并集。
• 应用定理 8 计算 C_φ、C_φ* 与 Toeplitz 算子 T_w 的组合的本质谱，特别在 w(ζ) ≠ w(η) 时，导致谱曲线的非平凡形变。

实验结果

研究问题

• RQ1 由 Hardy 空间 H^2 上的移位算子 T_z 和非自同构复合算子 C_φ 生成的 C*-代数具有怎样的结构？
• RQ2 当 φ 将不同的边界点 ζ 和 η 相互映射时，C*(T_z, C_φ) 中元素的本质谱行为如何？
• RQ3 φ 的 Krein 伴射 σ 在模紧算子下刻画 C_φ* 的角色是什么？
• RQ4 加入 Toeplitz 算子 T_w 对涉及 C_φ 和 C_φ* 的组合的本质谱有何影响？
• RQ5 能否显式地用 φ’(ζ) 表示 C_φ + C_φ* 或 [C_φ*, C_φ] 等算子的本质谱？

主要发现

• C_φ + C_φ* 的本质谱为区间 [−√s, √s]，其中 s = |φ′(ζ)|⁻¹。
• [C_φ*, C_φ] 的本质谱为区间 [−s, s]，其中 s = |φ′(ζ)|⁻¹。
• 反交换子 C_φ*C_φ + C_φC_φ* 的本质谱为区间 [0, s]。
• 对于 B₁ = C_φ∘σ + C_σ∘φ + C_φ − C_σ，其本质谱为抛物曲线 y² + iy，其中 y ∈ [−1, 1]。
• 对于 B₂ = C_φ∘σ − C_σ∘φ + ½C_φ − C_σ，其本质谱为两条复线段的并集：[−1/√2, 1/√2] 和 [−i/4, i/4]。
• 对于 B₃ = 2C_φ∘σ + C_φ − C_σ，其本质谱为以 z = ½ 为中心、半径为 ½ 的圆。
• 当 w(ζ) ≠ w(η) 时，将 T_w 加到 Y = C_φ + C_φ* 上，会使 Y 的本质谱从 [−√s, √s] 变形为复平面上的两条曲线弧，具体为 {±√(t + r²i) : 0 ≤ t ≤ s}（其中 r > 0）。
• B = T_z + C_φ + C_φ* 的本质范数为 1 + |φ′(ζ)|⁻¹ + √(2/|φ′(ζ)|) × √(1 + Re(ζη))。