[논문 리뷰] Injective hulls of certain discrete metric spaces and groups

Urs Lang|arXiv (Cornell University)|2011. 07. 29.

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

한 줄 요약

이 논문은 β-안정 구간을 갖는 이산적으로 지오데식 거리 공간의 임베딩 헬름이 유한한 등장 유형을 가진 국소 유한한 다면체 복합체로, 각 n-셀이 $\ell^n_\infty$ 내의 다면체와 등장하는, 적절한 복합체임을 증명한다. 이 성질을 갖는 유한 생성 군들—예를 들어 단어 하이퍼볼릭 군과 아벨 군—의 경우, 임베딩 헬름은 $\Gamma$--equivariant이고 유한 차원적인, 적절한 작용을 위한 분류 공간 $\underline{E}\Gamma$의 모델이 되며, 이는 비음성 곡률 공간 위에서 약한 의미에서 적절하고 코컴팩트인 군 작용을 가능하게 한다.

ABSTRACT

Injective metric spaces, or absolute 1-Lipschitz retracts, share a number of properties with CAT(0) spaces. In the 1960es, J. R. Isbell showed that every metric space X has an injective hull E(X). Here it is proved that if X is the vertex set of a connected locally finite graph with a uniform stability property of intervals, then E(X) is a locally finite polyhedral complex with finitely many isometry types of n-cells, isometric to polytopes in l^n_\infty, for each n. This applies to a class of finitely generated groups G, including all word hyperbolic groups and abelian groups, among others. Then G acts properly on E(G) by cellular isometries, and the first barycentric subdivision of E(G) is a model for the classifying space \underbar{E}G for proper actions. If G is hyperbolic, E(G) is finite dimensional and the action is cocompact. In particular, every hyperbolic group acts properly and cocompactly on a space of non-positive curvature in a weak (but non-coarse) sense.

연구 동기 및 목표

• 이산 거리 공간의 임베딩 헬름이 국소 유한한 다면체 복합체가 되는 조건을 규명하는 것.
• 유한 생성 군이 β-안정 구간을 갖는 경우, 임베딩 헬름이 유한 차원적이며 적절하고 코컴팩트인 군 작용을 허용함을 확립하는 것.
• 임베딩 헬름을 이용하여 적절한 군 작용을 위한 분류 공간 $\underline{E}\Gamma$의 새로운 기하 모델을 제공하는 것.
• 단어 하이퍼볼릭 군과 아벨 군이 약한 의미에서 비음성 곡률을 갖는 공간 위에서 적절하고 코컴팩트인 작용을 하게 하는 기하군 이론의 도구를 확장하는 것.

제안 방법

• 메트릭 공간 $X$의 타이트 스파인(tight span)으로서 이소메트릭 헬름 $\mathrm{E}(X)$를 구성하는 이스벨의 방법을 사용하여, 그 다면체적 구조를 분석한다.
• β-안정 구간의 개념을 도입: 임의의 $x,y,y'$에 대해 $d(y,y')=1$이면, 구간 $I(x,y)$와 $I(x,y')$ 사이의 하우스도르프 거리는 최대 $\beta$ 이하이며, 이는 기하학적 통제를 보장한다.
• 만약 $X$가 이산적으로 지오데식이고 유한한 유계 집합을 갖으며 β-안정 구간을 갖는다면, $\mathrm{E}(X)$는 적절하고 국소적으로 유한하며, 유한한 등장 유형의 $n$-셀을 갖는다.
• $\mathrm{E}(X)$의 각 $n$-셀이 $\ell^n_\infty$ 내의 컴팩트한 볼록 다면체와 등장하는 것을 보여준다.
• 결과를 유한 생성 군 $\Gamma$의 단어 거리에 적용하여, $\Gamma$가 $\mathrm{E}(\Gamma)$ 위에 적절하고 세포적 작용을 하며, $\mathrm{E}(\Gamma)$의 첫 번째 바리센트 분할이 $\underline{E}\Gamma$의 모델이 된다는 것을 보인다.
• 임베딩된 메트릭 공간에 대한 고정점 정리를 사용하여, $\Gamma$가 하이퍼볼릭이면 $\mathrm{E}(\Gamma)$도 $\delta$-하이퍼볼릭임을 보이며, $\Gamma$와의 쿼라-이소메트릭일 필요는 없다.

실험 결과

연구 질문

• RQ1 어떤 기하학적 조건을 만족할 경우, 이산 거리 공간의 임베딩 헬름이 등장 유형이 유한한 국소 유한한 다면체 복합체가 되는가?
• RQ2 β-안정 구간을 갖는 유한 생성 군의 임베딩 헬름이 적절한 군 작용을 위한 기하 모델이 될 수 있는가?
• RQ3 단어 하이퍼볼릭 군의 임베딩 헬름은 여전히 유한 차원적이며 코컴팩트 군 작용을 허용하는가?
• RQ4 임베딩 헬름을 이용하여 $\Gamma$--equivariant하고 유한 차원적이며 적절한 분류 공간 $\underline{E}\Gamma$의 일반적 구성이 가능한가?
• RQ5 군의 임베딩 헬름과 그 단어 거리 간의 관계는 무엇인가? 특히 유한 차원성과 국소 유한성 측면에서.

주요 결과

• 만약 $X$가 모든 유계 집합이 유한하고 $\beta$-안정 구간을 갖는 이산적으로 지오데식 거리 공간이라면, $\mathrm{E}(X)$는 적절하고 국소적으로 유한한 다면체 복합체이며, 각 $n$-셀은 $\ell^n_\infty$ 내의 컴팩트한 볼록 다면체와 등장한다.
• 유한 생성 군 $\Gamma$의 단어 거리에 대해, $\Gamma$가 $\beta$-안정 구간을 갖는다면, $\Gamma$는 $\mathrm{E}(\Gamma)$ 위에 적절하고 세포적으로 작용하며, $\mathrm{E}(\Gamma)$의 첫 번째 바리센트 분할은 $\underline{E}\Gamma$를 위한 적절한 작용의 모델이 된다.
• 만약 $\Gamma$가 단어 하이퍼볼릭이라면, $\mathrm{E}(\Gamma)$는 유한 차원적이며 $\Gamma$의 $\mathrm{E}(\Gamma)$ 위 작용은 코컴팩트하므로, $\Gamma$는 비음성 곡률 공간 위에서 약한 의미에서 적절하고 코컴팩트하게 작용한다.
• $\mathbb{Z}^2$의 임베딩 헬름은 유한 차원적이며 국소 컴팩트하지만, 바움슬라그-솔리터 군 $\langle x,y \mid yx = x^2y \rangle$의 경우, 타이트 스파인 내에서 임의로 높은 랭크를 갖는 점들의 수열이 존재하므로 $\mathrm{E}(\Gamma)$는 무한 차원적이다.
• $\langle a,b,t \mid ab=ba, t^2=1, tab=abt \rangle$ 군의 경우, $\mathrm{E}(\Gamma)$는 $d_1$에서 무한 차수의 등장하는 단체적 트리가 등장하는 포함을 갖는다. 따라서 $\mathrm{e}(\Gamma)$ 근처에서는 국소 컴팩트하지 않지만, 여전히 유한 차원적일 수 있다.