[논문 리뷰] Diophantine Geometry over Groups IX: Envelopes and Imaginaries

Zlil Sela|arXiv (Cornell University)|2009. 09. 03.

Geometric and Algebraic Topology참고 문헌 9인용 수 14

한 줄 요약

이 논문은 자유군 및 순환군에 대한 순환 없는 하이퍼볼릭 군에서, 공역이 공역의 동치류를 분리하는 데 사용되는 정의 가능한 다중함수를 도입하여, 원소들을 공역의 유한한 매개변수로 일관되게 매핑함으로써, 공역의 기하적 제거를 확립한다. 이 다중함수의 정의는 공역의 동치류를 분리하면서 계수 없음을 유지한다. 이는 공역의 세 가지 가족—공역의 동치류, 왼쪽/오른쪽 여부류, 이중 여부류—가 유일한 본질적인 공역임을 증명한다. 이 방법은 디오판틴 및 두오 엔벨로프, 체계적 걸러내기 절차, 그리고 통일화 극한 군을 활용하여 동치류를 분리한다.

ABSTRACT

This paper is the ninth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of definable sets over free and hyperbolic groups. In the ninth paper we associate a Diophantine set with a definable set, and view it as the Diophantine envelope of the definable set. We use the envelope and duo limit groups that were used in proving stability of the theory of free and torsion-free hyperbolic groups [Se9], to study definable equivalence relations, and in particular, to classify imaginaries over these groups.

연구 동기 및 목표

• 자유군 및 순환 없는 하이퍼볼릭 군 위에서 모든 정의 가능한 동치관계를 분류하기 위해.
• 정의 가능한 동치관계 중에서 비자명한 공역(즉, 정의 가능한 함수로 표현되지 않는 것)을 특정하기 위해.
• 공역, 순환부위의 왼쪽/오른쪽 여부류, 순환부위의 이중 여부류가 오직 유일한 본질적인 공역임을 보여주기 위해.
• 이 세 기본 가족을 위한 소트를 추가함으로써 공역의 기하적 제거를 달성하기 위해.
• 비아벨, 비원소적, 순환 없는 하이퍼볼릭 군에 대해 계수 없음 기하적 제거를 확장하기 위해.

제안 방법

• 이전 연구에서 유도된 걸러내기 절차를 사용하여 정의 가능한 집합의 디오판틴 및 두오 엔벨로프를 구성하기 위해.
• 엔벨로프 내 점들의 조합론적 일반성(유사성)을 활용하여 정의 가능한 동치관계를 분석하기 위해.
• 통일화 극한 군과 붕괴 통일화 극한 군을 도입하여 동치류를 매개변수화하기 위해.
• G^m에서 G^s × R_1 × … × R_t로의 정의 가능한 다중함수를 정의하기 위해, 여기서 각 R_i는 세 기본 공역 중 하나에 대한 소트이다.
• 다중함수가 동치류 내 원소들에 대해 동일한 이미지를 갖는다(동치류 함수)는 것을 보장하고, 서로 다른 동치류를 분리한다.
• 일반화된 걸러내기 및 해소 기법을 사용하여, 원래의 동치관계가 계수 없을 경우 다중함수가 계수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 자유군 및 순환 없는 하이퍼볼릭 군에서 공역, 순환부위의 왼쪽/오른쪽 여부류, 순환부위의 이중 여부류는 비자명한 공역인가?
• RQ2 이 군들 위에서 모든 정의 가능한 동치관계가 이 세 기본 가족의 공역만을 사용하여 기하적으로 제거될 수 있는가?
• RQ3 계수 없는 동치관계에 적용할 경우 기하적 제거 절차가 계수 없이 수행되는가?
• RQ4 걸러내기 절차와 통일화 극한 군 구성 기법이 자유군에서 순환 없는 하이퍼볼릭 군으로 일반화될 수 있는가?
• RQ5 통일화 극한 군에서 유도된 매개변수들이 동치류에 대해 유한하고, 분리되며, 정의 가능한 다중함수를 제공하는가?

주요 결과

• 자유군 및 순환 없는 하이퍼볼릭 군에서 공역, 순환부위의 왼쪽/오른쪽 여부류, 순환부위의 이중 여부류는 실수(즉, 비자명한 공역)가 아니다.
• 이 군들 위에서 오직 세 가지 기본 가족—공역, 왼쪽/오른쪽 여부류, 이중 여부류의 순환부위—만이 본질적인 공역이다.
• 이 세 가족에 대한 소트에서 유한한 매개변수로 원소를 매핑하는 정의 가능한 다중함수가 존재하며, 서로 다른 동치류를 분리한다.
• 다중함수의 크기는 일관되게 유한하며, 원래의 동치관계가 계수 없을 경우 계수 없음을 유지한다.
• 비원소적, 순환 없는 하이퍼볼릭 군에서도 공역의 기하적 제거가 성립하며, 자유군에 대한 결과를 확장한다.
• 통일화 및 붕괴 통일화 극한 군의 구성은 제거 절차의 종료성과 정확성을 보장한다.