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

Ronald G. Douglas|ArXiv.org|Jul 27, 2006

Holomorphic and Operator Theory参考文献 16被引用数 54

ひとこと要約

本稿は、特定の Reinhardt 領域（例えば、2変数以上の楕円体）における Bergman 空間上での、1次元零集合をもつ準同次的イデアルの閉包が本質的に再帰的であることを示すことで、本質的に再帰的 Hilbert モジュールの理論を拡張する。Guo と Wang の手法を応用し、零集合上での幾何学的・解析的技法を用いて交換子のコンパクト性を確立し、同型的でないイデアルの広いクラスについて本質的再帰性を確認する。

ABSTRACT

Many Hilbert modules over the polynomial ring in m variables are essentially reductive, that is, have commutators which are compact. Arveson has raised the question of whether the closure of homogeneous ideals inherit this property and provided motivation to seek an affirmative answer. Positive results have been obtained by Arveson, Guo, Wang and the author. More recently, Guo and Wang extended the results to quasi-homogeneous ideals in two variables. Building on their techniques, in this note the author extends this result to Hilbert modules over certain Reinhardt domains such as ellipsoids in two variables and analyzes extending the result to the closure of quasi-homogeneous ideals in m variables when the zero variety has dimension one.

研究の動機と目的

• $H^2_m$ における同次的イデアルの閉包が本質的に再帰的であるという既知の結果を、より一般の領域における準同次的イデアルへ拡張すること。
• Bergman 空間上での Reinhardt 領域上における準同次的イデアルの閉包が、特に $\mathbb{C}^m$ 内の楕円体上、本質的再帰的であるかどうかを調査すること。
• このようなイデアルの零集合の構造、特にそれが1次元である場合を分析し、これと交換子のコンパクト性を関連させること。
• 商モジュールの $K$-ホモロジー類が、境界の交わり $\partial\Omega_\varphi \cap Z(\mathcal{M})$ によって定義される基本類と一致するかどうか、という予想を検証すること。
• Toeplitz作用素のインデックス定理を非対称 Reinhardt 領域へ一般化する可能性を検討すること。

提案手法

• 平滑で単調増加関数 $\varphi$ により定義される Reinhardt 領域 $\Omega_\varphi$ 上の Bergman 空間 $L^2_a(\Omega_\varphi)$ の枠組みを用いる。
• Guo と Wang の2変数における準同次的イデアルに関する研究手法を応用し、高次元の楕円体領域へ結果を拡張する。
• 準同次的イデアル $I$ の零集合 $Z(I)$ を、$I_{i,j} \subset \mathbb{C}[z_i,z_j]$ の既約成分に基づいて変数を部分集合に分割して分析する。
• 零集合の次元が $\dim Z(I) = 1$ のとき、その集合が $|z_{i_0}|$ でパラメトライズされる1次元曲線上に存在し、連続的かつ単調増加関数 $\psi_i$ を用いて $|z_i| = \psi_i(|z_{i_0}|)$ と表せることを示す。
• 零集合を避ける線形多項式 $p_\mathbf{a}$ に関連する Toeplitz 型作用素 $B_{p_\mathbf{a}}$ のコンパクト性を用いて、本質的再帰性を導出する。
• 補題 2.6 と幾何的横断性を用い、$\mathbf{a} \in \mathbb{C}^m \setminus \{0\}$ の稠密な開集合に対して $B_{p_\mathbf{a}}$ がコンパクトであることを示し、これによりモジュールの本質的再帰性が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 Reinhardt 領域上での Bergman 空間における、1次元零集合をもつ準同次的イデアルの閉包は、依然として本質的に再帰的であるか？
• RQ2 対称性の仮定に依存しない、零集合上での幾何学的・解析的技法を用いて、このようなモジュールの本質的再帰性を確立できるか？
• RQ3 商モジュール $\mathcal{H}_\varphi / \mathcal{M}$ の $K$-ホモロジー類は、$\partial\Omega_\varphi \cap Z(\mathcal{M})$ によって定義される基本類と一致するか？
• RQ4 強擬凸領域上での Toeplitz 作用素のインデックス定理を非対称 Reinhardt 領域へ拡張できるか？
• RQ5 $I$ が根元的でない場合、$\sqrt{I}$ の本質的再帰性が $I$ のそれと一致するための条件は何か？

主な発見

• 任意の根元的で2変数の準同次的イデアル $I$ について、その零集合 $Z(I)$ が1次元であるとき、$\mathbb{C}[z_1,\dots,z_m]$ 内で定義される任意の Reinhardt 領域 $\Omega_\varphi$ 上の Bergman 空間において、$I$ の閉包は本質的に再帰的である。
• 楕円体領域 $E_\mathbf{a} = \{ \mathbf{z} \in \mathbb{C}^m : \sum a_i |z_i|^2 < 1 \}$ において、このようなイデアルの閉包は本質的に再帰的であり、単位球上での既知の結果を一般化する。
• 零集合の次元が $\dim Z(I) = 1$ のとき、$Z(I)$ は $|z_{i_0}|$ でパラメトライズされる1次元曲線上に存在し、連続的かつ単調増加関数 $\psi_i$ を用いて $|z_i| = \psi_i(|z_{i_0}|)$ と表せる。
• 交換子 $[T_p, T_p^*]$ のコンパクト性は、横断性を用いて確立される：$\mathbf{a} \in \mathbb{C}^m \setminus \{0\}$ の稠密な開集合に対して $Z(I) \cap Z(p_\mathbf{a}) = \{0\}$ が成り立つ。
• 同次的でなくても、準同次的であり、零集合が1次元であれば、結果は依然成り立つ。
• 著者は、商モジュールの $K$-ホモロジー類が $\partial\Omega_\varphi \cap Z(\mathcal{M})$ によって定義される基本類と一致すると予想しており、より深い位相的不変量が存在する可能性を示唆している。