[论文解读] R/Z-valued index theory via geometric K-homology

Robin J. Deeley|arXiv (Cornell University)|Jun 25, 2012

Advanced Operator Algebra Research参考文献 20被引用 9

一句话总结

本论文利用C*-代数中的映射柱构造了R/Z系数的K-同调的几何模型，通过相对η-不变量实现了R/Z值指标配对的几何实现。论文提出了两种同构的KK-理论几何模型（系数为映射柱），一种基于带有B-模丛的循环，另一种则直接整合了 bordism 关系，最终通过η-不变量证明其与Lott的分析型R/Z-指标配对等价。

ABSTRACT

A model of K-homology with coefficients in a mapping cone using the framework of the geometric cycles of Baum and Douglas is developed. In particular, this leads to a geometric realization of K-homology with coefficients in R/Z. In turn, this group is related to the relative eta-invariant via index pairings.

研究动机与目标

• 使用Baum-Douglas循环的框架，构建R/Z系数的K-同调的几何模型。
• 为KK(C(X), Cφ)构造两个同构的几何模型，其中Cφ是∗-同态φ: B₁ → B₂的映射柱。
• 通过相对η-不变量，建立K∗(X; R/Z) × K∗(X) → R/Z的指标配对的几何实现。
• 证明几何指标配对与Lott基于微分形式和Chern-Simons理论的分析型R/Z-指标配对一致。

提出的方法

• 通过循环(M, [EB₁, FB₁, ϕ], f)构造KK(C(X), Cφ)的几何K-同调模型，其中[EB₁, FB₁, ϕ]表示K₀(C(M) ⊗ Cφ)中的元素。
• 提出第二种更利于bordism的模型，使用循环(W, (EB₂, FB₁, α), f)，其中W是带边界的spin c-流形，α在∂W上编码丛的同构。
• 通过不相交并、bordism和向量丛修正定义等价关系，确保与映射柱正合序列相容。
• 在第5节中建立两个几何模型之间的显式同构，证明其给出同构的K-同调理论。
• 使用“调整角度”技巧和抓握构造（clutching constructions）处理几何循环中的边界与粘合数据。
• 通过狄拉克算子、Chern-Simons形式和Todd类的详细计算，将几何指标映射与分析型η-不变量联系起来。

实验结果

研究问题

• RQ1 能否利用Baum-Douglas循环框架和C*-代数中的映射柱，构造出R/Z系数的K-同调的几何模型？
• RQ2 相对η-不变量如何作为与R/Z系数K-同调的指标配对实现几何化？
• RQ3 所提出的KK(C(X), Cφ)的两个几何模型是否同构？能否构造显式同构？
• RQ4 几何指标配对（R/Z系数）是否与Lott基于微分形式和Chern-Simons形式定义的分析型配对一致？
• RQ5 该几何构造能否通过η-不变量与高阶Atiyah-Patodi-Singer指标理论建立联系？

主要发现

• 论文为∗-同态φ: B₁ → B₂的映射柱Cφ的R/Z系数K-同调构造了两个同构的几何模型，实现了KK(C(X), Cφ)的几何实现。
• 第二种模型基于循环(W, (EB₂, FB₁, α), f)，自然地包含了bordism关系，避免了第一种模型的技术困难。
• 证明了几何指标映射K₀(pt; R/Z) → R/Z与通过相对η-不变量定义的分析型R/Z-指标配对等价。
• 几何配对K₁(X; R/Z) × K₁(X) → R/Z与Lott的分析型配对一致，通过证明涉及η-不变量和Chern-Simons形式的指标表达式相等而得证。
• 计算确认了indR/Z(F) = η₁ − η₂ − ∫_M Todd(M) ∧ ch(E) ∧ f∗(CSN( ˜∇₁, ϕ∗( ˜∇₂))) mod Z，确立了分析型与几何型之间的对应关系。
• 该构造为R/Z值指标理论提供了完整的几何框架，将几何循环与η-不变量及微分K-理论联系起来。