[论文解读] The equivariant analytic index for proper groupoid actions

Alan L. T. Paterson|ArXiv.org|Apr 20, 2007

Advanced Operator Algebra Research参考文献 44被引用 3

一句话总结

本文为在 $G$-紧致、$C^{\infty,0}$ $G$-空间上，由连续族广群作用的 $L^m_{\rho,\rho}$-算子的椭圆伪微分族构造了解析指标，该构造在适当的广群作用下保持不变。通过基于康奈斯与莫斯科维茨平均技术的广群版本的 Kasparov 模块构造，将经典的阿蒂亚-辛格指标定理推广至广群设定，为证明光滑广群的康奈斯一般猜想奠定了基础步骤。

ABSTRACT

The paper constructs the analytic index for an elliptic pseudodifferential family of $L^{m}_{ρ,\de}$-operators invariant under the proper action of a continuous family groupoid on a $G$-compact, $C^{\infty,0}$ $G$-space.

研究动机与目标

• 将阿蒂亚-辛格指标定理推广至连续族广群在 $C^{\infty,0}$ $G$-空间上的适当作用设定。
• 在约化 $C^*$-代数 $C^*_{\text{red}}(G)$ 的 $K$-理论中构造解析指标，这是康奈斯关于光滑广群的一般猜想中的关键步骤。
• 将经典解析指标构造推广至 $L^m_{\rho,\rho}$-算子及其连续变化的族。
• 通过直接使用 Kasparov 模块方法，避免依赖菲利普斯的等变 $K$-理论。
• 建立在适当 $C^{\infty,0}$ $G$-空间上存在 $C^{\infty,0}$ 左哈尔测度的技术前提，这是指标构造的必要条件。

提出的方法

• 发展了在 $C^{\infty,0}$ 广群作用下，$L^m_{\rho,\rho}$-伪微分算子的局部连续变化族的理论。
• 通过受康奈斯与莫斯科维茨对齐齐哈尔空间方法启发的广群平均技术，构造一个表示解析指标的 Kasparov 模块。
• 使用截断函数实施平均技术，从非等变族构造出 $G$-不变的椭圆算子族。
• 利用在适当 $C^{\infty,0}$ $G$-空间上存在 $C^{\infty,0}$ 左哈尔测度的事实，确保平均过程的光滑性。
• 通过 Kasparov 模块将解析指标确立为 $K_0(C^*_{\text{red}}(G))$ 中的元素，推广了经典指标构造。
• 借助希尔苏姆与斯卡兰迪斯关于拟椭圆演算与 $KK$-理论的研究成果，为指标构造提供了理论支持框架。

实验结果

研究问题

• RQ1 如何为在连续族广群适当作用下的椭圆伪微分族构造解析指标？
• RQ2 经典解析指标构造能否推广至广群设定下的 $L^m_{\rho,\rho}$-算子及其连续变化族？
• RQ3 能否通过直接使用 Kasparov 模块方法构造解析指标，而无需依赖菲利普斯的等变 $K$-理论？
• RQ4 $C^{\infty,0}$ 左哈尔测度在确保指标构造所需的光滑性与不变性方面起什么作用？
• RQ5 广群平均技术如何将康奈斯与莫斯科维茨的方法推广至连续族广群的背景？

主要发现

• 本文将 $G$-不变的 $L^m_{\rho,\rho}$-算子在 $G$-紧致、$C^{\infty,0}$ $G$-空间上的椭圆族的解析指标构造为 $K_0(C^*_{\text{red}}(G))$ 中的元素。
• 证明了连续族广群与适当的 $C^{\infty,0}$ $G$-空间始终存在 $C^{\infty,0}$ 左哈尔测度，这是对先前结果的关键技术改进。
• 解析指标通过广群平均过程构造的 Kasparov 模块实现，避免了对菲利普斯等变 $K$-理论的依赖。
• 该构造将经典阿蒂亚-辛格指标定理推广至连续族广群与 $L^m_{\rho,\rho}$-算子的设定。
• 该方法通过确立指标定理的解析指标侧，为证明光滑广群的康奈斯一般猜想提供了基础步骤。
• 该框架支持未来对拓扑指标与示性类指标公式的扩展，如论文末尾部分所建议。