[论文解读] Maximal failures of sequence locality in a.e.c

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

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

一句话总结

本文构建了一个具有融合性质的抽象基本类（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".

研究动机与目标

• 构建一个具有融合性质的 AEC，使其在类型上最大失败 $(2^\kappa, \kappa)$-序列局部性。
• 以不存在统一的 $\kappa^+$-完备超滤子为条件，刻画正则基数 $\kappa$ 的集合，使得在这些基数上序列局部性失效。
• 提供一个直接的模型论构造，实现 AEC 中类型局部性的极端行为。
• 扩展关于 AEC 中类型紧致性与稳定性谱的结果，特别是基于大基数和超滤子假设。
• 研究 AEC 中局部性与非局部性之间的边界，尤其关注集合论公理与模型论性质的关系。

提出的方法

• 使用一个包含 $\theta$ 个 $n$-元谓词以及为阿贝尔群 $G$ 中每个元素 $c$ 添加的额外一元函数符号 $F_c$ 的词汇表 $\tau_\theta$，构造一个 AEC $\mathfrak{K}$，其中 $|G| = \theta^{\aleph_0}$。
• 对 $\ell = 1,2$，定义一个模型链 $\langle M_{\ell,\alpha} \mid \alpha \leq \kappa \rangle$，其基数递增至 $\theta^\kappa$，并配备从 $M_{\ell,\alpha}$ 到大小为 $\theta^\kappa$ 的集合 $I_\alpha$ 的满射函数 $\pi_{\ell,\alpha}$。
• 确保每个纤维 $\pi_{\ell,\alpha}^{-1}(t)$ 的大小至多为 $\theta^{\aleph_0}$，且函数 $\pi_{\ell,\alpha}$ 与通过 $F_c$ 实现的群作用相容。
• 对每个 $\alpha < \kappa$，使用同构 $g_\alpha: M_{1,\alpha} \to M_{2,\alpha}$ 尊重 $\pi$-映射，但在 $\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$，本文构造了一个 AEC $\mathfrak{K}$，满足 $\text{LST}(\mathfrak{K}) = \theta$ 且 $|\tau_\mathfrak{K}| = \theta$，该 AEC 具有融合性质。
• 使得 $\mathfrak{K}$ 不是 $(2^\kappa, \kappa)$-序列局部的正则基数 $\kappa$ 的集合，恰好是那些在任意 $\lambda > \kappa$ 上均不存在统一 $\kappa^+$-完备超滤子的 $\kappa$ 的集合。
• 该刻画是精确的：序列局部性的失效是最大的，即仅在这些超滤子不存在的基数上发生。
• 该构造利用了将类型融合转化为阿贝尔群问题的模型论翻译，借助 $\theta^{\aleph_0}$-大小纤维和群作用的结构。
• 在极限序数 $\alpha = \kappa$ 处同构的失效由统一超滤子的不存在性所强制，这阻止了局部同构向极限的提升。
• 本文还证明了一个关于类型紧致性的结果：若 $D$ 是一个统一的 $\kappa$-完备超滤子，则任意关于大小 $\leq \lambda$ 的 $\leq_\mathfrak{K}$-递增模型链的相容类型序列，均可扩展为极限模型上的全局类型。