[논문 리뷰] Two-generator subgroups of right-angled Artin groups are quasi-isometrically embedded

Mike Carr|arXiv (Cornell University)|2014. 12. 01.

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

한 줄 요약

이 논문은 오른쪽-각형 아르틴 군(RAAGs)의 비아벨 두 생성자 부분군이 준등거리로 임bed된 자유군임을 증명하며, Baudisch의 정리에 대한 거리적 보완을 제공한다. 이 결과는 이러한 부분군이 강한 기하적 임베딩 성질을 상속함을 보여주며, 자유 부분군에서 준등거리 임베딩에 실패함으로써 어떤 군도 RAAG에 포함될 수 없음을 판단할 수 있는 새로운 기준을 제공한다.

ABSTRACT

We show that non-abelian two-generator subgroups of right-angled Artin groups are quasi-isometrically embedded free groups. This provides an alternate proof of a theorem of A. Baudisch: that all two-generator subgroups are free or free abelian. Additionally, it shows that they are quasi-isometrically embedded. Our theorem also gives a method for detecting groups that are not isomorphic to a subgroup of any RAAG. We present some counterexamples in subgroups with more than two generators.

연구 동기 및 목표

• 오른쪽-각형 아르틴 군(RAAGs) 내 두 생성자 부분군에 대한 거리적 구조를 설정하여, 대수적 분류를 넘어서는 데 목적이 있다.
• 비아벨 두 생성자 부분군의 기하적 행동을 규명하기 위해, 그것들이 준등거리로 임베딩됨을 증명하는 데 목적이 있다.
• 자유 부분군에서 준등거리 임베딩에 실패함으로써, 어떤 군도 RAAG에 포함될 수 없음을 막는 새로운 장벽을 제공하는 데 목적이 있다.
• 두 생성자 부분군이 자유이거나 자유 아벨임을 보여주는 Baudisch의 대수적 결과를, 거리 조건을 추가함으로써 확장하는 데 목적이 있다.

제안 방법

• 단어 거리와 준등거리 임베딩 정의를 사용하여 RAAG 내 부분군의 기하적 성질을 분석한다.
• Varčo-Milnor 보조정리를 적용하여 군의 거리공간 위에서의 작용과 준등거리 사상 간의 관계를 규명한다.
• 평탄한 토러스 정리를 활용하여 아벨 부분군의 거리적 행동을 이해하고, 비아벨 케이스와 대비한다.
• 도넛 모양의 8자 링크 보완군의 원소들에 대한 명시적 수열을 구성하여 포함 시에 단어 길이가 초선형으로 증가함을 보여준다.
• 사상의 합성 기법을 사용하여, 자유 부분군이 군 내에서 준등거리로 임베딩되지 않는다면, 그 전체 군은 어떤 RAAG에도 포함될 수 없다는 것을 보여준다.
• 비유클리드 3차원 맨틀 군의 유한지수 부분군을 분석하여, 군 자체가 포함되지 않더라도 일부 부분군은 포함될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 RAAG의 비아벨 두 생성자 부분군은 준등거리로 임베딩되는가?
• RQ2 자유 부분군이 군 내에서 준등거리로 임베딩되지 않는다는 실패는, 그 군이 어떤 RAAG에도 포함될 수 없음을 막는 장벽이 될 수 있는가?
• RQ3 두 생성자 부분군의 준등거리 임베딩 성질은 RAAG 내에서 더 높은 계수의 자유 부분군으로까지 일반화되는가?
• RQ4 비유클리드 3차원 맨틀 군의 부분군 중에서 RAAG에 포함될 수 있는 최소 지수는 얼마인가?
• RQ5 특정한 유한지수 부분군이 특별한 작용을 하지 않는 CAT(0) 큐브 복합체 위에서 작용하는 군들을 식별할 수 있는가, 특히 3차원 맨틀 군의 맥락에서?

주요 결과

• RAAG의 비아벨 두 생성자 부분군은 준등거리로 임베딩된 자유군이며, Baudisch의 대수적 결과에 대한 기하적 강화를 확인한다.
• 두 생성자를 갖는 자유군의 포함 사상은 생성자가 서로 교환되지 않을 경우 RAAG 내에서 준등거리 임베딩이다.
• 어떤 군이 준등거리로 임베딩되지 않는 두 생성자 자유 부분군을 포함한다면, 그 군은 어떤 RAAG의 부분군과도 동형일 수 없다.
• 8자 링크 보완군 π₁(M)은 일부 유한지수 부분군이 RAAG의 부분군임을 갖지만, 자체는 어떤 RAAG의 부분군과도 동형이 아니다.
• 8자 링크 보완군에 대한 두 생성자 자유 부분군의 포함은 준등거리 임베딩이 아니며, 단어 길이가 초선형으로 증가한다.
• RAAG 내에서 두 개 이상의 계수를 갖는 자유 부분군 중에는 포함 사상이 준등거리 임베딩이 아닌 경우가 존재하므로, 이 결과는 높은 계수로 일반화되지 않는다.