A Note on a Theorem of Apter

该论文证明了"$\mathrm{ZF} + \mathrm{AD}_{\mathbb{R}} + \Theta$ 是可测基数”的一致性蕴含"$\mathrm{ZF} + \Theta$ 是最小强正则基数且是最小可测基数，同时 $\Theta$ 以下所有不可数基数的共尾数均为 $\omega$"的一致性。

要点

这篇论文就像是在数学的“宇宙”里进行的一次精妙的建筑改造。为了让你轻松理解，我们可以把数学家眼中的“宇宙”想象成一座巨大的、由无数层楼组成的摩天大楼，每一层楼代表一个“基数”（可以简单理解为数字的大小或集合的规模）。

1. 背景：混乱的旧大楼与“选择公理”的缺失

在标准的数学世界里（我们称之为 ZFC），有一个叫“选择公理”（AC）的规则，它像一位严厉的工头，确保大楼的结构非常整齐：有些楼层是坚固的（正则基数），有些楼层是可以无限分割的（奇异基数），而且“可测基数”（一种非常强大、带有特殊“测量尺”的楼层）通常都位于大楼的顶端，非常巨大。

但是，如果我们要撤掉这位工头（即不使用选择公理 AC），大楼的结构就会变得非常奇怪和混乱。

• 以前我们认为不可能的事情变得可能了：比如，第一层楼（$\omega_1$）竟然可以拥有“测量尺”（成为可测基数）。
• 数学家们一直在寻找：在这样混乱的大楼里，最小的那个拥有“测量尺”的楼层到底在哪里？它能不能既是最小的“坚固楼层”（正则），又是拥有“测量尺”的楼层？

2. 前人的尝试：Apter 的“拆迁队”

论文标题提到的 Apter 定理，就像是一位名叫 Apter 的建筑师。他发现，在某种特定的混乱规则下（AD 公理），他可以用一种叫Prikry 强迫的“拆迁工具”。

• Apter 的做法：他拿着这个工具，把大楼里所有原本坚固的楼层（除了最顶层的 $\Theta$ 以外）都强行“拆散”，让它们变成不坚固的（奇异基数）。
• 结果：这样，剩下的那个最坚固的楼层，就恰好也是拥有“测量尺”的楼层。

但是，Apter 的方法需要非常强大的“地基”（大基数假设），这就像为了拆几面墙，需要动用核武器级别的能量。

3. 本文的突破：Rahman, Otto 和 Sebastiano 的“微创手术”

这篇论文的作者们（Rahman, Otto, Sebastiano）想要做一件更酷的事：能不能用更小的能量（更弱的假设），完成同样的改造？

他们的核心思想是：

• 目标：我们要证明，只要假设一个特定的、相对较弱的条件（$\Theta$ 上存在一种特殊的“测量尺”），就能构建出一个新世界。
• 在这个新世界里：
  1. 所有比 $\Theta$ 小的楼层，要么被拆散了（变成了不坚固的），要么虽然坚固但不够“强”（不是强正则的）。
  2. $\Theta$ 这个楼层，同时是：
     • 第一个强正则的楼层（非常坚固，无法被轻易拆散）。
     • 第一个可测的楼层（拥有最完美的“测量尺”）。
     • 所有比它小的楼层，其“高度”都是可数的（就像楼梯只有有限级，但总长度无限）。

通俗比喻：
想象 $\Theta$ 是一座超级坚固的堡垒。
在旧的大楼里，堡垒下面有很多小碉堡（可测基数），它们也很坚固。
作者们用一种精细的“微创手术”（基于 Apter 的 Prikry 技术，但更优化），把堡垒下面所有的小碉堡都变成了“流沙”（奇异基数，不再坚固）。
结果，$\Theta$ 成了唯一剩下的坚固堡垒，而且它还是第一个拥有“测量尺”的。

4. 关键工具：Prikry 强迫（拆迁工具）

文中反复提到的"Prikry 强迫”，你可以把它想象成一种**“只拆楼梯，不拆地基”的魔法**。

• 它能把一个坚固的楼层（可测基数）变成“不坚固”的（让它的共尾性变成 $\omega$，即可以用可数序列逼近它）。
• 但是，它非常聪明，不会破坏上面更高层的坚固性。
• 作者们把这个工具组合使用（有限支撑乘积），像多米诺骨牌一样，把 $\Theta$ 以下的所有可测基数都“推倒”成流沙，只留下 $\Theta$ 屹立不倒。

5. 结论与意义

这篇论文证明了：
“只要 $\Theta$ 上有一个特殊的测量尺（$\Theta_{meas}$），我们就一定能造出一个世界，在这个世界里，$\Theta$ 是最小的坚固堡垒，也是最小的拥有测量尺的堡垒。”

为什么这很重要？

• 降低门槛：以前人们认为要达到这种效果，需要极其强大的“大基数”（比如 Woodin 极限）。作者们发现，其实只需要一个相对较弱的假设就够了。这就像发现原来造火箭不需要核聚变，用改进的化学反应就能飞一样。
• 填补空白：它帮助数学家更清晰地理解了在“没有选择公理”的混乱世界里，数学结构的最小可能形态是什么。

6. 未来的谜题（开放问题）

论文最后还留下了一些有趣的“寻宝图”：

• 这个“最小堡垒”的测量尺，能不能只关注特定类型的楼层（比如只关注高度为 $\omega_1$ 的）？
• 这个堡垒的“坚固程度”（$o(\Theta)$）到底能有多高？

总结一句话：
这篇论文就像是在数学的废墟上，用更省力的方法，成功搭建了一座**“最小且最坚固”的数学奇迹之塔**，并证明了这座塔的存在不需要动用宇宙中最强大的能量。

技术摘要

这是一份关于论文《A Note on a Theorem of Apter》（Apter 定理的一个注记）的详细技术总结，该论文由 Rahman Mohammadpour、Otto Rajala 和 Sebastiano Thei 撰写。

1. 研究背景与问题 (Problem)

背景：
在集合论中，大基数公理通常通过从宇宙 $V$ 到传递子模型 $M$ 的初等嵌入来表述。在 ZFC（包含选择公理 AC）下，可测基数（measurable cardinal）等价于存在非主超滤子，也等价于初等嵌入的临界点。然而，在缺乏选择公理（AC）的 ZF 框架下，这种等价性可能不再成立。

• AD（决定公理）的影响： 在 AD 公理下（特别是 $AD + V=L(\mathbb{R})$ 的模型中），$\Theta$（即实数集 $\mathbb{R}$ 无法映射到的最小基数）具有特殊的性质。Steel 证明了在 $\Theta$ 之下的所有正则基数都是可测的。
• 现有成果：
  • Apter [1] 证明了在 $AD + V=L(\mathbb{R})$ 下，存在一个 ZF 模型，其中最小的可测基数也是最小的正则极限基数。他利用 Prikry 强制法（Prikry forcing）将 $\Theta$ 子集中的可测基数奇异化（singularize），同时保留其余可测基数的可测性。
  • Gitik, Hayut 和 Karagila [5] 证明了如果 $\kappa$ 是 $\kappa^{++}$-超紧基数，则存在一个强制扩张，使得 $\kappa$ 既是可测基数，也是最小的强不可达基数（strongly inaccessible cardinal，其定义依赖于 AC 下的等价性，但在无 AC 下需重新定义）。

核心问题：
本文旨在降低 Gitik, Hayut 和 Karagila 定理所需的大基数强度。具体而言，作者试图在 ZF 框架下（不依赖 AC），构造一个模型，使得：

1. $\Theta$ 是最小的不可数正则基数。
2. $\Theta$ 是最小的可测基数。
3. $\Theta$ 是强正则（strongly regular）的。
4. $\Theta$ 之下所有不可数基数的共尾数（cofinality）均为 $\omega$。

作者特别区分了“不可达”的两种定义：Gitik 等人的定义（基于 $V_\kappa$ 中函数的有界性）与本文定义的“强正则”（基于幂集 $P(\alpha)$ 到 $\kappa$ 的映射有界性）。在 AC 下两者等价，但在无 AC 下不同，且两者都蕴含正则性。

2. 方法论 (Methodology)

本文采用对称扩张（Symmetric Extension）技术，结合Prikry 强制法，在 ZF 框架下构建模型。

• 基础假设： 假设 $ZF + \Theta_{meas}$，其中 $\Theta_{meas}$ 是 $ADR$（实数决定公理）与"$\Theta$ 上存在一个 $\mathbb{R}$-完全测度”的合取。已知该假设的一致性由 Rachid 和 Sargsyan 证明，且其强度弱于 Woodin 极限的 Woodin 基数。
• Prikry 强制法 (Prikry Forcing)：
  • 对于 $\Theta$ 之下的每个可测基数 $\kappa$，选取其上的最小测度 $\mu_\kappa$（在 $ADR$ 下，$\Theta$ 之下的正则基数即为可测基数，且测度集是良序的）。
  • 定义 Prikry 强制条件 $p = (s, A)$，其中 $s$ 是有限序列，$A$ 属于测度 $\mu_\kappa$。
  • 利用 Prikry 性质（Prikry property）：强制法不改变基数，但将 $\kappa$ 的共尾数变为 $\omega$。
• 有限支撑积 (Finite Support Product)：
  • 令 $M = \{\kappa < \Theta \mid \kappa \text{ 是可测的}\}$。
  • 构造强制力 $\mathbb{P} = \prod_{\kappa \in M}^{Fin} P_\kappa$，即所有 $P_\kappa$ 的有限支撑积。
  • 该强制力旨在同时奇异化所有 $\kappa < \Theta$ 的可测基数。
• 对称模型构造 (Symmetric Extension)：
  • 定义对称模型 $N$，通过限制通用滤子 $G$ 的“小”子集（即只包含有限个 $G_\kappa$ 的滤子）来构建。
  • 利用引理证明：$N$ 是 $V$ 的基数保持扩张（cardinal preserving outer model）。
  • 关键引理（Apter 的引理）：$N$ 中的任何序数集合 $X$ 都包含在某个有限子集 $c \subseteq M$ 生成的 $V[G_c]$ 中。

3. 主要贡献与结果 (Key Contributions & Results)

主要定理 (Theorem 1.1)：
假设 $ZF + \Theta_{meas}$，存在一个扩张模型 $N$，满足 $ZF$，且在该模型中：

1. $\Theta$ 是强正则基数（Strongly Regular）。
2. $\Theta$ 是最小的不可数正则基数。
3. $\Theta$ 是最小的可测基数。
4. $\Theta$ 之下所有不可数基数的共尾数均为 $\omega$。

技术细节与证明逻辑：

• 消除 $\Theta$ 之下的可测性： 通过 Prikry 强制，对于任意 $\kappa \in M$，在 $V[G_\kappa]$ 中 $\text{cof}(\kappa) = \omega$。由于 $N$ 包含这些滤子，且 $N$ 中 $\kappa$ 的共尾数仍为 $\omega$，而可测基数必须是正则的，因此 $N$ 中 $\Theta$ 之下不存在可测基数（Proposition 3.7）。
• $\Theta$ 的强正则性 (Proposition 3.8)：
  • 需证明对于任意 $\alpha < \Theta$ 和函数 $f: P(\alpha) \to \Theta$，其值域在 $\Theta$ 中有界。
  • 利用对称模型的性质，将 $f$ 编码到某个 $V[G_c]$ 中。
  • 结合 $AD$ 的推论（存在从 $\mathbb{R}$ 到 $P(\xi)$ 的满射）以及 $\Theta_{meas}$ 假设（$\Theta$ 上存在 $\mathbb{R}$-完全测度），导出矛盾，从而证明 $f$ 必须有界。
• $\Theta$ 的可测性 (Proposition 3.9)：
  • 假设 $V$ 中 $\Theta$ 上有一个 $\mathbb{R}$-完全正规超滤子 $\mu$。
  • 定义 $N$ 中的提升测度 $\mu^* = \{x \subseteq \Theta \mid \exists y \in \mu (y \subseteq x)\}$。
  • 通过归纳论证，证明 $\mu^*$ 在 $N$ 中仍然是 $\Theta$ 上的 $\mathbb{R}$-完全正规超滤子，从而证明 $\Theta$ 在 $N$ 中是可测的。

4. 意义与影响 (Significance)

1. 降低大基数强度： 本文显著降低了构造“最小可测基数等于最小不可达（强正则）基数”模型所需的大基数假设强度。从 Gitik 等人的 $\kappa^{++}$-超紧（或 Woodin 极限）降低到了 $ADR + \Theta$ 上存在 $\mathbb{R}$-完全测度。
2. 深化无 AC 集合论理解： 在缺乏选择公理的情况下，厘清了“可测性”、“正则性”和“不可达性”之间的微妙关系。特别是区分了不同定义的“不可达性”，并展示了在 $AD$ 背景下，$\Theta$ 可以扮演极其特殊的角色。
3. 对称模型技术的推广： 展示了 Apter 的 Prikry 强制与对称模型技术结合的强大能力，能够精细控制大基数的性质（如共尾数、可测性），即使在复杂的无 AC 环境中。
4. 猜想支持： 支持了 Conjecture 1.2，即"ZF + $\Theta$ 是最小可测且最小不可达”的理论强度弱于 Woodin 极限的 Woodin 基数。

5. 开放问题 (Open Questions)

作者在文末提出了几个基于该结果的自然延伸问题：

• Q4.1: “$\Theta$ 是最小不可达且最小可测基数”的确切一致性强度是多少？
• Q4.2: 在 $ZF + AD + DCR$ 下，最小不可达基数是否可以承载一个集中在共尾数为 $\omega_1$ 的点上的正规测度？或者集中在正则基数上的正规测度？
• Q4.3: 如果 $\Theta$ 是不可达且最小可测基数，其超滤子序数 $o(\Theta)$ 最大能有多大？
• Q4.4: 给定序数 $\xi < \Theta$，是否可能 $\Theta$ 是最小可测和最小强正则基数，但它是第 $\xi$ 个不可数正则基数？

总结

这篇论文通过精妙的对称扩张构造，在较弱的假设下（$ADR + \Theta$ 上的 $\mathbb{R}$-完全测度）成功构建了 $\Theta$ 同时作为最小可测基数和最小强正则基数的模型。这不仅推进了 Apter 和 Gitik 等人的工作，也为无选择公理下大基数结构的分类提供了新的视角和工具。