[논문 리뷰] Universal Associative Geometry

Wolfgang Bertram|arXiv (Cornell University)|2014. 06. 06.

Advanced Topics in Algebra참고 문헌 10인용 수 3

한 줄 요약

이 논문은 집합 Ω에서 그 멱집합 𝒫(Ω)로의 연관 구조 확장인 연관자 구조(예: 전군좌표와 주어진 동치관계)를, 가환 동치관계 하에서의 관계적 합성에 의해 확장함으로써 일반적인 기하학적 구조를 제안한다. 주요 기여는 부분집합과 동치관계 사이의 이중성으로, 이를 통해 군좌표의 일반화와 삼항 연산을 통한 이중성과 이중성의 일반화를 가능하게 하며, 토르서와 동질 기하학에의 적용을 포함한다.

ABSTRACT

We generalize parts of the theory of associative geometries developed by Kinyon and the author in the framework of universal algebra: we prove that certain associoid structures, such as pregroupoids and principal equivalence relations, have a natural prolongation from a set to its the power set. We reinvestigate the case of homogeneous pregroupoids (corresponding to the projective geometry of a group) from the point of view of pairs of commuting principal equivalence relations. We use the ternary approach to groupoids developed by Anders Kock, and the torsors defined by our construction can be seen as a generalisation of the known groups of bisections of a groupoid.

연구 동기 및 목표

• 특정 사례를 넘어서 일반적인 대수적 프레임워크를 개발하여 연관 기하학을 수립하기 위해.
• 일반 대수학에서 기록된 불완전한 이중성의 완성 방식으로 부분집합과 동치관계 사이의 이중성을 일반화하기 위해.
• 가환 동치관계 하에서 Ω에서 𝒫(Ω)로의 전군좌표와 주어진 동치관계의 자연스러운 확장이 가능함을 보여주기 위해.
• 삼항 연산과 이분단을 통해 군좌표와 토르서의 기하학적 및 대수적 측면을 통합하는 방식으로 재구성하기 위해.
• 가환 동치관계 쌍으로부터 반토르서와 토르서를 정준적으로 구성하기 위해.

제안 방법

• 삼항 곱의 형식적 접근 방식을 사용하여 곱을 [xyz] 또는 xy⁻¹z로 표현함으로써 연관성과 준연관성의 구조를 정의한다.
• 삼항 곱의 정의역을 집합 M 위의 두 동치관계 a와 b에 의해 정의하며, 곱이 부분적으로 정의될 경우 이를 전군좌표로 간주한다.
• 가환 동치관계 쌍 (a,b)를 고정함으로써 Ω의 부분집합에 대한 관계적 합성 x∘y⁻¹∘z를 구성함으로써 '집합의 합성'을 가능한 구조로 정의한다.
• 전군좌표 (M,a,b)에서의 이분단 s의 개념을 도입하여, [g a_g b_g]와 [g b_g h]를 각각 역원과 합성의 정의로 사용한다.
• 고정된 이분단 s를 가진 전군좌표가 군좌표로 전환되며, s가 단위원소의 집합이 되는 것을 증명함으로써 기존의 군좌표와 전군좌표 간의 대응을 일반화한다.
• 정준 핵과 연관 쌍 (U_a, U_b)를 사용하여 삼항 곱의 행동과 그 멱집합으로의 연장성을 분석한다.

실험 결과

연구 질문

• RQ1 가환 동치관계 쌍이 주어진 집합 Ω의 부분집합에 대해 관계적 합성을 어떻게 확장할 수 있는가?
• RQ2 단일한 삼항 연산을 통해 군과 군좌표를 모두 일반화하는 일반 대수적 구조는 무엇인가?
• RQ3 부분집합과 동치관계 사이의 이중성이 관계적 구조를 통해 '집합의 합성'을 가능하게 하도록 완성될 수 있는가?
• RQ4 전군좌표와 주어진 동치관계는 집합 Ω에서 그 멱집합 𝒫(Ω)로 어떻게 확장되는가?
• RQ5 가환 동치관계 쌍은 일반 연관 기하학 프레임워크 내에서 반토르서와 토르서를 정의하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 임의의 집합 Ω 위의 가환 동치관계 쌍 (a,b)에 대해 멱집합 𝒫(Ω)가 관계적 합성 x∘y⁻¹∘z를 통해 자연스럽게 반토르서의 구조를 갖는다는 것을 입증한다.
• 고정된 이분단 s를 가진 전군좌표 (M,a,b)는 s가 단위원소 집합이 되는 군좌표로 전환되며, 삼항 곱 [xyz]는 곱셈과 역원의 정의를 동시에 포함한다.
• 전군좌표에서 토르서를 구성하는 방법은 기존의 군좌표의 이분단 집합의 군을 일반화하여 보편 대수적 맥락으로 확장한다.
• 정준 핵과 연관 쌍 (U_a, U_b)는 멱집합으로의 연장성 분석을 위한 구조적 프레임워크를 제공한다.
• 동질적인 경우, (U_a, U_b)의 구조는 이중 토르서를 나타내며, 벡터 공간과 그 이중공간 사이의 이중성 일반화를 포함한다.
• 이 이론은 일반 대수학과 관계적 합성의 맥락에서 리 군과 리 대수 간의 유사성과 유사한 연관 대수를 위한 보편 기하학적 언어를 제공한다.