[论文解读] Groups of Flagged Homotopies and Higher Gauge Theory

Valery Valerievich Dolotin|ArXiv.org|Apr 6, 1999

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文引入了带标志的同伦群，通过在基空间中引入标志结构，对经典同伦群进行推广，并发展了取值于代数 A 的外微分形式的微积分。其核心贡献是构造了在高阶规范变换下可积形式的模空间，从而在李群 G = exp(A) 中实现了对带标志同伦群的表示，统一了微分形式与规范场论，构建于更高阶代数框架之上。

ABSTRACT

Groups $Π_k(X;σ)$ of "flagged homotopies" are introduced of which the usual (abelian for $k>1$) homotopy groups $π_k(X;p)$ is the limit case for flags $σ$ contracted to a point $p$. Calculus of exterior forms with values in algebra $A$ is developped of which the limit cases are differential forms calculus (for $A=\bb R$) and gauge theory (for 1-forms). Moduli space of integrable forms with respect to higher gauge transforms (cohomology with coefficients in $A$) is introduced with elements giving representations of $Π_k$ in $G=exp A$.

研究动机与目标

• 通过在基空间中引入标志结构，将经典同伦群 π_k(X;p) 推广为带标志的同伦群，以纳入额外的几何结构。
• 发展取值于一般代数 A 的外微分形式微积分，扩展了微分形式（当 A = ℝ 时）与规范场论（1-形式情形）。
• 定义在高阶规范变换下可积形式的模空间，其参数由取值于 A 的上同调类决定。
• 建立该模空间中的元素与李群 G = exp(A) 中带标志同伦群 Π_k(X;σ) 的表示之间的对应关系。
• 通过同伦、形式与规范对称性的相互作用，在更高阶代数与拓扑框架下，统一微分几何与规范场论。

提出的方法

• 定义带标志同伦群 Π_k(X;σ)，其中 σ 是拓扑空间 X 中子空间的旗结构，当 σ 退化为一点时，其推广了 π_k(X;p)。
• 构建取值于单位元代数 A 的外微分形式微积分，扩展标准外代数与微分演算。
• 将高阶规范变换引入为对这些 A-值形式的上同调作用，推广了向量丛的通常规范变换。
• 将形式的可积性定义为在高阶规范作用下保持封闭，对应于广义曲率的消失。
• 建立可积形式的模空间，作为在高阶规范等价关系下的等价类分类空间。
• 证明模空间中的每个元素均可诱导从 Π_k(X;σ) 到 G = exp(A) 的群同态，从而实现对带标志同伦群的表示。

实验结果

研究问题

• RQ1 如何通过在基空间中引入标志结构，将经典同伦群 π_k(X;p) 推广以纳入额外的几何结构？
• RQ2 对于非交换代数 A，恰当的微分形式微积分应如何构建？其如何推广标准微分形式与规范场论形式？
• RQ3 在高阶规范变换下，A-值形式的可积性由何种条件定义？其几何意义为何？
• RQ4 可积形式的模空间与带标志同伦群 Π_k(X;σ) 的表示理论之间有何关系？
• RQ5 该框架能否在单一一致的形式体系中统一微分形式、规范场论与高阶同伦结构？

主要发现

• 带标志同伦群 Π_k(X;σ) 推广了经典同伦群 π_k(X;p)，当 k > 1 时具有阿贝尔结构。
• 发展了取值于代数 A 的外微分形式微积分，当 A = ℝ 时退化为标准微分形式，当 A 为李代数时退化为规范场论中的 1-形式。
• A-值形式的可积性通过其在高阶规范作用下的封闭性来定义，对应于广义曲率的消失。
• 可积形式的模空间被构造为在高阶规范等价关系下的商空间，其参数由取值于 A 的上同调类决定。
• 模空间中的每个可积形式均可诱导从 Π_k(X;σ) 到 G = exp(A) 的群同态，从而建立带标志同伦群的表示。
• 该框架通过将带标志同伦与 A-值形式嵌入单一高阶范畴结构中，统一了微分几何、规范场论与代数拓扑。