[논문 리뷰] JSJ decompositions of groups

Vincent Guirardel, Gilbert Levitt|arXiv (Cornell University)|2016. 02. 16.

Geometric and Algebraic Topology참고 문헌 42인용 수 58

한 줄 요약

이 논문은 유한 생성된 군에 대한 JSJ 분해의 통합적이고 일반적인 이론을 제시하며, 최대의 보편적 타원성 트리들을 통해 이를 정의하고 JSJ 변형 공간—모든 이러한 분해를 담고 있는 가속 가능한 공간—을 도입한다. 이는 유한 표현 군에 대해 간선 군에 대한 제약 없이도 JSJ 분해의 존재를 보장하며, 호환성에 의해 정규화된 JSJ 트리를 통해 표준 JSJ 트리를 구성하고, 이 도구들을 활용해 유연한 정점들을 2-오비폭의 군에 대한 이차적으로 매달린 확장로 분류한다. 이는 초구형, CSA 및 상대적으로 초구형 군에 응용된다.

ABSTRACT

This is an account of the theory of JSJ decompositions of finitely generated groups, as developed in the last twenty years or so. We give a simple general definition of JSJ decompositions (or rather of their Bass-Serre trees), as maximal universally elliptic trees. In general, there is no preferred JSJ decomposition, and the right object to consider is the whole set of JSJ decompositions, which forms a contractible space: the JSJ deformation space (analogous to Outer Space). We prove that JSJ decompositions exist for any finitely presented group, without any assumption on edge groups. When edge groups are slender, we describe flexible vertices of JSJ decompositions as quadratically hanging extensions of 2-orbifold groups. Similar results hold in the presence of acylindricity, in particular for splittings of torsion-free CSA groups over abelian groups, and splittings of relatively hyperbolic groups over virtually cyclic or parabolic subgroups. Using trees of cylinders, we obtain canonical JSJ trees (which are invariant under automorphisms). We introduce a variant in which the property of being universally elliptic is replaced by the more restrictive and rigid property of being universally compatible. This yields a canonical compatibility JSJ tree, not just a deformation space. We show that it exists for any finitely presented group. We give many examples, and we work throughout with relative decompositions (restricting to trees where certain subgroups are elliptic).

연구 동기 및 목표

• 특정 군의 클래스에 의존하지 않는, 유한 생성 군에 대한 JSJ 분해의 일반적이고 통합적인 정의를 개발하는 것.
• 유한 표현 군에 대해 간선 군에 대한 제약 없이도 JSJ 분해의 존재를 보장하는 것.
• 모든 JSJ 분해를 포함하는 표준적이고 가속 가능한 공간으로서의 JSJ 변형 공간을 도입하는 것.
• 군의 자동형사상에 대해 불변인 고유한 표준 JSJ 트리를 구성하여 기존의 표준 JSJ 분해의 유일성 부재 문제를 해결하는 것.
• 간선 군이 얇은 경우에 JSJ 분해의 유연한 정점들을 2-오비폭 군에 대한 이차적으로 매달린 확장로 특성화하는 것.

제안 방법

• JSJ 분해를 보편적 타원성 트리로서의 Bass-Serre 트리로 정의하는 것.
• 모든 보편적 타원성 트리를 포함하는 공간으로서의 JSJ 변형 공간을 도입하고, 이 공간이 가속 가능하다는 것을 보이는 것.
• 기둥 트리를 사용하여 자동형사상에 대해 불변인 표준 JSJ 트리를 구성하는 것.
• 보편적 타원성 조건을 더 강한 보편적 호환성 조건으로 대체하여 고유한 표준 트리를 얻는 것.
• Skora의 정리를 적용하여 R-트리 위의 작용과 오비폭 위의 측도 라미네이션 사이의 관계를 규명하는 것.
• 극한 작용을 분석하고 공통의 세분화를 통해 트리를 정교화하여, 유연한 정점의 기하적 구조를 추출하는 것.

실험 결과

연구 질문

• RQ1 다양한 군의 클래스에 균일하게 적용 가능한 일반적이고 내재된 JSJ 분해의 정의를 줄 수 있는가?
• RQ2 모든 유한 표현 군에 대해 JSJ 변형 공간이 존재하는가? 그리고 이 공간은 가속 가능한가?
• RQ3 군의 자동형사상에 대해 불변인 표준 JSJ 트리를 어떻게 구성할 수 있는가?
• RQ4 간선 군이 얇을 경우 JSJ 분해의 유연한 정점의 구조는 무엇인가?
• RQ5 보편적 호환성 JSJ 트리와 호환되는 R-트리 위의 작용은 어떻게 유도되며, 어떤 기하적 구조를 지니는가?

주요 결과

• 유한 표현 군에 대해 간선 군에 제약 없이도 JSJ 분해가 존재한다.
• JSJ 변형 공간—즉, 모든 보편적 타원성 트리의 집합—은 가속 가능하며, 외부 공간의 개념을 일반화한다.
• 모든 유한 표현 군에 대해 표준 호환성 JSJ 트리가 존재하여 고유하고 자동형사상에 대해 불변인 분해를 제공한다.
• 간선 군이 얇은 경우 JSJ 분해의 유연한 정점은 2-오비폭 군에 대한 이차적으로 매달린 확장이다.
• 보편적 호환성 JSJ 트리와 호환되는 R-트리 위의 작용은 단순 트리의 극한으로서 유도되며, 그 기하적 구조는 표면 위의 측도 라미네이션에 의해 제어된다.
• 유연한 정점이 R-트리 위에서 작용하는 최소 부분트리는 측도 라미네이션과 이중이며, 나머지 부분은 안정화군이 작은 구간들로 이루어져 있다.