[论文解读] 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} $，并显式验证了该等式在作为自由模关于乘法算子图的商构造的秩二模中的成立。

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) $ 之间的非平凡关系，其形式类似于黎曼几何中的高斯-博内定理。
• 为一类由自由模关于乘法算子图的商构造的纯、分次、秩二希尔伯特模，提供 $ K(H) $ 与 $ \chi(H) $ 的显式计算。
• 证明对于具有有界规范群谱的分次模，有 $ K(H) = \chi(H) $，并表明在此类情形下 $ K(H) $ 为整数。

提出的方法

• 通过单位球面 $ \partial B_d $ 上的积分，定义曲率不变量 $ K(H) $ 为 $ (1 - r^2) \cdot \text{trace}(F(r\zeta)) $ 在边界 $ r \uparrow 1 $ 处的极限，其中 $ F(z) $ 是 $ \Delta H $ 上的正算子。
• 通过代数子模 $ 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 $ 的乘法算子图，以构造秩二模的显式例子。
• 验证规范群作用保持子模 $ M $ 不变，因此可诱导到 $ H $ 上，使得 $ H $ 成为具有可计算谱子空间的分次希尔伯特模。

实验结果

研究问题

• RQ1 有限秩压缩型希尔伯特 $ A $-模的曲率不变量 $ 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)) $ 的积分。
• 对于一类秩二纯希尔伯特模 $ H = F/M $，其中 $ F = H^2 \oplus H^2 $，$ M $ 为齐次多项式 $ \phi $ 的乘法算子图，且 $ \phi $ 的次数为 $ N $，有 $ K(H) = \chi(H) = 1 $。
• 当 $ n < -N $ 时，谱子空间 $ H_n $ 的维数为零；当 $ 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) $ 在一大类例子中成立，包括具有非平凡规范群谱的情形，并为定理的主要结论提供了非平凡的验证。