[논문 리뷰] Injective Metrics on Cube Complexes

Benjamin Miesch|arXiv (Cornell University)|2014. 11. 26.

Geometric and Algebraic Topology참고 문헌 7인용 수 5

한 줄 요약

이 논문은 유한 차원의 CAT(0) 큐브 복합체 중에서 유한한 너비와 유한 색칠 가능한 초평면을 갖는 경우, 큐브 위의 $l_∞$-노름을 통해 삽입 가능한 거리 구조를 갖는다는 것을 증명한다. 이 복합체가 삽입 가능할 조건과 필요충분조건을 제시하며, Bridson의 정리가 $l_p$-노름으로 일반화됨을 보이고, 삽입 가능한 큐브 복합체를 특성화하기 위해 '정규 수축 가능성'이라는 새로운 개념을 도입한다.

ABSTRACT

For locally finite CAT(0) cube complexes it is known that they are injectively metrizable choosing the $l_\infty$-norm on each cube. In this paper we show that cube complexes which are injective with respect to this metric are always CAT(0). Moreover we give a criterion for finite dimensional CAT(0) cube complexes with finite width to posses an injective metric. As a side result we prove a modification of Bridson's Theorem for cube complexes saying that finite dimensional cube complexes with $l_p$-norms on the cubes are geodesic.

연구 동기 및 목표

• 큐브 위의 $l_∞$-노름을 사용하여, 어떤 CAT(0) 큐브 복합체가 삽입 가능한 거리 구조를 갖는지 조건을 규명한다.
• 큐브 복합체에서의 $l_p$-노름으로 일반화된 기하학적 완비성에 관한 Bridson의 정리를 확장한다.
• 큐브 복합체에서 '정규 수축 가능성'을 통해 새로운 삽입 가능한 거리 공간의 클래스를 도입하고 특성화한다.
• 초평면의 구조를 이용하여, 유한 차원의 CAT(0) 큐브 복합체가 삽입 가능하게 되는 필요충분조건을 확립한다.
• 삽입 가능한 $l_∞$-거리 구조와 CAT(0) 성질 사이의 관계를 명확히 하여, 이 관계가 대칭이 아니라는 점을 보여준다.

제안 방법

• 각 큐브에 대해 $l_p$-노름을 적용하여 복합체 전체에 대한 전역 거리 구조를 유도하고, 모든 $p \in [1, \infty]$ 에 대해 완비성과 길항성(geodesic)을 증명한다.
• Gromov의 링크 조건을 적용하여 $d_2$-거리 구조가 CAT(0) 성질을 만족함을 검증하고, 이를 $d_\infty$-거리의 삽입 가능성과 연결한다.
• 정규 수축 가능성을 재귀적 구성으로 도입: 이전 단계의 큐보이드 $L_i$ 에서 $L_i \times [0,1]$ 의 곱을 붙여 복합체를 구축한다.
• 극한 초평면에 의해 경계지어지는 최소 반공간 위로의 사영 사상 맵을 사용하여 복합체를 더 단순한 구성요소로 분해한다.
• 초평면의 색칠을 통해 수축 과정 중 최소 반공간들이 서로 겹치지 않도록 보장함으로써, 귀납적 구성이 가능하도록 한다.
• 기하적 실현 간의 동형사상을 적용하여, 복합체가 $|p(H)| \times [0,1]$ 의 합집합과 등록된다는 것을 보이고, 삽입성을 유지함을 증명한다.

실험 결과

연구 질문

• RQ1 유한 차원의 CAT(0) 큐브 복합체가 $l_\infty$-노름에 대해 삽입 가능하게 메트라이즈될 수 있는 조건은 무엇인가?
• RQ2 큐브 복합체에서 $l_\infty$-거리가 삽입 가능하면, 이 복합체는 반드시 CAT(0)인가?
• RQ3 큐브 복합체에서의 $l_p$-거리가 모든 $p \in [1, \infty]$ 에 대해 길항적(geodesic)일 수 있는가?
• RQ4 초평면의 구조적 조건(예: 유한 색칠 가능성, 유한 너비)이 CAT(0) 큐브 복합체가 정규 수축 가능하게 되는 데 어떤 영향을 미치는가?
• RQ5 모든 삽입 가능한 거리 구조를 갖는 CAT(0) 큐브 복합체를 특성화할 수 있는가?

주요 결과

• 모든 유한 차원 큐브 복합체에 대해, $p \in [1, \infty]$ 에 대해 $l_p$-거리 구조는 완비 길항 공간을 유도하며, 이는 Bridson의 정리를 일반화한다.
• 큐브 복합체에서 $l_\infty$-거리가 삽입 가능하면, $l_2$-거리 구조는 복합체가 CAT(0)임을 보장하지만, 그 역은 일반적으로 성립하지 않는다.
• 큐브 복합체가 정규 수축 가능할 조건은, 복합체가 CAT(0)이면서 유한한 너비를 갖고, 초평면이 유한 색칠 가능할 때이다.
• 유한한 너비와 유한 색칠 가능한 초평면을 갖는 CAT(0) 큐브 복합체는, $l_\infty$-거리가 삽입 가능할 조건과 필요충분조건이 복합체가 CAT(0)일 때이다.
• 정규 수축 가능한 복합체의 기하적 실현은 $|p(H)| \times [0,1]$ 의 곱집합과 등록되며, 이 과정에서 삽입성이 유지된다.
• 정규 수축 가능성의 구성 방법을 통해, 국소적으로 유한하지 않은 삽입 가능한 거리 공간도 생성할 수 있다.