[논문 리뷰] On the model theory of higher rank arithmetic groups

Nir Avni, Chen Meiri|arXiv (Cornell University)|2020. 08. 04.

Advanced Topology and Set Theory참고 문헌 27인용 수 6

한 줄 요약

이 논문은 중심이 없는 기하학적 군이자 높은 랭크인 고유한 산술군—특히 차원이 9 이상인 비균일 격자 또는 균일한 정수형 격자—가 정수환 ℤ와 상호해석 가능하다는 것을 증명한다. 이 결과는 그들의 일阶논리 이론이 결정불가능하다는 것을 의미하며, 모든 유한생성 부분군이 정의 가능하다는 바탕이 되며, 이러한 군은 모든 유한생성 군들 중에서 단 하나의 일阶논리 문장으로 유일하게 특징지어질 수 있다.

ABSTRACT

Let $Γ$ be a centerless irreducible higher rank arithmetic lattice in characteristic zero. We prove that if $Γ$ is either non-uniform or is uniform of orthogonal type and dimension at least 9, then $Γ$ is bi-interpretable with the ring $\mathbb{Z}$ of integers. It follows that the first order theory of $Γ$ is undecidable, that all finitely generated subgroups of $Γ$ are definable, and that $Γ$ is characterized by a single first order sentence among all finitely generated groups.

연구 동기 및 목표

• 높은 랭크 산술군의 모형이론적 성질을 조사하고, 특히 정수환 ℤ에 대한 해석 가능성에 초점을 맞춘다.
• 기하학적 군의 랭크가 1인 경우와 높은 랭크인 경우의 모형이론적 성질 간의 명확한 대비를 설정하며, 강성과 합동부분군 성질에서 알려진 이분법과 유사한 성격을 갖는다.
• 특정 기하학적 및 산술적 조건—비균일성 또는 고차원 정수형—하에서 높은 랭크 산술군이 ℤ와 상호해석 가능할 조건을 규명한다.
• 상호해석 가능성의 결과로서 결정불가능성, 부분군의 정의 가능성, 이러한 군의 일阶논리적 특징화에 미치는 영향을 탐구한다.
• 이 분석을 이러한 군의 중심 확장으로 확장하여, 상호해석 가능성과 군 내에서 단어 폭의 유지 간의 연관성을 연결한다.

제안 방법

• 모형이론에서의 상호해석 가능성 기법을 사용하여 산술군의 일阶논리적 구조와 정수환 ℤ 사이의 관계를 설정한다.
• 셀라와 카르람파치치–마이아스니코프의 초구형 군에 대한 결과를 활용하여, 랭크가 1인 군과 높은 랭크 군 간의 모형이론적 행동을 대비한다.
• 선형군의 S-정수환 위에서의 가우스 소거법과 교환자 계산 기법을 활용하여 정의 가능한 집합을 구성한다.
• 군 작용과 교환자 항등식을 통해 합동부분군과 유니포텐트 부분군의 균일한 정의 가능성을 활용한다.
• 기본 행렬과 코너주션 작용을 통해 S-정수환 A와 PSL_n(A) 사이의 해석을 구성한다.
• 해석의 복합이 자명함을 증명하여, 상상의 종류 사이의 정의 가능한 동형사상에 의해 상호해석 가능성의 성립을 확립한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 높은 랭크 산술군이 정수환 ℤ와 상호해석 가능해지는가?
• RQ2 ℤ와의 상호해석 가능성은 이러한 군의 일阶논리 이론의 결정불가능성에 어떤 영향을 미치는가?
• RQ3 높은 랭크 산술군의 어떤 부분군이 군의 일阶논리 언어에서 정의 가능한가?
• RQ4 높은 랭크 산술군이 모든 유한생성 군들 중에서 단 하나의 일阶논리 문장으로 유일하게 특징지어질 수 있는가?
• RQ5 중심 확장에서의 단어 폭은 ℤ와의 상호해석 가능성 유지에 어떤 역할을 하는가?

주요 결과

• 비균일성 또는 차원이 9 이상인 정수형의 균일한 중심이 없는 기하학적 군이자 높은 랭크 산술 격자들은 정수환 ℤ와 상호해석 가능하다.
• 이러한 군들의 일阶논리 이론은 결정불가능하다. 그 이유는 정수환을 해석하기 때문이며, 정수환의 이론이 결정불가능하다는 것은 잘 알려져 있다.
• 이 군들의 모든 유한생성 부분군은 정의 가능하다. 이는 고델의 정리—정수환 내에서 재귀적으로 열거 가능한 집합이 정의 가능하다는 것—의 결과이다.
• 군 Γ는 모든 유한생성 군들 중에서 단 하나의 일阶논리 문장으로 유일하게 특징지어지며, 이는 군이 준유한공리화 가능하다는 것을 의미한다.
• Γ의 유한군으로서 크기가 d인 중심 확장 Δ에 대해, Δ가 ℤ와 상호해석 가능할 조건은 Γ 내에서 단어 x^d[y,z]의 폭이 유한할 때이다.
• S-정수환 A와 PSL_n(A) 사이의 상호해석 가능성은 합동부분군과 유니포텐트 부분군의 균일한 정의 가능성을 군론적 구성에 의해 확립한다.