[論文レビュー] Maximal failures of sequence locality in a.e.c

Saharon Shelah|arXiv (Cornell University)|Mar 20, 2009

Algorithms and Data Compression参考文献 3被引用数 7

ひとこと要約

この論文は、型の列局所性が最大限に失敗するアーベル型クラス（AEC）を構成する。このAECは結合性を有し、任意の正則基数 $\kappa$ において、$\kappa^+$-完全な一様超フィルターが存在しない場合に列局所性が失敗する。構成にはモデル理論的および集合論的技法（アーベル群の作用と超積）を用い、失敗クラスの直接的特徴づけを実現することで、AECにおける型局所性の鋭い境界を提供する。

ABSTRACT

We are interested in examples of a.e.c. with amalgamation having some (extreme) behaviour concerning types. Note we deal with k being sequence-local, i.e. local for increasing chains of length a regular cardinal (for types, equality of all restrictions imply equality). . For any cardinal theta>= aleph_0 we construct an a.e.c. with amalgamation k with L.S.T.(k) = theta, |tau_K| = theta such that {kappa : kappa is a regular cardinal and K is not (2^kappa, kappa)-sequence-local} is maximal. In fact we have a direct characterization of this class of cardinals: the regular kappa such that there is no uniform kappa^+-complete ultrafilter. We also prove a similar result to "(2^kappa, kappa)-compact for types".

研究の動機と目的

• $(2^\kappa, \kappa)$-列局所性の型が失敗する結合性を持つAECを構成すること。
• 列局所性が失敗する正則基数 $\kappa$ のクラスを、一様 $\kappa^+$-完全超フィルターが存在しないことと関連づけて特徴づけること。
• AECにおける型局所性の極限的挙動を直接的モデル理論的構成によって実現すること。
• 大基数や超フィルターに関する仮定の下で、AECにおける型コンパクト性および安定スペクトルの結果を拡張すること。
• 特に、集合論的公理とモデル理論的性質との関係において、局所性と非局所性の境界を調査すること。

提案手法

• サイズ $\theta^{\aleph_0}$ のアーベル群 $G$ の元 $c$ に対し、$\theta$ 個の $n$ 項述語と追加の単項関数記号 $F_c$ を持つ言語 $\tau_\theta$ を用いてAEC $\mathfrak{K}$ を構成する。
• $\ell = 1,2$ に対し、基数 $\theta^\kappa$ を持つ増大するモデルの鎖 $\langle M_{\ell,\alpha} \mid \alpha \leq \kappa \rangle$ を定義し、$I_\alpha$（サイズ $\theta^\kappa$）への全射関数 $\pi_{\ell,\alpha}$ を備える。
• 各ファイバー $\pi_{\ell,\alpha}^{-1}(t)$ のサイズが $\theta^{\aleph_0}$ 以下であることを保証し、関数 $\pi_{\ell,\alpha}$ が $F_c$ を通じた群作用と整合的であるようにする。
• $\alpha < \kappa$ に対して、$\pi$-写像を尊重する同型 $g_\alpha: M_{1,\alpha} \to M_{2,\alpha}$ を定義するが、$\alpha = \kappa$ では同型が存在しないようにし、列局所性の破綻を引き起こす。
• 一様 $\kappa$-完全超フィルター $D$ を用いた超積を適用し、局所的同型を極限にまで持ち上げることで、局所性の失敗がこのような超フィルターの非存在と同値であることを示す。
• 型結合性をアーベル群の問題に翻訳することで、構成を超フィルターおよび基数算術に関する集合論的条件に還元する。

実験結果

リサーチクエスチョン

• RQ1 どの正則基数 $\kappa$ に対して、結合性を持つAECが $(2^\kappa, \kappa)$-列局所性を失敗するか？
• RQ2 列局所性の失敗が、一様 $\kappa^+$-完全超フィルターが存在しないすべての $\kappa$ を含む形で最大であるとは言えるか？
• RQ3 一様超フィルターの存在とAECにおける型局所性の失敗との関係は何か？
• RQ4 結合性を持つAECを構成し、$\kappa^+$-完全な一様超フィルターが存在しないすべての正則 $\kappa$ で列局所性が失敗するようにできるか？
• RQ5 AECの安定スペクトルは、このような超フィルターの存在および分裂局所性の失敗とどのように関係するか？

主な発見

• 任意の基数 $\theta \geq \aleph_0$ に対して、$\text{LST}(\mathfrak{K}) = \theta$ かつ $|\tau_\mathfrak{K}| = \theta$ を満たすAEC $\mathfrak{K}$ を構成でき、このAECは結合性を持つ。
• $\mathfrak{K}$ が $(2^\kappa, \kappa)$-列局所でない正則基数 $\kappa$ の集合は、任意の $\lambda > \kappa$ で一様 $\kappa^+$-完全超フィルターが存在しない $\kappa$ の集合に丁度一致する。
• この特徴づけは鋭い：列局所性の失敗は、このような超フィルターが存在しない基数において、まさにその場所で発生する。
• 構成には、型結合性をアーベル群の問題に翻訳するモデル理論的技法を用い、$\theta^{\aleph_0}$ サイズのファイバーと群作用の構造を活用する。
• 極限段階 $\alpha = \kappa$ における同型の失敗は、一様超フィルターの非存在によって強制され、局所的同型が極限に持ち上がることを阻止する。
• また、型コンパクト性に関する結果を証明する：$D$ が一様 $\kappa$-完全超フィルターであれば、サイズ $\leq \lambda$ の $\leq_\mathfrak{K}$-増大鎖の型の整合的列は、極限モデル上のグローバル型に拡張可能である。