[论文解读] 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

一句话总结

本文將 $\infty$- 和 $n$-重向量叢定義為從 $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$-重向量叢脈絡中推廣拉回概念。
• 以雙重向量叢的線性分裂作為構造分解的基礎模組。
• 構造與分裂相容的水平提升，以建立分解與分裂之間的等價關係。
• 應用上確界論證，將有限 $n$ 的分解結果推廣至 $\infty$-重向量叢。

实验结果

研究问题

• RQ1 能否以 $n$-立方體範疇上的函子結構系統性地定義 $n$-重向量叢？
• RQ2 核心與 $n$-拉回如何在 $n$-重向量叢的結構中發揮作用？
• RQ3 每一個 $n$-重向量叢是否都可非自然地分解為線叢的直和？
• RQ4 在三重向量叢的情境下，分裂、分解與水平提升之間有何關係？
• RQ5 能否將 $n$-重向量叢的分解結果推廣至 $\infty$-重向量叢？

主要发现

• 任一 $n$-重向量叢皆存在非自然的同構至分解形式的 $n$-重向量叢，從而確立結構分解定理。
• $n$-重向量叢的核心定義明確，且在 $n$-拉回與分裂的構造中扮演核心角色。
• 對於三重向量叢，分解等價於其組成雙重向量叢的線性分裂選擇，以及相容的水平提升。
• 涉及三重核心與雙重線性截面的短正合序列被證明是正合的，確認核心在障礙理論中的角色。
• 上確界論證顯示 $\infty$-重向量叢亦具有非自然分解，從而將有限 $n$ 的結果推廣至無限情形。
• 分解與相容分裂/水平提升之間的等價關係已明確構造並透過逆構造驗證。