[논문 리뷰] On definitions of relatively hyperbolic groups

Inna Bumagin|ArXiv.org|2004. 02. 05.

Geometric and Algebraic Topology참고 문헌 6인용 수 8

한 줄 요약

이 논문은 그로모프의 기하학적 의미에서 상대적으로 히페르볼릭인 군이 편의적으로 정의된 바이어스의 조합적 정의(BCP 성질을 포함)를 만족한다는 직접적이고 대체적인 증명을 제공한다. 콘형으로 만든 카일리 그래프와 수평구역을 축소하여 얻은 수정된 히페르볼릭 공간 사이의 쌍대등거리 사상(cone-off Cayley graph와 수평구역을 축소한 수정된 히페르볼릭 공간 사이의 쌍대등거리 사상)을 구성함으로써, 그로모프의 상대적 히페르볼릭성은 파르브의 정의를 함의함을 입증하며, 두 정의의 동치성을 확인한다.

ABSTRACT

The purpose of this note is to provide a short alternate proof that (combined with a theorem proven by Szczepanski) shows that a group which is relatively hyperbolic in the sense of the definition of Gromov is relatively hyperbolic in the sense of the definition of Farb.

연구 동기 및 목표

• 스체판스키(2004)의 질문 1.5를 해결한다: 그로모프의 의미에서 상대적으로 히페르볼릭인 군이 파르브의 유한한 쌍정의 성질(BCP 성질)을 만족하는가?
• 그로모프의 정의에서 파르브의 정의로의 함의를 직접적이고 독립적인 증명을 제공한다.
• 상대적으로 히페르볼릭 군에 대해 기하학적 정의(Gromov)와 조합적 정의(Farb)의 동치성을 확립한다.
• 상대적으로 히페르볼릭 군에 대해 공액성 문제의 알고리즘적 해법에서 BCP 성질이 차지하는 역할을 강화한다.

제안 방법

• G-불변인 서로소 수평구역의 내부를 제거함으로써, 적절하고 길이가 있는, 그로모프-히페르볼릭인 공간에서 G-히페르볼릭 공간 X를 구성한다.
• 군 생성자를 X 내의 경로로 올리는 군 작용을 유지하고 G-등변적인 구조를 유도하는, 카일리 그래프 Γ(G,A)에서 X로의 사상 f를 정의한다.
• 각 수평구역 경계를 한 점으로 축소함으로써 얻는 몫공간 X̂를 얻으며, 이는 [9, 정리 1]에 의해 그로모프-히페르볼릭이다.
• 콘형으로 만든 그래프 Γ̂에서 X̂로의 유도된 사상 f̂가 쌍대등거리임을 보이고, 이는 콘형으로 만든 그래프가 히페르볼릭임을 의미한다.
• 쌍대등거리 사상을 이용해 쌍정의 경로의 입구/출구 지점 사이의 거리를 유계로 제한함으로써, 쌍정 (G,H)에 대한 BCP 성질을 검증한다.
• 유한한 수의 주변부 하위군으로의 일반화를 위해 다수의 기저 수평구역을 선택하고, 그 기저점을 연결하는 유한한 트리를 축소한다.

실험 결과

연구 질문

• RQ1 그로모프의 의미에서 상대적으로 히페르볼릭인 군은 반드시 파르브가 정의한 유한한 쌍정 정의 성질(BCP 성질)을 만족하는가?
• RQ2 그로모프의 기하학적 정의와 파르브의 조합적 정의 사이의 동치성은 직접적인 기하학적 증거로 확립될 수 있는가?
• RQ3 수평구역의 구조와 그 경계는 콘형으로 만든 카일리 그래프를 쌍대등거리 모델로 실현하는 데 어떤 역할을 하는가?
• RQ4 콘형으로 만든 카일리 그래프와 수평구역을 축소한 공간 사이의 쌍대등거리 사상은 쌍정 내 경로 침투에 대한 통제를 어떻게 보장하는가?
• RQ5 G-히페르볼릭 공간에서 불변 수평구역을 갖는 코컴팩트, 적절히 이산적이고 등거리 군 작용이 존재할 경우, BCP 성질을 도출할 수 있는가?

주요 결과

• 군 G가 그로모프의 의미에서 상대적으로 히페르볼릭일 조건과 파르브의 의미에서 상대적으로 히페르볼릭일 조건은 동치이며, 두 정의의 동치성을 확인한다.
• 그로모프 의미에서 상대적으로 히페르볼릭인 군에 대해 BCP 성질이 성립함을 입증하며, 스테판스키의 질문 1.5에 대한 긍정적 해답을 제시한다.
• 콘형으로 만든 카일리 그래프 Γ̂는 수평구역 경계를 축소하여 얻은 그로모프-히페르볼릭 공간 X̂와 쌍대등거리이므로 히페르볼릭이다.
• BCP 성질의 상수 B는 쌍대등거리 상수와 수평구역 간격 R에 따라 명시적으로 유계로 제한된다.
• 단일 주변부 하위군에서 유한한 수의 주변부 하위군으로의 일반화는 다수의 수평구역 기저점을 연결하는 유한한 트리를 축소함으로써 이루어진다.
• 이 구성은 쌍정 내 경로의 침투가 수평구역 경계를 따라 통제된 이동과 대응되도록 보장하며, BCP 조건을 충족시킨다.