[论文解读] Compactness characterization of operators in the Toeplitz algebra of the Fock space $F_\alpha ^p$

Wolfram Bauer, Joshua Isralowitz|arXiv (Cornell University)|Sep 1, 2011

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

一句话总结

该论文为Fock空间 $F^p_\alpha$（$1 < p < \infty$）的Toeplitz代数中的算子建立了一个紧致性准则：算子 $A$ 在 $F^p_\alpha$ 上紧致当且仅当 $A$ 属于有界符号的Toeplitz算子生成代数的范数闭包，且其Berezin变换在无穷远处趋于零。证明依赖于本质范数估计和一致代数的极大理想空间，将已知的Bergman空间结果推广至Fock空间设定，并引入新颖的技术适配。

ABSTRACT

For $1 < p < \infty$ let $\mathcal{T}_p ^\alpha$ be the norm closure of the algebra generated by Toeplitz operators with bounded symbols acting on the standard weighted Fock space $F_\alpha ^p$. In this paper, we will show that an operator $A$ is compact on $F_\alpha ^p$ if and only if $A \in \mathcal{T}_p ^\alpha$ and the Berezin transform $B_\alpha (A)$ of $A$ vanishes at infinity.

研究动机与目标

• 为 $1 < p < \infty$ 的Fock空间 $F^p_\alpha$ 中Toeplitz代数的紧致算子建立刻画。
• 将已知的Bergman空间紧致性准则推广至Fock空间设定。
• 确立紧致性等价于属于范数闭的Toeplitz代数且Berezin变换在无穷远处趋于零。
• 将符号类推广至有界函数之外，扩展至Fock-Carleson测度，从而拓宽主要结果的适用范围。

提出的方法

• 使用Berezin变换 $B_\alpha(A)(z) = \langle A k^\alpha_z, k^\alpha_z \rangle_\alpha$ 作为分析算子性质的关键工具。
• 引入一致代数 $A$ 的极大理想空间 $M_A$，以将Berezin变换的定义域扩展至 $\mathbb{C}^n$ 之外。
• 通过 $F^p_\alpha$ 中的逼近与弱收敛技术，建立本质范数估计。
• 在Fock空间中应用采样与插值引理，以控制算子范数和本质谱行为。
• 利用 $F^p_\alpha$ 与 $F^q_\alpha$（$1/p + 1/q = 1$）之间的对偶性，将问题约化为对称情形。
• 通过反证法与 $M_A \setminus \mathbb{C}^n$ 中子列收敛性证明主要结果，表明当 $B_\alpha(A)$ 在无穷远处趋于零时，有 $\|A\|_e = 0$。

实验结果

研究问题

• RQ1 对于 $1 < p < \infty$，在 $F^p_\alpha$ 上有界算子 $A$ 在何种条件下是紧致的？
• RQ2 能否仅通过其Berezin变换在无穷远处趋于零来刻画Toeplitz代数中算子的紧致性？
• RQ3 该紧致性准则是否可从无权Bergman空间推广至Fock空间设定？
• RQ4 能否将Toeplitz算子的符号类从 $L^\infty$ 扩展至包含Fock-Carleson测度，同时保持紧致性刻画的成立？
• RQ5 极大理想空间 $M_A$ 在刻画Toeplitz代数中算子的本质范数与紧致性方面起何种作用？

主要发现

• 算子 $A$ 在 $F^p_\alpha$ 上紧致当且仅当 $A \in \mathcal{T}^p_\alpha$ 且 $B_\alpha(A)$ 在无穷远处趋于零，其中 $\mathcal{T}^p_\alpha$ 是有界符号的Toeplitz算子生成代数的范数闭包。
• 对于 $A \in \mathcal{T}^p_\alpha$，其本质范数 $\|A\|_e$ 满足 $\|A\|_e \approx \sup_{\|f\|_{\alpha,p}=1} \limsup_{|z|\to\infty} \|A_z f\|_{\alpha,p}$，将紧致性与渐近行为联系起来。
• 当 $p=2$ 时，本质范数 $\|A\|_e$ 等于 $\sup_{x \in M_A \setminus \mathbb{C}^n} \|A_x\|_{F^2_\alpha \to F^2_\alpha}$，且本质谱 $\sigma_e(A)$ 包含所有 $x \in M_A \setminus \mathbb{C}^n$ 对应的谱 $\sigma(A_x)$ 的并集。
• Berezin变换 $B_\alpha(A)$ 在无穷远处趋于零当且仅当对所有 $x \in M_A \setminus \mathbb{C}^n$ 有 $A_x = 0$，这蕴含 $\|A\|_e = 0$，故 $A$ 紧致。
• 该结果可推广至测度符号的Toeplitz算子，当测度为Fock-Carleson测度时，有 $\mathcal{T}^p_\alpha$ 是由 $T^\alpha_\nu$（$\nu$ 为Fock-Carleson测度）生成的闭代数。
• 当 $p=2$ 时，本质谱半径 $r_e(A)$ 等于 $\sup_{x \in M_A \setminus \mathbb{C}^n} \sup \{ |\lambda| : \lambda \in \sigma(A_x) \}$，且当 $A$ 本质上正规时，谱半径公式取等号。