[논문 리뷰] Coxeter-like groups for groups of set-theoretic solutions of the Yang--Baxter equation

Patrick Dehornoy|arXiv (Cornell University)|2013. 05. 16.

Algebraic structures and combinatorial models참고 문헌 6인용 수 7

한 줄 요약

이 논문은 양-바크스 방정식의 유한, 비틀림, 비퇴화된 집합론적 해에 대해 정의된 유한군 W를 도입한다. 이 W는 구조군 M에 대해 가르시드 군자리로 작용하며, 그 카일리 그래프는 M 내의 가르시드 원소 Δ의 약수들의 하세 다이어그램과 동형이다. 주요 결과는 1 → ℤⁿ → G → W → 1 형태의 짧은 임의의 수열이며, 여기서 W의 순서는 pⁿ이며, 구조군의 조합론적 구조를 반영하는 유한 몫군을 제공한다.

ABSTRACT

We attach with every finite, involutive, nondegenerate set-theoretic solution of the Yang--Baxter equation a finite group that plays for the associated structure group the role that a finite Coxeter group plays for the associated Artin--Tits group.

연구 동기 및 목표

• 모든 가르시드 군이 유한 몫군(즉, '가르시드 군자리'로 불리는) W를 가지는지 여부에 대한 열린 질문을 다루며, 이 W가 구조 모노이드 M에 대해 가르시드 군자리로 작용하고, W의 카일리 그래프가 가르시드 원소 Δ의 약수 래티스와 동형이 되는지 확인한다.
• 양-바크스 방정식의 유한, 비틀림, 비퇴화된 집합론적 해로부터 유도된 구조군에 대해 이를 긍정적으로 해결한다.
• 해의 계수 p에 따라 정의된 유한군 W(순서 pⁿ)를 정의하고, 이가 그 구조군의 가르시드 구조를 지배함을 보여준다.
• 구조 모노이드 M 내의 가르시드 원소 Δ의 약수들의 하세 다이어그램과 군자리 (W, X)의 카일리 그래프 사이의 동형을 보여준다.

제안 방법

• Π_{p+1}(x,…,x,y) = y를 만족하는 항등식을 통해 유한 RC-반군의 계수 p를 정의한다. 여기서 Π_n은 재귀적으로 정의된 곱이다.
• 우측 순환 법칙과 I-구조를 이용해 ℤⁿ의 결과를 일반적인 구조 모노이드로 확장한다.
• 자유 모노이드 X 위의 동치 관계 ≡을 정의한다. g ≡ h일 때는 ℤⁿ에서의 이미지가 p에 대해 합동일 경우로 정의한다.
• W를 G/≡로 정의하며, 원래 군 표현에 x^{[p]} = 1을 추가한 관계를 유도한다.
• G → W의 사영의 핵이 ℤⁿ과 동형이며, X에 속하는 x에 대해 x^{[p]}로 생성된다고 보여준다.
• 사영 ν를 통한 몫 사상에 의해, M 내의 Δ의 약수들의 하세 다이어그램과 군자리 (W, X)의 카일리 그래프 사이의 동형을 증명한다.

실험 결과

연구 질문

• RQ1 모든 가르시드 군이 유한 몫군 W를 가지는가? 이때 W는 구조 모노이드 M에 대해 가르시드 군자리로 작용하며, M의 원소들에 대한 원자들에 대한 W의 카일리 그래프가 가르시드 원소 Δ의 약수 래티스와 동형이 되는가?
• RQ2 유한, 비틀림, 비퇴화된 집합론적 양-바크스 방정식 해에 대해, 그 해의 계수 p에 따라 순서가 pⁿ인 유한군 W를 부여할 수 있는가? 이 W는 그 구조군의 가르시드 구조를 지배하는가?
• RQ3 군자리 (W, X)의 카일리 그래프는 구조 모노이드 M 내의 가르시드 원소 Δ의 약수들의 하세 다이어그램과 동형인가?
• RQ4 가르시드 원소 Δ는 해의 계수 p와 어떻게 관련되어 있으며, 1 → ℤⁿ → G → W → 1 수열에서 어떤 역할을 하는가?

주요 결과

• 모든 계수 p를 가진 유한, 비틀림, 비퇴화된 집합론적 양-바크스 방정식 해에 대해, 관련된 구조군 G는 약수 집합이 정확히 pⁿ개인 가르시드 원소 Δ를 갖는다.
• 유한군 W = G/≡는 순서 pⁿ이며, 1 → ℤⁿ → G → W → 1 수열에 들어가며, 여기서 ℤⁿ은 X에 속하는 x에 대해 x^{[p]}로 생성되는 핵이다.
• 길이가 가산적인 곱으로 제한된 군자리 (W, X)의 카일리 그래프는 구조 모노이드 M 내의 Δ의 약수들의 하세 다이어그램과 동형이다.
• W의 표현은 원래 군 G의 표현에 x^{[p]} = 1을 추가함으로써 얻어지며, 여기서 x^{[p]}는 x로 시작하는 길이 p의 단어이다.
• 가르시드 원소 Δ는 ν에 의해 ℕⁿ 내의 원소 δ = (p, p, ..., p)의 상으로 표현되며, 정확히 pⁿ개의 약수를 가진다.
• 세 개의 생성자 a, b, c와 f(a)=b, f(b)=c, f(c)=a를 가진 계수 3의 예시에서, 군 W는 27개의 원소를 가지며, 그 카일리 그래프는 3차원 큐브이며, Δ의 약수 래티스와 정확히 일치한다.