[論文レビュー] Multiple vector bundles: cores, splittings and decompositions

Malte Heuer, Madeleine Jotz|arXiv (Cornell University)|Sep 5, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 7

ひとこと要約

本稿では、$n$-立方体圏から滑らかな多様体への関手として、$\infty$-および$n$-重ベクトルバンドルを定式化し、コア構成と$n$-引き戻し構成を確立し、任意の$n$-重ベクトルバンドルが非標準的な直和への分解をもつことを証明する。主たる貢献は、$n$-重ベクトルバンドルに対する構造的分解定理の確立と、そのコロイミットの議論による無限重バンドルへの拡張であり、三重ベクトルバンドルを原型として詳細に取り扱う。

ABSTRACT

This paper introduces $\infty$- and $n$-fold vector bundles as special functors from the $\infty$- and $n$-cube categories to the category of smooth manifolds. We study the cores and "n-pullbacks" of $n$-fold vector bundles and we prove that any $n$-fold vector bundle admits a non-canonical isomorphism to a decomposed $n$-fold vector bundle. A colimit argument then shows that $\infty$-fold vector bundles admit as well non-canonical decompositions. For the convenience of the reader, the case of triple vector bundles is discussed in detail.

研究の動機と目的

• $n$-重および$\infty$-重ベクトルバンドルを、$n$-立方体圏から滑らかな多様体への関手として形式化すること。
• $n$-重ベクトルバンドルの文脈においてコアと$n$-引き戻しを定義し、それらを研究すること。
• 分割とコロイミットの議論を用いて、$n$-重ベクトルバンドルに対する非標準的分解の存在を確立すること。
• 三重ベクトルバンドルを基礎的事例として詳細に取り扱い、分割、分解、水平持ち上げの関係を結びつけること。

提案手法

• $n$-重ベクトルバンドルを、$n$-立方体圏から滑らかな多様体の圏への関手としてモデル化する。
• コアを、すべてのコア構造の交わりを捉える部分対象として定義する。
• $n$-引き戻し構成を導入し、$n$-重ベクトルバンドルの文脈における引き戻しの一般化を実現する。
• 二重ベクトルバンドルの線形分割を、分解を構成する基本的構成要素として用いる。
• 分割と整合的な水平持ち上げを構成し、分解と分割の間の同値性を確立する。
• コロイミットの議論を適用し、有限$n$から$\infty$-重ベクトルバンドルへの分解結果の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 $n$-重ベクトルバンドルは、$n$-立方体圏上の関手的構造を用いて体系的に定義可能か？
• RQ2 コアと$n$-引き戻しは、$n$-重ベクトルバンドルの構造において果たす役割は何か？
• RQ3 任意の$n$-重ベクトルバンドルは、直和としての線形バンドルへの非標準的分解をもつか？
• RQ4 三重ベクトルバンドルの場合、分割、分解、水平持ち上げはどのように関係しているか？
• RQ5 $n$-重ベクトルバンドルに対する分解結果は、$\infty$-重ベクトルバンドルへと拡張可能か？

主な発見

• 任意の$n$-重ベクトルバンドルは、分解された$n$-重ベクトルバンドルへの非標準的同型をもつことにより、構造的分解定理が確立される。
• $n$-重ベクトルバンドルのコアは適切に定義されており、$n$-引き戻しと分割の構成において中心的な役割を果たす。
• 三重ベクトルバンドルの場合、分解は、構成される二重ベクトルバンドルの線形分割の選択と、それと整合する水平持ち上げに同値である。
• 三重コアと二重線形切断を含む短完全系列が正確であることが示され、コアが障害理論における役割を果たすことが確認される。
• コロイミットの議論により、$\infty$-重ベクトルバンドルに対しても非標準的分解が存在することが示され、有限$n$の結果が拡張される。
• 分解と整合的な分割／水平持ち上げの同値性が明示的に構成され、逆の構成による検証がなされている。