[논문 리뷰] Note on commutativity in double semigroups and two-fold monoidal categories

Joachim Kock|arXiv (Cornell University)|2006. 08. 17.

semigroups and automata theory참고 문헌 12인용 수 39

한 줄 요약

이 논문은 어떤 이중 반군에서도 특정한 16개 요소로 구성된 재배열 항등식이 단위가 없더라도 일정한 조건 하에서 교환법칙을 유도함을 증명한다. 이를 확장하여, 약한 단위를 갖는 엄격한 결합법칙을 만족하는 이중 모나드 카테고리가 반드시 열림이 없는 대칭 구조임을 증명하며, 이는 한 개의 대상과 한 개의 화살표를 갖는 3-군론이 모든 단순연결된 호모토피 3형식을 묘사할 수 없음을 시사한다.

ABSTRACT

A concrete computation -- twelve slidings with sixteen tiles -- reveals that certain commutativity phenomena occur in every double semigroup. This can be seen as a sort of Eckmann-Hilton argument, but it does not use units. The result implies in particular that all cancellative double semigroups and all inverse double semigroups are commutative. Stepping up one dimension, the result is used to prove that all strictly associative two-fold monoidal categories (with weak units) are degenerate symmetric. In particular, strictly associative one-object, one-arrow 3-groupoids (with weak units) cannot realise all simply-connected homotopy 3-types.

연구 동기 및 목표

• 고전적인 Eckmann-Hilton 추론이 적용되지 않는 단위가 없는 이중 반군에서의 교환법칙 현상에 대해 조사한다.
• 단위가 없더라도 캐슬러티브 또는 인버스 이중 반군이 반드시 교환법칙을 만족하는지 확인한다.
• 이 분석을 고차원 카테고리적 구조, 특히 이중 모나드 카테고리로 확장하고 그 구조적 제약 조건을 규명한다.
• 이러한 결과가 한 개의 대상과 한 개의 화살표를 갖는 3-군론이 단순연결된 호모토피 3형식을 묘사할 수 있는지에 대한 함의를 검토한다.

제안 방법

• 이중 반군 내에서 비틀림이 있는 12개의 슬라이딩과 16개의 요소를 활용한 기하학적 타일 기반 계산을 통해 비자명한 재배열 항등식을 증명한다.
• 도표적 표현을 통해 교환 법칙과 결합법칙을 적용하여 16개 요소로 구성된 교환법칙 항등식을 유도한다.
• 캐슬러티브 및 인버스 성질을 활용하여 항등식 내의 이름이 없는 요소를 제거함으로써 완전한 교환법칙을 증명한다.
• 이중 반군 결과를 카테고리적 맥락으로 번역하기 위해 이중 반군을 Cat 내의 엄격한 이중 모나드로 모델링한다.
• 약한 단위의 존재와 그 캐슬러티브 성질을 활용하여, 구조를 유지하고 대칭 구조를 구성할 수 있는 동치 함자 F를 구성한다.
• 완전 충실하고 강력 곱을 보존하는 함자 F를 통해 대칭 이sovorphism σ를 정의하며, 16개 요소 항등식에서 유도된 등식 FX ⊗ FY = FY ⊗ FX를 활용한다.

실험 결과

연구 질문

• RQ1 단위가 없더라도 교환 법칙과 결합법칙만으로 이중 반군에서 교환법칙을 도출할 수 있는가?
• RQ2 단위가 없더라도 캐슬러티브 또는 인버스 이중 반군이 반드시 교환법칙을 만족하는가?
• RQ3 약한 단위를 갖는 엄격한 결합법칙을 만족하는 이중 모나드 카테고리에서 어떤 구조적 제약 조건이 발생하는가?
• RQ4 한 개의 대상과 한 개의 화살표를 갖는 3-군론이 약한 단위를 갖는 모든 단순연결된 호모토피 3형식을 묘사할 수 있는가?
• RQ5 이중 모나드 카테고리에서 Eckmann-Hilton 방식의 추론에 의해 유도된 대칭이 반드시 열림이 되는가?

주요 결과

• 모든 이중 반군에서 16개 요소로 구성된 재배열 항등식이 성립한다: 구성이 전체적으로 90도 회전하더라도 곱의 값은 변하지 않으며, 이름이 없는 요소들의 순서는 유지된다.
• 모든 캐슬러티브 이중 반군은 교환법칙을 만족한다. 16개 요소 항등식 내의 빈 공간 요소들이 캐슬러티브 성질을 통해 상쇄되기 때문이다.
• 모든 인버스 이중 반군은 교환법칙을 만족한다. 인버스 성질을 통해 이름이 없는 요소들을 동일하게 상쇄시킬 수 있기 때문이다.
• 약한 단위를 갖는 엄격한 결합법칙을 만족하는 이중 모나드 카테고리의 모든 경우는 반드시 열림이 없는 대칭 구조이다. 즉, 브라딩이 자명하다.
• 약한 단위를 갖는 엄격한 결합법칙을 만족하는 한 개의 대상과 한 개의 화살표를 갖는 3-군론은 모든 단순연결된 호모토피 3형식을 묘사할 수 없다. 이는 유도된 대칭이 열림이기 때문이다.
• 이러한 이중 모나드 카테고리의 대칭은 단위와 교환 법칙 이sovorphism의 복합으로 유도되지만, 16개 요소 항등식의 영향으로 반드시 열림이 되어야 한다.