[论文解读] On quasi-free Hilbert modules

Ronald G. Douglas, Gadadhar Misra|ArXiv.org|Sep 8, 2004

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

一句话总结

本文建立了在 ℂⁿ 有界区域上的全纯函数代数上，有限秩拟自由希尔伯特模的酉等价性准则。它引入了一个源自模映射的模函数，并证明了酉等价性成立当且仅当该模函数是某个全纯矩阵值函数的绝对值——当区域为星形或强拟凸时，此条件已足够。一个关键结果将一秩模的曲率差与模函数对数的复拉普拉斯算子联系起来。

ABSTRACT

In this note we settle some technical questions concerning finite rank quasi-free Hilbert modules and develop some useful machinery. In particular, we provide a method for determining when two such modules are unitarily equivalent. Along the way we obtain representations for module maps and study how to determine the underlying holomorphic structure on such modules.

研究动机与目标

• 解决关于有限秩拟自由希尔伯特模及其分类的若干技术性问题。
• 利用几何与分析不变量，建立此类模之间酉等价性的判别准则。
• 阐明与模相关的向量丛上的全纯结构是如何被确定的。
• 为拟自由希尔伯特模之间的模映射提供具体表示。
• 将关于曲率与全纯结构的结果推广至一般有限秩拟自由模。

提出的方法

• 为有限秩拟自由希尔伯特模对引入一个非负的矩阵值模函数 μ(R, R′)。
• 使用局部化技术，并利用关联的赫米特全纯向量丛上曲率与全纯结构之间的联系。
• 应用刚性定理与蒙特尔定理，以紧子集上一致收敛的方式逼近代数 A(Ω) 中的矩阵值函数。
• 推导出一秩模的曲率公式，其中涉及 log|μ(z)| 的复两形式值拉普拉斯算子。
• 利用丛 E_R = ⋃_z R ⊗_A(Ω) ℂ_z 上的典范联络与曲率，将几何不变量与模等价性联系起来。
• 引入生成集的对偶核函数，以重构丛上的全纯结构。

实验结果

研究问题

• RQ1 何时两个有限秩拟自由希尔伯特模在 A(Ω) 上是酉等价的？
• RQ2 如何显式重构与拟自由希尔伯特模相关的向量丛上的全纯结构？
• RQ3 模函数 μ(R, R′) 在确定模等价性中起什么作用？
• RQ4 一秩拟自由模之间的曲率差能否用模函数对数的拉普拉斯算子表示？
• RQ5 在何种区域条件下，模函数为全纯函数的绝对值既是酉等价性的必要条件也是充分条件？

主要发现

• 对于星形区域 Ω，两个有限秩拟自由希尔伯特模酉等价当且仅当其模函数 μ(R, R′) 是 Ω 上全纯矩阵值函数的绝对值。
• 在一秩情形下，曲率差 K_R − K_R′ 等于 log μ(z) 的复两形式值拉普拉斯算子，即 −1/2 ∑_{i,j} ∂²/∂z_i∂z̄_j log μ(z) dz_i ∧ dz̄_j。
• 模函数 μ(z) = |(δ ⊗_A(Ω) 1_z)| 是全纯函数的绝对值，当且仅当曲率差恒为零。
• 一秩拟自由希尔伯特模的曲率由 K_R(z) = −1/2 ∑_{i,j} ∂²/∂z_i∂z̄_j log ||γ(z)|| dz_i ∧ dz̄_j 给出，其中 γ(z) 是全纯截面。
• 对于有界强拟凸区域，若 μ(R, R′) 是全纯函数的绝对值，则酉等价性的同一准则依然成立。
• 与生成集对偶的核函数为重构关联向量丛上的全纯结构提供了具体方法。