[論文レビュー] The curvature invariant of a Hilbert module over C[z_1,...,z_d]

William Arveson|ArXiv.org|Aug 23, 1998

Holomorphic and Operator Theory参考文献 17被引用数 34

ひとこと要約

本稿では、多項式代数 $ \mathbb{C}[z_1,\dots,z_d] $ 上の有限ランクの収縮的ヒルベルト空間モジュールに対して、曲率不変量 $ K(H) $、オイラー特性 $ \chi(H) $、および次数 $ \deg(H) $ を定義し、それらを研究する。特に、有界なゲージ群スペクトルを持つ階数付き、純粋な、有限ランクモジュールに対して、曲率不変量がオイラー特性に等しくなることを示し、$ K(H) = \chi(H) \in \mathbb{Z} $ を証明する。また、乗法的作用素のグラフによる自由モジュールの商として得られるランク2モジュールについて、この等式を明示的に検証する。

ABSTRACT

A notion of curvature is introduced in multivariable operator theory and an analogue of the Gauss-Bonnet-Chern theorem is established for graded (contractive) Hilbert modules over the complex polynomial algebra in d variables, d=1,2,3,.... The curvature invariant, Euler characteristic, and degree are computed for some explicit examples based on varieties in (multidimensional) complex projective space, and applications are given to the structure of graded ideals in C[z_1,...,z_d] and to the existence of "inner sequences" for closed submodules of the free Hilbert module H^2(C^d).

研究の動機と目的

• 有限ランクの収縮的ヒルベルトモジュール $ \mathbb{C}[z_1,\dots,z_d] $ 上の数値的不変量（曲率、オイラー特性、次数）を定義し、それらを研究すること。
• 曲率不変量 $ K(H) $ と代数的不変量 $ \chi(H) $ の間の非自明な関係を確立すること。これはリーマン幾何学におけるガウス・ボンネの定理に類似している。
• 自由モジュールのグラフである乗法的作用素によって得られる純粋で階数付きのランク2ヒルベルトモジュールのクラスについて、$ K(H) $ と $ \chi(H) $ の明示的計算を提供すること。
• 有界なゲージ群スペクトルを持つ階数付きモジュールに対して $ K(H) = \chi(H) $ を証明し、この場合に $ K(H) $ が整数であることを示すこと。

提案手法

• 曲率不変量 $ K(H) $ を、$ F(z) $ を $ \Delta H $ 上の正の作用素として、単位球面 $ \partial B_d $ 上で積分する $ (1 - r^2) \cdot \text{trace}(F(r\zeta)) $ の境界極限により定義する。
• 代数的部分モジュール $ M_H = \text{span}\{ f \cdot \xi : f \in A, \xi \in \Delta H \} $ の有限自由分解におけるベッチ数の交錯和からオイラー特性 $ \chi(H) $ を構成する。
• 円周群 $ \mathbb{T} $ のユニタリ表現 $ \Gamma $ を用いて、$ \Gamma(\lambda)T_k\Gamma(\lambda)^{-1} = \lambda T_k $ を満たすことで、ヒルベルトモジュールに階数構造（円対称性）を導入する。
• ゲージ群のスペクトル分解を用いて、スペクトル部分空間 $ H_n $ の次元を計算し、関数 $ q_d(n) $ を用いた次元増加公式を適用して $ \chi(H) $ を計算する。
• 自由モジュールの商 $ H = F/M $ の構造を分析する。ここで $ F = H^2 \oplus H^2 $ であり、$ M $ は同次多項式 $ \phi $ による乗法的作用素のグラフである。これによりランク2モジュールの明示的例を構成する。
• ゲージ群作用が部分モジュール $ M $ を保存することを検証し、それにより $ H $ 上に誘導されることを示し、$ H $ が計算可能なスペクトル部分空間を持つ階数付きヒルベルトモジュールであることを確認する。

実験結果

リサーチクエスチョン

• RQ1 有限ランクの収縮的ヒルベルト $ A $-モジュール $ H $ の曲率不変量 $ K(H) $ は、そのオイラー特性 $ \chi(H) $ に等しいか？
• RQ2 曲率不変量 $ K(H) $ が整数となる条件は何か？
• RQ3 純粋で階数付きの有限ランクヒルベルトモジュールのクラスについて、曲率不変量を明示的に計算できるか？
• RQ4 部分モジュール $ M_H $ の代数的構造と幾何的不変量 $ K(H) $ の間の関係は何か？
• RQ5 ゲージ群のスペクトル挙動は、不変量 $ K(H) $ と $ \chi(H) $ にどのように影響を与えるか？

主な発見

• 有界なゲージ群スペクトルを持つ階数付き、有限ランク、収縮的ヒルベルト $ A $-モジュールに対して、曲率不変量は $ K(H) = \chi(H) $ を満たし、$ K(H) $ は整数である。
• 曲率不変量 $ K(H) $ は、単位球面 $ \partial B_d $ 上での境界極限 $ K_0(\zeta) = \lim_{r \uparrow 1} (1 - r^2) \cdot \text{trace}(F(r\zeta)) $ の積分として定義される。
• ランク2の純粋なヒルベルトモジュール $ H = F/M $ のクラスに対して、$ F = H^2 \oplus H^2 $、$ M $ は同次多項式 $ \phi $ による乗法的作用素のグラフであるとすると、$ K(H) = \chi(H) = 1 $ が示される。
• スペクトル部分空間 $ H_n $ の次元は、$ n < -N $ に対しては 0 であり、$ n \geq -N $ に対しては $ \dim H_n = q_{d-1}(n + N) $ である。ここで $ q_{d-1}(k) $ は $ d-1 $ 変数における次数 $ k $ の単項式の数を表す。
• フィルトレーション $ M_k = \sum_{n \leq k} H_n $ の次元の漸近的増加は $ \dim M_k \sim q_d(k + N) $ であり、これにより $ \chi(H) = d! \cdot \lim_{k \to \infty} \frac{q_d(k + N)}{k^d} = 1 $ が得られる。
• この結果により、非自明なゲージ群スペクトルを持つ例を含む広範なクラスにおいて $ K(H) = \chi(H) $ が成り立つことが確認され、主要定理の非自明な検証がなされた。