[논문 리뷰] Bowditch's JSJ tree and the quasi-isometry classification of certain Coxeter groups, with an appendix written jointly with Christopher Cashen

Pallavi Dani, Anne Thomas|arXiv (Cornell University)|2014. 02. 25.

Geometric and Algebraic Topology참고 문헌 53인용 수 17

한 줄 요약

이 논문은 코컴팩트 푸크시안은 아니지만 2차원, 1끝, 하이퍼볼릭 오른쪽-각 코exter 군이며, 2끝 부분군으로의 분할을 허용하는 군의 한 클래스에 대해 Bowditch의 JSJ 트리의 시각적이고 알고리즘적인 구성법을 제시한다. 정의하는 그래프 Γ의 그래프 이론적 특성—예를 들어 컷 쌍과 분리 성질—과 직접적으로 트리의 구조를 연결함으로써, 이 클래스에 대해 JSJ 트리가 완전한 준동형 위상 불변량임을 입증하며, 준동형 문제의 결정 가능성을 보장한다. 핵심 기여는 Γ에 대한 명시적인 조합 조건을 통해 JSJ 트리의 계산 가능하고 시각적인 특성화이다.

ABSTRACT

Bowditch's JSJ tree for splittings over 2-ended subgroups is a quasi-isometry invariant for 1-ended hyperbolic groups which are not cocompact Fuchsian. Our main result gives an explicit, computable "visual" construction of this tree for certain hyperbolic right-angled Coxeter groups. As an application of our construction we identify a large class of such groups for which the JSJ tree, and hence the visual boundary, is a complete quasi-isometry invariant, and thus the quasi-isometry problem is decidable. We also give a direct proof of the fact that among the Coxeter groups we consider, the cocompact Fuchsian groups form a rigid quasi-isometry class. In an appendix, written jointly with Christopher Cashen, we show that the JSJ tree is not a complete quasi-isometry invariant for the entire class of Coxeter groups we consider.

연구 동기 및 목표

• 특정 클래스의 오른쪽-각 코vester 군에 대해 Bowditch의 JSJ 트리의 시각적이고 알고리즘적인 구성법을 제공한다.
• 이 클래스에 대해 JSJ 트리가 완전한 준동형 위상 불변량임을 보이며, 이로 인해 준동형 문제의 결정 가능성을 확보한다.
• 코컴팩트 푸크시안 코vester 군이 이 클래스 내에서 강한 준동형 위상 불변 클래스를 이룬다는 것을 증명한다.
• 제시된 전체 코vester 군 클래스에 대해 JSJ 트리가 완전한 불변량이 아니라는 것을 증명한다(부록에서 반례를 통해 보여진다).

제안 방법

• 정의하는 삼각형이 없는 그래프 Γ의 그래프 이론적 성질—특히 컷 쌍과 분리 행동—을 이용해 JSJ 트리를 구성한다.
• JSJ 트리의 정점과 간선의 안정화자들이 WΓ의 특수 부분군(예: 무한 이면체군과 반전의 자유곱 등)의 코너지와 관련이 있음을 연결한다.
• 데이비스 복합체의 경계와 시각적 경계 ∂WΓ을 이용해 국소적 컷 점과 트리의 정점 간의 대응 관계를 분석한다.
• Lafont와 Papasoglu의 준동형과 경계 위상동형에 관한 기법을 적용하여, 경계 분해 공간에 유도된 사상의 분석을 수행한다.
• 경계 내의 Whitehead 그래프와 컷 세트를 이용해 분해 공간의 위상 불변량을 통해 준동형 유형을 구분한다.
• 경계 분해 공간 내 최소 컷 세트 크기가 위상동형 불변량임을 보임으로써, Wn+1과 Wm+1 사이에 준동형이 존재하는 것은 n = m일 때에만 가능함을 증명한다.

실험 결과

연구 질문

• RQ1 일부 오른쪽-각 코vester 군에 대해 Bowditch의 JSJ 트리가 정의하는 그래프 Γ로부터 명시적이고 시각적으로 구성될 수 있는가?
• RQ2 2차원, 1끝, 하이퍼볼릭 오른쪽-각 코vester 군의 이 클래스에 대해 JSJ 트리가 완전한 준동형 위상 불변량인가?
• RQ3 Γ 내에 컷 쌍이 존재하는 것이 WΓ에서 2끝 부분군으로의 비자명한 분할과 정확히 대응하는가?
• RQ4 이러한 코vester 군의 준동형 유형은 알고리즘적으로 결정 가능한가?
• RQ5 제시된 전체 코vester 군 클래스에 대해 JSJ 트리가 완전한 불변량인가, 아니면 예외가 존재하는가?

주요 결과

• WΓ의 JSJ 트리는 정의하는 그래프 Γ에 의해 명시적으로 결정된다: 정점과 간선은 Γ의 특정 정점 부분집합과 대응하며, 이는 명시적인 그래프 이론적 조건을 만족한다.
• 이러한 조건을 만족하는 군에 대해 JSJ 트리를 계산할 수 있는 알고리즘이 존재하므로, 구성은 완전히 계산 가능하다.
• 지정된 클래스의 코vester 군에 대해 JSJ 트리는 완전한 준동형 위상 불변량이며, 이는 준동형 문제의 결정 가능성을 암시한다.
• 코컴팩트 푸크시안 코vester 군은 강한 준동형 위상 불변 클래스를 이룬다. 즉, 자신들만과 준동형이 된다.
• 부록에서 반례를 통해, 서로 동형이 아닌 군들이 동일한 JSJ 트리를 공유하므로, 전체 고려 대상 코vester 군 클래스에 대해 JSJ 트리는 완전한 불변량이 아님을 보였다.
• 자유군 Fn의 경계 분해 공간 내 최소 컷 세트 크기는 위상동형 불변량이며, n ≠ m일 경우 Wn+1과 Wm+1를 구분함으로써 이 경우의 비준동형을 증명한다.