[논문 리뷰] Algorithmic Properties of Relatively Hyperbolic Groups

Donovan Yves Rebbechi|ArXiv.org|2003. 02. 20.

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

한 줄 요약

이 논문은 상대적으로 쌍곡군과 그 중심 확장이 이중자동성을 갖는 데 충분한 조건을 설정한다. 이를 위해 초등적 결과를 쌍곡군과 기하학적으로 유한한 군으로 일반화한다. CAT(−k) 기하학, 전기 등면적 부등식, 그리고 일반화된 위상 동행성에 의한 위조 성질을 사용하여, 만약 어떤 군이 이중자동성 부분군과 함께 상대적으로 쌍곡적이며, 정규형이 접두사 폐쇄성을 갖는다면, 그리고 확장 클래스가 포화 부분군에서 0이면, 그 확장은 이중자동성이 된다는 것을 증명한다. 이는 고전적 결과를 상대적으로 쌍곡적 환경으로 확장한다.

ABSTRACT

The following discourse is inspired by the works on hyperbolic groups of Epstein, and Neumann/Reeves. Epstein showed that geometrically finite hyperbolic groups are biautomatic. Neumann/Reeves showed that virtually central extensions of word hyperbolic groups are biautomatic. We prove the following generalisation: Theorem. Let H be a geometrically finite hyperbolic group. Let sigma in H^2(H) and suppose that sigma restricted to P is zero for any parabolic subgroup P of H. Then the extension of H by sigma is biautomatic. We also prove another generalisation of the result of Epstein. Theorem. Let G be hyperbolic relative to H, with the bounded coset penetration property. Let H be a biautomatic group with a prefix-closed normal form. Then G is biautomatic. Based on these two results, it seems reasonable to conjecture the following (which the author believes can be proven with a simple generalisation of the argument in Section 1): Let G be hyperbolic relative to H, where H has a prefixed closed biautomatic structure. Let sigma in H^2(G) and suppose that sigma restricted to H is zero. Then the extension of G by sigma is biautomatic.

연구 동기 및 목표

• 코homological vanishing 조건 하에서 중심 확장을 갖는 상대적으로 쌍곡군의 이중자동성을 증명하기 위해 Epstein의 기하학적으로 유한한 쌍곡군에 대한 이중자동성 결과를 일반화한다.
• 단어 쌍곡군 중심 확장의 이중자동성에 대한 Neumann–Reeves의 결과를 상대적으로 쌍곡적 환경으로 확장한다.
• 접두사 폐쇄성을 갖는 정규형을 가진 이중자동성 부분군에 대해 상대적으로 쌍곡인 군이 스스로 이중자동성이 되는 조건을 설정한다.
• 전기 기하학과 등면적 경계를 사용하여 상대적으로 쌍곡군에서의 이중자동성에 대한 프레임워크를 제공한다.

제안 방법

• Gromov-쌍곡적 메트릭 공간으로서 가중 길이 및 면적 함수를 갖는 캐스프된 케일리 복합체를 구성한다.
• 캐스프된 복합체가 선형 전기 등면적 부등식을 만족함을 증명하여, Gromov 쌍곡성을 유도한다.
• 이deal 삼각형에 대한 CAT(−k) 이론을 개발하여 캐스프된 복합체 내의 지오데식선을 분석한다.
• 캐스프된 케일리 그래프 내 경로에 대한 일반화된 위상 동행성에 의한 위조 성질을 수립한다.
• [E]에서 유래한 일반화된 자동성 보조정리를 적용한다. 이때 접두사 폐쇄 정규형과 균일한 동행 경로 경계를 사용한다.
• 유한한 코셋 침투 성질과 군족 이론적 도구를 사용하여 포화 부분군 근처의 경로 행동을 제어한다.

실험 결과

연구 질문

• RQ1 상대적으로 쌍곡군의 중심 확장이 언제 이중자동성이 되는가?
• RQ2 코homology 클래스가 모든 포화 부분군에서 0이면, 기하학적으로 유한한 쌍곡군의 중심 확장으로서의 이중자동성이 유지되는가?
• RQ3 기본군이 상대적으로 쌍곡적이며 정규형이 접두사 폐쇄성을 갖는 이중자동성 부분군에 대해 상대적으로 쌍곡인 군의 이중자동성이 유지되는가?
• RQ4 전기 등면적 부등식과 CAT(−k) 기하학을 사용하여 캐스프된 케일리 복합체의 Gromov 쌍곡성을 증명할 수 있는가?
• RQ5 일반화된 위상 동행성에 의한 위조 성질이 상대적으로 쌍곡적 환경에서 이중자동성을 보장하는 데 충분한가?

주요 결과

• 모든 포화 부분군에서 0이 되는 코homology 클래스에 의해 확장된 기하학적으로 유한한 쌍곡군의 중심 확장은 이중자동성이 된다.
• 접두사 폐쇄성을 갖는 정규형을 가진 이중자동성 군에 대해 상대적으로 쌍곡인 군이 유한한 코셋 침투 성질을 갖는다면, 그 군 자체도 이중자동성이 된다.
• 상대적으로 쌍곡군의 캐스프된 케일리 복합체는 선형 전기 등면적 부등식에 의해 Gromov 쌍곡임을 증명할 수 있다.
• 선형 전기 등면적 부등식의 존재는 캐스프된 복합체의 Gromov 쌍곡성을 암시하며, 이는 자동성 기계의 적용을 가능하게 한다.
• 일반화된 위상 동행성에 의한 위조 성질과 접두사 폐쇄 정규형의 조합은 일반화된 자동성 보조정리를 통해 이중자동성을 보장한다.
• 이 증명은 상대적으로 쌍곡군의 맥락에서 기하군론과 형식언어이론 사이의 개념적 다리를 구축한다.