[論文レビュー] Essentially Reductive Weighted Shift Hilbert Modules

Ronald G. Douglas, Jaydeb Sarkar|ArXiv.org|Jul 24, 2008

Holomorphic and Operator Theory参考文献 23被引用数 24

ひとこと要約

本稿は、特に本質的に球対称等長写像である可換な $m$-対の作用素の重み付きシフトヒルベルトモジュールの本質的再帰的性質を調査する。2対および1次元零集合を持つイデアルに関しては本質的再帰的性質が成り立ち、準同次的イデアルの問題を同次的ケースに還元し、$m$-シフト空間における同次的イデアルの閉包に関するアーヴェソンの予想と結びつける。

ABSTRACT

We discuss the relation between questions regarding the essential normality of finitely generated essentially spherical isometries and some results and conjectures of Arveson and Guo-Wang on the closure of homogeneous ideals in the m-shift space. We establish a general results for the case of two tuples and ideals with one dimensional zero variety. Further, we show how to reduce the analogous question for quasi-homogeneous ideals, to those results for homogeneous ones. Finally, we show that the essential reductivity of positive regular Hilbert modules is directly related to a generalization of the Arveson problem.

研究の動機と目的

• 有限生成で本質的に球対称等長写像であるヒルベルトモジュールの本質的正規性および再帰的性質を調査すること。
• 正則な正のヒルベルトモジュールの本質的再帰的性質を、アーヴェソンの予想の一般化されたバージョンと関連付けること。
• 準同次的イデアルの研究をモジュール論的技法を用いて同次的ケースに還元すること。
• 左半フレドホルム条件および $I - \sum T_i^*T_i$ のコンパクト性が本質的ユニタリティを決定する役割を調べること。
• 不変部分空間の文脈において、カルキン代数の図式とテイラースペクトルの関係を明確にすること。

提案手法

• ヒルベルトモジュール上の可換 $m$-対の作用素、特に本質的に球対称等長写像であるものについて分析する。
• 準同次的イデアルの研究を同次的ものに還元するためのモジュール論的技法を適用する。
• トレース公式 $\operatorname{Tr}\left(\sum_{i=1}^m [M_{z_i}^*, M_{z_i}]\big|_{\mathcal{H}_k}\right) = \binom{m+k-1}{k-1} - \binom{m+k-2}{k-2}$ を用いて、コンパクト作用素の $\mathcal{L}^p$-summability を分析する。
• 不変部分空間への制限のカルキン代数図式およびテイラースペクトルを検討する。
• アーヴェソン、Guo-Wang、Douglasによる $H^2_m$ における同次的イデアルの閉包に関する結果を活用する。
• $I - \sum T_i^*T_i$ がコンパクトであるという条件を導入・分析し、それによる本質的正規性および再帰的性質への影響を検討する。

実験結果

リサーチクエスチョン

• RQ1 可換で本質的に球対称等長写像である作用素が有限生成であり、単位球内のすべての点で左半フレドホルムである場合、それは本質的にユニタリであるか？
• RQ2 正則な正のヒルベルトモジュールの本質的再帰的性質は、アーヴェソンの予想の一般化されたバージョンから導かれるか？
• RQ3 準同次的イデアルの本質的再帰的性質は、同次的イデアルのケースに還元可能か？
• RQ4 不変部分空間への制限のテイラースペクトルがいつ単位球面内に留まるか？
• RQ5 追加のスペクトル的仮定の下で、$\sum [M_{z_i}^*, M_{z_i}]$ が $p > m$ に対して $\mathcal{L}^p$ に属するか？

主な発見

• 2対および1次元零集合を持つイデアルに関しては、ヒルベルトモジュールは本質的に再帰的である。
• 準同次的イデアルの本質的再帰的性質は、既知の同次的ケースに還元される。
• $\mathcal{H}_k$ 上でのコンパクト作用素の和のトレースは $\binom{m+k-1}{k-1} - \binom{m+k-2}{k-2}$ に等しく、これは $p > m$ のときのみ $\mathcal{L}^p$-summability を示す。
• $I - \sum T_i^*T_i$ のコンパクト性は、$\lambda \in \mathbb{B}^m$ に対して $T_i - \lambda_i$ が左半フレドホルムであるとは限らないことを示しており、高次元における主要な障害である。
• 部分空間スペクトル問題（質問4）に肯定的な回答が得られれば、質問1に対しても肯定的解答が得られることになり、不変部分空間論と本質的正規性が結びつく。
• 本研究の結果は、アーヴェソンの予想の $\mathcal{L}^p$-アナロジーを解決しない。トレース推定値だけでは、より強いスペクトル的仮定がなければ $\mathcal{L}^p$-有界性を確立できない。