[논문 리뷰] On the generalized membership problem in relatively hyperbolic groups

Olga Kharlampovich, Pascal Weil|arXiv (Cornell University)|2019. 08. 09.

Geometric and Algebraic Topology참고 문헌 31인용 수 1

한 줄 요약

이 논문은 상대적으로 쌍곡군의 상대적 준볼록 부분군에 대한 일반화된 소속 문제의 결정 가능성을, 경미한 외부 구조 조건 하에서 입증한다. 이는 스탤링스 그래프와 자동 구조를 기반으로 한 준알고리즘을 사용한다. 주요 기여는 부분군이 상대적으로 준볼록일 경우에만 정지하고 올바르게 소속 여부를 결정하는 부분 알고리즘이다. 이는 상대적으로 쌍곡군의 기하학적 및 알고리즘적 성질과 외부 유한성 조건을 활용한다.

ABSTRACT

The aim of this short note is to provide a proof of the decidability of the generalized membership problem for relatively quasi-convex subgroups of finitely presented relatively hyperbolic groups, under some reasonably mild conditions on the peripheral structure of these groups. These hypotheses are satisfied, in particular, by toral relatively hyperbolic groups.

연구 동기 및 목표

• 구성군 이론에서 오랫동안 열려 있던 문제인 상대적으로 쌍곡군에서의 일반화된 소속 문제의 결정 가능성에 대응하기 위해.
• 상대적으로 쌍곡군의 외부 구조에 대해 상대적 준볼록 부분군의 소속 문제의 결정 가능성이 보장되는 조건을 규명하기 위해.
• 특히 자유군과 쌍곡군을 넘어서 상대적으로 쌍곡군의 더 넓은 범주로 스탤링스 그래프와 자동 구조 기법을 확장하기 위해.
• 주어진 원소의 소속 여부를 정확히 결정하고, 부분군이 상대적으로 준볼록일 경우에만 정지하는 준알고리즘을 제공하기 위해.

제안 방법

• 입력된 단어들로 생성된 부분군에 대해 자유군 내에서 스탤링스 유사 그래프를 구성한 후, 군 표현의 관계자들을 라벨로 갖는 고리를 첨부하여 수정한다.
• 유한한 레이블이 부여되고 방향이 부여된 그래프를 유지하기 위해 반복적으로 스탤링스 접기 기법을 적용하여, 주어진 군 내의 부분군을 표현한다.
• 유한 지수의 외부 부분군을 포함하는 확장의 탐색을 통해 소속 여부를 테스트하기 위해 비결정적 준알고리즘을 적용한다.
• 외부 생성자를 포함한 확장된 알파벳에서 자동 구조를 활용하여 지오데식 대표를 표현하고 준볼록성을 검증한다.
• 헤루스카, 맨닝-마르티네스-페드로자, 앤토린-시오반의 결과를 활용하여 외부 유한 지수를 계산하고 확장된 부분군 내의 소속 여부를 검증한다.
• 이러한 요소들을 통합하여, 부분군이 상대적으로 준볼록일 경우에만 정지하고 소속 여부 또는 비소속 여부를 증명하는 부분 알고리즘을 구성한다.

실험 결과

연구 질문

• RQ1 상대적으로 쌍곡군의 외부 구조에 대해 어떤 조건이 성립할 경우, 상대적 준볼록 부분군에 대한 일반화된 소속 문제가 결정 가능해지는가?
• RQ2 자유군에서의 스탤링스 그래프 기반 방법은 외부 부분군이 비자명한 상대적으로 쌍곡군으로 확장될 수 있는가?
• RQ3 상대적 준볼록 조건을 만족할 경우에만 정지하고 올바르게 소속 여부를 결정하는 준알고리즘이 존재하는가?
• RQ4 자동 구조와 외부 유한 지수 조건을 어떻게 활용하여 이러한 부분군 내의 비소속 여부를 증명할 수 있는가?

주요 결과

• 경미한 외부 가정 조건 하에서, 유한 생성된 상대적으로 쌍곡군의 상대적 준볼록 부분군에 대해 일반화된 소속 문제가 결정 가능하다. 이는 토랄 상대적으로 쌍곡군을 포함한다.
• 부분군이 상대적으로 준볼록일 경우에만 정지하고 올바르게 소속 여부를 결정하는 준알고리즘이 구성된다.
• 이 알고리즘은 유한 지수 외부 확장에 대한 비결정적 탐색을 사용하며, 지오데식 대표를 갖는 자동 구조의 존재에 의존한다.
• 부분군 H가 상대적으로 준볼록이고 g ∉ H일 경우, H₁이 외부적으로 유한 지수를 가지며 g ∉ H₁인 유한 지수 외부 확장 H₁이 존재한다. 이는 알고리즘이 정지하고 비소속 여부를 증명할 수 있게 한다.
• 이 방법은 스탤링스 접기와 그래프 기반 부분군 표현을 상대적으로 쌍곡군의 맥락으로 일반화하여, 알고리즘적 유용성을 확장한다.
• 가정 (H1)–(H4) 하에서 이 구성은 효과적으로 작동하며, 이는 토랄 상대적으로 쌍곡군과 기타 자연스러운 군의 클래스에서 만족된다.