[论文解读] Noncommutative hyperbolic geometry on the unit ball of $B(H)^n$

Gelu Popescu|ArXiv.org|Oct 3, 2008

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

一句话总结

本文在 B(H)^n 中的非交换单位球上引入了一种非交换双曲度量 δ，该度量通过与自由创造算子相关的重构算子定义。该度量在自由全纯自同构下不变，诱导出与算子范数相同的拓扑，并使该球成为一个完备度量空间。关键结果是一个非交换的Schwarz-Pick引理：从属于全纯函数的压缩映射在 δ 下是距离递减的。

ABSTRACT

In this paper we introduce a hyperbolic distance $δ$ on the noncommutative open ball $[B(H)^n]_1$, where $B(H)$ is the algebra of all bounded linear operators on a Hilbert space $H$, which is a noncommutative extension of the Poincare-Bergman metric on the open unit ball of $C^n$. We prove that $δ$ is invariant under the action of the group $Aut([B(H)^n]_1)$ of all free holomorphic automorphisms of $[B(\cH)^n]_1$, and show that the $δ$-topology and the usual operator norm topology coincide on $[B(H)^n]_1$. Moreover, we prove that $[B(H)^n]_1$ is a complete metric space with respect to the hyperbolic metric and obtained an explicit formula for $δ$ in terms of the reconstruction operator. A Schwarz-Pick lemma for bounded free holomorphic functions on $[B(H)^n]_1$, with respect to the hyperbolic metric, is also obtained.

研究动机与目标

• 开发 B(H)^n 中单位球上 Poincaré-Bergman 双曲度量的非交换类比。
• 建立一个在非交换球的自由全纯自同构下不变的双曲度量 δ。
• 证明 δ 诱导出与算子范数相同的拓扑，并使非交换球成为一个完备度量空间。
• 证明关于压缩全纯函数的非交换Schwarz-Pick引理。
• 通过 Harnack 部分和自由函数理论，将经典双曲几何推广至非交换设定。

提出的方法

• 将非交换单位球定义为 B(H)^n 中满足 ||∑XᵢXᵢ*||^{1/2} < 1 的 n 元组 (X₁,…,Xₙ) 的集合。
• 通过重构算子 R_X = ∑Xᵢ*⊗Rᵢ 定义双曲度量 δ，其中 Rᵢ 是全福空间上的右创造算子。
• 证明 δ 在非交换球的自由全纯自同构群作用下不变。
• 证明 δ 拓扑与非交换球上算子范数拓扑一致。
• 通过证明 δ 中的柯西序列收敛，建立非交换球在 δ 下的完备性。
• 推导出 δ 关于与右创造算子相关的重构算子 R_X 的谱半径的显式公式。

实验结果

研究问题

• RQ1 在 B(H)^n 的非交换单位球上是否存在一种双曲度量，可推广 C^n 上的 Poincaré-Bergman 度量？
• RQ2 该双曲度量 δ 是否在非交换球的自由全纯自同构群作用下不变？
• RQ3 δ 拓扑是否与非交换球上的标准算子范数拓扑一致？
• RQ4 非交换球在双曲度量 δ 下是否完备？
• RQ5 是否可为压缩全纯函数建立一个非交换的Schwarz-Pick引理？

主要发现

• 双曲度量 δ 在自由全纯自同构群下不变：对所有 Ψ ∈ Aut([B(H)^n]₁)，有 δ(Ψ(X),Ψ(Y)) = δ(X,Y)。
• δ 拓扑与算子范数拓扑在 [B(H)^n]₁ 上一致。
• 在双曲度量 δ 下，非交换单位球 [B(H)^n]₁ 是一个完备度量空间。
• 给出了 δ 的显式公式，其以与右创造算子相关的重构算子 R_X 的谱半径表示。
• 当 H = C 时，度量 δ 与 C^n 单位球上的经典 Poincaré-Bergman 距离一致。
• 非交换的Schwarz-Pick引理成立：对任意压缩全纯函数 F，有 δ(F(X),F(Y)) ≤ δ(X,Y)，对所有 X,Y ∈ [B(H)^n]₁ 成立。