[논문 리뷰] On regular CAT(0) cube complexes

Nir Lazarovich|arXiv (Cornell University)|2014. 11. 01.

Geometric and Algebraic Topology참고 문헌 10인용 수 3

한 줄 요약

이 논문은 주어진 유한 플래그 단순형 복합체 $L$ 를 정점 링크로 가지는 CAT(0) 큐브 복합체의 유일성을 보장하는 필요충분 조건인 슈퍼스타-전순성(superstar-transitivity)이라는 조합적 조건을 설정한다. 이 복합체들이 주어진 조건을 만족할 경우 초평면 자기동형사상 확장 성질(HAEP)을 가지며, 추가 조건이 만족될 경우 그 자기동형사상 군은 보편적으로 단순한 군임을 증명한다. 이는 트리와 빌딩에 대한 고전 결과를 일반화한다.

ABSTRACT

We provide a necessary and sufficient condition on a finite flag simplicial complex, L, for which there exists a unique CAT(0) cube complex whose vertex links are all isomorphic to L. We then find new examples of such CAT(0) cube complexes and prove that their automorphism groups are virtually simple. The latter uses a result, which we prove in the appendix, about the simplicity of certain subgroups of the automorphism group of a rank-one CAT(0) cube complex. This result generalizes previous results by Tits and by Haglund and Paulin.

연구 동기 및 목표

• 고정된 유한 플래그 단순형 복합체 $L$ 를 정점 링크로 가지는 CAT(0) 큐브 복합체가 이sovorphism에 대해 유일하게 결정되는 조건을 규명하는 것.
• 그러한 유일한 복합체의 자기동형사상 군을 특성화하고, 특히 그 단순성 성질을 규명하는 것.
• 트리와 빌딩에 대한 티츠와 하글룬드-폴린의 결과를 일반화하여, 질서 1인 CAT(0) 큐브 복합체에서 자기동형사상 군의 단순성에 관한 결과를 확장하는 것.
• 유일한 $L$-큐브-복합체에서 초평면 자기동형사상 확장 성질(HAEP)을 확립하여 군론적 분석을 가능하게 하는 것.

제안 방법

• 슈퍼스타-전순성(superstar-transitivity)의 개념을 도입: $L$ 내의 임의의 두 단순형 $σ, \sigma'$ 과 $σ$ 를 $σ'$ 로 보존하는 링크-이sovorphism $\phi: \text{st}_L(\sigma) \to \text{st}_L(\sigma')$ 가 주어질 때, $\phi$ 를 확장하는 $L$ 의 전역 자기동형사상 $\Phi$ 가 존재하는 것.
• 큐브 복합체의 정점에 대한 귀납적 구성 방법을 사용하여 $L$-큐브-복합체 간의 이sovorphism을 구축하며, 이는 슈퍼스타-전순성 조건에 의존한다.
• 표준적인 $L$-큐브-복합체로 다이비스 복합체 $D(L)$ 를 구성하고, $L$ 가 슈퍼스타-전순성일 때에만 이것이 유일한 복합체임을 증명한다.
• 초평면 자기동형사상 확장 성질(HAEP)을 증명: 서로 교차하는 유한 개의 초평면의 자기동형사상은 전체 복합체로 확장 가능하다.
• 랭크 고정성 정리와 정규부분군 분석(보조정리 A.8)을 적용하여, 자기동형사상 군의 비자명한 정규부분군이 경계에 비자명하게 작용하고, 비원소적임을 보인다.
• HAEP 와 부록에서의 단순성 결과(티츠와 하글룬드-폴린의 일반화)를 활용하여, 적절한 조건 하에서 자기동형사상 군이 보편적으로 단순함을 결론짓는다.

실험 결과

연구 질문

• RQ1 유한 플래그 단순형 복합체 $L$ 에 대해 어떤 조합적 조건이 주어진 $L$ 를 정점 링크로 가지는 CAT(0) 큐브 복합체가 이sovorphism에 대해 유일하게 결정되는가?
• RQ2 모든 유일한 $L$-큐브-복합체에서 초평면 자기동형사상 확장 성질(HAEP)이 성립하는가? 그리고 이는 자기동형사상 군에 어떤 영향을 미치는가?
• RQ3 유일한 $L$-큐브-복합체의 자기동형사상 군이 언제 보편적으로 단순한가? 이는 트리와 빌딩에 대한 기존 결과를 어떻게 일반화하는가?
• RQ4 슈퍼스타-전순성은 $L$-큐브-복합체에서 유일성과 군론적 고정성 보장에 어떤 역할을 하는가?
• RQ5 질서 1인 CAT(0) 큐브 복합체의 자기동형사상 군의 정규부분군은 어떻게 행동하는가? 어떤 조건이 그들을 비원소적이고 비자명하게 만드는가?

주요 결과

• 유한 플래그 단순형 복합체 $L$ 가 주어졌을 때, $L$ 를 정점 링크로 가지는 CAT(0) 큐브 복합체가 이sovorphism에 대해 유일하게 존재하는 것은 $L$ 가 슈퍼스타-전순성임과 필요충분 조건이다.
• 케네저 복합체 $K_n^d$ 는 임의의 차원에서의 유일한 CAT(0) $L$-큐브-복합체의 새로운 가족을 제공한다.
• 모든 유일한 $L$-큐브-복합체에서, 서로 교차하는 유한 개의 초평면의 임의의 자기동형사상은 전체 복합체로 확장 가능하다 (HAEP).
• 유일한 $L$-큐브-복합체의 자기동형사상 군은 복합체가 질서 1이고 링크 $L$ 이 부록의 조건을 만족할 경우 보편적으로 단순하다.
• 부록에서는 일반적인 단순성 결과를 증명한다: 적절한 CAT(0) 공간 $X$ 와 $G^+$ 가 비원소적이고 질서 1 등급 등급을 포함하며, $N \triangleleft G^+$ 가 $∂ X$ 에 비자명하게 작용하면, $N$ 도 비원소적이며 $Λ(N) = ∂ X$ 를 만족한다. 이는 적절한 조건 하에서 $\text{Aut}(X)$ 가 보편적으로 단순함을 이끌어낸다.
• 이 결과는 티츠와 하글룬드-폴린의 반공간 고정자 군의 단순성에 관한 정리들을 일반화한다.