[論文レビュー] Dalian notes on rational Pontryagin classes

Michael Weiss|arXiv (Cornell University)|Jul 1, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 45被引用数 5

ひとこと要約

この論文は、直交群の分類空間のコホモロジーにおいてよく知られた消滅関係を満たす有理係数ポントリャーギン類が、ユークリッド空間の位相的同相写像群の分類空間のコホモロジーにおいてはその関係を満たさないことを確立している。特に、十分に大きな $ n $ および $ k < 5n/4 - c_2 $ に対して、$ p_{n+k} $ は $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ でゼロでなく、古典的ベクトル束関係と矛盾する。

ABSTRACT

The rational Pontryagin classes, evaluated on fiber bundles where the fiber is a 2n-dimensional euclidean space, can be nonzero in cohomology dimensions much greater than 4n. This makes a striking contrast with the Pontryagin classes of vector bundles.

研究の動機と目的

• ベクトル束理論における有理係数ポントリャーギン類の古典的消滅関係が、$ \mathbb{R}^m $ をファイバーとするより広いトポロジカルファイバー束の設定にまで拡張されるかどうかを調査すること。
• $ B\textup{SO}(2n) $ で有効な関係 $ p_n = e^2 $ および $ p_{n+k} = 0 $ が、$ B\textup{TOP}(2n) $ および $ B\textup{STOP}(2n) $ のコホモロジーにおいても保持されるかどうかを特定すること。
• 非自明なシグニチャを持つが、すべての分解可能ポントリャーギン数がゼロであるトポロジカルファイバー束の存在を確立し、古典的特性類制約の不成立を示すこと。
• ホモトピー論的およびコボルディズム論的技法を用いて、古典的関係が破綻する次元に対する明示的な下界を提供すること。

提案手法

• 有理ホモトピー同値 $ B\textup{O} \simeq B\textup{TOP} $ を利用し、有理係数ポントリャーギン類を $ B\textup{TOP}(m) $ に引き戻すことで、トポロジカルバンドルの特性類として定義可能であることを示す。
• トポロジカル多様体におけるヒルツェブルフのシグニチャ定理を適用し、接マイクロバンドルを特性類の分類対象として解釈する。
• ファイバーが $ g $ 個の $ S^n \times S^n $ の連結和 $ W_g $ であるファイバー束 $ E \to M $ の幾何的構成を用いて、非自明な特性類を実現する。
• 転送論法と有理コホモロジー計算を用い、$ n \geq 53 $、$ k \leq \lfloor 3n/4 \rfloor $ のとき、$ p_{n+k} \neq 0 $ が $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ で成り立つことを示す。
• 第二のマーラー立方体定理と導来写像空間の弱加法性を適用し、分類関手のホモトピー的性質を検証する。
• 多様体から単体的空間への弱加法的関手を構成し、ファibrant-コフリーファイバー置換を用いて、主結果に必要なホモトピー的条件を満たす。

実験結果

リサーチクエスチョン

• RQ1 $ H^*(B\textup{SO}(2n);\mathbb{Q}) $ における古典的消滅関係 $ p_n = e^2 $ および $ p_{n+k} = 0 $ が、$ B\textup{TOP}(2n) $ のコホモロジーへ拡張されるか。
• RQ2 $ k > 0 $ のとき、$ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ において有理係数ポントリャーギン類 $ p_{n+k} $ が非ゼロであることは、ベクトル束関係に反するか。
• RQ3 非ゼロのシグニチャを持つが、すべての分解可能なポントリャーギン数がゼロであるトポロジカルファイバー束が存在するか。これは、古典的特性類制約の不成立を示唆する。
• RQ4 有理コホモロジー $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ において $ p_{n+k} \neq 0 $ となるような $ n $ および $ k $ の有効な下界は何か。
• RQ5 滑らかで、安定的に平行化可能である基底多様体とトポロジカルファイバー束を用いて、古典的関係の破綻を幾何的に実現できるか。

主な発見

• $ n \geq 53 $ および $ k \leq \lfloor 3n/4 \rfloor $ のとき、有理係数ポントリャーギン類 $ p_{n+k} $ は $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ でゼロではなく、古典的ベクトル束関係 $ p_{n+k} = 0 $ と矛盾する。
• $ n \geq 83 $ および $ k < 5n/4 - 11 $ のとき、$ p_{n+k} $ は $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ で非ゼロであり、明示的な定数 $ c_1 = 83 $、$ c_2 = 11 $ を持つ。
• $ n \geq 83 $、$ k < 5n/4 - 11 $ のとき、$ H^{4n+4k}(B\textup{STOP}(2n+2k);\mathbb{Q}) $ において $ p_{n+k} \neq e^2 $ である。これは、トポロジカルな設定において関係 $ p_n = e^2 $ が成立しないことを示している。
• 基底 $ M $ が次元 $ 2n + 4k $ の閉じた、安定的に平行化可能な滑らかな多様体で、ファイバーが次元 $ 2n $ の閉じた向き付け可能なトポロジカル多様体であるファイバー束 $ E \to M $ が存在し、そのシグニチャは非ゼロだが、すべての分解可能なポントリャーギン数はゼロである。
• この構成では、ファイバーとして $ g $ 個の $ S^n \times S^n $ の連結和 $ W_g $ を用い、$ g $ を十分に大きくして非自明な特性類を実現している。
• この結果は、$ B\textup{TOP}(2n) $ から $ B\textup{STOP}(2n) $ への転送を用いて得られ、前者で非ゼロであることから、後者でも非ゼロであり、したがって $ p_{n+k} = e^2 $ の破綻が示される。