[논문 리뷰] On groups and fields interpretable in torsion-free hyperbolic groups

Chloé Perin, Anand Pillay외 2명|arXiv (Cornell University)|2012. 10. 21.

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

한 줄 요약

이 논문은 안정성 이론적 방법과 세라의 상상적 원소 제거 결과를 활용하여, 비순환적 순환 없는 하이퍼볼릭 군에서의 일반 유형(genetic type)이 어떤 해석 가능한 아벨 군이나 체와 외부적임을 증명한다. 주요 결과는 이러한 군 이론 내에 무한 체가 해석 가능하지 않다는 것을 뒷받침하는 주요 단계를 확인하며, 이러한 군의 모형 이론적 순수성에 관한 광범위한 추측을 지지한다.

ABSTRACT

We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyperbolic groups. We also use the description of imaginaries to prove that if F is a free group of rank > 2 then no orbit of a finite tuple from F under Aut(F) is definable.

연구 동기 및 목표

• 비순환 순환 없는 하이퍼볼릭 군의 일阶논리 이론 내에서 아벨 군과 체의 해석 가능성에 대해 조사한다.
• 비순환 순환 없는 하이퍼볼릭 군의 일반 유형이 어떤 해석 가능한 아벨 군과도 외부적임을 증명함으로써, 해석 가능한 체와의 상호작용을 배제한다.
• 세라의 상상적 원소 제거 결과를 활용하여 비순환 순환 없는 하이퍼볼릭 군의 정의 가능 단순성(definable simplicity)을 확립한다.
• 자유 군의 순서가 2를 초과하는 경우, 유한 튜플의 자동형사상 군에 의한 궤도가 정의 가능하지 않음을 보인다.
• 비순환 순환 없는 하이퍼볼릭 군의 이론 내에 무한 체가 해석 가능하지 않다는 추측 1을 지지한다.

제안 방법

• 특히 유형의 외부성 개념을 활용하여, 일반 유형과 해석 가능한 구조 간의 상호작용을 분석하기 위해 안정성 이론적 도구를 사용한다.
• 해석 가능한 아벨 군과의 상호작용에서 발생하는 모순을 유도하기 위해, 안정 이론 내의 정의 가능 닫힘과 비분할 확장(nonforking extension) 개념을 활용한다.
• 비자유 비순환 순환 없는 하이퍼볼릭 군으로의 분석을 단순화하기 위해, 기본 핵심(elementary core) $EC(G)$의 개념을 활용한다.
• 세라의 하이퍼볼릭 군 내 상상적 원소 제거 결과를 기초 도구로 활용하여, 정의 가능 단순성을 증명한다.
• 모형 이론적 전이: 더 큰 모형에서 성립하는 공식은 더 작은 모형에서도 실현될 수 있으며, 이를 통해 자유 군이나 기본 핵심으로의 축소를 가능하게 한다.
• 모형 이론의 사실 5.2를 적용: 일반 유형이 부분 유형과 외부적이지 않다면, 내부 몫을 가지는 정의 가능 정규부군이 존재한다.

실험 결과

연구 질문

• RQ1 해석 가능한 아벨 군이 비순환 순환 없는 하이퍼볼릭 군의 일반 유형과 상호작용할 수 있는가?
• RQ2 비순환 순환 없는 하이퍼볼릭 군의 이론 내에 무한 체가 해석 가능할 수 있는가?
• RQ3 자유 군의 순서가 2를 초과하는 경우, 자동형사상 군에 의한 유한 튜플의 궤도는 정의 가능한가?
• RQ4 세라의 상상적 원소 제거 결과로부터 비순환 순환 없는 하이퍼볼릭 군의 정의 가능 단순성이 유도되는가?
• RQ5 자유 군과 $\mathbb{Z}$의 자유곱을 통한 모델 확장 시, 해석 가능한 아벨 군의 구조는 어떻게 제한될 수 있는가?

주요 결과

• 비순환 순환 없는 하이퍼볼릭 군의 일반 유형 $p^G_0$ 는 어떤 해석 가능한 아벨 군과도 외부적임을 의미한다. 즉, 그러한 군의 원소와 상호정의 가능해지는 비분할 확장이 존재하지 않는다.
• 이에 따라, $p^G_0$ 는 어떤 해석 가능한 체나 스케일드 필드(skew field)와도 외부적임을 보이며, 이러한 이론 내에 무한 해석 가능한 체가 존재하지 않을 가능성을 강력히 뒷받침한다.
• 순환 없는 하이퍼볼릭 군의 유일한 진정한 정의 가능한 부분군은 순환군뿐이며, 이는 세라의 상상적 원소 제거 결과를 통해 정의 가능 단순성을 확립한다.
• 자유 군 $\mathbb{F}$ 의 순서가 3 이상인 경우, 비자명한 유한 튜플의 자동형사상 군에 의한 궤도는 파rameter를 포함하더라도 정의 가능하지 않다.
• 만약 $EC(G)^{eq}$ 내에서 정의 가능한 집합 $X$ 가 $EC(G)*\mathbb{Z}$ 에서의 실현이 다를 경우, $X$ 는 정의 가능 아벨 군의 구조를 지닐 수 없다.
• 증명은 전이 추론에 기반한다: 더 큰 모형에서 일반 원소를 정의하는 공식이 더 작은 모형에서도 성립한다면, 특정 상상적 원소의 정의 불가능성에 의해 모순이 발생한다.