[论文解读] Unbounded Symmetric Homogeneous Domains in Spaces of Operators

Lawrence A. Harris|arXiv (Cornell University)|Jan 30, 1995

Advanced Topics in Algebra参考文献 22被引用 5

一句话总结

本文研究希尔伯特空间上有界线性算子空间中的无界对称齐次域，证明了仿射自同构与对称的复合在这些域上作用传递。在迹类条件之下，证明了这些域上的Liouville定理和Riemann可去奇点定理，并表明特定算子域上的全纯映射由线性等距或酉算子与J-酉算子的左/右乘法诱导，将经典结果推广至无限维情形。

ABSTRACT

We define the domain of a linear fractional transformation in a space of operators and show that both the affine automorphisms and the compositions of symmetries act transitively on these domains. Further, we show that Liouville's theorem holds for domains of linear fractional transformations, and, with an additional trace class condition, so does the Riemann removable singularities theorem. We also show that every biholomorphic mapping of the operator domain $I < Z^*Z$ is a linear isometry when the space of operators is a complex Jordan subalgebra of ${\cal L}(H)$ with the removable singularity property and that every biholomorphic mapping of the operator domain $I + Z_1^*Z_1 < Z_2^*Z_2$ is a linear map obtained by multiplication on the left and right by J-unitary and unitary operators, respectively. Readers interested only in the finite dimensional case may identify our spaces of operators with spaces of square and rectangular matrices.

研究动机与目标

• 刻画希尔伯特空间上有界线性算子空间中的无界对称齐次域。
• 建立仿射自同构与对称复合在这些域上的传递作用。
• 将Liouville定理与Riemann可去奇点定理推广至算子空间中线性分式变换的域。
• 确定特定算子域（如 $I < Z^*Z$ 和 $I + Z_1^*Z_1 < Z_2^*Z_2$）上全纯映射的精确结构。
• 将矩阵的有限维结果推广至无限维算子代数，特别是 $\mathcal{L}(H)$ 的复Jordan子代数。

提出的方法

• 通过算子理论构造定义算子空间中线性分式变换的定义域。
• 利用对称域理论与Jordan代数结构分析自同构群与对称性。
• 应用迹类条件，将全纯函数的经典定理推广至无限维情形。
• 通过酉算子与J-酉算子的左/右乘法结构分解，分析特定域上的全纯映射。
• 利用底层算子代数的可去奇点性质，控制全纯映射的奇点。
• 通过将无限维情形化约为有限维矩阵类比（当限制在有限维时，将算子空间等同于矩阵代数），实现降维处理。

实验结果

研究问题

• RQ1 在希尔伯特空间上有界线性算子空间中，无界对称齐次域的结构是什么？
• RQ2 仿射自同构与对称复合如何作用于这些域，且其作用是否传递？
• RQ3 在算子空间中线性分式变换的域上，Liouville定理在何种条件下成立？
• RQ4 Riemann可去奇点定理在何种条件下可推广至此类算子域，迹类条件起何作用？
• RQ5 算子代数中域 $I < Z^*Z$ 与 $I + Z_1^*Z_1 < Z_2^*Z_2$ 上全纯映射的精确形式为何？

主要发现

• 在算子空间的无界对称齐次域上，仿射自同构与对称复合作用传递。
• 在满足迹类条件时，线性分式变换域上的Liouville定理成立。
• 在相同迹类条件下，Riemann可去奇点定理可推广至这些域，确保具有孤立奇点的全纯函数有界且可去。
• 当底层空间是具有可去奇点性质的 $\mathcal{L}(H)$ 的复Jordan子代数时，域 $I < Z^*Z$ 上的每个全纯映射均为线性等距。
• 域 $I + Z_1^*Z_1 < Z_2^*Z_2$ 上的每个全纯映射均由J-酉算子的左乘与酉算子的右乘诱导。
• 在有限维情形下，结果退化为关于方阵与矩阵阵列的相应结论。