[论文解读] The coarse index class with support

Ulrich Bunke, Alexander Engel|arXiv (Cornell University)|Jun 21, 2017

Advanced Operator Algebra Research参考文献 8被引用 8

一句话总结

该论文利用等变粗 $K$-同调，为具有适当等距群作用的完备黎曼流形上的等变狄拉克算子构造了带支撑的粗指标类。建立了粗相对指标定理，并证明了该指标与悬垂同构的相容性，从而可在不直接进行算子理论计算的情况下，通过粗同伦理论分析次级不变量。

ABSTRACT

We construct the coarse index class with support condition (as an element of coarse $K$-homology) of an equivariant Dirac operator on a complete Riemannian manifold endowed with a proper, isometric action of a group. We further show a coarse relative index theorem and discuss the compatibility of the index with the suspension isomorphism.

研究动机与目标

• 为完备黎曼流形上的 $G$-等变狄拉克算子定义并构造带支撑条件的粗指标类。
• 建立一个粗相对指标定理，以在不变子集的术语中捕捉指标信息的局部性。
• 证明等变粗 $K$-同调中指标类与悬垂同构的相容性。
• 提供一个框架，用于在不直接分析底层狄拉克算子的情况下推导次级粗指标不变量。
• 通过 $K\!\mathcal{X}^G$-理论，将罗伊与齐德勒的指标构造推广到更广泛的范畴与同伦设定中。

提出的方法

• 使用 $G$-有界粗空间的范畴来形式化带有群作用的大尺度几何。
• 在 $G$-有界粗空间上将等变粗 $K$-同调理论 $K\!\mathcal{X}^G$ 构造为谱值函子。
• 对于在不变子集 $A$ 外均匀局部正的狄拉克算子，定义 $K\!\mathcal{X}^G_n(\{A\})$ 中的指标类 $\mathtt{Ind}(\not{D},\mathit{on}(A))$，其中假设 $A$ 是一个支撑。
• 应用受控酉嵌入和 $C^*$-代数的正合序列，将不同层级悬垂构造中的 $K$-理论群关联起来。
• 利用 $K$-理论长正合序列中的边界映射，将度数 $n$ 的指标类与度数 $n+1$ 的悬垂类关联，利用其与悬垂同构的相容性。
• 依赖粗 $K$-同调理论的普遍性质以及边界映射的自然性，在证明悬垂相容性时完成关键的图表追踪。

实验结果

研究问题

• RQ1 如何将狄拉克算子的粗指标进行细化，以在 $G$-流形的子集 $A$ 上编码支撑信息？
• RQ2 带支撑的粗指标类在等变 $K$-同调中的精确代数与拓扑结构是什么？
• RQ3 指标类在悬垂操作下如何表现？它是否与悬垂同构相容？
• RQ4 在 $K\!\mathcal{X}^G$-理论框架中，能否为 $G$-等变狄拉克算子建立粗相对指标定理？
• RQ5 在不直接分析狄拉克算子的情况下，能在多大程度上仅通过粗同伦理论数据恢复次级指标不变量？

主要发现

• 当 $A$ 是一个支撑时，对于在 $A$ 外均匀局部正的 $G$-等变狄拉克算子，带支撑的粗指标类 $\mathtt{Ind}(\not{D},\mathit{on}(A))$ 在 $K\!\mathcal{X}^G_n(\{A\})$ 中是良好定义的元素。
• 粗相对指标定理成立：指标类精确捕捉了狄拉克算子在 $A$ 的补集上的非可逆性，反映了韦岑博克项的局部正性。
• 指标类与悬垂同构相容，即度数 $n+1$ 的悬垂指标类对应于原始指标类的悬垂。
• 该构造允许通过粗同伦理论推导次级粗指标不变量，从而绕过对狄拉克算子谱性质的直接分析。
• 悬垂相容性的证明依赖于受控 $C^*$-代数扩张和边界映射诱导的 $K$-理论群中的图表追踪，其相容性由 $K$-理论谱的普遍性质保证。
• 该框架恢复并推广了皮亚扎与施克以及齐德勒的早期结果，表明他们的指标类是更精细构造在局部化代数中通过评估映射得到的像。