Finite Presentability of Brin-Higman-Thompson Monoids via Free Jónsson-Tarski Algebras

기술 요약: 자유 다차원 Jónsson-Tarski 대수를 통한 Brin-Higman-Thompson 모노이드의 유한 제시성

문제 정의
본 논문은 Brin-Higman-Thompson 군 ${}_n G_{k,r}$의 비부분적 일반화인 모노이드 $tot \, {}_n M_{k,r}$의 구조적 성질을 다룬다. Birget에 의해 도입된 이 모노이드들은 고차원에서의 Thompson의 군 $V$(및 그 모노이드 버전 $tot \, M_{2,1}$)를 확장하며, 반드시 단사(injective)가 아닌 접두사 코드(prefix codes) 상의 부분 사상(partial maps)을 포함한다. Thompson의 군 $V$와 그 고차원 아날로그인 ${}_n G_{k,r}$의 유한 제시성은 잘 확립되어 있으나, 연관된 모노이드 $tot \, {}_n M_{k,r}$의 유한 제시성은 입증되지 않은 상태였다. 저자들은 모든 $n, r \ge 1$ 및 $k \ge 2$에 대해 이 모노이드들이 유한 제시됨을 입증하는 것을 목표로 한다.

방법론
저자들은 대수 기하학(Jónsson-Tarski 다양체를 통한)과 조합적 재작성 시스템(combinatorial rewriting systems)을 결합한 이중 접근 방법을 사용한다.

1. Jónsson-Tarski 대수를 통한 대수적 실현:
   저자들은 먼저 모노이드 $tot \, {}_n M_{k,r}$와 $n$차원 $k$-항 Jónsson-Tarski 다양체의 자유 대수의 준동형 사상 모노이드 $End(F_{n,k,r})$ 사이의 동형 관계를 확립한다.

• 저자들은 $n$개의 $k$-항 연산($\lambda_i$)과 $nk$개의 단항 연산($\alpha_{i,j}$) 및 특정 역원 및 교환 관계를 갖는 다양체${}_n J_k$를 정의한다.
• 저자들은 "shrubberies"(접두사 코드를 나타내는 공간 ${}_n T_{k,r}$의 원소들)와 $F_{n,k,r}$의 자유 생성원들 사이의 매핑을 구축한다.
• "확장(expansions)"(Thompson 군의 트리 확장과 유사한 개념)의 개념을 사용하여, 완전한 접두사 코드가 대수의 자유 생성 집합과 일대일 대응함을 증명한다. 이를 통해 모노이드의 원소들을 생성 집합들에 작용하는 준동형 사상으로 표현할 수 있다.

2. 재작성 관점:
   유한 제시성을 증명하기 위해, 저자들은 레이블이 지정된 자유 생성 집합 상에서 작용하는 "재작성 규칙(rewrite rules)"으로 간주되는 반동형(anti-isomorphic) 모노이드 ${}_n Rel_{k,r}$로 시각을 전환한다.

• 저자들은 생성자들이 무한 집합으로부터 레이블을 할당받는 "레이블이 지정된 자유 생성 집합"을 도입한다.
• 모노이드의 원소들은 레이블을 보존하면서 하나의 레이블된 집합을 다른 집합으로 어떻게 매핑하는지에 의해 정의된다. 이 프레임워크를 통해 저자들은 모노이드 원소를 (Thompson의 군 $V$에서의 괄호가 있는 식과 유사한) 식들의 변환으로 취급할 수 있다.
• 저자들은 "지연(deferments)"을 도입하여, 사상의 작용을 특정 루트 시스템(root systems)으로 이동시켜 생성자들을 조작하기 용이하게 만든다.

3. 제시(Presentation)의 구성:
   유한 제시성 증명은 다음과 같이 진행된다:

• 모노이드를 그 단위 군(automorphisms)과 두 개의 특정 비가역 원소($U$ 및 $\pi$)에 의해 유한 생성됨을 보임으로써 시작한다.
• 원소 간의 등가성을 탐지하는 도구로서 자유 모노이드 곱과 동형인 부모노이드 ${}_n P_{k,1}$를 정의한다.
• 명시적인 유한 제시 $\langle \Sigma | R \rangle$를 구성한다. 관계식들은 단위 군을 정의하는 관계, 단위와 비가역 생성자 사이의 상호작용을 규정하는 관계, 그리고 "지연" 메커니즘 및 자유 대수의 구조로부터 유도된 특정 관계들을 포함한다.

주요 기여 및 결과

• 정리 1.1 (동형): $r, n \ge 1$ 및 $k \ge 2$에 대하여, 모노이드 $tot \, {}_n M_{k,r}$는 $n$차원 $k$-항 Jónsson-Tarski 다양체의 $r$-생성 자유 대수의 준동형 사상 모노이드와 동형이다. 이는 이 모노이드들에 대한 구체적인 대수적 모델을 제공한다.
• 정리 1.2 (유한 제시성): 모노이드 $tot \, {}_n M_{k,r}$는 유한 제시된다.
• 명시적 제시: 저자들은 특정 사례인 $tot \, M_{2,1}$(Thompson의 원래 모노이드)에 대한 명시적이지만 복잡한 유한 제시를 제공한다. 이 제시식은 일반적인 구성을 바탕으로 유도된 생성자 $u, v, \pi_L, U$와 82개의 관계식을 포함한다.
• Thompson의 증명 일반화: 본 방법론은 고차원 접두사 코드를 처리하기 위해 Jónsson-Tarski 대수의 구조를 활용함으로써, Thompson의 원래 모노이드 유한 제시 증명을 다차원 환경으로 적응시킨 것이다.

의의
본 논문은 비부분적 Brin-Higman-Thompson 모노이드가 유한 제시되는지에 대한 미해결 문제를 해결한다. 이 모노이드들을 특정 다양체의 자유 대수의 준동형 사상 모노이드로 실현함으로써, 저자들은 이 모노이드들의 위상적/조합적 정의와 추상 대수 구조 사이의 간극을 메운다. 이러한 실현은 자유 대상(free objects) 및 다양체(varieties)와 관련된 대수적 기법을 모노이드의 제시 문제에 적용할 수 있게 한다.

저자들은 자신들의 방법이 비부분적 모노이드 $tot \, {}_n M_{k,r}$를 다루는 데는 성공했지만, (비교 불가능한 이미지 집합을 포함하는) 부분적 모노이드 ${}_n M_{k,r}$의 유한 제시성에 대한 문제는 여전히 열려 있음을 언급한다. 그들은 자신들의 기법이 이러한 부분적 구조를 다루기 위해 수정될 수 있음을 시사하지만, 해당 사례를 해결했다고 주장하지는 않는다. 또한 본 연구는 Higman-Thompson 유형의 군과 모노이드의 구조를 이해하는 데 있어 Jónsson-Tarski 대수의 유용성을 강조한다.