[论文解读] First neighbourhood of the diagonal, and geometric distributions

Anders Kock|ArXiv.org|Jun 7, 2002

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

一句话总结

本文提出了一种基于第一对角邻域 $M_{(1)}$ 的合成微分几何方法，用于研究几何结构，引入了分布和联络的组合形式。通过邻域关系与弗罗贝尼乌斯可积性，证明了阿姆布罗斯-辛格 holonomy 定理的一个版本：若曲率取值于李子群 $H$，且水平路径可连接所有点，则 $H = G$。

ABSTRACT

We describe the geometric notion of distribution in synthetic terms, utilizing the notion of "first neighbourhood of the diagonal" from algebraic geometry. We characterize involutive distributions in combinatorial terms.

研究动机与目标

• 将微分几何中的概念如分布与联络，用第一对角邻域 $M_{(1)}$ 上的组合结构重新表述。
• 为将 $M_{(1)}$ 视为满足 $x \sim y$ 的无穷小对 $(x,y)$ 的空间，提供一种合成的、拓扑斯理论的合理性解释。
• 利用邻域关系与可积性条件，建立阿姆布罗斯-辛格 holonomy 定理的组合版本。
• 证明：若一个李子群 $H \subseteq G$ 包含所有无穷小群元素，则在曲率与路径连通性假设下，必有 $H = G$。

提出的方法

• 第一对角邻域 $M_{(1)} \subseteq M \times M$ 定义为 $\operatorname{Spec}(C^\infty(M \times M)/I^2)$，其中 $I$ 是在对角线上消失的函数的理想。
• 组合微分1-形式定义为 $M_{(1)} \to \mathbb{R}$ 上的函数，且在对角线上消失，与 $I/I^2$ 相同，经典上对应于微分1-形式的模。
• 通过 $M_{(1)}$ 上的对称但非传递的关系 $x \sim y$ 组合地编码分布，其对合性通过无穷小2-单纯形定义。
• 联络被建模为 $P_{(1)}$ 上取值于 $G$ 的函数 $\omega(x,y)$，用于度量非水平性，曲率定义为 $d\omega(x,y,z) = \omega(x,y)\omega(y,z)\omega(z,x)$。
• 通过弗罗贝尼乌斯定理在合成设定下分析可积性，其中对合分布存在最大积分子流形。
• 阿姆布罗斯-辛格定理的证明使用充分性原理：若 $g \sim e$ 蕴含 $g \in H$，则 $H = G$，该原理通过纤维上的邻域分析应用于 holonomy 群。

实验结果

研究问题

• RQ1 如何利用第一对角邻域表达流形上分布的组合形式？
• RQ2 如何通过无穷小单纯形，对分布的合成对合性与可积性进行刻画？
• RQ3 如何利用合成微分几何与组合联络，重新证明阿姆布罗斯-辛格 holonomy 定理？
• RQ4 在何种条件下，包含所有无穷小元素 $g \sim e$ 的李子群 $H \subseteq G$ 必然等于 $G$？
• RQ5 当所有水平路径可连接 $P$ 中任意两点时，若对所有无穷小2-单纯形有 $d\omega(x,y,z) \in H$，是否能推出 $H = G$？

主要发现

• 组合微分1-形式与经典微分1-形式之间存在双射关系，通过模 $I/I^2$ 建立，组合设定下无需线性或对称性假设。
• 组合1-形式自动满足反对称性：对 $x \sim y$ 有 $\omega(x,y) = -\omega(y,x)$，这是由于二阶消失条件所致。
• 对合分布对应于 $P$ 上的组合关系 $\approx$，使得对无穷小2-单纯形 $(x,y,z)$，若 $x \approx y$ 且 $x \approx z$，则必有 $y \approx z$。
• 曲率形式 $d\omega(x,y,z)$ 定义为乘积 $\omega(x,y)\omega(y,z)\omega(z,x)$，用于度量无穷小三角形上的 holonomy。
• 若所有水平路径可连接 $P$ 中任意两点，且对所有无穷小2-单纯形有 $d\omega(x,y,z) \in H$，则子群 $H$ 必等于 $G$，从而证明了 holonomy 定理。
• 对于关系 $x \approx y$ 且 $\omega(x,y) \in H$ 的分布，其最大积分子流形 $Q$ 被证明为整个 $P$，从而得出 $g \sim e$ 蕴含 $g \in H$，故 $H = G$。