[論文レビュー] 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.

研究の動機と目的

• 非滑らか幾何における近似微分積分法のための新しい代数的枠組みを構築すること。この枠組みは、部分リーマン構造にインspiredされている。
• 微分可能代数を一様べき等右準群（irqs）に置き換えることで、パンスの微分積分法を一般化すること。
• 『臨床的』な演算を、準群演算の極限として形式化し、滑らかさの欠如下でも幾何的微分積分法を捉えること。
• 特に分配的一様irqsと幾何的対象（可縮群、対称空間）との間の関係を確立すること。

提案手法

• けいめん的代数的構造としての、一様べき等右準群（irqs）を定義し、これをねじれ理論における第一および第二のライデマイスター移動に類似した公理を満たすようにする。
• 一様irqsから一様極限の概念を定義することで、近似微分積分法を構築し、パンスの微分積分法を一般化する。
• 一様irq構造からの極限を通じて生じる演算の集合として、臨床的代数を導入する。
• 一様irqsと可縮群との間の双対的構成を通じて、分配的一様irqsと可縮群の対応関係を確立する。
• ルーズの意味での対称空間を、分配的性質を満たす一様準群として分析する。
• irqsの公理を用いて、対称性や一様性といった幾何的性質を模倣する代数的条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 滑らかさの欠如下で、代数的構造を用いて微分積分法をどのように形式化できるか。
• RQ2 一様irqsのどの代数的性質が、可縮性や対称性といった幾何的特徴に対応するか。
• RQ3 幾何的設定において、演算が離散的または代数的準群演算からどのように『出現』するのか。
• RQ4 分配的一様irqsは、可縮群や対称空間とどのように関係するか。
• RQ5 準群の公理は、部分リーマン幾何の本質的特徴を捉えることができるか。

主な発見

• 可縮群と分配的一様irqsとの間の全単射が確立され、このような群の深い代数的特徴づけが示された。
• 臨床的代数の枠組みにより、準群演算の極限を通じて、部分リーマン幾何におけるパンスの微分積分法が一様極限を用いて一般化された。
• ルーズの意味での対称空間は、特定の分配的性質を満たす一様準群として解釈可能であり、代数と幾何の間のリンクを示した。
• べき等右準群（irqs）が、ねじれ理論における第一および第二のライデマイスター移動をモデル化できることを示し、ねじれ的構造を幾何的代数に埋め込むことができた。
• 臨床的代数における極限の一様性により、滑らかでない設定下でも、得られる微分積分法が頑健でかつ良好に振る舞うことが保証された。
• 臨床的代数は、準群演算の均一極限として生じる演算として定義され、離散的な代数的規則から微分積分法がどのように出現するかを提供するメカニズムをもたらした。