[논문 리뷰] Multifraction reduction I: The 3-Ore case and Artin-Tits groups of type FC

Patrick Dehornoy|arXiv (Cornell University)|2016. 06. 29.

Geometric and Algebraic Topology참고 문헌 18인용 수 5

한 줄 요약

이 논문은 Artin-Tits 군과 더 일반적인 gcd-모노이드에서 단어 문제를 해결하기 위한 새로운 대수적 접근을 제시한다. 다중분수 환원이라는 수렴하는 재작성 체계를 개발함으로써, 3-Ore 조건—즉, 유형 FC인 Artin-Tits 군을 특징짓는 조건—하에 모든 군 원소가 고유한 정규형으로서 다중분수로 표현됨을 증명한다. 이는 보편적인 van Kampen 다이어그램 형태를 갖는, 새로운 대수적 내재적 해법을 제공한다.

ABSTRACT

We describe a new approach to the Word Problem for Artin-Tits groups and, more generally, for the enveloping group U(M) of a monoid M in which any two elements admit a greatest common divisor. The method relies on a rewrite system R(M) that extends free reduction for free groups. Here we show that, if M satisfies what we call the 3-Ore condition about common multiples, what corresponds to type FC in the case of Artin-Tits monoids, then the system R(M) is convergent. Under this assumption, we obtain a unique representation result for the elements of U(M), extending Ore's theorem for groups of fractions and leading to a solution of the Word Problem of a new type. We also show that there exist universal shapes for the van Kampen diagrams of the words representing 1.

연구 동기 및 목표

• gcd-모노이드의 환영 군과 Artin-Tits 군의 단어 문제를 새로운 재작성 체계를 통해 해결하기.
• 3-Ore 조건을 만족하는 모노이드에서 오레의 고전적 유일 분수 표현을 고차원 다중분수로 확장하기.
• Garside 군에서 표준 기약 분수 형태를 일반화한 환영 군 원소의 정규형을 확립하기.
• 항등원을 표현하는 단어의 van Kampen 다이어그램에 보편적인 형태가 존재하는지 증명하기.
• 이 방법이 적용 가능한 Artin-Tits 모노이드를 정확히 특징짓기.

제안 방법

• 자유 환원을 확장한, 부호가 번갈아가는 모노이드 원소의 순서인 다중분수 위에서 작용하는 재작성 체계 $\mathcal{R}_M$ 를 도입한다.
• gcd-모노이드의 대수적 구조를 다루고 환원 단계가 잘 정의되도록 하기 위해 수정된 체계 $\widehat{\mathcal{R}}_M$ 를 정의한다.
• 3-Ore 조건 하에서 $\mathcal{R}_M$ 의 국소적 혼합성을 증명함으로써, 임계 쌍 보조정리에 의해 수렴성을 도출한다.
• 수렴성을 이용해 $\mathcal{U}(M)$ 의 모든 원소에 대해 고유한 기약 다중분수 표현을 확립하고, 오레의 정리를 일반화한다.
• 3-Ore 조건이 유형 FC와 동치임을 보여, 이 이론을 Artin-Tits 모노이드에 적용한다.
• 유한 부분집합 $I \subseteq \SS$ 에 대해 Garside 원소 $\Delta_I$ 가 존재하므로, 전역 공통 배수의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 gcd-모노이드의 환영 군에 대해 자유 환원을 일반화하는 수렴하는 재작성 체계를 구성할 수 있는가?
• RQ2 다중분수 환원이 군 원소에 대해 고유한 정규형을 도출하는 조건은 무엇인가?
• RQ3 이 방법이 적용 가능한 Artin-Tits 모노이드의 정확한 대수적 특징은 무엇인가?
• RQ4 항등원을 표현하는 단어의 van Kampen 다이어그램이 이 환원 체계 하에서 보편적인 형태를 갖는가?
• RQ5 새로운 정규형과 Artin-Tits 군 내 기존 기하학적 또는 조합적 정규형 사이에 연결 고리가 존재하는가?

주요 결과

• 다중분수 환원 체계 $\mathcal{R}_M$ 는 모노이드 $M$ 이 3-Ore 조건을 만족할 때이고 그때에만 수렴한다.
• 환영 군 $\mathcal{U}(M)$ 의 모든 원소는 특정한 서로소 조건과 나눗셈 불가 조건을 만족하는 다중분수 $a_1 a_2^{-1} a_3 \cdots a_n^{\pm 1}$ 으로 고유하게 표현 가능하다.
• Artin-Tits 모노이드의 경우, 3-Ore 조건이 성립하는 것과 군이 유형 FC임은 동치이며, 이는 완전한 특징화를 이룬다.
• 모노이드가 길이를 유지하는 관계를 갖는 유한 표현을 가질 경우, $\mathcal{U}(M)$ 의 단어 문제는 결정 가능하다.
• 보편 환원 전략의 존재는 항등원을 표현하는 모든 van Kampen 다이어그램이 보편적인 형태를 갖는다는 것을 의미한다.
• 이 방법은 기하학적 정규형의 순수 대수적 구성법을 제공하며, Niblo–Reeves CAT(0) 복합체와의 연결 가능성을 시사한다.