[論文レビュー] 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)|Apr 7, 2020

Advanced Algebra and Geometry参考文献 14被引用数 5

ひとこと要約

本論文は、数体の整数環 𝒪 に対して n ≥ 3 のとき、整数環 ℤ と群 SLₙ(𝒪)、Tₙ(𝒪)、GLₙ(𝒪) の間で双解釈可能性を確立する。任意のこれらの群と同値な群は、𝒪 と同値な環 R に対する対応する群に同型であり、解釈可能性とコホモロジー的データを用いて、それらの初等的モデルを完全に特徴づける。

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ₙ(𝒪) におけるコホモロジー的変形を通じての影響を調査すること。
• GLₙ(𝒪) のモデルが、𝒪 と同値な環 R に対して GLₙ(R) に正確に一致することを確立すること、特に 𝒪 が無限大の単数群を持つ場合でも成立すること。
• 中心拡大と対称的2次コサイクルが、これらの古典的群の初等的モデルの分類において果たす役割を明確にすること。

提案手法

• ℤ と SLₙ(𝒪) 間の双解釈可能性を用いて、定義可能な構造を移し、完全な初等理論のモデルを特徴づける。
• 対角部分群 dᵢ(𝒪×) 及びそれらの SLₙ(𝒪) 上での作用の定義可能性を活用し、群内に 𝒪 の環構造を解釈する。
• 特に対称的2次コサイクル fᵢ を用いたコホモロジー的技法を適用し、初等的モデルにおける中心およびトーラス部分群の拡張を分析する。
• Tₙ(𝒪) が 𝒪 に解釈可能ではあるが、𝒪× が無限大のとき ℤ と双解釈可能でないことに着目し、モデルにおいてアーベル的変形が生じることを示す。
• GLₙ(𝒪) が ℤ と双解釈可能でないが、対称的コサイクル恒等式により 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 が H ≡ SLₙ(𝒪)、H ≡ Tₙ(𝒪)、または H ≡ GLₙ(𝒪) を満たす場合、その構造はどのようなものか？
• RQ3 ℤ との双解釈不能が初等的モデルの分類に与える影響、特に 𝒪× が無限大のときの Tₙ(𝒪) の場合においては？
• RQ4 GLₙ(𝒪) の初等的モデルは、GLₙ(𝒪) が ℤ と双解釈可能でない場合でも、ある R ≡ 𝒪 に対して GLₙ(R) に完全に特徴づけられるか？
• RQ5 対称的2次コサイクル fᵢ は、これらの群のモデルにおける中心およびトーラスの拡張の分類において、どのような役割を果たすか？

主な発見

• n ≥ 3 のとき、SLₙ(𝒪) は ℤ と双解釈可能であり、任意のモデル H ≡ SLₙ(𝒪) は、ある R ≡ ℤ に対して SLₙ(R) に同型であることを示唆する。
• 𝒪× が無限大のとき、Tₙ(𝒪) は ℤ と双解釈可能でないが、任意のモデル H ≡ Tₙ(𝒪) は、ある R ≡ 𝒪 に対して Tₙ(R) のアーベル的変形である。
• 𝒪× が無限大のとき、GLₙ(𝒪) は ℤ と双解釈可能でないが、すべてのモデル H ≡ GLₙ(𝒪) は、ある R ≡ 𝒪 に対して GLₙ(R) に同型である。
• 部分群 Δᵢ(R) を定義する対称的2次コサイクル fᵢ は、fᵢⁿ ≡ 1 および i ≠ j のとき fᵢ ≡ fⱼ を満たし、これにより fᵢ ≡ 1 が導かれる。これはトーラス Eₙ が対角部分群の積に分解されることを意味する。
• 部分群 dᵢ(R×) 及びそれらの SLₙ(R) 上での作用の定義可能性により、H 内に環 R の解釈が可能となり、H ≅ GLₙ(R) が R ≡ 𝒪 のもとで保証される。
• 非標準的モデル R に対して ℤ の非可算な自己同型と GLₙ(R) の可算な自己同型の矛盾は、関係するコサイクルが自明であることを示すことによって回避される。