[論文レビュー] Algebraic geometry over algebraic structures III: Equationally Noetherian property and compactness

É. Yu. Daniyarova, Alexei Myasnikov+1 more|arXiv (Cornell University)|Feb 23, 2010

Advanced Algebra and Logic参考文献 17被引用数 32

ひとこと要約

本稿は普遍代数的幾何学における基礎的結果を拡張するため、一般化されたコンパクト性性質—${\mathrm{q}_{\omega}}$-コンパクト性、${\mathrm{u}_{\omega}}$-コンパクト性、弱く方程式的ネーター的、および弱く${\mathrm{u}_{\omega}}$-コンパクトな代数—を導入し、それらを分析する。これらの性質の基準を確立し、${\mathrm{u}_{\omega}}$-コンパクト性が超べきおよび埋め込みによって保存されることを証明し、方程式的ネーター構造上の座標代数および極限代数に重要な含意をもたらす。

ABSTRACT

In this paper we discuss some special generalizations of equationally Noetherian property which naturally arise in the universal algebraic geometry. We introduce weakly equationally Noetherian, qw-compact, uw-compact, and weakly uw-compact algebras and then examine properties of such algebras. Also we consider the connections between five classes: the class of equationally Noetherian algebras, the class of weakly equationally Noetherian algebras, the class of uw-compact algebras, the class of weakly uw-compact algebras, and the class of qw-compact algebras.

研究の動機と目的

• 方程式的ネーター代数の概念を一般化し、弱く方程式的ネーター的、${\mathrm{q}_{\omega}}$-コンパクト、${\mathrm{u}_{\omega}}$-コンパクト、および弱く${\mathrm{u}_{\omega}}$-コンパクトな代数を導入すること。
• これらの一般化されたクラスの論理的および代数的性質とそれらの相互関係を調査すること。
• ${\mathrm{q}_{\omega}}$-および${\mathrm{u}_{\omega}}$-コンパクト性の基準を普遍的閉包および準変種閉包の観点から確立すること。
• ${\mathrm{u}_{\omega}}$-コンパクト性が超べきおよび極限代数への埋め込みによって保存されることを証明すること。
• 方程式的ネーター的、弱く方程式的ネーター的、${\mathrm{u}_{\omega}}$-コンパクト、弱く${\mathrm{u}_{\omega}}$-コンパクト、および${\mathrm{q}_{\omega}}$-コンパクト代数の五つのクラスの間の関係を明確にすること。

提案手法

• 普遍的および準変種閉包に注目した論理的および普遍代数的基準を用いて、新たな代数的クラスを導入する。
• 埋め込みと初等同値性を分析するため、モデル理論的技法（特に超べきおよび直和極限）を適用する。
• 座標代数とモデル理論的性質を結びつけるための基盤として、先行研究における統合定理（AおよびC）を用いる。
• ${\mathrm{u}_{\omega}}$-コンパクト拡張を構成するために、代数の整列順序付き鎖を用いた直和極限構成を採用する。
• 保存定理を適用する：構造が${\mathrm{u}_{\omega}}$-コンパクトであり、極限代数へ埋め込まれるならば、その被写像も${\mathrm{u}_{\omega}}$-コンパクトであることを示す。
• ${\mathtt{L}}_{\mathcal{A}}$-言語の拡張を用いて${\mathcal{A}}$-代数を分析し、コンパクト性性質を拡張する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたコンパクト性性質—${\mathrm{q}_{\omega}}$-コンパクト性および${\mathrm{u}_{\omega}}$-コンパクト性—は、普遍代数的幾何学における古典的方程式的ネーター性をどのように拡張するか？
• RQ2 方程式的ネーター的、弱く方程式的ネーター的、${\mathrm{u}_{\omega}}$-コンパクト、弱く${\mathrm{u}_{\omega}}$-コンパクト、および${\mathrm{q}_{\omega}}$-コンパクト代数のクラスの間の論理的および代数的関係は何か？
• RQ3 ${\mathrm{u}_{\omega}}$-コンパクト性は、超べきおよび極限代数への埋め込みにおいて、どのような条件下で保存されるか？
• RQ4 普遍的閉包に属し、元の構造を区別する代数が、${\mathrm{u}_{\omega}}$-コンパクト性を継承できるか？
• RQ5 普遍的閉包および準変種閉包は、${\mathrm{q}_{\omega}}$-および${\mathrm{u}_{\omega}}$-コンパクト性の基準とどのように関係するか？

主な発見

• 代数${\mathcal{B}}$が${\mathrm{u}_{\omega}}$-コンパクトであるための必要十分条件は、その普遍的閉包${\mathbf{Ucl}}({\mathcal{B}})$が${\mathcal{B}}$によって区別される代数のクラスと一致すること、すなわち${\mathbf{Ucl}}({\mathcal{B}})_{\omega} = {\mathbf{Dis}}({\mathcal{B}})_{\omega}$である。
• ${\mathcal{B}}$が${\mathrm{u}_{\omega}}$-コンパクトであり、${\mathcal{C}} \in {\mathbf{Ucl}}({\mathcal{B}})$であるとき、${\mathcal{B}}$の任意の有限生成部分代数が${\mathcal{C}}$によって区別され、かつ${\mathbf{Ucl}}({\mathcal{B}}) = {\mathbf{Ucl}}({\mathcal{C}})$ならば、${\mathcal{C}}$は${\mathrm{u}_{\omega}}$-コンパクトである。
• ${\mathrm{u}_{\omega}}$-コンパクト代数のクラスは、超べきおよび初等的に同値な代数の鎖の直和極限に関して閉じている。
• 任意の${\mathrm{u}_{\omega}}$-コンパクト代数${\mathcal{B}}$は、${\mathcal{C}} \equiv_{\forall} {\mathcal{B}}$かつ$\mathbb{T}({\mathcal{C}}) = \emptyset$を満たす直和極限拡張${\mathcal{C}}$をもつ。これにより${\mathcal{C}}$が${\mathrm{u}_{\omega}}$-コンパクトであることが保証される。
• ${\mathcal{B}}$が${\mathrm{q}_{\omega}}$-コンパクトであり、${\mathcal{B}}$の任意の有限生成部分代数が${\mathcal{C}}$によって分離されるならば、${\mathcal{C}}$は${\mathrm{q}_{\omega}}$-コンパクトであり、${\mathbf{Qvar}}({\mathcal{B}}) = {\mathbf{Qvar}}({\mathcal{C}})$が成り立つ。
• 任意の${\mathtt{L}}$-代数${\mathcal{A}}$に対して、${\mathcal{A}}$が${\mathtt{L}}_{\mathcal{A}}$において${\mathrm{q}_{\omega}}$-コンパクトであるならば、${\mathbf{Qvar}}_{\mathcal{A}}({\mathcal{A}})$に属する任意の${\mathcal{A}}$-代数は${\mathrm{q}_{\omega}}$-コンパクトである。