[논문 리뷰] Emergent algebras as generalizations of differentiable algebras, with applications

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

Geometric and Algebraic Topology참고 문헌 14인용 수 7

한 줄 요약

이 논문은 미분 구조를 균일한 등幂 우측반군(quasigroup, 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.

연구 동기 및 목표

• 미분 구조를 균일한 등幂 우측반군(irq)으로 대체함으로써 미분 대수를 일반화하는 것.
• 균일한 한계를 통해 균일한 irq의 최소 구조에서 대수적 연산과 관계가 균일하게 유도되는 프레임워크를 수립하는 것.
• 초월 대수와 기존의 대수적 구조(예: 수축 가능한 군, 대칭 공간) 간의 관계를 탐색하는 것.
• 기존의 대수적 및 미분적 구조 간의 미분 가능성 조건이 균일한 irq에서의 구조 유도로 대체됨을 보이는 것.

제안 방법

• 미분성을 대체할 기본 구조로 균일한 등幂 우측반군(irq)을 정의하는 것.
• 연산과 관계가 irq 연산과 균일한 한계의 조합으로 유도되는 초월 대수를 균일한 irq 위의 대수로 구성하는 것.
• 매개변수에 대한 균일 수렴을 사용하여 초월 대수적 구조의 안정성과 일관성을 보장하는 것.
• irq의 대수적 성질을 활용하여 수축 가능한 군과 분배적 균일 irq 사이의 전단사 관계를 수립하는 것.
• Loos의 관점에서의 대칭 공간을 분배성 성질을 갖춘 균일 반군으로 특성화하는 것.
• irq에서 대수적 구조의 유도가 기존의 미분 가능성에 의존하지 않고, 균일성과 반군 공리에 의존함을 보이는 것.

실험 결과

연구 질문

• RQ1 미분 대수는 어떻게 균일한 등幂 우측반군으로 대체된 구조를 통해 일반화될 수 있는가?
• RQ2 균일한 irq의 구조에서 대수적 연산과 관계는 어떻게 균일하게 유도되는가?
• RQ3 이 프레임워크에서 수축 가능한 군과 분배적 균일 irq 사이의 관계는 무엇인가?
• RQ4 Loos의 관점에서의 대칭 공간은 제안된 균일 반군 구조와 어떻게 관련되는가?
• RQ5 대수적 및 미분적 구조 간의 호환성 조건은 최소한의 대수적 시스템에서의 유도를 통해 재정의될 수 있는가?

주요 결과

• 수축 가능한 군과 분배적 균일 irq 사이의 전단사 관계가 수립되어 구조적 동치성을 보여준다.
• Loos의 관점에서의 대칭 공간은 분배성 성질을 지닌 균일 반군으로 특성화된다.
• 초월 대수의 대수적 연산과 관계는 irq 연산과 균일한 한계의 조합으로 도출된다.
• 대수적 및 미분적 구조 간의 미분 가능성 조건이 균일한 irq에서 대수적 정보의 유도로 대체된다.
• 부드러움 대신 균일한 반군 공리를 사용함으로써 이 프레임워크는 미분기하학과 대수적 구조에 대한 새로운 기초를 제공한다.
• 초월 대수 프레임워크는 균일한 irqs를 기반으로 한 공통의 대수기하학적 구조 아래서 수축 가능한 군과 대칭 공간을 통합한다.