[논문 리뷰] JSJ decompositions: definitions, existence, uniqueness. II. Compatibility and acylindricity

Vincent Guirardel, Gilbert Levitt|arXiv (Cornell University)|2010. 02. 24.

Protein Tyrosine Phosphatases참고 문헌 32인용 수 19

한 줄 요약

이 논문은 보편적인 정밀화의 호환성에 의해 정의되는, 유한 생성 군에 대해 특정 부분군의 클래스 위에서 정규화된, 자동형사에 관하여 불변인 트리인 호환성 JSJ 트리를 도입한다. 이 트리의 존재성과 유일성을 증명하고, CSA 군, $̳$-극한 군, 그리고 약간의 조건을 만족하는 상대적으로 히에르볼릭 군에 적용하여 이전의 JSJ 구성들을 통합하고 확장한다.

ABSTRACT

This paper and its companion arXiv:0911.3173 have been replaced by arXiv:1602.05139. We define the compatibility JSJ tree of a group G over a class of subgroups. It exists whenever G is finitely presented and leads to a canonical tree (not a deformation space) which is invariant under automorphisms. Under acylindricity hypotheses, we prove that the (usual) JSJ deformation space and the compatibility JSJ tree exist, and we describe their flexible subgroups. We apply these results to finitely generated CSA groups, Γ-limit groups (allowing torsion), and relatively hyperbolic groups.

연구 동기 및 목표

• 유한 생성 군에 대해 자동형사에 관하여 불변인 정규화된 JSJ 트리, 즉 호환성 JSJ 트리를 정의하고 존재성을 확립하는 것.
• 기본적인 변형 공간을 초월하여, 정밀화의 호환성에 의해 유일한 트리를 구성함으로써 JSJ 이론을 확장하는 것.
• 호환성 JSJ 트리가 스코트-스워퍼프 정규 이웃을 지배하고, 약간의 조건에서 정규화된 구조를 제공함을 증명하는 것.
• 특정 군의 클래스, 특히 CSA 군, $̳$-극한 군(토르션을 포함), 상대적으로 히에르볼릭 군에 이 틀을 적용하는 것.
• 호환성과 약간의 조건을 통해 기존의 JSJ 구성들을 통합하고 일반화하는 것, 특히 한 개의 끝을 가진 히에르볼릭 군에서의 적용.

제안 방법

• 두 트리의 호환성을, 붕괴 사상에 의한 공통 정밀화의 존재성으로 정의한다.
• 모든 유일한 호환성 트리를 포함하는 최대의 변형 공간으로서 호환성 JSJ 변형 공간을 도입한다.
• 한정된 호환성의 닫힘 성질을 이용하여, 유한 생성 군에 대해 호환성 JSJ 트리 $T_{\mathrm{co}}$ 의 존재성을 증명한다.
• 약간의 조건을 통해 간선 및 정점 안정자군의 궤도가 유한하게 유지되도록 하고, 정규화된 트리의 구성이 가능하도록 한다.
• 제3부에서의 호환성 JSJ 공간 결과를 적용하고, 보조정리 3.9를 사용하여 $T_{\mathrm{co}}$ 가 단순 트리의 극한과 호환됨을 보인다.
• 길이 함수 $\ell_{T} + \ell_{T_{\mathrm{co}}}$ 를 갖는 정밀화 트리 $\hat{T}$ 를 구성하고, 등거리 임bedding과 안정자 조건을 통해 부분트리 위의 작용을 분석한다.

실험 결과

연구 질문

• RQ1 기본적인 변형 공간을 초월하여, 자동형사에 관하여 불변인 정규화된 JSJ 트리가 유한 생성 군에 대해 존재하는가?
• RQ2 기본적인 변형 공간이 정규화되지 않을 경우, 공통 정밀화를 통한 호환성 조건이 유일한 JSJ 트리를 도출할 수 있는가?
• RQ3 호환성 JSJ 트리는 한 개의 끝을 가진 히에르볼릭 군에서 스코트-스워퍼프 정규 이웃과 어떻게 관련되어 있는가? 그리고 바우드치의 경계 기반 구성과의 관계는?
• RQ4 CSA 군이나 상대적으로 히에르볼릭 군과 같은 군에서 호환성 JSJ 트리가 비자명해지는 조건은 무엇인가?
• RQ5 정밀화와 길이 분해를 통해 $\mathbb{R}$-트리 위의 작용이 호환성 JSJ 트리로부터 체계적으로 재구성될 수 있는가?

주요 결과

• 모든 유한 생성 군 $G$ 와 부분군의 공액류에 대해, 부분군을 포함하는 닫힌 부분군의 클래스에 대해 호환성 JSJ 트리 $T_{\mathrm{co}}$ 가 존재하고 유일하다.
• 군 $G$ 가 유한 생성이고 ${\mathcal{A}}$ 가 자동형사에 관하여 불변이면, $T_{\mathrm{co}}$ 는 $\mathrm{Aut}(G)$ 에 대해 불변이므로 군의 정규화된 불변량이 된다.
• 한 개의 끝을 가진 히에르볼릭 군의 경우, $T_{\mathrm{co}}$ 는 바우드치가 경계 위상 $\partial G$ 에서 구성한 JSJ 트리와 매우 가깝다.
• 토르션 없는 CSA 군의 경우, 아벨 부분군 위에서의 호환성 JSJ 트리는 정밀화와 길이 분해를 통해 모든 작은 $\mathbb{R}$-트리 위의 작용을 재구성할 수 있다.
• 각 정점 군 $G_v$ 가 정밀화 트리의 전이 $\hat{T}_v$ 위에 작용할 때, 그 작용은 점을 고정하는지 여부에 따라 유한 개의 궤도를 가진 콘 또는 직선이 된다.
• 정점 군 $G_v$ 가 아벨이 아니면, 그 최소 불변 부분트리는 표면 위의 측도가 있는 라미네이션과 이중이며, 나머지 부분은 작은 안정자군을 갖는 구간들로 이루어져 있으며 기하학적 $\mathbb{R}$-트리의 구조와 일치한다.