[論文レビュー] Emergent algebras as generalizations of differentiable algebras, with applications

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

Geometric and Algebraic Topology参考文献 14被引用数 7

ひとこと要約

この論文は、微分構造を一様な冪等的右擬群（irq）に置き換えることで、微分可能代数の一般化として、生成的代数を導入する。代数的演算や関係が一様にirq構造から生じることを示し、可縮群と分配的一様irqの間の双対性を確立するとともに、対称空間を分配的一様擬群に関連付ける。

ABSTRACT

We propose a generalization of differentiable algebras, where the underlying differential structure is replaced by a uniform idempotent right quasigroup (irq). Then a emergent algebra is a algebra A over the uniform irq X such that all operations and algebraic relations from A can be constructed or deduced from combinations of operations in the uniform irq, possibly by taking limits which are uniform with respect to a set of parameters. In this approach, the usual compatibility condition between algebraic information A and differential information D, expressed as the differentiability of operations from A with respect to D, is replaced by the ”emergence ” of algebraic operations and relations from the minimal structure of a uniform irq. Two applications are considered: we prove a bijection between contractible groups and distributive uniform irqs and that symmetric spaces in the sense of Loos may be seen as uniform quasigroups with a distributivity property.

研究の動機と目的

• 微分構造を一様な冪 Eid的右擬群（irq）に置き換えることで、微分可能代数を一般化すること。
• 一様なirqの最小構造から一様極限を用いて代数的演算や関係がどのように生成されるかを示す枠組みを確立すること。
• 生成的代数と既知の代数的構造（例えば可縮群や対称空間）との関係を調査すること。
• 従来の代数的・微分的構造間の整合性条件が、irqからの構造的生成に置き換えられることを示すこと。

提案手法

• 微分可能性の置き換えとしての基礎的構造として、一様な冪 Eid的右擬群（irq）を定義すること。
• 演算や関係がirq演算と一様極限の組み合わせから生じる代数として、生成的代数を構成すること。
• パラメータに関する一様収束を用いることで、生成的代数的構造の安定性と一貫性を保証すること。
• irqの代数的性質を活用して、可縮群と分配的一様irqの間の双対性を確立すること。
• Loosの意味における対称空間を、分配的性質を備えた一様擬群として特徴付けること。
• irqからの代数的構造の生成が、従来の微分可能性に依存せず、一様性と擬群公理に依存することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 微分構造を一様な冪 Eid的右擬群に置き換えることで、微分可能代数をどのように一般化できるか？
• RQ2 一様なirqの構造から、代数的演算や関係がどのように一様に生成されるか？
• RQ3 この枠組みにおいて、可縮群と分配的一様irqの関係は何か？
• RQ4 Loosの意味における対称空間は、提示された一様擬群構造とどのように関係するか？
• RQ5 代数的構造と微分的構造の整合性条件は、最小の代数的系からの生成によって再定義可能か？

主な発見

• 可縮群と分配的一様irqの間の双対性が確立され、構造的同型が示された。
• Loosの意味における対称空間は、分配的性質を備えた一様擬群として特徴付けられた。
• 生成的代数における代数的演算や関係は、irq演算と一様極限の組み合わせから導出された。
• 代数的構造と微分的構造の間の微分可能性条件は、一様irqからの代数的情報の生成に置き換えられた。
• 滑らかさの代わりに一様擬群公理を用いることで、微分幾何学と代数的構造の新たな基盤が提供された。
• 生成的代数の枠組みにより、可縮群と対称空間が一様irqに基づく共通の代数的・幾何的構造に統合された。