[논문 리뷰] Cocompactly cubulated 2-dimensional Artin groups

Jingyin Huang, Kasia Jankiewicz외 1명|arXiv (Cornell University)|2015. 10. 28.

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

한 줄 요약

이 논문은 2차원 및 3생성자 아르틴 군이 (가상으로) 코컴 pact하게 큐브화되는 조건을 완전히 특성화한다. 이러한 군들이 코어프로퍼티와 코컴팩트한 작용을 하는 CAT(0) 큐브 복합체 위에 작용할 수 있는 것은 정의 그래프가 특정 레이블 조건을 만족할 때에 한하여 가능하다: 내부 간선은 모두 2로 레이블되어야 하며, 모든 잎은 짝수로 레이블되어야 한다. 이 결과는 오른쪽각이 아닌 경우 아르틴 군의 큐브화 문제에 관한 기하군론의 핵심 질문을 해결한다.

ABSTRACT

We give a necessary and sufficient condition for a 2-dimensional or a three-generator Artin group $A$ to be (virtually) cocompactly cubulated, in terms of the defining graph of $A$.

연구 동기 및 목표

• 2차원 아르틴 군이 (가상으로) 코컴팩트하게 큐브화되는 데 필요한 필수 조건을 규명하기 위해.
• 이 특성화를 3생성자 아르틴 군으로 확장하기 위해.
• 4끈 브레이드 군과 같은 주요 예시의 큐브화 상태를 해결하기 위해.
• 정의 그래프의 구조가 아르틴 군의 큐브 기하학을 결정하는 데서 수행하는 역할를 명확히 하기 위해.
• 이 군의 클래스에 대한 코컴팩트 큐브화의 완전한 분류를 제공하기 위해.

제안 방법

• CAT(0) 큐브 복합체 이론과 군 작용을 이용하여, 두 생성자 특수부군의 기하학을 분석한다.
• 코컴팩트 큐브화는 이러한 부군의 볼록 코컴팩트성으로 이어지며, 이는 수직 및 수평 요소의 곱으로 분해된다는 것을 증명한다.
• 핵심 결과인 정리 3.8(일반적으로 최상위 랭크의 하이퍼볼릭 군의 곱이 CAT(0) 큐브 복합체 위에서 볼록 코컴팩트하게 작용한다)에 기반한다.
• 대수적 및 기하학적 추론을 통해, 정의 그래프가 레이블 조건을 위반할 경우, 부군의 교차는 수직 또는 수평일 수 없으며, 이는 볼록 코컴팩트성과 모순됨을 보여준다.
• 비오른쪽각 케이스를 분석하기 위해 큐브 기반 소형 캔슬레이션 이론과 링크된 만의 기본군의 구조를 응용한다.
• 일부 비2차원 케이스에 대해 큐브화를 배제하기 위해, 몫군에서의 준등거리 임bedding과 점근적 랭크 추론을 사용한다.

실험 결과

연구 질문

• RQ1 정의 그래프에 어떤 조건이 만족되어야 2차원 아르틴 군이 코컴팩트하게 큐브화되는가?
• RQ2 3생성자 아르틴 군이 가상으로 코컴팩트하게 큐브화되는 조건은 무엇인가?
• RQ3 왜 4끈 브레이드 군은 가상으로 코컴팩트하게 큐브화되지 않는가?
• RQ4 2차원 아르틴 군이 적절하고 코컴팩트하게 CAT(0) 큐브 복합체 위에 작용할 경우, 정의 그래프에 어떤 구조적 제약 조건이 발생하는가?
• RQ5 특히 2와 짝수로 레이블된 간선의 레이블링과 내부 간선의 존재는 큐브화에 어떤 영향을 미치는가?

주요 결과

• 2차원 아르틴 군은 정의 그래프의 각 연결 성분이 내부 간선은 모두 2로 레이블되고, 모든 잎은 짝수로 레이블된 경우에만 코컴팩트하게 큐브화된다.
• 3생성자 아르틴 군의 경우, 코컴팩트 큐브화가 성립하는 것은 정의 그래프가 동일한 조건을 만족하거나 정확히 두 개의 간선이 2로 레이블된 경우에 한한다.
• 4끈 브레이드 군은 정의 그래프가 요구 조건을 만족하지 않기 때문에 가상으로 코컴팩트하게 큐브화되지 않는다.
• 코컴팩트성과 가상 코컴팩트성 간의 동치성은 코x터 군에서는 성립하지 않지만, 본 논문에서 다루는 아르틴 군에서는 성립한다.
• 논문은 정리 1.1(iii)의 조건이 일반 아르틴 군에 대해서도 코컴팩트 큐브화를 유도함을 보여주며, 2차원 군에 국한되지 않음을 밝힌다.
• 저자들은 군이 코컴팩트하게 큐브화되면, 그 두 생성자 특수부군이 곱의 구조를 가진 볼록 부분복합체 위에서 볼록 코컴팩트하게 작용한다는 것을 보였다.