[论文解读] Differential Equivariant K-Theory

Michael Luis Ortiz|ArXiv.org|May 4, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 40被引用 12

一句话总结

本文為光滑流形上有限群作用的微分等变K-理论提出了一種幾何定義，延展了 Hopkins 與 Singer 的框架。它構造了一個精細化拓撲等變上同調推前映射的推前映射，並證明了一個猜想的解析公式：微分等變推前映射至一點等於扭曲狄拉克算子的等變η不變量，在自由作用、邊界情形與普通微分K-理論情形中均經驗證。

ABSTRACT

Following Hopkins and Singer, we give a definition for the differential equivariant K-theory of a smooth manifold acted upon by a finite group. The ring structure for differential equivariant K-theory is developed explicitly. We also construct a pushforward map which parallels the topological pushforward in equivariant K-theory. An analytic formula for the pushforward to the differential equivariant K-theory of a point is conjectured, and proved in the boundary case, in the case of a free action, and for ordinary differential K-theory in general. The latter proof is due to K. Klonoff.

研究动机与目标

• 為光滑流形上有限群作用的微分等變K-理論發展一種幾何微分精化。
• 在微分等變K-理論中定義一個推前映射，以推廣拓撲等變推前映射。
• 提出並證明一個解析公式，將微分推前映射與扭曲狄拉克算子的等變η不變量相等化。
• 在微分上同調框架中，建立推前映射與陳類映射及曲率映射的相容性。
• 在特殊情形下驗證該猜想：邊界流形、自由群作用與普通微分K-理論。

提出的方法

• 利用阿蒂yah-塞戈爾局部化定理，透過等變陳特徵類將等變K-理論與等變德拉姆上同調聯繫起來。
• 將微分等變K-理論定義為利用固定點集上的微分形式對等變K-理論的精化，並使其與曲率與特徵類映射構成可交換圖形。
• 構造一個從 $\check{K}^0_\Gamma(X)$ 到 $\check{K}^{-\dim X}_\Gamma(\text{pt})$ 的推前映射 $\wp_\Gamma$，精細化拓撲推前映射。
• 依賴同構 $\check{K}^{-i}_\Gamma(\text{pt}) \cong R(\Gamma) \otimes \mathbb{R}/R(\Gamma)$（當 $i$ 為奇數時），以捕捉扭量不變量。
• 利用群 $\Gamma$ 的不可約表示分解狄拉克算子的特徵空間，將等變η不變量表達為特徵和。
• 應用正交投影與特徵理論，將推前映射與η不變量關聯，透過歸約至普通微分K-理論中的已知結果證明猜想。

实验结果

研究问题

• RQ1 能否構造一個微分精化等變K-理論，使其同時包含拓撲K-理論與固定點集上的微分形式？
• RQ2 微分等變K-理論中的推前映射是否具有以狄拉克算子等變η不變量表示的解析公式？
• RQ3 在自由群作用情形下，猜想 $\wp_\Gamma(\check{x}) = \xi_\Gamma(D_V)$ 是否成立？
• RQ4 該猜想能否如Klonoff對平凡群所做那樣，歸約至邊界情形或普通微分K-理論？
• RQ5 推前映射在微分設定下如何與表示環及特徵理論互動？

主要发现

• 微分等變K-理論群 $\check{K}^{-i}_\Gamma(X)$ 落入一個與曲率 $\omega$ 及特徵類 $c$ 結合的可交換圖形中，精細化了拓撲理論。
• 推前映射 $\wp_\Gamma: \check{K}^0_\Gamma(X) \to \check{K}^{-\dim X}_\Gamma(\text{pt})$ 已構造並證明其精細化了拓撲推前映射。
• 當 $X$ 維數為奇數時，推前映射的像落在環 $(R(\Gamma) \otimes \mathbb{R})/R(\Gamma)$ 上，捕捉了次級幾何不變量。
• 猜想 $\wp_\Gamma(\check{x}) = \xi_\Gamma(D_V)$ 在 $(X,V)$ 為邊界的情形下已證明，推廣了Klonoff的結果。
• 該猜想亦在自由作用與普通微分K-理論情形下證明，方法為歸約至邊界情形。
• 證明依賴於利用不可約表示分解狄拉克算子的特徵空間，並將η不變量表達為特徵之和。