[論文レビュー] Diffeomorphisms, Analytic Torsion and Noncommutative Geometry

John Lott|ArXiv.org|Jul 30, 1996

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用数 3

ひとこと要約

この論文は、平坦なB-ベクトル束のプッシュフォワードに対して、解析的 torsion形式を用いてインデックス定理を確立し、これらの形式が、球面的多様体の微分同相群のホモトピー群の不変量をもたらすことを示している。主な貢献は、微分同相写像の下で不変な解析的 torsionをトップスロジカル不変量として構成することであり、非可換幾何学と幾何的位相幾何学をインデックス理論を通じて結びつけている。

ABSTRACT

We prove an index theorem concerning the pushforward of flat B-vector bundles, where B is an appropriate algebra. We construct the associated analytic torsion form T. If Z is a smooth closed aspherical manifold, we show that T gives invariants of the homotopy groups of Diff(Z).

研究の動機と目的

• 微分同相写像の下での平坦なB-ベクトル束に対するインデックス定理を、解析的 torsionを用いて開発すること。
• ホモトピー的微分同相写像の下で不変であるような解析的 torsion形式Tを構成すること。
• Tが、滑らかで閉じた球面的多様体Zの微分同相群のホモトピー群の不変量をもたらすことを示すこと。
• 解析的 torsionとインデックス理論を通じて、非可換幾何学と幾何的位相幾何学を結びつけること。
• 平坦な束と微分同相群の文脈において、解析的 torsionがトップスロジカル不変量としての理解を拡張すること。

提案手法

• Bが適切なC*-代数であるとき、平坦なB-ベクトル束のプッシュフォワードを用いて、楕円型作用素の族を定義する。
• 滑らかで閉じた多様体上の平坦な束に対して、レイ＝シンガーの解析的 torsionを用いて解析的 torsion形式Tを構成する。
• この構成は、非可換幾何学とK理論の文脈における解析的 torsion理論に依存する。
• 解析的 torsion形式の性質を用いて、Tが微分同相写像のホモトピーの下で不変であることを確立する。
• 微分形式と特徴類の理論を、平坦なベクトル束の文脈で用いる。
• 解析は、基本群が位相を決定する滑らかで閉じた球面的多様体上で行われる。

実験結果

リサーチクエスチョン

• RQ1 解析的 torsion形式は、多様体の微分同相群の不変量を定義するためにどのように用いることができるか？
• RQ2 平坦なB-ベクトル束は、球面的多様体のDiff(Z)のホモトピー群の不変量を構成するために果たす役割は何か？
• RQ3 解析的 torsion形式を微分同相写像のホモトピーの下で不変にできるか？ そしてこれはトップスロジカル不変量にどのような意味を持つのか？
• RQ4 非可換幾何学は、平坦な束の文脈における解析的 torsionへのインデックス定理の拡張をどのようにフレームワークとして提供するか？
• RQ5 解析的 torsion形式Tと、球面的多様体の微分同相群のホモトピー型との関係は何か？

主な発見

• この論文は、滑らかで閉じた球面的多様体Z上の平坦なB-ベクトル束に関連する解析的 torsion形式Tを構成している。
• 解析的 torsion形式Tは、微分同相写像のホモトピーの下で不変であり、微分同相群のトップスロジカル不変量である。
• Tは、Zの微分同相群Diff(Z)のホモトピー群の不変量を提供する。
• 確立されたインデックス定理は、平坦なB-ベクトル束に適用され、古典的インデックス理論を非可換な設定に一般化している。
• この構成は、解析的 torsionが球面的多様体のDiff(Z)のホモトピー群に非自明な要素を検出できることを示している。
• 結果として、解析的 torsion、非可換幾何学、および微分同相群の位相の間の整合的な枠組みが得られている。