[논문 리뷰] Homogeneity and prime models in torsion-free hyperbolic groups

Abderezak Ould Houcine|arXiv (Cornell University)|2010. 04. 27.

Geometric and Algebraic Topology참고 문헌 19인용 수 5

한 줄 요약

이 논문은 유한 계수를 가진 비아벨 자유군이 동형사상에 의해 동일한 완전 유형을 가진 두 개의 튜플을 연결할 수 있는 동질성(homogeneous)임을 증명한다. 또한 두 생성자를 가진 순환 없는 하이퍼볼릭 군이 존재론적으로 동질적이고, 소수 모델이며, $\Gamma$-결정됨을 보이며, QFA(quasi-finitely axiomatizable)가 아닌 유한 생성 소수 군의 구체적 예를 제공한다.

ABSTRACT

We show that any nonabelian free group $F$ of finite rank is homogeneous; that is for any tuples $\bar a$, $\bar b \in F^n$, having the same complete $n$-type, there exists an automorphism of $F$ which sends $\bar a$ to $\bar b$. We further study existential types and we show that for any tuples $\bar a, \bar b \in F^n$, if $\bar a$ and $\bar b$ have the same existential $n$-type, then either $\bar a$ has the same existential type as a power of a primitive element, or there exists an existentially closed subgroup $E(\bar a)$ (resp. $E(\bar b)$) of $F$ containing $\bar a$ (resp. $\bar b$) and an isomorphism $σ: E(\bar a) o E(\bar b)$ with $σ(\bar a)=\bar b$. We will deal with non-free two-generated torsion-free hyperbolic groups and we show that they are $\exists$-homogeneous and prime. This gives, in particular, concrete examples of finitely generated groups which are prime and not QFA.

연구 동기 및 목표

• 유한 계수를 가진 비아벨 자유군이 동질적인지, 즉 동일한 완전 유형을 가진 튜플들이 서로를 보내는 자명한 동형사상이 존재하는지 확인하는 것.
• 자유군 내 존재론적 유형의 구조를 분석하고, 동일한 존재론적 유형을 가진 튜플들을 분류하는 것.
• 비자유군이면서 두 생성자를 가진 순환 없는 하이퍼볼릭 군의 모델 이론적 성질을 분석하고, 특히 그들의 동질성과 소수성에 초점하는 것.
• QFA가 아닌 소수 모델의 분류에 빈도가 있는 갭을 메우기 위해, 소수이지만 QFA가 아닌 유한 생성 군의 구체적 예를 제공하는 것.
• 비자유군이면서 두 생성자를 가진 순환 없는 하이퍼볼릭 군에 대해 강한 co-hopfian 성질과 $\Gamma$-결정성을 확립하는 것.

제안 방법

• 모형 이론에서 유형 이론의 사용: 군 내 튜플의 완전 유형과 존재론적 유형을 비교하는 것.
• 동형사상의 상향 기법을 적용하여, 동일한 완전 유형을 가진 튜플들이 동형사상에 의해 동등함을 보이는 것.
• 튜플 $\bar{a}$ 를 포함하는 존재적으로 닫힌 부분군 $E(\bar{a})$ 의 개념을 도입하고, 존재론적 유형을 보존하는 동형사상이 존재함을 보이는 것.
• 극한 군과 $\Gamma$-극한 군의 결과를 활용하여 임bedding과 자기형사상의 구조를 분석하는 것.
• 자기형사상의 비자명한 이미지가 항상 자명한 동형사상이 되도록 하는 유한 집합 $S$ 를 이용해 강한 co-hopfian 성질을 증명하는 것.
• 셀라의 작업에서 유도된 초순수 동치와 초순수 코어 이론을 활용하여 연결성과 소수성의 성질을 유도하는 것.

실험 결과

연구 질문

• RQ1 유한 계수를 가진 비아벨 자유군은 동질적인가, 즉 동일한 완전 유형을 가진 튜플들이 서로를 보내는 자명한 동형사상이 존재하는가?
• RQ2 자유군 내에서 동일한 존재론적 유형을 가진 튜플은 무엇으로 특징지어지며, 이러한 유형은 어떻게 분류될 수 있는가?
• RQ3 비자유군이면서 두 생성자를 가진 순환 없는 하이퍼볼릭 군은 존재론적으로 동질적이고 소수인가?
• RQ4 이러한 군은 $\Gamma$-결정될 수 있으며, 이는 그들의 모델 이론적 구조에 대해 어떤 함의를 갖는가?
• RQ5 이러한 군들은 QFA가 아닌 소수 모델의 구체적 예를 제공하는가?

주요 결과

• 모든 유한 계수를 가진 비아벨 자유군 $F$ 는 동질적이다: 임의의 튜플 $\bar{a}, \bar{b} \in F^n$ 이 동일한 완전 $n$-유형을 가질 경우, $\bar{a}$ 를 $\bar{b}$ 로 보내는 $F$ 의 자명한 동형사상이 존재한다.
• 자유군 내에서 동일한 존재론적 유형을 가진 튜플에 대해서는, 그들이 어떤 원시 원소의 거듭제곱이거나, $\bar{a}$ 와 $\bar{b}$ 를 포함하는 동형인 존재적으로 닫힌 부분군 $E(\bar{a})$ 와 $E(\bar{b})$ 가 존재하며, 주어진 매개변수 집합을 고정하는 동형사상이 존재하여 $\bar{a}$ 를 $\bar{b}$ 로 보낸다.
• 비자유군이면서 두 생성자를 가진 순환 없는 하이퍼볼릭 군은 강한 co-hopfian 성질을 가지며, 임의의 자기형사상이 집합 $S$ 를 비자명하게 보존하면 그 자체로 자명한 동형사상이 된다는 유한 집합 $S$ 가 존재한다.
• 이러한 군들은 강한 co-hopfian 성질과 극한 군의 구조에 기반하여 존재론적으로 동질적이고, 소수이며, $\Gamma$-결정된다.
• 이 군들은 QFA(quasi-finitely axiomatizable)가 아닌 유한 생성 소수 군의 첫 번째 구체적 예를 제공한다.
• 비순환군이면서 순환 없는 하이퍼볼릭 군은 연결되어 있으며, 유한 지표를 가진 진부분군이 존재하지 않는다. 이는 일반 집합의 논증과 HNN 확장에 대한 초순수 동치를 통해 증명된다.