[논문 리뷰] Coarse injectivity, hierarchical hyperbolicity, and semihyperbolicity

Thomas Haettel, Nima Hoda외 1명|arXiv (Cornell University)|2020. 09. 29.

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

한 줄 요약

이 논문은 계층적 하이퍼볼릭 공간에 대해 원래 메트릭과 쿼asi-isometric하고, 자동사상에 대해 보존되는, 새로운 메트릭을 정의한다. 이 메트릭은 코arse로 단사적임을 보이며, 이로 인해 모든 계층적 하이퍼볼릭 군이 코arse로 단사적임을 증명하고, 따라서 강력한 단순화 성질을 가짐을 보인다. 또한, 균일한 유한한 기하학적 성질을 가진 코arse로 단사적 공간이 강력한 단순화 성질을 가짐을 보이며, 이는 이러한 군들에 대해 강력한 구조적 및 알고리즘적 성질을 유도한다. 이 성질들로는 반하이퍼볼릭성, 해결 가능한 공轭 문제, 계층적 쿼지컨벡스 부분군의 유계 포장 등이 포함된다.

ABSTRACT

We relate three classes of nonpositively curved metric spaces: hierarchically hyperbolic spaces, coarsely injective spaces, and strongly shortcut spaces. We show that every hierarchically hyperbolic space admits a new metric that is coarsely injective. The new metric is quasi-isometric to the original metric and is preserved under automorphisms of the hierarchically hyperbolic space. We show that every coarsely injective metric space of uniformly bounded geometry is strongly shortcut. Consequently, hierarchically hyperbolic groups -- including mapping class groups of surfaces -- are coarsely injective and coarsely injective groups are strongly shortcut. Using these results, we deduce several important properties of hierarchically hyperbolic groups, including that they are semihyperbolic, have solvable conjugacy problem, have finitely many conjugacy classes of finite subgroups, and that their finitely generated abelian subgroups are undistorted. Along the way we show that hierarchically quasiconvex subgroups of hierarchically hyperbolic groups have bounded packing.

연구 동기 및 목표

• 계층적 하이퍼볼릭 공간에 대해 원래 메트릭과 쿼asi-isometric하고, 자동사상에 대해 보존되는 새로운 쿼asi-isometric 메트릭을 정의한다.
• 모든 균일한 유한한 기하학적 성질을 가진 코arse로 단사적 공간이 강력한 단순화 성질을 가짐을 증명한다.
• 계층적 하이퍼볼릭 군에 대해 강력한 알고리즘적 및 기하학적 성질(예: 반하이퍼볼릭성, 해결 가능한 공轭 문제)을 유도한다.
• 계층적 하이퍼볼릭 군의 계층적 쿼지컨벡스 부분군이 유계 포장을 가짐을 보인다.
• 세 가지 종류의 비양의 곡률을 가진 공간, 즉 계층적 하이퍼볼릭, 코arse로 단사적, 강력한 단순화 공간을 통합한다.

제안 방법

• 유한 랭크의 매드언 공간에서 Bowditch의 단사 메트릭 구성의 일반화를 사용하여 계층적 하이퍼볼릭 공간 (X, S)에 대해 새로운 메트릭 σ를 구성한다.
• 구성된 메트릭 σ가 원래 메트릭 d와 쿼asi-isometric하고 코arse로 단사적임을 증명한다. 이는 Chepoi, Dragan, Vaxès의 하이퍼볼릭 공간에 대한 결과의 계층적 일반화로부터 유도된, 공집합이 아닌 구의 코arse Helly 성질에 기반한다.
• 메트릭 공간이 코arse로 단사적임은 그 단사 레이어에 대해 코arse로 조밀함과 동치임을 이용하고, 단사 레이어 내에서 최소 반경 함수를 구성하여 새로운 메트릭을 정의한다.
• 계층적 하이퍼볼릭 공간에서 공집합이 아닌 구의 코arse Helly 성질을 적용하여, 쌍별로 가까운 구들이 새로운 메트릭 하에 균일하게 유한한 교차를 가짐을 보인다.
• 코arse로 단사적 공간이 균일한 유한한 기하학적 성질을 가진다면, (K,C)-쿼asi-isometric 임bedding을 통해 리만 원주에 대해 고정된 반경의 구 안에 포함된 점의 수를 유계로 제한함으로써 강력한 단순화 성질을 증명한다.
• 단사 레이어 내에서 최소 반경 함수의 수열을 구성하여, 이러한 임베딩 하에서 기하학적 성질이 무한해지지 않는다고 가정할 경우 모순을 이끌어내어 강력한 단순화 성질을 증명한다.

실험 결과

연구 질문

• RQ1 모든 계층적 하이퍼볼릭 공간은 자동사상에 대해 보존되고 원래 메트릭과 쿼asi-isometric한 코arse로 단사적 메트릭을 지닐 수 있는가?
• RQ2 모든 코arse로 단사적 메트릭 공간이 균일한 유한한 기하학적 성질을 가질 경우 강력한 단순화 성질을 가짐이 보장되는가?
• RQ3 계층적 하이퍼볼릭 군은 코arse로 단사적 구조에서 반하이퍼볼릭성 및 해결 가능한 공轭 문제와 같은 강력한 알고리즘적 성질을 유도하는가?
• RQ4 계층적 하이퍼볼릭 군의 계층적 쿼지컨벡스 부분군은 유계 포장을 가짐이 보장되는가?
• RQ5 계층적 하이퍼볼릭, 코arse로 단사적, 강력한 단순화 공간의 세 클래스는 포함 관계와 기하학적 성질 측면에서 어떻게 관련되어 있는가?

주요 결과

• 모든 계층적 하이퍼볼릭 공간은 원래 메트릭과 쿼asi-isometric하고 자동사상에 대해 불변인 새로운 메트릭 σ를 지닌다.
• 모든 균일한 유한한 기하학적 성질을 가진 코arse로 단사적 메트릭 공간은 강력한 단순화 성질을 가지며, 이는 코arse로 단사성과 강력한 단순화 성질 사이의 직접적인 연결 고리를 확립한다.
• 결과적으로 모든 계층적 하이퍼볼릭 군(예: 매핑 클래스 군 포함)은 코arse로 단사적이며, 따라서 강력한 단순화 성질을 가짐을 보인다.
• 계층적 하이퍼볼릭 군은 반하이퍼볼릭이며, 공轭 문제를 해결할 수 있고, 유한한 수의 유한 부분군의 공轭류를 가진다.
• 계층적 하이퍼볼릭 군의 유한 생성 아벨 부분군은 왜곡되지 않으며, 계층적 쿼지컨벡스 부분군은 유계 포장을 가진다.
• 이 구성은 계층적 하이퍼볼릭 군에 대해 정규화된, 동치성과 약간의 지오데식 성질을 가지며 강력한 단순화 성질을 만족하는 메트릭을 제공한다.