[论文解读] A fast convergence theorem for nearly multiplicative connections on proper Lie groupoids

Giorgio Trentinaglia|arXiv (Cornell University)|Mar 9, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 25被引用 3

一句话总结

本文通过递归平均技术，建立了在恰当李群胚上将近乎乘法联络变形为真正乘法联络的快速收敛定理。关键贡献在于提出了一种构造性方法，确保在 $C^k$-拓扑下收敛，将乘法联络的研究简化为在正则群胚上的纵向表示，并为建立障碍理论铺平了道路。

ABSTRACT

Motivated by the study of a certain family of classical geometric problems we investigate the existence of multiplicative connections on proper Lie groupoids. We show that one can always deform a given connection which is only approximately multiplicative into a genuinely multiplicative connection. The proof of this fact that we present here relies on a recursive averaging technique. As an application we point out that the study of multiplicative connections on general proper Lie groupoids reduces to the study of longitudinal representations of regular groupoids. We regard our results as a preliminary step towards the elaboration of an obstruction theory for multiplicative connections.

研究动机与目标

• 解决李群胚上乘法（Cartan）联络的存在性与形变这一全局问题，特别是当源纤维非单连通时。
• 通过研究恰当李群胚上的乘法联络，将经典障碍理论推广至 $G$-结构。
• 发展一种系统性方法，将近似乘法联络变形为真正的乘法联络，即使在非单连通情形下也适用。
• 将一般恰当李群胚上乘法联络的分析简化为在正则群胚上纵向表示的研究。
• 为最终建立乘法联络存在性与形变的障碍理论奠定基础工具。

提出的方法

• 对一个近乎乘法联络应用递归平均过程，迭代修正其不满足乘法性的缺陷。
• 该方法依赖于归一化的哈尔测度并利用群胚结构上的积分，确保与群胚乘法的相容性。
• 通过在连续逼近误差上建立迭代估计，证明了在 $C^k$-拓扑下的收敛性。
• 一个关键技术步骤涉及紧支集截面的延拓，并利用哈尔积分定义关联向量丛截面上的连续平均算子。
• 通过局部坐标约化与局部有限开覆盖，证明该构造在 $C^k$-连续性。
• 该方法应用于联络，并推广至伪表示，为两种情形建立了统一框架。

实验结果

研究问题

• RQ1 在何种条件下，恰当李群胚上的近乎乘法联络可被形变为真正的乘法联络？
• RQ2 如何将一般恰当李群胚上乘法联络的存在性研究，简化为在正则群胚上纵向表示的研究？
• RQ3 在形变近似乘法结构时，迭代平均过程的收敛速率如何？
• RQ4 当源纤维非单连通、经典路径提升方法失效时，乘法联络理论能否扩展至此类情形？
• RQ5 恰当李群胚上乘法联络的存在性与形变存在哪些障碍？

主要发现

• 递归平均技术确保了在 $C^k$-拓扑下，近乎乘法联络快速收敛至真正的乘法联络。
• 该收敛性对任意恰当李群胚均成立，即使源纤维非单连通亦然。
• 该方法通过一系列校正，从任意仅近似乘法的给定联络构造出乘法联络。
• 一般恰当李群胚上乘法联络的研究可简化为在正则群胚上纵向表示的研究。
• 证明了平均算子具有 $C^k$-连续性，确保该方法在光滑范畴中的鲁棒性。
• 结果为在恰当李群胚上发展乘法联络的障碍理论提供了基础框架。