[论文解读] Spectral semi-Fredholm theory on Hilbert C*-modules

Stefan Ivković|arXiv (Cornell University)|Jun 12, 2019

Advanced Operator Algebra Research被引用 2

一句话总结

本文通过引入取值于C*-代数A的中心的谱，将谱理论推广至希尔伯特C*-模上的上三角2×2算子矩阵。它建立了全算子的半A-弗雷德霍姆性与对角元之间关系的条件，将经典结果推广至C*-模设定，并证明了矩阵与其对角分量之间广义的谱关系。

ABSTRACT

We study adjointable, bounded operators on the direct sum of two copies of the standard Hilbert C*-module over a unital C*-algebra A that are given by upper triangular 2 by 2 operator matrices. Using the definition of A-Fredholm and semi-A-Fredholm operators given in [3], [4], we obtain conditions relating semi-A-Fredholmness of these operators and that of their diagonal entries, thus generalizing the results in [1], [2]. Moreover, we generalize the notion of the spectra of operators by replacing scalars by the center of the C*-algebra A denoted by Z(A).Considering these new spectra in Z(A) of bounded, adjointable operators on Hilbert C*-modules over A related to the classes of A-Fredholm and semi-A-Fredholm operators, we prove an analogue or a generalized version of the results in [1] concerning the relationship between the spetra of 2 by 2 upper triangular operator matrices and the spectra of their diagonal entries.

研究动机与目标

• 将上三角算子矩阵的谱理论推广至酉C*-代数上的希尔伯特C*-模。
• 通过C*-代数A的中心Z(A)中的元素，定义并分析有界共轭可施行算子的谱。
• 建立2×2上三角算子矩阵的半A-弗雷德霍姆性由其对角元决定的条件。
• 通过用Z(A)-值谱替代标量谱，推广已知的算子矩阵谱结果。

提出的方法

• 本研究聚焦于酉C*-代数A上标准希尔伯特C*-模的两个副本的直和上的共轭可施行有界算子。
• 采用参考文献[3]和[4]中A-弗雷德霍姆算子与半A-弗雷德霍姆算子的定义，分析谱性质。
• 通过A的中心Z(A)中的元素重新定义算子的谱，替代标量值谱。
• 比较2×2上三角算子矩阵与其对角元的半A-弗雷德霍姆性质。
• 利用希尔伯特C*-模的结构性质和A的代数结构，推导谱包含关系与等价关系。
• 在Z(A)-值谱的背景下，证明了经典谱关系的广义版本，即矩阵与其对角分量之间的谱关系。

实验结果

研究问题

• RQ1 2×2上三角算子矩阵的半A-弗雷德霍姆性与其对角元的半A-弗雷德霍姆性质之间有何关系？
• RQ2 当标量被替换为Z(A)中的元素时，希尔伯茨C*-模上有界共轭可施行算子的谱的适当推广是什么？
• RQ3 经典上三角2×2矩阵与其对角元之间的谱关系能否推广至Z(A)-值谱设定？
• RQ4 在何种条件下，全算子的A-弗雷德霍姆性或半A-弗雷德霍姆性能推出其对角分量也具有相同性质？
• RQ5 Z(A)中的广义谱如何反映算子矩阵及其对角元的谱行为？

主要发现

• 2×2上三角算子矩阵的半A-弗雷德霍姆性由其对角元的半A-弗雷德霍姆性所刻画。
• 全算子矩阵的Z(A)中广义谱与对角分量的Z(A)-值谱相关联。
• 本文建立了广义谱包含关系，其形式与经典结果相似，但适用于中心值谱。
• 在新的Z(A)-值谱框架下，矩阵与其对角元之间的谱关系得以保持。
• 推导出全算子的A-弗雷德霍姆性蕴含其对角元也具有A-弗雷德霍姆性的条件。
• 结果通过将标量谱理论推广至中心值谱的希尔伯茨C*-模设定，扩展了[1]和[2]中的先前发现。