[논문 리뷰] Algebraic & definable closure in free groups

Abderezak Ould Houcine, Daniele Vallino|arXiv (Cornell University)|2011. 08. 29.

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

한 줄 요약

이 논문은 자유군과 순환자기군이 없는 하이퍼볼릭 군에서 대수적 폐쇄와 정의 가능 폐쇄를 조사하며, 자유군의 계수 ≥4일 때 정의 가능 폐쇄가 대수적 폐쇄의 진부분군임을 증명한다—이것은 세라가 제기한 질문에 대한 답이다. 또한 비아벨 부분군의 대수적 폐쇄가 유한생성되며, 쿼어드컨벡스이고 하이퍼볼릭임을 보이며, 부분군에 대한 일반화된 불량정규 순환 JSJ 분해에서 정점 군과 일치함을 밝힌다.

ABSTRACT

We study algebraic closure and its relation with definable closure in free groups and more generally in torsion-free hyperbolic groups. Given a torsion-free hyperbolic group G and a nonabelian subgroup A of G, we describe G as a constructible group from the algebraic closure of A along cyclic subgroups. In particular, it follows that the algebraic closure of A is finitely generated, quasiconvex and hyperbolic. Suppose that G is free. Then the definable closure of A is a free factor of the algebraic closure of A and the rank of these groups is bounded by that of G. We prove that the algebraic closure of A coincides with the vertex group containing A in the generalized cyclic JSJ-decomposition of G relative to A. If the rank of G is bigger than 4, then G has a subgroup A such that the definable closure of A is a proper subgroup of the algebraic closure of A. This answers a question of Sela.

연구 동기 및 목표

• 세라가 자유군에서 정의 가능 폐쇄가 대수적 폐쇄와 일치하는지 여쭤본 질문을 해결하기 위해.
• 자유군과 더 나아가 순환자기군이 없는 하이퍼볼릭 군에서 대수적 폐쇄와 정의 가능 폐쇄의 구조를 특성화하기 위해.
• 순환자기군이 없는 하이퍼볼릭 군에서 비아벨 부분군의 대수적 폐쇄가 유한생성되며, 쿼어드컨벡스이고 하이퍼볼릭임을 증명하기 위해.
• 자유군에서 정의 가능 폐쇄가 대수적 폐쇄의 자유 부분군임을 보이며, 둘 다의 계수가 환경 군의 계수로 유계임을 보여주기 위해.
• 자유군에서 부분군 A에 대한 대수적 폐쇄가 A에 대한 일반화된 불량정규 순환 JSJ 분해에서 정점 군과 일치함을 증명하기 위해.

제안 방법

• 일阶논리 군 위에서 대수적 폐쇄와 정의 가능 폐쇄의 모델이론적 개념을 사용한다.
• 특히 부분군에 대한 일반화된 불량정규 순환 JSJ 분해를 포함한 순환자기군이 없는 하이퍼볼릭 군의 JSJ 분해 이론을 적용한다.
• 대상 군을 대수적 폐쇄에서 순환 부분군을 중심으로 한 HNN 확장과 분할 자유곱을 통해 구성하기 위해 HNN 확장과 분할 자유곱을 사용한다.
• 순환자기군이 없는 하이퍼볼릭 군에서 안정성 및 상징 제거 성질에 관한 세라의 결과를 적용한다.
• 단어 방정식을 분석하고 모순을 이끌어내기 위해 순환적으로 감소한 단어, 쌍대화, 아벨화를 포함한 군론적 추론을 사용한다.
• HNN 확장에 관한 핵심 보조정리(보조정리 5.4)를 적용하여 특정 원소를 공역시키는 자동형사를 분류함으로써, 자유군을 부분군에 모odulo한 자동형사의 가능한 분류를 이끌어낸다.

실험 결과

연구 질문

• RQ1 유한 계수를 가진 자유군에서 부분군의 정의 가능 폐쇄가 그 대수적 폐쇄와 일치하는가?
• RQ2 순환자기군이 없는 하이퍼볼릭 군에서 비아벨 부분군의 대수적 폐쇄와 환경 군 사이의 구조적 관계는 무엇인가?
• RQ3 자유군에서 부분군에 대한 JSJ 분해와 대수적 폐쇄는 어떻게 관련이 있는가?
• RQ4 계수가 높은 자유군에서 정의 가능 폐쇄가 대수적 폐쇄의 진부분군일 수 있는가?
• RQ5 자유군을 부분군에 모odulo한 자동형사가 생성자를 항등로 또는 반전시키는 조건은 무엇인가?

주요 결과

• 자유군의 계수 ≥4일 때, 부분군의 정의 가능 폐쇄는 그 대수적 폐쇄의 진부분군이며, 이는 세라의 질문에 대한 부정적 답변을 제공한다.
• 순환자기군이 없는 하이퍼볼릭 군에서 비아벨 부분군의 대수적 폐쇄는 유한생성되며, 쿼어드컨벡스이고 하이퍼볼릭이다.
• 환경 자유군은 대수적 폐쇄에서 순환 부분군을 중심으로 한 분할 자유곱과 HNN 확장을 유한 번 반복하여 구성할 수 있다.
• 자유군에서 부분군 A에 대한 대수적 폐쇄는 A에 대한 일반화된 불량정규 순환 JSJ 분해에서 A를 포함하는 정점 군과 일치한다.
• 자유군의 계수가 2일 때, 어떤 부분군에 대해서도 정의 가능 폐쇄와 대수적 폐쇄는 일치한다.
• 자유군의 계수가 ≥4일 경우, 정의 가능 폐쇄가 대수적 폐쇄의 진부분군이 되는 부분군 A가 존재한다.