[논문 리뷰] Convex geodesic bicombings and hyperbolicity

Dominic Descombes, Urs Lang|arXiv (Cornell University)|2014. 04. 20.

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

한 줄 요약

이 논문은 콘형 지오데식 비콤빙을 갖는 모든 올바른 유한차원 거리공간이 볼록 지오데식 비콤빙을 갖는다는 것을 증명하며, 유한 조합 차원을 갖는 공간에서는 이러한 볼록 비콤빙이 유일하고 일관되며 가역적임을 보인다. 주요 기여는 단어 하이퍼볼릭 군의 임베딩 헬름에 대해 자연스러운 볼록 비콤빙을 구성한 것으로, 이는 고유한 볼록 구조를 상속받고 Z-집합 경계 성질을 보이며, 베스트비나–메스 정리를 임베딩 헬름으로 확장한다.

ABSTRACT

A geodesic bicombing on a metric space selects for every pair of points a geodesic connecting them. We prove existence and uniqueness results for geodesic bicombings satisfying different convexity conditions. In combination with recent work by the second author on injective hulls, this shows that every word hyperbolic group acts geometrically on a proper, finite dimensional space X with a unique (hence equivariant) convex geodesic bicombing of the strongest type. Furthermore, the Gromov boundary of X is a Z-set in the closure of X, and the latter is a metrizable absolute retract, in analogy with the Bestvina--Mess theorem on the Rips complex.

연구 동기 및 목표

• 콘형 지오데식 비콤빙을 갖는 올바른 거리공간에서 볼록 지오데식 비콤빙의 존재를 확립하는 것.
• 유한 조합 차원을 갖는 거리공간에서, 어떤 볼록 지오데식 비콤빙도 반드시 일관되며, 가역적이고 유일하다는 것을 증명하는 것.
• 이러한 결과를 단어 하이퍼볼릭 군의 임베딩 헬름에 적용하여, 고유한 볼록 지오데식 비콤빙을 갖는다는 것과 Z-집합 경계 성질을 보이는 것을 보이는 것.
• 리프스 복합체에 대한 베스트비나–메스 정리를 하이퍼볼릭 군의 임베딩 헬름의 맥락으로 확장하는 것.

제안 방법

• 이산화된 볼록성 조건과 '고양이의 끈' 구조를 사용하여 볼록성을 근사하고 점차적으로 이산화 파라미터를 감소시키는 방법.
• 임의의 고정된 점으로부터의 거리가 볼록 함수가 되는 경우에만 직선 곡선이 정의된다는 특성화.
• 2(n+1)-점 부등식을 통해 드레스의 조합 차원 이론을 적용하여 유한 부분집합의 구조를 제어하는 방법.
• ℓ∞(X)에서 선형 지오데식을 임베딩 헬름 E(X)로 올리는 1-Lipschitz 재구성 사상의 사용으로 콘형 성질을 유지하는 방법.
• 가중 거리 합의 최댓값으로부터 함수 ν(h)를 구성하여, 지지 집합과 랭크가 제어된 메트릭 함수 f ∈ E(Z)를 도출하는 방법.
• dimcomb(X) ≤ n 라는 가정 하에, 등식을 만족하는 고정점이 없는 치환 j가 존재함을 증명하는 것.

실험 결과

연구 질문

• RQ1 모든 올바른 거리공간이 콘형 지오데식 비콤빙을 갖는다면, 볼록 지오데식 비콤빙을 갖는가?
• RQ2 유한 조합 차원을 갖는 공간에서, 볼록 지오데식 비콤빙은 반드시 유일하고, 일관되며, 가역적인가?
• RQ3 단어 하이퍼볼릭 군의 임베딩 헬름은 자연스러운 볼록 지오데식 비콤빙을 갖는가? 그리고 그 위상적 성질은 무엇인가?
• RQ4 단어 하이퍼볼릭 군의 임베딩 헬름은 리프스 복합체와 유사하게, 그 폐쇄에서 Z-집합인 골로프 경계를 갖는가?
• RQ5 2(n+1)-점 부등식과 고정점이 없는 치환 j가 거리 부등식을 등식으로 만족시키는 것 사이의 관계는 무엇인가?

주요 결과

• 모든 올바른 거리공간이 콘형 지오데식 비콤빙을 갖는다면, 볼록 지오데식 비콤빙을 갖는다. 이는 올바름 조건 하에서 계층 (E) ⇒ (D)를 해결한다.
• 유한 조합 차원을 갖는 거리공간에서는, 어떤 볼록 지오데식 비콤빙도 반드시 유일하고, 일관되며, 가역적이다. 이는 이 조건 하에서 (D) ⇒ (C)를 확립한다.
• 단어 하이퍼볼릭 군 Γ의 임베딩 헬름 E(Γ)는 고유한 볼록 지오데식 비콤빙을 갖는다. 이는 E(Γ)가 자연스러운 볼록 공간임을 의미한다.
• E(Γ)의 골로프 경계는 E(Γ)의 폐쇄에서 Z-집합이며, E(Γ)는 메트라이잭빌러 아bsoluter Retrakt이다. 이는 베스트비나–메스 정리를 임베딩 헬름으로 확장한다.
• 2(n+1)-점 부등식은 조합 차원 ≤n인 공간을 특성화하며, 이 부등식의 등식은 고정점이 없는 치환 j가 ∑d(zk,i(zk)) = ∑d(i(zk),zk+1)를 만족함으로써 달성된다.
• 임의의 유한 부분집합 Z에서 |Z|=2n+2이고 고정점이 없는 치환 i가 주어졌을 때, rk(A(f))≤n 이고 Zi⊂A(f 를 만족하는 함수 f∈E(Z)가 존재하면, 2(n+1)-점 부등식이 등식으로 성립하는 서로 다른 고정점이 없는 치환 j가 존재한다.