[논문 리뷰] Bi-interpretability with $\mathbb{Z}$ and models of the complete elementary theories of $ ext{SL}_n(\mathcal{O})$, $ ext{T}_n(\mathcal{O})$ and $ ext{GL}_n(\mathcal{O})$, $n\geq 3$

Mahmood Sohrabi, Alexei Myasnikov|arXiv (Cornell University)|2020. 04. 07.

Advanced Algebra and Geometry참고 문헌 14인용 수 5

한 줄 요약

이 논문은 수체의 정수환 𝒪에 대해 n ≥ 3일 때 정수환 ℤ와 군 SLₙ(𝒪), Tₙ(𝒪), GLₙ(𝒪) 사이의 이중 해석 가능성을 확립한다. 이는 이러한 군들과 동치인 모든 군이 𝒪와 동치인 링 R 위에서 해당 군과 동형임을 증명하며, 이론적 모델을 해석 가능성과 코homological 자료를 통해 완전히 특성화한다.

ABSTRACT

Let $\mathcal{O}$ be the ring of integers of a number field, and let $n\geq 3$. This paper studies bi-interpretability of the ring of integers $\mathbb{Z}$ with the special linear group $ ext{SL}_n(\mathcal{O})$, the general linear group $ ext{GL}_n(\mathcal{O})$ and solvable group of all invertible uppertriangular matrices over $\mathcal{O}$, $ ext{T}_n(\mathcal{O})$. For each of these groups we provide a complete characterization of arbitrary models of their complete elementary theories.

연구 동기 및 목표

• 수체의 정수환 𝒪에 대해 n ≥ 3일 때 SLₙ(𝒪), Tₙ(𝒪), GLₙ(𝒪)의 완전한 이론의 모든 모델을 특성화하는 것.
• 이들 군이 ℤ와 이중 해석 가능할지 확인함으로써, 1차 구조의 강성과 준유한 공리화 가능성 이해를 위한 단계로 삼는 것.
• ℤ와의 이중 해석 가능성 실패가 이론적 모델의 구조에 미치는 영향, 특히 𝒪×가 무한일 경우 Tₙ(𝒪)에 대해 코homological 변형을 통해 분석하는 것.
• GLₙ(𝒪)의 모든 모델이 𝒪와 동치인 링 R에 대해 정확히 GLₙ(R)임을 증명하는 것, 특히 𝒪의 단위원군이 무한일 경우에도 성립함.
• 중앙 확장과 대칭 2-코chain fᵢ가 이러한 고전적 군의 이론적 모델을 분류하는 데 어떤 역할을 하는지 명확히 하는 것.

제안 방법

• ℤ와 SLₙ(𝒪) 사이의 이중 해석 가능성을 활용하여 정의 가능한 구조를 이전하고, 완전한 이론의 모델을 특성화하는 것.
• 대각 부분군 dᵢ(𝒪×)의 정의 가능성과 SLₙ(𝒪) 위에서의 작용을 이용하여 링 𝒪의 구조를 군 내부에서 해석하는 것.
• 특히 대칭 2-코chain fᵢ를 활용한 코homological 기법을 적용하여 이론적 모델 내 중심과 토루스 부분군의 확장을 분석하는 것.
• Tₙ(𝒪)가 𝒪에 대해 해석 가능하지만 𝒪×가 무한일 경우 ℤ와 이중 해석 가능하지 않음을 이용하여, 모델 내에서 아벨형 변형이 발생함을 밝히는 것.
• GLₙ(𝒪)가 ℤ와 이중 해석 가능하지 않지만, 대칭 코chain 항등식을 통해 fᵢ ≡ 1임을 보여줌으로써 모든 이론적 모델이 R ≡ 𝒪에 대해 정확히 GLₙ(R)임을 증명하는 것.
• 이론적 모델 H ≡ GLₙ(𝒪)에서 군 이론 문장들을 사용하여 부분군 Δᵢ(R)과 Δᵢⱼ(R)을 정의하고, 관계 fᵢⁿ ≡ 1과 fᵢ ≡ fⱼ (i ≠ j)를 통해 토루스가 d₁(R×) × ⋯ × dₙ(R×)의 곱으로 분해됨을 보이는 것.

실험 결과

연구 질문

• RQ1 n ≥ 3이고 𝒪가 수체의 정수환일 때, SLₙ(𝒪), Tₙ(𝒪), GLₙ(𝒪)는 ℤ와 이중 해석 가능할까?
• RQ2 H ≡ SLₙ(𝒪), H ≡ Tₙ(𝒪), 또는 H ≡ GLₙ(𝒪)인 임의의 모델 H의 구조는 어떻게 되는가?
• RQ3 ℤ와의 이중 해석 가능성 실패가 이론적 모델의 분류에 어떤 영향을 미치는가, 특히 𝒪×가 무한일 경우 Tₙ(𝒪)에 대해 어떻게 되는가?
• RQ4 GLₙ(𝒪)가 ℤ와 이중 해석 가능하지 않더라도, 모든 이론적 모델이 어떤 R ≡ 𝒪에 대해 GLₙ(R)로 완전히 특성화될 수 있을까?
• RQ5 대칭 2-코chain fᵢ는 이러한 군의 모델에서 중심과 토루스의 확장을 분류하는 데 어떤 역할을 하는가?

주요 결과

• SLₙ(𝒪)는 n ≥ 3일 때 ℤ와 이중 해석 가능하며, 이는 임의의 모델 H ≡ SLₙ(𝒪)가 어떤 R ≡ ℤ에 대해 정확히 SLₙ(R)과 동형임을 의미한다.
• 𝒪×가 무한일 경우 Tₙ(𝒪)는 ℤ와 이중 해석 가능하지 않으며, 임의의 모델 H ≡ T₧(𝒪)는 어떤 R ≡ 𝒪에 대해 Tₙ(R)의 아벨형 변형이다.
• 𝒪×가 무한일 경우 GLₙ(𝒪)는 ℤ와 이중 해석 가능하지 않지만, 모든 모델 H ≡ GLₙ(𝒪)는 어떤 R ≡ 𝒪에 대해 정확히 GLₙ(R)과 동형이다.
• 확장 Δᵢ(R)을 정의하는 대칭 2-코chain fᵢ는 fᵢⁿ ≡ 1과 fᵢ ≡ fⱼ (i ≠ j)를 만족하며, 이는 fᵢ ≡ 1을 강제한다. 이는 토루스 Eₙ이 대각 부분군의 곱으로 분해됨을 의미한다.
• dᵢ(R×)의 부분군과 그 작용의 정의 가능성 덕분에 H 내부에서 링 R를 해석할 수 있으며, 이는 H ≅ GLₙ(R) (R ≡ 𝒪)임을 보장한다.
• 비표준 모델 R에서 ℤ의 자동사상 수가 비가산임과 R에서 가산임 사이의 모순은, 관련 코chain이 반드시 자명함을 보여줌으로써 피할 수 있다.