[论文解读] Product preserving bundle functors on multifibered and multifoliate manifolds

В. В. Шурыгин|arXiv (Cornell University)|May 23, 2007

Geometric and Algebraic Topology参考文献 9被引用 5

一句话总结

本文建立了多重叶状结构等价类与有限完备射影系统之间的一一对应关系。通过证明其与光滑流形上保持乘积的丛函子之间的自然双射，完全分类了多重纤维化和多重叶状流形上的所有保持乘积的丛函子。

ABSTRACT

We show that the set of the equivalence classes of multifoliate structures is in one-to-one correspondence with the set of equivalence classes of finite complete projective systems of vector space epimorphisms. After that we give the complete description of all product preserving bundle functors on the categories of multifibered and multifoliate manifolds.

研究动机与目标

• 建立多重叶状结构等价类与有限完备射影系统之间的一一对应关系。
• 将保持乘积的丛函子的分类从光滑流形推广到多重纤维化和多重叶状流形。
• 通过保持乘积的丛函子在光滑流形上的自然变换的归纳系统，完整描述多重纤维化流形范畴中所有保持乘积的丛函子。
• 将Mikulski（1996）关于纤维化流形的结果推广到更广泛的多重叶状结构设置中。
• 定义并表征射影系统在多重叶状流形背景下的完备化，以确保完备性。

提出的方法

• 定义有限维实向量空间的射影系统，其投影为线性满射。
• 引入完备射影系统的概念，其中每个有限余维不变子空间均可表示为某个典范投影的核。
• 通过取所有有限余维不变子空间上的逆极限，构造任意射影系统的完备化。
• 将多重纤维化和多重叶状流形定义为扩展光滑流形的范畴，其结构由射影系统控制。
• 从光滑流形上保持乘积的函子之间的自然变换的归纳系统 $ \mu $ 构造丛函子 $ T^\mu $。
• 使用自然变换 $ \kappa $ 和 $ \widetilde{\nu} $ 将任意保持乘积的丛函子 $ F $ 与典范函子 $ T^{\mu^F} $ 联系起来，建立自然等价。

实验结果

研究问题

• RQ1 光滑流形上的多重叶状结构如何通过代数数据进行分类？
• RQ2 多重纤维化流形范畴中保持乘积的丛函子的完整表征是什么？
• RQ3 光滑流形上保持乘积的函子之间的自然变换的归纳系统如何与多重纤维化流形上的丛函子相关联？
• RQ4 在何种条件下，多重纤维化流形上的丛函子等价于由归纳系统 $ \mu $ 构造的函子 $ T^\mu $？
• RQ5 在何种条件下，两个此类函子之间的自然变换由其在基函子上的分量唯一确定？

主要发现

• 存在多重叶状结构等价类与有限完备射影系统中向量空间满射等价类之间的一个典范双射。
• 多重纤维化流形范畴中所有保持乘积的丛函子均与由光滑流形上保持乘积的函子之间的自然变换的归纳系统 $ \mu $ 构造的函子 $ T^\mu $ 自然等价。
• 对于任意保持乘积的丛函子 $ F $，自然变换 $ \kappa: F \to T^{\mu^F} $ 是自然等价，从而实现了完全分类。
• 映射 $ F \mapsto \mu^F $ 在 $ \mathcal{FM}_\Lambda $ 上保持乘积的丛函子等价类与 $ \mathcal{M}f $ 上自然变换的归纳系统等价类之间诱导出一个双射。
• 两个丛函子 $ F $ 和 $ \overline{F} $ 当且仅当它们相关的归纳系统 $ \mu^F $ 和 $ \mu^{\overline{F}} $ 通过一组相容的自然变换等价时，彼此等价。
• 向量空间射影系统的完备化确保所有有限余维不变子空间均可作为投影的核实现，这对分类至关重要。