基数序列一致性定理：长度小于ω3的稀疏布尔空间构造

《Annals of Pure and Applied Logic》：A consistency theorem for cardinal sequences of length < ω 3

　　

研究人员证明了：若λ为固定不可数基数，f=〈κ_α:α<δ〉为无穷基数序列，其中δ<ω³且对每个α<δ有κ_α∈{ω,λ}，并满足f^?1{ω}在δ中为ω₂-闭（ω₂-closed），则在保持基数的力迫扩张（cardinal-preserving generic extension）中存在一个稀疏布尔空间（scattered Boolean space），其基数序列（cardinal sequence）为f。

**研究背景与问题**：局部紧致稀疏Hausdorff空间（LCS空间）的基数序列研究是集合论拓扑学的重要课题。LCS空间的基数序列与其一点紧化所得稀疏布尔空间的开闭代数（即超原子布尔代数）的基数序列一一对应。Juhász和Weiss在ZFC下刻画了长度ω₁的基数序列，并证明长度<ω₂的序列在满足κ_β≤κ_α^ω及cf(α)=ω₁时κ_α≤ω₁的条件下可实现。Baumgartner和Shelah证明CS(X)=〈ω〉_ω2相对相容，Soukup将其推广至GCH下长度ω₂、基数不超过正则基数λ的任意序列。然而，Soukup定理不能延伸至长度<ω₃，因为由[9, Proposition 1.1]可知：若f为某LCS空间的基数序列且ω₂<δ<ω₃，则f^?1{ω}必为ω₂-闭。本文旨在证明在上述ω₂-闭条件下，取值为ω或固定正则基数λ的长度<ω₃序列均可实现为LCS空间的基数序列。

**主要结论与意义**：研究人员证明（Theorem 1.3）：假设GCH+□_ω1成立，λ≥ω₂为正则基数，δ<ω³，f=〈κ_α:α<δ〉满足κ_α∈{ω,λ}且f^?1{ω}在δ中ω₂-闭，则在保持基数且2^ω=λ的力迫扩张中存在LCS空间X使CS(X)=f。更强地，对每个不可数基数λ′≤λ，X含开子空间X′使CS(X′)=〈λ_α:α<δ〉，其中κ_α=ω时λ_α=ω，κ_α=λ时λ_α=λ′。该结果与Theorem 1.2（[9]）的限制条件不可比较，互不蕴含，且证明更为复杂。论文还讨论了基数序列与Shelah PCF理论的联系：若存在高度ω₃的PCF结构则可改进Shelah关于2^?_ω的界，但CS(X)=〈ω〉_ω3的相容性仍是公开问题。

**关键技术方法**：研究者采用力迫法（forcing）构造。首先将目标序列f分解为f₀+f₁，其中f₀部分由Theorem 1.2直接实现；对f₁部分，利用□_ω1经Veli?kovi?定理（Theorem 1.5）获得ω₂上的Δ-函数（Δ-function），并引入区间树（tree of intervals）与游走（walk）组合工具，定义LCS偏序集（LCS poset）的力迫概念P_δ。样本队列来源为基数为λ的保持基数一般力迫扩张。

**研究结果**：（1）"The forcing construction"：通过区间树I的归纳构造定义序数γ_β与函数f₁，验证条件(?)(1)–(8)，建立游走序列与Δ-函数G，定义力迫偏序P_δ，证明其满足(P1)–(P4)。（2）"Proof of Lemma 2.12"：由P_δ脱殊扩张得到LCS偏序集T，经替换非标准块B〈α,ξ〉为B′〈α,ξ〉构造T′，证明其关联LCS空间Z₁的基数序列为f₁，从而完成定理1.3。（3）"Proof of Lemma 2.11"：证明每个y∈Y的稠密性及条件(3)，即对α<β<η与t∈T_β，{s∈T_α:s?t}无限，从而P_δ脱殊扩张添加LCS偏序集。（4）"Proof of Lemma 2.10"：证明P_δ满足Property K（进而c.c.c.），通过对不可数反链R={p_ν:ν<ω₁}的Δ-系统细化与可容许性（admissibility）论证，构造相容条件p≤_δp_ν,p_μ，验证(P3)(f)与(P4)的游走条件。

**讨论与结论**：论文指出Theorem 1.2与Theorem 1.3的限制条件不可比较，且后者的证明更为复杂；对取值于{ω,ω₁,ω₂}的序列（即使δ=ω₂+1）的相容性未知。PCF结构方面，[10]证明存在高度ω₂的PCF结构的相容性，[4]推广至所有δ<ω₃，但高度ω₃的PCF结构及CS(X)=〈ω〉_ω3的相容性均为公开问题。结论部分译文：假设GCH+□_ω1成立且λ≥ω₂为正则基数，令δ<ω³，f=〈κ_α:α<δ〉为无穷基数序列使得对每个α<δ有κ_α∈{ω,λ}且f^?1{ω}在δ中ω₂-闭，则在某个满足2^ω=λ的保持基数一般力迫扩张中存在LCS空间X使CS(X)=f；此外，对每个不可数基数λ′≤λ，存在X的开子空间X′使CS(X′)=〈λ_α:α<δ〉，其中κ_α=ω时λ_α=ω，κ_α=λ时λ_α=λ′。