[论文解读] Emergent algebras

Marius Buliga|arXiv (Cornell University)|Jul 9, 2009

Geometric and Algebraic Topology参考文献 11被引用 10

一句话总结

本文提出了一种用于子黎曼几何中近似微分学的框架——涌现代数，利用一致幂等右拟群（irqs）来建模通过一致极限产生微分类似运算的代数结构。主要贡献在于建立了可缩群与可分配一致irqs之间的双射，将几何群与代数拟群结构联系起来。

ABSTRACT

Inspired from research subjects in sub-riemannian geometry and metric geometry, we propose uniform idempotent right quasigroups and emergent algebras as an alternative to differentiable algebras. Idempotent right quasigroups (irqs) are related with racks and quandles, which appear in knot theory (the axioms of a irq correspond to the first two Reidemeister moves). To any uniform idempotent right quasigroup can be associated an approximate differential calculus, with Pansu differential calculus in sub-riemannian geometry as an example. An emergent algebra A over a uniform idempotent right quasigroup X is a collection of operations such that each operation emerges from X, meaning that it can be realized as a combination of the operations of the uniform irq X, possibly by taking limits which are uniform with respect to a set of parameters. Two applications are considered: we prove a bijection between contractible groups and distributive uniform irqs (uniform quandles) and that some symmetric spaces in the sense of Loos may be seen as uniform quasigroups with a distributivity property.

研究动机与目标

• 开发一种新的代数框架，用于在非光滑几何中进行近似微分学，受子黎曼结构的启发。
• 通过用一致幂等右拟群（irqs）替代可微代数，推广潘苏的微分学。
• 形式化‘涌现’运算的概念，将其视为拟群运算的极限，从而在缺乏光滑性的情况下捕捉几何微分学。
• 建立代数结构（特别是可分配一致irqs）与几何对象（如可缩群和对称空间）之间的联系。

提出的方法

• 将一致幂等右拟群（irqs）定义为满足与纽结理论中前两个雷德迈斯特移动相似公理的代数结构。
• 通过定义操作的一致极限概念，从一致irq构造近似微分学，推广潘苏的微分学。
• 将涌现代数引入为通过此类极限从一致irq结构中‘涌现’出的操作集合。
• 通过双射构造，建立可分配一致irqs与可缩群之间的对应关系。
• 将洛斯意义上的对称空间分析为具有特定可分配性质的统一拟群。
• 利用irqs的公理推导出反映几何性质（如对称性和均匀性）的代数条件。

实验结果

研究问题

• RQ1 在缺乏光滑性的情况下，如何利用代数结构形式化微分学？
• RQ2 一致irqs的哪些代数性质对应于几何特征（如可缩性或对称性）？
• RQ3 在几何环境中，操作在何种意义上能‘涌现’自离散或代数拟群运算？
• RQ4 可分配一致irqs与可缩群及对称空间之间有何关系？
• RQ5 拟群的公理能否捕捉子黎曼几何的本质特征？

主要发现

• 建立了可缩群与可分配一致irqs之间的双射，揭示了此类群的深层代数表征。
• 涌现代数框架通过拟群运算的一致极限，推广了子黎曼几何中潘苏的微分学。
• 洛斯意义上的对称空间可被解释为具有特定可分配性质的统一拟群，从而在代数与几何之间建立联系。
• 证明了幂等右拟群（irqs）能够建模前两个雷德迈斯特移动，将纽结理论结构嵌入几何代数。
• 涌现代数中极限的一致性确保了在非光滑环境中，所得微分学具有鲁棒性和良好行为。
• 涌现代数被定义为作为拟群运算一致极限而产生的操作，为微分学从离散代数规则中‘涌现’提供了机制。