[论文解读] $G$-Homotopy Invariance of the Analytic Signature of Proper Co-compact $G$-manifolds and Equivariant Novikov Conjecture

Yoshiyasu Fukumoto|arXiv (Cornell University)|Sep 18, 2017

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

一句话总结

本论文建立了在适当共紧致 G-流形上，签名算子的分析 G-指标的 G-同伦不变性，证明了 G-同伦等价的流形在 K₀(C*(G)) 中具有相同的 G-指标。该结果将经典诺维科夫猜想的推论推广至非自由作用、非离散群的情形，并通过在小曲率的希尔伯特 C*-模丛上使用指标理论，将强诺维科夫猜想推广至等变设置。

ABSTRACT

The main result of this paper is the $G$-homotopy invariance of the $G$-index of signature operator of proper co-compact $G$-manifolds. If proper co-compact $G$ manifolds $X$ and $Y$ are $G$-homotopy equivalent, then we prove that the images of their signature operators by the $G$-index map are the same in the $K$-theory of the $C^{*}$-algebra of the group $G$. Neither discreteness of the locally compact group $G$ nor freeness of the action of $G$ on $X$ are required, so this is a generalization of the classical case of closed manifolds. Using this result we can deduce the equivariant version of Novikov conjecture for proper co-compact $G$-manifolds from the Strong Novikov conjecture for $G$.

研究动机与目标

• 建立适当共紧致 G-流形上分析 G-指标的 G-同伦不变性，无需群作用为离散或自由。
• 将关于高阶符号和诺维科夫猜想的经典结果推广至局部紧群的等变设置。
• 通过群 C*-代数 K-理论中的 G-指标映射，将强诺维科夫猜想推广至等变高阶符号。
• 利用 K-理论中的摄动和直极限技术，证明 G-指标在几乎平坦丛（曲率极小）的扭变下保持不变。
• 为 [BCH] 中未加证明的结果提供完整证明，填补了等变指标理论文献中的空白。

提出的方法

• 构造 X 和 Y 上签名算子之间的 G-等变同伦等价，通过 G-指标映射关联其 G-指标。
• 对二次型和分次模使用摄动论证，以控制签名算子在小曲率摄动下的行为。
• 在 KK-理论中使用 G-指标映射，将分析 G-指标定义为 K₀(C*(G)) 中的元素，从而适用于一般局部紧群。
• 采用无限积构造和 C*-代数的直极限，分析小曲率丛的指标，利用张量积与直和之间的同构关系。
• 在 C*-代数的完备张量积与直和之间建立等距同构，以在极限过程中保持 K-理论类。
• 应用归纳极限的普遍性质及希尔伯特 C*-模的结构，证明若存在无穷多个非零指标类，则产生矛盾，从而非零类必须仅支持在有限多个分量上。

实验结果

研究问题

• RQ1 对于非离散或非自由作用的适当共紧致 G-流形，签名算子的分析 G-指标是否在 G-同伦等价下保持不变？
• RQ2 能否通过 G-指标的 G-同伦不变性，从强诺维科夫猜想推导出等变诺维科夫猜想？
• RQ3 当使用曲率任意小的几乎平坦希尔伯特 C*-模丛扭变时，G-指标如何表现？
• RQ4 截断函数和曲率范数在控制非紧流形上 K-理论中的 G-指标时起什么作用？
• RQ5 在流形不交并的乘积丛上，G-指标能否分解为各分量的和？这对指标类意味着什么？

主要发现

• 签名算子的 G-指标在适当共紧致 G-流形上对 G-同伦等价保持不变，即使不假设群作用为离散或自由。
• G-指标映射对 G-同伦等价的流形 X 和 Y 映射到 K₀(C*(G)) 中的同一类，从而证明定理 A：ind_G(∂_X) = ind_G(∂_Y)。
• 该结果表明，适当共紧致 G-流形上的等变诺维科夫猜想可由 G 的强诺维科夫猜想推出。
• 对于曲率范数小于 ε 的几乎平坦丛，扭变签名算子的 G-指标是良定义的，且在小摄动下稳定。
• 在不交并 X ⊔ (-Y) 上的乘积丛的 G-指标同构于各分量上 G-指标的直和，且非零类必须仅支持在有限多个分量上。
• 证明表明，小曲率丛的 G-指标类不可能在无穷多个分量上非零，若存在此类族，则导致矛盾。