[論文レビュー] 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

ひとこと要約

本稿は、$1 < p < \infty$ に対して、Fock空間 $F^p_\alpha$ の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.

研究の動機と目的

• Fock空間 $F^p_\alpha$ ($1 < p < \infty$) の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$ を超えて拡張する。
• Fock空間 $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 有界作用素 $A$ が $F^p_\alpha$ 上でコンパクトであるための条件は何か、$1 < p < \infty$ の場合に。
• RQ2 Toeplitz代数に属する作用素のコンパクト性は、そのBerezin変換が無限遠で消えることのみによって特徴づけられるか。
• RQ3 Bergman空間におけるコンパクト性基準は、Fock空間設定へ拡張可能か。
• RQ4 有界関数を超える記号のクラス（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$ となり、したがってコンパクト性が保証される。
• 測度記号がFock-Carleson測度である場合、Toeplitz作用素に対しても結果が拡張可能であり、$\mathcal{T}^p_\alpha$ はFock-Carleson測度 $\nu$ に対する $T^\alpha_\nu$ の閉代数として生成されることを示した。
• $p=2$ の場合、本質的スペクトル半径 $r_e(A)$ は $\sup_{x \in M_A \setminus \mathbb{C}^n} \sup \{ |\lambda| : \lambda \in \sigma(A_x) \}$ に等しく、$A$ が本質的に正規である場合にはスペクトル半径の公式が等号で成り立つ。