[论文解读] Operator Theory and Complex Geometry

Ronald G. Douglas|ArXiv.org|Oct 9, 2007

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

一句话总结

本文通过分析希尔伯特模的全纯向量丛与曲率不变量，建立了多变量算子理论与复几何之间的深刻联系。证明了在单位球代数上，若一个本质上正规的希尔伯特模包含一个纯等距子模，则其必同构于加权硬分析模，且该子模由一个内函数生成，从而推广了多变量算子理论中的次正规性与刚性结果。

ABSTRACT

One approach to multivariate operator theory involves concepts and techniques from algebraic and complex geometry and is formulated in terms of Hilbert modules. In these notes we provide an introduction to this approach including many proofs. We are particularly interested in examples related to hermitian holomorphic vector bundles and we study submodules and reducing submodules in such cases. We go into some detail concerning a problem of Zhu on the reducing subspaces of powers of the Bergman shift as well as more recent work of the author and J. Sarkar on proper submodules which are unitarily equivalent to the orginal. Although the basic results are not new, there is some novelty in the details and the organization of the material.

研究动机与目标

• 通过希尔伯特模与复几何发展多变量算子理论的几何方法。
• 通过全纯向量丛与曲率不变量，理解函数代数上希尔伯特模的结构。
• 研究希尔伯特模的子模在何种情况下等距同构于全模，特别是在硬分析与伯格曼空间的背景下。
• 建立本质上正规希尔伯特模为次正规或同构于加权硬分析模的条件。
• 将经典关于不变子空间与内函数的结果推广至高维及更一般的区域。

提出的方法

• 将希尔伯特模表示为单位球或单位圆盘上全纯函数的空间，其中坐标函数作用为模乘法。
• 利用由再生核张成的反全纯一维子空间族，构造赫米特反全纯线丛。
• 通过曲率不变量与模解析，将算子理论性质与几何结构相联系。
• 应用Šilov模与内函数理论，刻画子模与等距同构关系。
• 利用模算子的几乎处处边界算子可交换性，推导出本质正规性。
• 利用边界算子的C*-代数结构，推导出次正规性，并将模延拓至L²-边界空间。

实验结果

研究问题

• RQ1 在何种条件下，一个在区域上全纯函数代数上的希尔伯特模是本质上正规且次正规的？
• RQ2 希尔伯特模的子模在何种条件下可等距同构于全模？何种几何或算子理论条件会强制这种同构？
• RQ3 曲率不变量与全纯向量丛如何在多变量算子理论中对希尔伯特模进行分类？
• RQ4 内函数在刻画加权硬分析与伯格曼模的等距子模中起何种作用？
• RQ5 能否通过模结构的几何解释，说明交换次正规算子缺乏联合正规扩张？

主要发现

• 一个在$A(\Omega)$上本质上正规的希尔伯特模，若包含一个纯等距同构子模，则其为次正规。
• 若$\mathcal{R}$是$A(\mathbb{B}^n)$上本质上正规的拟自由希尔伯特模，且包含一个纯等距子模$\mathcal{M}$，则$\mathcal{R} \cong H^2_\mathcal{E}(\mathbb{B}^n)$，且$\mathcal{M} = \theta H^2_\mathcal{E}(\mathbb{B}^n)$，其中$\theta$为一内函数，$\mathcal{E}$为有限维空间。
• 在有界区域$\Omega$上，$L^2_a(\mu)$的任意真子模均不等距同构于$L^2_a(\mu)$，推广了伯格曼空间的相关结果。
• $H^2_n$上$M_{z_1}$算子限制在由$z^\ell_2$生成的循环子空间上，与加权伯格曼移位算子酉等价，表明$M_{z_1}$为次正规。
• 在$n$-移位空间上，坐标乘法算子不联合次正规，通过几何模理论确认了阿夫松的结果。
• $A(\Omega)$上本质上正规模的边界算子生成的$C^*$-代数不包含非零紧算子，意味着其在边界上几乎处处正规。