[논문 리뷰] Free and Hyperbolic Groups are not Equational

Zlil Sela|arXiv (Cornell University)|2012. 04. 23.

Advanced Topology and Set Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 비아벨 자유군과 비원소적 순환 없는 하이퍼볼릭 군의 초등 이론이 등식적이지 않음을 증명한다. 이를 위해, $NE(p,q)$로 정의된 정의 가능한 집합—특히 $\exists x_1,x_2\ (qp = x_1^{10}x_2^{-9} \land [x_1,x_2] \neq 1)$로 정의된 집합—을 구성함으로써, 이 집합이 등식적 집합들의 부울 조합으로 표현될 수 없음을 보인다. 증명은 자유군 내에서의 테스트 시퀀스, 자유군 내에서의 리드너–슐츠엔베르거 유형의 추론, 하이퍼볼릭 군 내에서의 그로모프–하우스도르프 수렴을 사용하여, 이 집합이 정의 가능한 부분집합들의 엄격하게 감소하는 임의의 길이의 교차를 가질 수 있음을 보여, 등식성에 요구되는 유한성 조건을 위반함을 밝힌다.

ABSTRACT

We give an example of a definable set in every free or torsion-free (non-elementary) hyperbolic group that is not in the Boolean algebra of equational sets. Hence, the theories of free and torsion-free (non-elementary) hyperbolic groups are not equational in the sense of G. Srour.

연구 동기 및 목표

• 자유군과 하이퍼볼릭 군의 이론이 안정 이론에서 오랫동안 제기된 등식성 문제를 해결하기 위해.
• 자유군과 비원소적 순환 없는 하이퍼볼릭 군에서 등식적 집합의 부울 대수는 모든 정의 가능한 집합을 포괄하지 못한다는 것을 보여주기 위해.
• 구체적인 반례—특히 $NE(p,q)$—를 구성하여, 이 집합이 등식적 집합의 부울 대수 외부에 있음을 보여주기 위해.
• 기하학적 및 모델 이론적 도구를 사용하여 자유군에서의 등식적이지 않음 결과를 비원소적 순환 없는 하이퍼볼릭 군 전체로 확장하기 위해.
• 이들 군에서 최소 랭크의 정의 가능한 집합에 대해서도 등식성 조건이 실패함을 보여, 이론 문헌에서 이전에 가정된 바를 반박하기 위해.

제안 방법

• 자유군 내에서의 일반적인 원소들의 테스트 시퀀스를 사용하여, $NE(p,q)$의 해집합을 정의 가능한 집합으로 구성함으로써, 이 집합이 등식적이지 않음을 입증함. 이는 등식적이지 않은 집합의 해가 무한히 감소하는 교차 수열을 가짐을 의미함.
• 자유군 내에서 일반적인 원소들의 테스트 시퀀스를 사용하여, $NE(p,q)$의 엄격하게 감소하는 교차의 무한한 사슬을 생성함으로써, 등식성에 요구되는 유한한 상한 $N_D$를 위반함.
• 자유군 내에서 $x^m y^n z^r = 1$의 해에 대한 리드너–슐츠엔베르거 정리를 적용하여, 이러한 해가 순환 부분군을 생성함을 보이고, 이를 통해 교차 길이를 제어함.
• 비원소적 순환 없는 하이퍼볼릭 군으로 일반화하기 위해, 군 작용의 실수 트리로의 그로모프–하우스도르프 수렴을 사용하여, $x^{\ell+1}y^{-\ell}z^m = 1$의 해가 큰 $m$에 대해 순환 부분군을 생성함을 보임. 이를 통해 동일한 교차 길이 제약 조건을 유도함.
• 이전 연구([Se4], [Se6])에서의 체계적 절차와 랩퍼 구성 방법을 사용하여, 자유군에서의 양자자르기 및 정의 가능한 집합 분석을 하이퍼볼릭 군으로 확장함.
• 감소하는 수열에 대한 상한 $N_1, N_2$에 기반한 모순 추론을 적용하여, $NE(p,q)$가 등식적 집합이나 코-등식적 집합의 유한한 합집합 또는 교차로 표현될 수 없음을 보이며, 이는 $NE(p,q)$가 등식적 집합의 부울 대수 외부에 있음을 증명함.

실험 결과

연구 질문

• RQ1 비아벨 자유군의 초등 이론은 이전 안정성 이론에서 추측한 바와 같이 등식적인가?
• RQ2 자유군 내에서 정의 가능한 집합 $NE(p,q)$는 등식적 집합들의 유한한 부울 조합으로 표현될 수 있는가?
• RQ3 자유군에서의 등식적이지 않음 결과는 비원소적 순환 없는 하이퍼볼릭 군으로 확장되는가?
• RQ4 기하학적 수렴을 사용하여 하이퍼볼릭 군으로 리드너–슐츠엔베르거 정리의 순환 생성에 대한 일반화가 가능한가?
• RQ5 비원소적 순환 없는 하이퍼볼릭 군 내에서, 정의 가능한 부분집합들의 엄격하게 감소하는 임의의 길이의 교차를 가질 수 있는 정의 가능한 집합이 존재하는가? 이는 등식성 조건을 위반함.

주요 결과

• 자유군 내에서 $\exists x_1,x_2\ (qp = x_1^{10}x_2^{-9} \land [x_1,x_2] \neq 1)$로 정의된 집합 $NE(p,q)$는 어떤 비아벨 자유군에서도 등식적이지 않다.
• $NE(p,q)$는 엄격하게 감소하는 교차 수열 $\bigcap_{i=1}^j NE(p,q_i)$를 무한히 가질 수 있으며, 이는 등식성에 요구되는 유한한 상한 $N_D$를 위반한다.
• $NE(p,q)$는 등식적 집합들의 유한한 합집합 또는 교차로 표현될 수 없으며, 등식적 집합과 코-등식적 집합의 합집합 또는 교차로도 표현될 수 없다.
• 비아벨 자유군의 이론은 등식적이지 않다. 왜냐하면 $NE(p,q)$가 등식적 집합의 부울 대수 외부에 있기 때문이다.
• 비원소적 순환 없는 하이퍼볼릭 군으로의 등식적이지 않음 결과는 그로모프–하우스도르프 수렴을 사용한 리드너–슐츠엔베르거 추론의 일반화를 통해 확장된다.
• 비원소적 순환 없는 하이퍼볼릭 군 내에서 큰 $m$에 대해 $x^{\ell+1}y^{-\ell}z^m = 1$의 해는 순환 부분군을 생성하며, 이는 자유군에서와 동일한 모순 추론이 가능하게 한다.