[논문 리뷰] Virtually cocompactly cubulated Artin-Tits groups

Thomas Haettel|arXiv (Cornell University)|2015. 09. 29.

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

한 줄 요약

이 논문은 아르틴-티츠 군이 가상으로 코컴팩트하게 큐브화 가능한지에 대한 추측적 분류를 제안한다. 즉, CAT(0) 큐브 복합체 위에서 기하학적으로 작용하는 유한지수 부분군을 갖는다. 이 추측은 원형, FC 유형, 2차원 아르틴-티츠 군에 대해 성립함을 증명한다. 주요 결과는 $n$-스트랜드 브레인 군이 $n \geq 4$일 때 가상으로 코컴팩트하게 큐브화 가능하지 않다는 것을 보여주며, 코x터 행렬에 대한 국소적 장애 조건을 통해 오랫동안 남아있던 브레인 군에 대한 질문을 해결한다.

ABSTRACT

We give a conjectural classification of virtually cocompactly cubulated Artin-Tits groups (i.e. having a finite index subgroup acting geometrically on a CAT(0) cube complex), which we prove for all Artin-Tits groups of spherical type, FC type or two-dimensional type. A particular case is that for $n \geq 4$, the $n$-strand braid group is not virtually cocompactly cubulated.

연구 동기 및 목표

• 가상으로 코컴팩트하게 큐브화 가능한 아르틴-티츠 군을 분류함으로써, CAT(0) 큐브 복합체 작용에 관한 기존 결과를 확장하는 것.
• 원형 유형, FC 유형, 2차원 유형 아르틴-티츠 군에 대해 추측을 해결하는 것.
• 큐브화를 위한 코x터 행렬에 대한 필요 및 충분 조건을 국소적 조합적 장애에 기반해 설정하는 것.
• 구조적 및 군론적 추론을 사용하여 $n$-스트랜드 브레인 군 $B_n$가 $n \geq 4$일 때 가상으로 코컴팩트하게 큐브화 가능하지 않음을 증명하는 것.

제안 방법

• 코x터 행렬 $M = (m_{ab})$에 대한 두 조건을 바탕으로 한 추측적 분류(추측 A)를 제안한다. 이 조건들은 생성자 간의 홀수 및 짝수 비2 관계를 다룬다.
• 큐브화를 방해하는 국소적 장애를 랭크 3 및 랭크 4 파라보릭 부분군에서 식별하는 재구성(추측 B)을 도입한다.
• 아르틴-티츠 군이 성질 $(\dagger)$—즉, 모든 $s \in S$ 및 $n \geq 1$에 대해 $Z_{A(M)}(s^n) = Z_{A(M)}(s)$—를 만족하면, 추측 A의 두 조건이 가상 큐브화에 필수적임을 증명한다(정리 D).
• 추측 A의 두 조건이 큐브화에 충분함을 증명한다(정리 C). 이는 파라보릭 부분군으로부터 비음성적 곡률 큐브 복합체를 구성하는 방식을 사용한다.
• FC 유형 군의 경우 델리뉴 복합체 위의 큐브 메트릭과 저랭크 원형 부분군의 무스옹 메트릭을 적용하여 성질 $(\dagger)$를 확인함으로써, 이 경우 추측을 확인한다.
• 계수 사상 $B_n \to \mathbb{Z}$와 $\mathbb{R}$ 위의 적절한 작용을 사용하여, $B_n/Z(B_n)$에서의 유한지수 큐브화 작용을 $B_n$으로 올리는 방식을 적용한다. 이로써 $n \geq 4$일 때 비큐브화됨을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 아르틴-티츠 군이 CAT(0) 큐브 복합체 위에서 기하학적으로 작용하는 유한지수 부분군을 갖는가?
• RQ2 아르틴-티츠 군이 가상으로 코컴팩트하게 큐브화 가능하기 위한 코x터 행렬에 대한 필요 및 충분 조건은 무엇인가?
• RQ3 $n$-스트랜드 브레인 군 $B_n$이 $n \geq 4$일 때 왜 가상으로 코컴팩트하게 큐브화 가능하지 않은가?
• RQ4 모든 아르틴-티츠 군에 대해 성질 $(\dagger)$—즉, 모든 $s \in S$ 및 $n \geq 1$에 대해 $Z_{A(M)}(s^n) = Z_{A(M)}(s)$—가 성립하는가? 그리고 이 성질이 추측된 큐브화 조건을 유도하는가?
• RQ5 랭크 3 및 랭크 4 파라보릭 부분군에서의 국소적 장애 패tern이 아르틴-티츠 군의 큐브화 실패를 완전히 특징짓는가?

주요 결과

• $n$-스트랜드 브레인 군 $B_n$는 $n \geq 4$일 때 가상으로 코컴팩트하게 큐브화 가능하지 않다. 이는 추측 A의 두 조건의 실패와 중심 몫에서의 작용의 올림을 통해 입증된다.
• 추측 A는 원형 유형, FC 유형, 랭크가 2 이하인 기약 원형 파라보릭 부분군을 갖는 아르틴-티츠 군에 대해 성립한다. 이는 이러한 경우 성질 $(\dagger)$의 확인에 기반한다.
• 성질 $(\dagger)$를 가정할 경우, 추측 A의 두 조건은 큐브화에 대해 필수적이고 충분하다. FC 유형 군의 경우 델리뉴 복합체 위의 큐브 메트릭을 통해 이 성질이 확인된다.
• 논문은 표준 파라보릭 부분군이 랭크 3 및 4일 때 아르틴-티츠 군이 가상으로 코컴팩트하게 큐브화 가능한지 여부를 결정함을 증명한다. 이는 추측 B의 세 가지 국소적 장애 패턴을 통해 이루어진다.
• 파라보릭 부분군의 자유곱에 교환 관계를 부여하여 비음성적 곡률 큐브 복합체를 구성함으로써 코컴팩트 작용이 얻어지며, 이는 정리 C를 증명한다.
• $B_n/Z(B_n)$는 $n \geq 4$일 때 가상으로 코컴팩트하게 큐브화 가능하지 않다. 왜냐하면 그러한 작용이 존재하면 $B_n$에게도 동일한 작용이 존재하게 되어 정리 D와 모순되기 때문이다.