[논문 리뷰] Emergent algebras

Marius Buliga|arXiv (Cornell University)|2009. 07. 09.

Geometric and Algebraic Topology참고 문헌 11인용 수 10

한 줄 요약

이 논문은 균일한 등幂 우측반군(quasigroup, irq)을 사용하여 균일한 극한을 통해 미적분 유사 연산을 유도하는 대수적 구조를 모델링함으로써, 부분리만 기하학에서의 근사 미적분 계산을 위한 프레임워크로 잠재적 대수학을 제안한다. 주요 기여는 수축 가능한 군과 분배적 균일 irq 사이의 전단사 관계를 확립한 것이다. 이는 기하학적 군을 대수적 반군의 구조와 연결한다.

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.

연구 동기 및 목표

• 부드럽지 않은 기하학에서 근사적 미분 계산을 위한 새로운 대수적 프레임워크를 개발하는 것. 이는 부분리만 기하학에 영감을 받는다.
• 다양체 대수학을 균일한 등幂 우측반군(quasigroup, irq)으로 대체함으로써 판수(Pansu)의 미분 계산을 일반화하는 것.
• 미분 계산의 개념을 '잠재적으로 나타나는' 연산으로서 정의하는 것. 이는 부드러움이 없는 상황에서 기하학적 미분 계산을 포착한다.
• 특히 분배적 균일 irq와 같은 대수적 구조와 기하학적 대상, 예를 들어 수축 가능한 군과 대칭 공간 사이의 연결 고리를 설정하는 것.

제안 방법

• 결합 이론에서의 첫 번째 두 리드마이스터 이동에 해당하는 공리들을 만족하는 균일한 등幂 우측반군(quasigroup, irq)을 대수적 구조로 정의하는 것.
• 균일한 irq로부터 균일한 극한의 개념을 정의함으로써 근사적 미분 계산을 구성하는 것. 이는 판수의 미분 계산을 일반화한다.
• 균일한 irq의 구조를 통해 이러한 극한을 통해 유도되는 연산들의 집합으로서 '잠재적 대수학'을 도입하는 것.
• 전단사적 구성 방법을 통해 분배적 균일 irq와 수축 가능한 군 사이의 대응 관계를 확립하는 것.
• 루스(Loons)의 의미에서의 대칭 공간을 분배성 조건을 갖춘 균일한 반군으로 분석하는 것.
• irq의 공리들을 활용하여 대칭성과 균일성과 같은 기하학적 성질을 반영하는 대수적 조건을 유도하는 것.

실험 결과

연구 질문

• RQ1 부드러움이 없는 상황에서 대수적 구조를 사용하여 어떻게 미분 계산을 형식화할 수 있는가?
• RQ2 균일한 irqs의 어떤 대수적 성질이 수축 가능성이나 대칭성과 같은 기하학적 특성과 대응하는가?
• RQ3 기하학적 맥락에서 어떤 의미에서 연산이 이산적이거나 대수적인 반군 연산으로부터 '잠재적으로 나타날' 수 있는가?
• RQ4 분배적 균일 irq는 수축 가능한 군과 대칭 공간과 어떻게 관련되어 있는가?
• RQ5 반군의 공리들이 부분리만 기하학의 핵심적 특성을 포괄할 수 있는가?

주요 결과

• 수축 가능한 군과 분배적 균일 irq 사이에 전단사 관계가 확립되어, 이러한 군의 깊이 있는 대수적 특성화를 보여준다.
• 잠재적 대수학의 프레임워크는 반군 연산의 균일한 극한을 통해 판수의 부분리만 기하학에서의 미분 계산을 일반화한다.
• 루스(Loons)의 의미에서의 대칭 공간은 특정한 분배성 조건을 갖춘 균일한 반군으로 해석될 수 있으며, 이는 대수학과 기하학을 연결한다.
• 등幂 우측반군(quasigroup, irq)이 첫 번째 두 리드마이스터 이동을 모델링함을 보여주며, 결합 이론의 구조를 기하학적 대수학에 통합한다.
• 잠재적 대수학에서 극한의 균일성이 보장되어, 결과적으로 부드럽지 않은 설정에서도 미분 계산이 안정적이고 잘 행동함을 보장한다.
• 잠재적 대수학은 반군 연산의 균일한 극한으로서 나타나는 연산으로 정의되며, 이는 이산적인 대수적 규칙에서 미분 계산이 어떻게 유도되는지를 제공하는 메커니즘을 제공한다.