[논문 리뷰] Right-angled Artin groups and finite subgraphs of curve graphs

Sanghyun Kim, Thomas Koberda|Osaka City University (Osaka City University)|2013. 10. 17.

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

한 줄 요약

이 논문은 곡선 그래프를 통해 오른쪽 모서리 아르틴 군(RAAGs)이 표면의 매핑 클래스 군에 임베딩되는 정확한 조건을 확립한다. 복잡도가 3 미만인 표면에 대해서는, RAAG이 매핑 클래스 군에 임베딩될 조건은 그 정의 그래프가 곡선 그래프의 유도 부분그래프로 임베딩될 때이다. 복잡도가 높은 표면에 대해서는, 그래프가 곡선 그래프에 임베딩되지 않더라도 임베딩이 가능할 수 있으나, 그래프가 N-두꺼운 별 모양을 지닐 때는 표면의 복잡도가 N이라면 실패한다.

ABSTRACT

We show that for a sufficiently simple surface $S$, a right-angled Artin group $A(Γ)$ embeds into $\Mod(S)$ if and only if $Γ$ embeds into the curve graph $\mC(S)$ as an induced subgraph. When $S$ is sufficiently complicated, there exists an embedding $A(Γ) o\Mod(S)$ for some $Γ$ not contained in $\mC(S)$.

연구 동기 및 목표

• 오른쪽 모서리 아르틴 군(RAAG)이 표면의 매핑 클래스 군에 임베딩되는 조건을 규명하는 것.
• RAAG의 임베딩과 곡선 그래프의 유도 부분그래프 간의 관계를 명확히 하는 것.
• 기존의 알려진 임베딩 결과의 역을 해결하는 것: $ A(\Gamma) \leq \operatorname{Mod}(S) $이면 $ \Gamma \leq \mathcal{C}(S) $가 성립하는가?
• 특히 N-두꺼운 별 모양의 그래프 이론적 성질이 이러한 역의 성립을 강제하는지 조사하는 것.
• 복잡도 3인 표면의 경우, 일반적인 이분법이 아직 미해결이므로 그 상태를 규명하는 것.

제안 방법

• 유한 단순 그래프 $ \Gamma $의 임베딩을 위한 배경 공간으로 곡선 그래프 $ \mathcal{C}(S) $를 사용하며, 정점은 필수적이고 비경계적이며 단순한 닫힌 곡선의 동치류를 나타낸다.
• 표준 구축 방법을 적용: $ \Gamma $의 각 정점에 대해 해당 곡선에 대한 데인 전위의 $ N $제곱을 대응시켜, $ A(\Gamma) \to \operatorname{Mod}(S) $의 준동형을 유도한다.
• Dehn 전위의 곡선이 서로 이격되어 있을 때에만 서로 교환된다는 사실에 기반하여, $ \Gamma \leq \mathcal{C}(S) $이면 이 사상이 단사임을 증명한다.
• N-두꺼운 별의 개념을 도입한다: 각 정점은 정확히 하나의 정점으로 교차하는 두 개의 크기 $ N $인 클리크에 속해 있다.
• 데인 전위 부분군의 지지 집합과 그 교차의 구조를 이용하여, $ A(\Gamma) \leq \operatorname{Mod}(S) $이면서 $ \Gamma $가 $ N $-두꺼운 별을 지닐 때 $ \xi(S) = N $이면 $ \Gamma \leq \mathcal{C}(S) $임을 보인다.
• 그래프 합성 연산을 사용하여 $ \xi(S) > 3 $인 경우 반례를 구성한다: $ \Lambda_n = \Gamma_0 \ast K_{n-4} $, 이때 $ A(\Lambda_n) \leq \operatorname{Mod}(S) $이지만 $ \Lambda_n \not\leq \mathcal{C}(S) $임을 보인다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $ A(\Gamma) \leq \operatorname{Mod}(S) $이면 $ \Gamma $가 곡선 그래프 $ \mathcal{C}(S) $의 유도 부분그래프로 임베딩되는가?
• RQ2 그래프 이론적 조건—특히 N-두꺼운 별—이 정리 1의 역이 성립하도록 강제하는가?
• RQ3 일반적인 이분법이 해결되지 않은 복잡도 $ \xi(S) = 3 $인 표면에 대해, 역이 성립하는가?
• RQ4 RAAG가 $ \mathcal{C}(S) $에 그래프가 임베딩되지 않더라도 $ \operatorname{Mod}(S) $에 임베딩될 수 있는가, 그리고 만약 그렇다면 어떤 조건에서 가능한가?
• RQ5 표면의 복잡도 $ \xi(S) $가 이러한 임베딩의 존재를 어떻게 제약하는가?

주요 결과

• 복잡도 $ \xi(S) < 3 $인 표면에 대해서는, $ A(\Gamma) \leq \operatorname{Mod}(S) $이면 $ \Gamma \leq \mathcal{C}(S) $이며, 이는 완전한 특성화를 제공한다.
• 복잡도 $ \xi(S) > 3 $인 표면에 대해서는, $ A(\Gamma) \leq \operatorname{Mod}(S) $이지만 $ \Gamma \not\leq \mathcal{C}(S) $인 유한 그래프 $ \Gamma $가 존재하므로, 일반적으로 역이 성립하지 않음을 보여준다.
• 만약 $ \Gamma $가 $ N $-두꺼운 별을 지닐 때 $ \xi(S) = N $이면, $ A(\Gamma) \leq \operatorname{Mod}(S) $이면 $ \Gamma \leq \mathcal{C}(S) $임을 보여, 역이 성립하는 충분조건을 제공한다.
• 반대 연결성이 있고 $ \eta(\Gamma_0) > 4 $인 그래프 $ \Gamma_0 $를 사용하여 합성 연산을 통해 반례를 구성한다: $ \Lambda_n = \Gamma_0 \ast K_{n-4} $.
• $ \xi(S) = n > 3 $일 때, RAAG $ A(\Lambda_n) $는 $ \operatorname{Mod}(S) $에 임베딩되지만 $ \Lambda_n \not\leq \mathcal{C}(S) $이며, $ \eta(\Lambda_n) > n $이므로 정리 3를 증명한다.
• 복잡도 $ \xi(S) = 3 $인 경우는 여전히 미해결 상태이다: $ S \cong S_{2,0}, S_{1,3}, S_{0,6} $에 대해 $ A(\Gamma) \leq \operatorname{Mod}(S) $이면 $ \Gamma \leq \mathcal{C}(S) $인지 여부는 알려져 있지 않다. 다만 $ \operatorname{Mod}(S_{2,0}) $와 $ \operatorname{Mod}(S_{0,6}) $는 공액성 관계에 있으며, 그 곡선 그래프는 서로 동형이다.