[論文レビュー] Differential Equivariant K-Theory

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

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

ひとこと要約

本稿は、滑らかな多様体上の有限群作用に対して、微分的等変K理論の幾何的定義を導入し、ホプキンズとシンガーの枠組みを拡張する。同定は、トポロジカルな等変プッシュフォワードを精錬するプッシュフォワード写像を構成し、予想された解析的公式を証明する：微分的等変プッシュフォワードを一点に送ることは、ねじれディラック作用素の等変エータ不変量に等しい。これは自由作用、境界、通常の微分的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理論におけるプッシュフォワード写像を定義すること。
• 解析的公式を予想し、微分的プッシュフォワードがねじれディラック作用素の等変エータ不変量に等しいことを証明すること。
• 微分コhomologyの枠組みにおいて、プッシュフォワードがチャーン写像と曲率写像と整合することを確立すること。
• 特別なケースにおける予想の検証：境界多様体、自由群作用、通常の微分的K理論。

提案手法

• アティヤ＝セーガルの局在定理を用いて、等変チャーン写像を介して等変K理論と等変ド・ラームコhomologyを関連づける。
• 固定点集合上の微分形式を用いて等変K理論の微分的精錬として微分的等変K理論を定義し、曲率写像と特徴類写像との間に可換図式を構成する。
• トポロジカルなプッシュフォワードを精錬する写像 $\wp_\Gamma$ を $\check{K}^0_\Gamma(X)$ から $\check{K}^{-\dim X}_\Gamma(\text{pt})$ へ構成する。
• 奇数 $i$ に対して $\check{K}^{-i}_\Gamma(\text{pt}) \cong R(\Gamma) \otimes \mathbb{R}/R(\Gamma)$ という同型を用い、ねじれ不変量を捉える。
• 群 $\Gamma$ の既約表現によるディラック作用素の固有空間の分解を用いて、等変エータ不変量を指標の和として表現する。
• 直交射影と指標論を用いてプッシュフォワードとエータ不変量を関連づけ、通常の微分的K理論における既知の結果への還元により予想を証明する。

実験結果

リサーチクエスチョン

• RQ1 固定点集合上の微分形式とトポロジカルK理論の両方を組み込んだ、等変K理論の微分的精錬を構築できるか？
• RQ2 微分的等変K理論におけるプッシュフォワードは、ディラック作用素の等変エータ不変量の解析的公式として表現できるか？
• RQ3 $(X,V)$ が境界である場合に、予想 $\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)$ に値をとり、2次的な幾何的不変量を捉える。
• 予想 $\wp_\Gamma(\check{x}) = \xi_\Gamma(D_V)$ は、$(X,V)$ が境界である場合に証明され、Klonoffの結果が一般化された。
• 自由作用および通常の微分的K理論のケースでも予想は証明され、境界ケースへの還元を用いた。
• 証明は、ディラック作用素の固有空間の既約表現による分解と、指標の和としてのエータ不変量の表現に依拠している。