[論文レビュー] Multiplication operators on the Bergman spaces of pseudoconvex domains

Akaki Tikaradze|arXiv (Cornell University)|Oct 14, 2013

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

ひとこと要約

この論文は、Bergman空間上の乗法作用素の中心化子に関するDouglas, Sun, and Zhengの結果を一般化し、ファイバー積 $ \{(z,w) \mid f(z) = f(w)\} $ が被覆写像を支える最大の領域である複素多様体 $ W_f $ を導入する。$ \{T_f, T_f^*\} $ の $ C^* $-代数的中心化子は、$ W_f $ 上の局所定数関数の畳み込み代数と同型であることを証明し、一様次元の結果を滑らかな境界を持つ擬凸領域へと高次元に拡張する。

ABSTRACT

Given an n-tuple of multiplication operators on the Bergman space of a bounded pseudoconvex domain in C^n, we study the algebra of their commutants. In particular, we give a geometric description of the maximal C*-subalgebra of this algebra.

研究の動機と目的

• 単位円板から、$ \mathbb{C}^n $ 内の有界な滑らかな擬凸領域への $ \{T_f, T_f^*\} $ の中心化子の特徴付けを一般化すること。
• ファイバー積 $ (\Omega \setminus Z) \times_f (\Omega \setminus Z) $ の最大開部分集合 $ W_f $ を定義し、そこでの射影が被覆写像となるようにすること。
• $ \{T_f, T_f^*\} $ の $ C^* $-代数的中心化子と、$ W_f $ 上の局所定数関数の畳み込み代数との同型を確立すること。
• $ T_f $ のToeplitz代数内での中心化子が、正確に有界な正則関数による乗法作用素からなることを示すこと。

提案手法

• $ Z $ を $ f $ の臨界値の逆像とするとき、$ W_f $ を $ (\Omega \setminus Z) \times_f (\Omega \setminus Z) $ の中で射影 $ p: W_f \to \Omega \setminus Z $ が被覆写像となる最大の開集合として定義する。
• 擬凸領域におけるKoszul複体および $ \bar{\partial} $-複体を用いて、$ A^\infty(\Omega) $ に対する弱いNullstellensatzを確立し、関数の消滅と除法の解析を可能にする。
• 局所逆写像 $ \rho_j $ 沿いの引き戻しを用いて、$ W_f $ 上の局所定数関数 $ c $ に対して $ \iota_c: A^2(\Omega) \to A^2(\Omega) $ を定義し、これが $ T_f $ および $ T_f^* $ と可換であることを示す。
• Stone-Weierstrassの定理と変数変換を用いて、$ T_f $ および $ T_f^* $ と可換な任意の有界作用素が、ある $ W_f $ 上の局所定数関数 $ c $ に対応する $ \iota_c $ として得られることを証明する。
• $ T_f $ の随伴作用素から生じる $ \Phi(z) $ および $ \Psi(z) $ が、ヤコビアン重み付き再生核が $ \mathbb{C}^m $ を張ることから、局所定数関数でなければならないことを利用する。
• Bellの除去特異点定理を用いて、仮定2のもとで $ A^2(\Omega') = A^2(\Omega) $ を拡張し、$ \iota_c $ が $ A^2(\Omega) $ に値をとることを保証する。

実験結果

リサーチクエスチョン

• RQ1 有界な滑らかな擬凸領域におけるBergman空間上での $ \{T_f, T_f^*\} $ の中心化子代数は、高次元において幾何的にどのように特徴付けられるか？
• RQ2 ファイバー積 $ (\Omega \setminus Z) \times_f (\Omega \setminus Z) $ は、中心化子代数の構造を決定づける役割を果たすか？
• RQ3 $ \{T_f, T_f^*\} $ の中心化子代数が、被覆空間上の局所定数関数の代数と同型となる条件は何か？
• RQ4 $ T_f $ のToeplitz代数内での中心化子は、$ \Omega $ 上の有界な正則関数とどのように関係するか？
• RQ5 Douglas, Sun, and Zhengの有限Blaschke積に関する一様次元の結果は、幾何的被覆空間構成を通じて高次元領域へ拡張可能か？

主な発見

• $ \{T_f, T_f^*\} $ の $ C^* $-代数的中心化子は、$ \Omega $ および $ f $ にやや弱い仮定を置いた場合、$ W_f $ 上の局所定数関数の畳み込み代数と同型である。
• $ W_f $ の連結成分の数に等しい次元を持つ中心化子代数であり、これは単位円板におけるDouglas, Sun, and Zhengの結果を一般化する。
• $ T_f $ および $ T_f^* $ と可換な任意の有界線形作用素は、$ W_f $ 上の局所定数関数 $ c $ に対応する $ \iota_c $ として得られる。
• $ T_f $ のToeplitz代数内での中心化子は、正確に $ \Omega $ 上の有界な正則関数による乗法作用素からなる。これはAxler-Cucković-Raoの結果を拡張する。
• $ \mathcal{A}(W_f) $ と中心化子代数との同型は、擬凸領域におけるKoszul複体および $ \bar{\partial} $-複体の構造を通じて確立される。
• 証明は、ヤコビアン重み付き再生核の張りの性質と、関連する作用素係数の正則性に依拠し、局所定数性が得られ、したがって連結成分上で一様定数となる。