[论文解读] On the geometric notion of connection and its expression in tangent categories

Rory B. B. Lucyshyn-Wright|arXiv (Cornell University)|May 30, 2017

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

一句话总结

本文通过证明微分丛上的联络等价于一个单一态射 $K: TE \to E$，重新定义了切范畴中的联络，该态射诱导了 $TE$ 的双积分解 $E \times_M TM \times_M E$，或满足特定乘积与极限条件的收缩 $K$。核心贡献在于提出了一种简化的公理化形式，减少了所需结构与公理的数量，同时保留了联络的几何本质。

ABSTRACT

Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and combinatorics. Generalizing the notion of (linear) connection on a smooth vector bundle, Cockett and Cruttwell have defined a notion of connection on a differential bundle in an arbitrary tangent category. Herein, we establish equivalent formulations of this notion of connection that reduce the amount of specified structure required. Further, one of our equivalent formulations substantially reduces the number of axioms imposed, and others provide useful abstract conceptualizations of connections. In particular, we show that a connection on a differential bundle E over M is equivalently given by a single morphism K that induces a suitable decomposition of TE as a biproduct. We also show that a connection is equivalently given by a vertical connection K for which a certain associated diagram is a limit diagram.

研究动机与目标

• 通过减少所需态射与公理的数量，简化切范畴中联络的公理化框架。
• 提供联络的等价表述，强调通过双积与极限图示实现的结构一致性。
• 证明微分丛上的联络完全由满足特定普遍性质的单一态射 $K: TE \to E$ 决定。
• 利用范畴论内在结构，将经典向量丛上的联络概念推广至任意切范畴。
• 证明 Cockett 与 Cruttwell 的原始定义具有内在一致性，并可重述为更抽象、统一的形式。

提出的方法

• 通过态射 $K: TE \to E$ 表征联络，该态射诱导微分丛的双积分解 $TE \cong E \oplus_M TM \oplus_M E$。
• 利用双积的普遍性质，将完整的联络结构编码于单一态射 $K$ 中，取代原始的配对 $(K,H)$。
• 证明 $K$ 是提升态射 $\lambda: E \to TE$ 的收缩，且 $TE$ 构成乘积 $E \times_M TM \times_M E$。
• 通过极限图示条件建立等价性：涉及 $K$、$p_E$、$T(q)$ 和 $q$ 的图示为纤维积，确保 $K$ 为有效提升。
• 利用纤维积的存在性及 $T^k$ 下的保持性（基本条件 3.1），确保范畴内的一致性。
• 应用范畴对偶性与普遍构造（双积、极限、乘积），以抽象方式捕捉水平与垂直分解等几何概念。

实验结果

研究问题

• RQ1 是否可仅用单一态射 $K: TE \to E$ 而非配对 $(K,H)$ 重新表述切范畴中联络的概念？
• RQ2 态射 $K$ 必须满足何种普遍范畴性质，才能完整编码微分丛上的联络？
• RQ3 如何在范畴 $\mathscr{X}/M$ 中通过双积或极限捕捉几何分解 $TE \cong E \times_M TM \times_M E$？
• RQ4 在何种条件下，态射 $K: TE \to E$ 能诱导出良定义的联络，而无需显式引入水平与垂直分量？
• RQ5 Cockett 与 Cruttwell 的原始公理由在切范畴中双积结构的通用特征中如何自然浮现？

主要发现

• 微分丛 $\underline{E}$ 上的联络等价于一个态射 $K: TE \to E$，使得 $TE$ 在双积 $\underline{E} \oplus_M \underline{T}M \oplus_M \underline{E}$ 下有结构，且 $K$ 为第三投影，$\lambda$ 为第三注入。
• 同一联络等价于一个收缩 $K: TE \to E$，使得 $TE$ 为乘积 $\underline{E} \times_M \underline{T}M \times_M \underline{E}$，且 $K$ 为第三投影，$\lambda$ 为第三注入。
• 联络等价于一个有效的垂直联络 $K$，使得涉及 $p_E$、$T(q)$、$K$ 和 $q$ 的图示为纤维积，确保 $K$ 为普遍提升。
• 原始的 Cockett 与 Cruttwell 定义被证明具有内在一致性，并等价于这些新形式，后者显著减少了公理数量并更高效地指定了结构。
• 结果可推广至通过切丛 $\underline{T}M$ 定义在对象 $M$ 上的仿射联络，其中 $K: T^2M \to TM$ 扮演相同角色。
• 底层对象 $TE$ 由双积或乘积结构唯一确定（至具体同构），确保分解的一致性。