[논문 리뷰] Double groupoids, matched pairs and then matched triples

Ronald Brown|arXiv (Cornell University)|2011. 04. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 기존의 이중 군oids와 매칭된 두 군의 쌍 사이의 대응관계를 삼중 경우로 확장하며, 입방체 도형과 왼쪽 및 오른쪽 군 작용을 위한 새로운 표기법을 사용하여 매칭된 세 군의 프레임워크를 제안한다. 짝지어진 연산(↗, ↘)을 통한 대수적 합성을 통해 삼중집합에 군의 구조를 정의하며, 매칭된 쌍 이론의 고차원 일반화를 제안하며 비아벨 대수학과 고차원 범주론에 응용 가능성이 있다.

ABSTRACT

In this note we show that the known relation between double groupoids and matched pairs of groups may be extended, or seems to extend, to the triple case. The references give some other occurrences of double groupoids.

연구 동기 및 목표

• 이중 군oids와 매칭된 두 군의 쌍 사이에 알려진 연결고리를 세 군의 경우로 일반화하기 위해.
• 입방체 도형을 사용하여 매칭된 세 군의 군의 구조를 기술하는 일관된 대수적이고 기하학적인 프레임워크를 개발하기 위해.
• 고차원 군의 구조에서 복잡한 표현을 단순화하는 데 도움이 되는 왼쪽 및 오른쪽 군 작용을 위한 표기 체계를 도입하기 위해.
• 입방체의 기하학을 바탕으로 하여 군 공리계를 만족하는 삼중집합 원소의 합성 법칙을 제안하기 위해.
• 비아벨 호모토피 이론과 고차원 범주론에서 삼중 군oids의 구조를 향후 연구를 위한 기초를 마련하기 위해.

제안 방법

• 군oids의 범주에서의 군oids 객체로서 이중 군oids의 개념을 사용하며, 두 개의 상호작용 가능한 군oids의 구조를 갖는다.
• 이중 군oids에서 사각형을 조합할 때 일致성을 확보하기 위해 교환 법칙을 적용하며, 대수적으로 (x∘₁z)∘₂(y∘₁w) = (x∘₂y)∘₁(z∘₂w)로 표현된다.
• 작용 군oids M⋊N 및 M←N를 사용하여 매칭된 두 군의 쌍을 표현하며, 작용과 역원을 그림 기반 표기법으로 나타낸다.
• ∧ 기호를 사용하여 TeX 스타일의 표기법을 도입하여 슈퍼스크립트를 표시한다: ^∧mn = ⁱᵐn, m∧n = mⁿ.
• 세 군 M, N, P 간의 상호 왼쪽 및 오른쪽 작용을 고려하여 이 프레임워크를 확장하며, 레이블이 붙은 변과 꼭짓점을 갖는 입방체로 모델링한다.
• 두 개의 새로운 연산 ↗ 및 ↘를 사용하여 삼중집합 (m,n,p)(μ,ν,π)의 군의 합성 공식을 제안하며, 이는 내재된 작용과 역원을 인코딩한다.

실험 결과

연구 질문

• RQ1 이중 군oids와 매칭된 두 군의 쌍 사이의 이중성은 삼중 설정으로 일반화될 수 있는가?
• RQ2 세 부분군 M, N, P 간의 일관된 군 작용은 입방체 구조에서 기하학적으로 및 대수학적으로 어떻게 표현될 수 있는가?
• RQ3 고차원 군oids에서 복잡한 내재된 작용을 표현하는 데 도움이 되는 표기 체계는 무엇인가?
• RQ4 제안된 삼중집합 원소의 합성 법칙이 군 공리계를 만족하는가?
• RQ5 군의 연산에 대한 기하학적 해석은 입방체 도형을 메우는 방식으로 어떻게 해석될 수 있는가?

주요 결과

• 논문은 각 면이 작용의 매칭된 쌍에 대응하는 입방체 모델을 사용하여 매칭된 세 군의 군의 구조를 위한 형식 체계를 제안한다.
• 왼쪽 및 오른쪽 군 작용을 구분하기 위해 ∧ 기반의 새로운 표기법을 도입하여 복잡한 표현의 가독성을 크게 향상시켰다.
• 삼중집합의 합성은 두 개의 연산 m↗n = m^(^∧m̄n̄) 및 m↘n = ^∧(m̄n̄)n을 통해 정의되며, 이는 역원과 작용의 상호작용을 인코딩한다.
• 삼중집합의 후보 군 합성 법칙은 (m,n,p)(μ,ν,π) = (m((μ↗p)↗n), ((μ↗p)↘n)(ν↗(μ↘p)), (ν↗(μ↘p))π)로 주어지며, 이는 매칭된 쌍 공식을 일반화한다.
• 논문은 이 삼중 합성 법칙이 군 공리계를 만족할 것이라 제안하지만, 이는 기호적 연산이 아닌 입방체 도형 분석을 통한 검증이 필요하다.
• 이 프레임워크는 고차원 대수적 구조와 비아벨 호모토피 이론에 대한 향후 연구를 위한 기초로 제안된다.