[논문 리뷰] On commuting elements and embeddings of graph groups and monoids

Mark Kambites|ArXiv.org|2006. 01. 03.

Geometric and Algebraic Topology참고 문헌 12인용 수 5

한 줄 요약

이 논문은 그래프 군과 모노이드의 임bedding을 그들의 교환 성질을 분석하여 조사하며, 정의된 그래프에 순환 없는 4사이클이 포함되어 있을 때에만 그래프 군이 비아벨 자유군의 직접곱을 포함함을 보여준다. 주요 기여는 이러한 임bedding이 발생하는 조건을 특성화한 것으로, 이는 한 추측을 해결하고 오른쪽-직각 아르틴 군 및 트레이스 모노이드에서 부분군 소속 문제의 결정 가능 경계를 명확히 한다.

ABSTRACT

We study commutation properties of subsets of right-angled Artin groups and trace monoids. We show that if Gamma is any graph not containing a four-cycle without chords, then the group G(Gamma) does not contain four elements whose commutation graph is a four-cycle; a consequence is that G(Gamma) does not have a subgroup isomorphic to a direct product of non-abelian free groups. We also obtain corresponding and more general results for monoids.

연구 동기 및 목표

• 특정 교환 관계로 정의된 하위구조가 그래프 군과 모노이드에 임bedding될 수 있는 조건을 규명하기 위해.
• 그래프 군이 비아벨 자유군의 직접곱을 포함하고 있을 때에만 그 그래프에 순환 없는 4사이클이 포함되어 있다는 추측을 해결하기 위해.
• 그래프 임bedding과 군/모노이드 임bedding 간의 관계를 명확히 하며, 특히 그래프가 임bedding되지 않지만 대수적 구조는 임bedding되는 경우를 다루기 위해.
• 오른쪽-직각 아르틴 군과 트레이스 모노이드에서 부분군 소속 문제의 결정 가능성을 조사하며, 특히 순환 없는 4사이클과의 관계를 중심으로 하기 위해.
• 임bedding 결과의 한계를 설정하여, 모노이드 결과가 군의 경우와 다를 방식으로 최적임을 보여주기 위해.

제안 방법

• 그래프 군과 모노이드의 대수적 관계를 모델링하기 위해 생성자 부분집합의 교환 그래프를 사용한다.
• 낮은 차수의 정점 e를 두 개의 새로운 정점 e₀와 e₁로 대체하여 그래프 Γ를 더 큰 그래프 Ω로 임bedding하는 그래프 이론적 구성 기법을 적용한다. 이 과정에서 간선 관계를 유지한다.
• M(Γ)의 생성자를 M(Ω)의 단어로 매핑하는 모노이드 준동형사상 τ: U(Γ)* → U(Ω)*를 구성하며, 정의 관계를 유지한다.
• 구축된 그래프 Ω에서 정점의 차수와 인접성에 대한 기술적 추론을 통해 유도된 군 준동형사상 G(Γ) → G(Ω)의 단사성을 증명한다.
• 유도된 부분그래프와 차수 최대성 개념을 활용하여, Γ가 Ω에 임bedding될 수는 없지만 G(Γ)는 G(Ω)에 임bedding될 수 있음을 보여준다.
• 자신의 자유군의 직접곱에서 부분군 소속 문제의 결정 불가능성에 대한 알려진 결과(Mikhailova의 구성)와, 순환 없는 사이클이 없는 군에서는 결정 가능함을 보여주는 결과(Kapovich-Weidmann-Myasnikov)를 활용한다.

실험 결과

연구 질문

• RQ1 그래프 군 G(Γ)가 비아벨 자유군의 직접곱을 부분군으로 포함할 수 있는 조건은 무엇인가?
• RQ2 그래프 모노이드 M(Γ)가 교환 그래프가 Γ인 부분집합을 가질 수 있는 조건는 무엇이며, 이는 Γ가 정의된 그래프에 임bedding되어야만 가능한가?
• RQ3 그래프 군이 대응하는 그래프 임bedding 없이도 다른 그래프 군에 임bed딩될 수 있는가? 만약 가능하다면 어떤 조건에서 가능한가?
• RQ4 순환 없는 4사이클은 그래프 군의 부분군 구조와 소속 문제의 결정 가능성에 어떤 역할을 하는가?
• RQ5 특히 그래프 임bedding이 존재하지 않을 경우, 그래프 모노이드의 임bedding 성질은 그래프 군의 성질과 어떻게 비교되는가?

주요 결과

• 그래프 군 G(Γ)가 비아벨 자유군의 직접곱을 부분군으로 포함하고 있을 때이고, 오직 그 때에만 Γ에 순환 없는 4사이클이 포함되어 있다.
• Γ에 차수 3 이하인 정점이 존재하고, 동시에 차수 |Γ|−3과 |Γ|−2인 정점이 없는 경우, Γ → Ω에 대한 그래프 임bedding이 없더라도 G(Γ) → G(Ω)의 군 임bed딩이 가능하다.
• 그래프 모노이드의 경우, Γ가 정의된 그래프 Ω에 임bedding되어야만 M(Ω) 내에서 교환 그래프가 Γ인 부분집합이 존재한다.
• 모노이드 결과는 최적이다: 랭크 1 또는 2인 자유 모노이드의 직접곱이 아닌 모든 그래프 모노이드는, 대응하는 그래프 임bedding 없이도 다른 그래프 모노이드에 임bed딩될 수 있다.
• Γ에 순환 없는 4사이클이 없으면, G(Γ)에서 부분군 소속 문제의 결정 가능성이 보장되며, 이는 다른 길이의 순환 없는 사이클이 존재하더라도 마찬가지다.
• 논문은 Batty와 Goda가 제기한 추측을 해결하였으며, 그래프 군에서 비아벨 직접곱 부분군이 존재하기 위해 순환 없는 4사이클이 필수적이라는 것을 입증하였다.