[논문 리뷰] Hilbert space compression and exactness for discrete groups

Sarah J. Campbell, Graham A. Niblo|ArXiv.org|2004. 03. 26.

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

한 줄 요약

이 논문은 유한 차원 CAT(0) 큐브 복합체의 힐버트 공간 압축이 1임을 증명한다. 이를 위해 점 清체의 대규모 리프시츠 임베딩을 힐버트 공간에 구성함으로써 점점 1에 가까운 점점 증가하는 점근적 압축을 달성한다. 그 결과, 이러한 복합체 위에 올바르게 유한하게 작용하는 이산군은 힐버트 공간 압축이 1을 가지며, 따라서 정확한 성질을 만족한다. 이는 자유군, 코x터 군, 오른쪽-각 아르틴 군, 소형 분할 군을 포함하는 광범위한 군의 클래스로 정확성의 개념을 확장한다.

ABSTRACT

We show that the Hilbert space compression of any finite dimensional CAT(0) cube complex is 1 and deduce that any discrete group acting properly, co-compactly on a CAT(0) cube complex is exact. The class of groups covered by this theorem includes free groups, finitely generated Coxeter groups, finitely generated right angled Artin groups, finitely presented groups satisfying the B(4)-T(4) small cancellation condition and all those word-hyperbolic groups satisfying the B(6) condition. Another family of examples is provided by certain canonical surgeries defined by link diagrams.

연구 동기 및 목표

• 유한 차원 CAT(0) 큐브 복합체의 힐버트 공간 압축을 결정하는 것.
• CAT(0) 큐브 복합체 위에 올바르게 유한하게 작용하는 이산군의 정확성 확립.
• 유한 점근적 차원 또는 아메니타리어티를 갖는 군 이외의 군 클래스로 정확성의 범위를 확장하는 것.
• 큐브 복합체 기하학을 통해 게인터너-카민커 결과인 힐버트 공간 압축과 정확성의 관계를 더 넓은 군 클래스로 일반화하는 것.

제안 방법

• CAT(0) 큐브 복합체의 정점 집합에서 $ \ell^2(H, \mathbb{R}) $, 즉 초평면 집합 위의 제곱 summable 함수들의 힐버트 공간으로의 임베딩 $ f_\epsilon $ 가족을 구성한다.
• 정규 큐브 경로—CAT(0) 큐브 복합체 내의 표준적인 지오데식—을 사용하여 임베딩을 정의하고 대규모 리프시츠 연속성을 보장한다.
• 경로를 따라 지나가는 초평면들에 대해 가중치 $ w_i = i^{2\epsilon} $ 를 정의하고, 이를 힐버트 공간 내 좌표 할당에 사용한다.
• 각 $ f_\epsilon $ 가 점근적 압축이 $ 1/2 + \epsilon $ 이상임을 증명하기 위해, 복합체 내의 거리와 그 이미지 간의 거리를 비교한다.
• 힐버트 공간 압축이 준위상 등장성에 대해 불변임을 이용하여 결과를 정점 집합에서 전체 복합체와 군으로 이행한다.
• 힐버트 공간 압축이 1/2를 초과하는 군은 정확함을 보장하는 게인터너-카민커 정리를 적용하여 군의 정확성을 결론짓는다.

실험 결과

연구 질문

• RQ1 유한 차원 CAT(0) 큐브 복합체의 힐버트 공간 압축은 무엇인가?
• RQ2 게인터너-카민커 정확성 기준은 CAT(0) 큐브 복합체 위에 작용하는 군으로 확장될 수 있는가?
• RQ3 높은 차원의 CAT(0) 큐브 복합체로 나무에서의 고급 점근적 압축을 갖는 임베딩의 구성 방식을 어떻게 일반화할 수 있는가?
• RQ4 정규 큐브 경로는 조절된 왜곡을 갖는 임베딩을 구성하는 데 어떤 역할을 하는가?
• RQ5 이 힐버트 공간 압축 접근법을 통해 어떤 군의 클래스가 정확함을 보일 수 있는가?

주요 결과

• 모든 유한 차원 CAT(0) 큐브 복합체의 힐버트 공간 압축은 정확히 1이다.
• $ \epsilon \in (0, 1/2) $ 에 대해, 정점 집합에서 $ \ell^2(H, \mathbb{R}) $ 로의 대규모 리프시츠 임베딩 $ f_\epsilon $ 가 존재하며, 이는 점근적 압축이 $ 1/2 + \epsilon $ 이상이다.
• 복합체 위에 올바르게 유한하게 작용하는 군 $ G $ 는 복합체와 준위상 등장하므로 힐버트 공간 압축이 1을 가진다.
• 이 결과로 다루어지는 군의 클래스에는 자유군, 유한 생성 코x터 군, 오른쪽-각 아르틴 군, B(6) 조건을 만족하는 모든 워드-하이퍼볼릭 군이 포함된다.
• B(4)-T(4) 소형 분할 조건을 만족하는 모든 유한 생성 군은 CAT(0) 큐브 복합체 위에 올바르게 유한하게 작용하므로 정확하다.
• CAT(0) 큐브 복합체 구조를 갖는 3-다양체의 기본군 역시 정확하다. 이는 링크 다이어그램으로 정의된 표준 수술을 통해 유도되는 군들을 포함한다.