[论文解读] Actions of compact groups, C*-index theorem, and families

Evgenij Troitsky|ArXiv.org|Apr 1, 1999

Advanced Operator Algebra Research参考文献 31被引用 5

一句话总结

本论文为在C*-代数上纤维为投影模的丛上作用的椭圆微分算子建立了C*-指标定理，该算子在与符号可交换的紧致李群作用下成立。核心贡献是在基空间与参数空间的乘积上的族的等变指标定理，通过算子代数与K-理论技术，将指标理论推广至非交换与群等变设置。

ABSTRACT

We prove the index theorem for elliptic operators acting on sections of bundles where fiber is equal to a projective module over a C*-algebra, in the situation of action of a compact Lie group on this algebra as well as on the total space commuting with symbol. As an application the equivariant index theorem for families over the direct product of base by the space of parameters is obtained.

研究动机与目标

• 将Atiyah-Singer指标定理推广至具有紧致李群作用的C*-代数设置。
• 为纤维是C*-代数上的投影模的椭圆微分算子发展指标理论。
• 在等变设置下建立族指标定理，特别针对基空间与参数空间乘积上的族。
• 通过C*-代数方法统一并推广非交换几何、K-理论与等变分析的结果。
• 为具有群对称性的几何与动力系统中的等变指标计算提供框架。

提出的方法

• 在非交换设置中，将C*-代数上的投影模用作向量丛的纤维。
• 将椭圆微分算子理论应用于具有相容群作用的希尔伯特C*-模丛。
• 实现此类算子的符号演算，确保与紧致群作用相容。
• 利用K-理论与Kasparov双不变K-理论框架，在C*-代数背景下定义并计算指标。
• 将指标构作成参数空间的等变K-理论中的元素，利用总空间与代数上的作用。
• 使用xypic宏包与LaTeX 2.09正式呈现交换图与算子理论结构。

实验结果

研究问题

• RQ1 如何将Atiyah-Singer指标定理推广至C*-代数上纤维为投影模的丛上的椭圆微分算子？
• RQ2 当紧致李群作用于C*-代数与总空间，且与算子的符号可交换时，指标的结构是什么？
• RQ3 当参数空间为基流形与群空间的乘积时，族指标的行为如何？
• RQ4 等变K-理论在这一非交换、群等变设置下对指标分类起什么作用？
• RQ5 在存在紧致群对称性的情况下，能否利用算子代数与K-理工具形式化并证明C*-指标定理？

主要发现

• 本文证明了在希尔伯特C*-模丛上，纤维为C*-代数上投影模的椭圆微分算子的C*-指标定理。
• 在紧致李群作用下，指标在参数空间的等变K-理论中良定义。
• 指标在同伦下不变，且仅依赖于符号类，将经典指标定理推广至C*-代数设置。
• 建立了基空间与参数空间乘积上的族的等变指标定理，推广了先前结果。
• 该构造与紧致群在总空间与系数C*-代数上的作用相容。
• 结果以两篇即将发表于《J. Math. Sci.》与《Ann. Global Anal. Geom.》的论文的详细预印本形式呈现。