[논문 리뷰] ${ m CAT(0)}$ cube complexes are determined by their boundary cross ratio

Jonas Beyrer, Elia Fioravanti외 1명|arXiv (Cornell University)|2018. 05. 22.

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

한 줄 요약

이 논문은 CAT(0) 큐브 복합체의 롤러 경계에 대해 $\mathbb{Z}$-값을 갖는 교차비를 도입하며, 이러한 교차비를 보존하는 경계 간의 전단사 사상이 유일하게 큐브 이sovorphism로 확장됨을 증명한다. 이 결과는 무한 차원이거나 국소적으로 무한한 복합체에 대해서도 성립하며, 군 작용이나 유한 차원성 가정 없이도 복합체를 경계의 교차비로부터 완전히 재구성할 수 있다.

ABSTRACT

We introduce a $\mathbb{Z}$-valued cross ratio on Roller boundaries of ${ m CAT(0)}$ cube complexes. We motivate its relevance by showing that every cross-ratio preserving bijection of Roller boundaries uniquely extends to a cubical isomorphism. Our results are strikingly general and even apply to infinite dimensional, locally infinite cube complexes with trivial automorphism group.

연구 동기 및 목표

• CAT(0) 큐브 복합체의 롤러 경계에 대해 이산적이고 정수 값을 갖는 교차비를 정의한다.
• 이 교차비가 복합체의 등급 등급형을 완전히 결정함을 확립한다.
• 두 경계 사이의 교차비를 보존하는 임의의 전단사 사상이 유일하게 큐브 이sovorphism로 확장됨을 증명한다.
• 유한 차원성, 국소 유한성 또는 군 작용의 존재와 같은 제한 조건을 제거한다.
• 하이퍼볼릭 공간의 결과를 큐브 복합체의 조합적 설정으로 일반화한다.

제안 방법

• 두 경계점 쌍을 분리하는 초평면 수의 차이를 이용해 교차비를 정의한다: $\mathrm{cr}(x,y,z,w) = \#\mathscr{W}(x,z|y,w) - \#\mathscr{W}(x,w|y,z)$.
• 큐브 복합체의 $\ell^1$ 거리 구조를 활용하여 세포 구조를 이용하고, 경계를 호로경계(롤러 경계)로 정의한다.
• 경계 점 세 점에 대한 중앙값 함수 $m(f(x),f(y),f(z))$를 사용하여 경계에서의 교차비 보존 사상 $f: \partial X \to \partial Y$의 확장을 $F: X \to Y$로 구성한다.
• 반사열을 따라 수렴하는 수열의 분석과 그로모프 곱 추정을 이용하여 확장 $F$가 잘 정의되어 있고 큐브 구조를 유지함을 증명한다.
• 직선이 아닌 경계 점을 다루기 위해 $\partial_s X$(직선 레이저)에서 특정 경계 점을 구성하여 교차비 불변성에 의해 모순을 이끌어낸다.
• 모순 조건 하에서 $\mathrm{cr}(\overline{F}(x),w,y,z) > \mathrm{cr}(f(x),w,y,z)$임을 이용하여 교차비 보존 조건을 위반함을 보인다.

실험 결과

연구 질문

• RQ1 CAT(0) 큐브 복합체의 등급 등급형은 경계의 교차비로부터 완전히 재구성될 수 있는가?
• RQ2 CAT(0) 큐브 복합체의 롤러 경계 사이의 교차비를 보존하는 전단사 사상은 항상 큐브 이sovorphism로 유일하게 확장되는가?
• RQ3 무한 차원이거나 국소적으로 무한한 복합체에서 자동형사상과 경계 사상에 대해 교차비가 얼마나 유지되는가?
• RQ4 극단점이 없는 것이 경계 자료에 기반한 복합체의 강성에 미치는 영향은 무엇인가?
• RQ5 유한 차원성 또는 군 작용을 가정하지 않고도 교차비를 사용하여 강성 결과를 확립할 수 있는가?

주요 결과

• 교차비 $\mathrm{cr}(x,y,z,w)$는 정수 값을 가지며, $x,z$와 $y,w$를 분리하는 초평면 수와 $x,w$와 $y,z$를 분리하는 초평면 수의 차이로 정의된다.
• 극단점이 없는 (그리고 $\mathbb{R}$와 이sovomorphic이 아닌) CAT(0) 큐브 복합체 사이에서, 임의의 교차비 보존 전단사 사상 $f: \partial X \to \partial Y$는 유일하게 큐브 이sovorphism $F: X \to Y$로 확장된다.
• 이 결과는 무한 차원 및 국소적으로 무한한 큐브 복합체에 대해서도 성립하며, 군 작용이 없어도 성립한다.
• 극단점의 부재는 국소적 수정이 경계에서 보이지 않게 되는 것을 방지하기 위해 필수적이다.
• 확장된 지도 $\overline{F}(x) \neq f(x)$일 경우를 분석하기 위해 $\partial_s X$(직선 레이저)에서 경계 점을 구성하여 중앙값 함수의 수렴을 유도하고 모순을 이끌어내는 데 의존한다.
• 교차비는 $\mathrm{Aut}(X)$의 대각 작용 하에서 보존되며, 어떤 거리 선택에도 영향을 받지 않는다.