[论文解读] Transgression to Loop Spaces and its Inverse, I: Diffeological Bundles and Fusion Maps

Konrad Waldorf|arXiv (Cornell University)|Nov 17, 2009

Mathematics and Applications参考文献 8被引用 24

一句话总结

本文通过显式构造的规度化与回归函子，建立了空间 X 上微分同胚主丛与连接的同构类，与 X 的薄环路空间 L(X) 上融合映射之间的典范同构。核心贡献在于揭示了 X 上几何结构与 L(X) 上代数结构之间的对偶性，将 Barrett 的工作推广至微分同胚空间，并通过局部常值融合映射将结果延伸至具有平坦连接的丛。

ABSTRACT

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth and satisfy a "fusion" property with respect to triples of paths. Our bijections are established by explicit group isomorphisms: transgression and regression. Restricted to smooth, finite-dimensional manifolds, our results extend previous work of J. W. Barrett.

研究动机与目标

• 将 Barrett 的规度化构造从光滑流形推广至更广泛的微分同胚空间范畴。
• 通过 X 的薄环路空间 L(X) 上的光滑融合映射，刻画微分同胚空间 X 上主 A-丛与连接的同构类。
• 定义并严谨构造显式的逆函子——规度化与回归——以在两类结构之间建立群同构。
• 通过将局部常值融合映射与平坦丛对应，将该对应关系扩展至平坦连接。

提出的方法

• 将薄环路空间 L(X) 定义为从 S¹ 到 X 的光滑映射的集合，模去薄同伦，并赋予自然的微分结构。
• 引入融合映射 f: L(X) → A，即满足涉及路径连接与反向的三元复合恒等式的光滑映射。
• 通过将 X 上丛的连接沿 L(X) 中的环路赋予其holonomy，构造规度化映射，并证明其结果为融合映射。
• 通过路径提升与holonomy数据，从 L(X) 上给定的融合映射 f 重构 X 上的主丛与连接，构造回归映射。
• 证明规度化与回归互为逆函子，从而在两类对象之间建立群同构。
• 验证该同构在平坦连接与局部常值融合映射下保持不变，且保持几何与代数结构。

实验结果

研究问题

• RQ1 能否将主丛连接的规度化从光滑流形推广至更一般的微分同胚空间设定？
• RQ2 是否存在规度化的典范逆——即从环路空间上的融合映射重构基空间上丛的过程？
• RQ3 环路空间上的何种代数结构恰好对应于基空间上丛与连接的同构类？
• RQ4 在该对偶性下，基空间上的平坦连接如何与融合映射对应？
• RQ5 何种精确条件可确保由融合映射重构出的丛具有平坦连接？

主要发现

• 在微分同胚主 A-丛与连接的同构类集合与薄环路空间 L(X) 上的融合映射群之间，存在一个典范群同构。
• 该同构由显式互逆的函子实现：规度化（从丛到融合映射）与回归（从融合映射到丛）。
• 该对应关系限制在平坦丛（具有平坦连接的丛）与局部常值融合映射之间，形成同构。
• 该构造对任意阿贝尔李群 A（包括离散群与非紧致群）均成立，并将 Barrett 的先前结果推广至微分同胚空间。
• 环路空间 L(X) 从 X 继承自然的微分结构，确保融合映射为光滑映射，且整个构造与便利微分学框架相容。
• 证明依赖于微分同胚设定中光滑路径提升与holonomy传输的存在性，该性质推广了经典理论。