[論文レビュー] The Mayer-Vietoris Sequence for the Analytic Structure Group

Paul Siegel|arXiv (Cornell University)|Dec 2, 2012

Geometric Analysis and Curvature Flows参考文献 4被引用数 10

ひとこと要約

本稿は、適切な距離空間の解析的構造群に対して、K-ホモロジーおよび粗いC*-代数K理論と整合するMayer-Vietoris系列を構成する。明示的な境界写像を用いて、ロウの分割多様体インデックス定理の新しい証明と一般化を提供し、等長的および非コンパクトな超曲面への拡張を含む。また、この枠組みを用いて、正のスカラー曲率の障害に関するグロモフ＝ローワンの定理の簡潔な証明がなされる。

ABSTRACT

We develop a Mayer-Vietoris sequence for the analytic structure group explored by Higson and Roe. Using explicit formulas for Mayer-Vietoris boundary maps, we give a new proof and generalizations of Roe's partitioned manifold index theorem.

研究の動機と目的

• K-ホモロジーと粗いK理論における標準的なMayer-Vietoris系列と整合する解析的構造群のMayer-Vietoris系列を構成すること。
• 非コンパクトな分割超曲面および等長的設定を含むロウの分割多様体インデックス定理を一般化すること。
• 解析的構造群の枠組みを用いて、正のスカラー曲率計量の障害に関するグロモフ＝ローワンの定理に対する新しい、洗練された証明を提供すること。
• K-ホモロジー、粗いK理論、および解析的構造群のMayer-Vietoris系列を統一するブレード図を確立すること。
• 完全なスピン多様体上で正のスカラー曲率を持つディラック作用素のK-ホモロジー類に対して、粗いアセンブリーマップが消えることを、解析的スurgery完全系列を用いて示すこと。

提案手法

• 長完全系列における境界写像の明示的公式を用いて、解析的構造群 $ S_p(X) $ のMayer-Vietoris系列を構成する。
• K_*(X)、K_*(C^*(X))、および S_*(X) のMayer-Vietoris系列を統一するブレード図を用い、すべての3つの群において整合性を保証する。
• ブレード図を応用し、多様体 $ M $ 上の $ k $-分割ディラック作用素のインデックスを、分割超曲面 $ N $ 上に誘導される作用素のインデックスと関連づけ、粗いアセンブリーマップを用いる。
• 分割の余次元 $ k $ における帰納法を用い、高余次元の状況を、反復的なMayer-Vietoris境界写像の適用により、基本ケースに還元する。
• 粗いアセンブリーマップが解析的スurgery完全系列を経由して因数分解されることを用い、正のスカラー曲率計量が粗いインデックスを0にすることを示し、インデックスが非ゼロである場合に矛盾を導く。
• カルタン＝ハダマールの定理および対数写像の粗い微分同相性質を用い、非正曲率多様体の普遍被覆が $ \mathbb{R}^n $ と粗く同値であることを示し、インデックス定理の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 K-ホモロジーと粗いK理論における標準的なMayer-Vietoris系列と整合する解析的構造群のMayer-Vietoris系列を構築することは可能か？
• RQ2 Mayer-Vietoris系列のブレード図は、ロウの分割多様体インデックス定理の一般化を証明するためにどのように利用可能か？
• RQ3 この枠組みは、等長的インデックスおよび非コンパクトな分割超曲面にどのような意味を持つか？
• RQ4 このアプローチにより、正のスカラー曲率計量の障害に関するグロモフ＝ローワンの定理に対する新しい証明が得られるか？
• RQ5 正のスカラー曲率計量に関連するディラック作用素のK-ホモロジー類に対して、粗いアセンブリーマップがどのような条件下で消えるか？

主な発見

• K_*(X) および K_*(C^*(X)) のMayer-Vietoris系列と整合する境界写像の明示的公式を備えた、解析的構造群 $ S_p(X) $ の新しいMayer-Vietoris系列が構成された。
• K_*(X)、K_*(C^*(X))、および S_*(X) のMayer-Vietoris系列からなるブレード図が可換であることが示され、インデックスの恒等式の導出が可能になった。
• 本稿では、ロウのインデックス定理の一般化を証明する：多様体 $ M $ が超曲面 $ N $ 上の $ (p-k) $-多重グレーディングディラック作用素 $ D_N $ により $ k $-分割されているとき、$ \text{Ind}_{M,N}^G[D_M] = \text{Ind}_N^G[D_N] $ が $ K_{p-k}(C_r^*(G)) $ 内で成り立つ。
• この枠組みは、等長的インデックスおよび非コンパクトな分割超曲面へと拡張可能であり、従来のコンパクト性の仮定を必要としていなかった結果を一般化する。
• 非正の断面曲率をもつコンパクト多様体は正のスカラー曲率計量をもつことはできない、というグロモフ＝ローワンの定理に対する、新しい簡潔な証明が与えられた。
• 完全なスピン多様体上で正のスカラー曲率を持つディラック作用素のK-ホモロジー類に対して、粗いアセンブリーマップが0に写ることを示し、$ k $-分割条件のもとでインデックスが非ゼロである場合に矛盾を導く。これにより、障害が証明された。