The number of measures on very large measurable cardinals

该论文利用超滤公理（Ultrapower Axiom）的推论，在无需内模型技术的情况下证明了在多种大基数设定下（如强紧基数序列、超紧基数之上的首个可测基数等），可测基数所携带的正规测度数量可以是任意预设的模式。

要点

这是一篇关于集合论（数学中研究“无穷”的分支）的高深论文。为了让你轻松理解，我们可以把这篇论文想象成是在设计宇宙的建筑蓝图，特别是关于如何给宇宙中的“超级大楼”（大基数）分配“保安团队”（测度）。

1. 核心角色：谁是“大基数”？谁是“测度”？

想象宇宙是一座巨大的摩天大楼群。

• 大基数（Large Cardinals）： 这些是宇宙中极其巨大、极其特殊的楼层。比如“可测基数”（Measurable Cardinal），它就像一座拥有特殊权限的超级大楼，能够容纳极其复杂的结构。
• 测度（Measures）： 想象成给这座大楼分配的保安团队。
  • 一个“正规测度”就是一个正规编制的保安队。
  • 数学问题在于：一座“可测大楼”到底可以拥有多少个保安队？
  • 以前我们知道它至少有 1 个，但最多能有多少？能不能是 5 个？100 个？还是无限个？

2. 过去的困境：旧方法行不通了

在数学界，以前数学家们（如 Friedman 和 Magidor）已经解决了普通“可测大楼”的保安数量问题。他们的秘诀是**“核心模型”（Inner Model）**。

• 比喻： 这就像他们手里有一张完美的底层地基图纸（核心模型），所有的建筑都在这张图纸上盖。因为图纸是完美的，所以他们能精确控制保安的数量。

但是，问题出现了：
当大楼变得超级巨大（比如“超紧基数”Strongly Compact 或“超紧基数”Supercompact）时，现有的“完美地基图纸”就失效了。

• 这就好比你试图用盖平房的地基图纸去盖一座直插云霄的太空电梯。图纸不够用了，旧方法（核心模型技术）在这些超级大楼面前完全失灵。
• 以前的其他方法（如 Prikry 强制）虽然能盖楼，但要么太笨重，要么只能控制第一座楼，第二座楼就失控了。

3. 本文的突破：全新的“万能工具箱”

这篇论文的作者（Apter, Kaplan, Poveda）提出了一套全新的方法，不再依赖那张失效的“完美地基图纸”，而是利用了一个叫**“超幂公理”（Ultrapower Axiom, UA）**的假设。

• UA 的比喻： 想象 UA 是一个**“宇宙通用法则”，它告诉我们：在宇宙中，每一座可测大楼都默认只有一支“王牌保安队”**（唯一的正规测度）。
• 作者的新工具： 他们发明了一种叫**“分裂强制”（Splitting Forcing）**的技术。
  • 比喻： 想象你手里有一根魔法魔杖。你不需要重新画地基，你只需要对着大楼挥动魔杖，就能把原本只有 1 支保安队的大楼，分裂成你想要的任意数量的保安队（比如 5 支、100 支，甚至更多）。
  • 更神奇的是，这个魔杖非常灵活。它不会破坏大楼原本的结构（比如不会把“超紧”属性弄丢），也不会影响旁边其他大楼的保安配置。

4. 论文的主要成就（他们做到了什么？）

作者用这个新工具，在几个以前被认为“不可能控制”的领域取得了突破：

1. 前 N 座超级大楼：

   • 以前：你可以让前 N 座大楼都是“超紧”的，但你不知道它们每座有多少保安。
   • 现在：作者可以随意指定前 N 座大楼的保安数量。你想让第一座有 3 个保安，第二座有 100 个，第三座有 5 个？没问题，魔杖一挥，全部实现。

2. 超级大楼之上的第一座可测大楼：

   • 以前：如果在大楼群之上还有一座更高的“可测大楼”，旧方法完全无法控制它的保安数量。
   • 现在：作者可以控制这座“高处不胜寒”的大楼，给它分配任意数量的保安。

3. 无限序列的终点：

   • 想象有一串无限延伸的“超紧大楼”，最后汇聚成一座“极限大楼”。
   • 作者证明了，即使是这座汇聚了所有力量的“极限大楼”，也可以被控制，拥有任意数量的保安。

4. HOD（宇宙的内部视角）：

   • 论文最后还讨论了一个叫 HOD 的“内部视角”（就像大楼的监控室）。作者证明，即使在监控室里看，第一座超紧大楼也可以只有一支保安队，但在外面看它却是超紧的。这揭示了宇宙内部和外部视角的有趣差异。

5. 总结：为什么这很重要？

• 打破僵局： 以前数学家在面对“超级大基数”时，因为缺乏“完美图纸”（核心模型）而感到束手无策。
• 开辟新路： 这篇论文展示了，即使没有完美的底层图纸，只要利用“宇宙通用法则”（UA）和新的“魔法魔杖”（分裂强制），我们依然可以精确地设计宇宙。
• 核心思想： 我们不再需要依赖复杂的、特定的“地基”来构建宇宙，我们可以直接通过操作规则，让宇宙呈现出我们想要的任何形态（比如让特定的大基数拥有任意数量的测度）。

一句话总结：
这篇论文就像给数学家们发了一套**“乐高宇宙编辑器”。以前我们只能盖普通的房子，或者盖超级大楼时只能随机生成配置；现在，我们可以精确地**告诉宇宙：“我要前 5 座超级大楼，分别要有 3、7、12、5、9 个保安队”，然后宇宙就会乖乖照做，而且不会崩塌。

技术摘要

论文技术总结

标题：The Number of Measures on Very Large Measurable Cardinals
作者：Arthur W. Apter, Eyal Kaplan, Alejandro Poveda
核心主题：研究在存在极大基数（如强紧基数、超紧基数）的背景下，可测基数上正规测度（normal measures）的可能数量。

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

• 核心问题：一个可测基数 $\kappa$ 可以携带多少个正规测度？
• 历史进展：
  • Kunen-Paris (1970s)：证明了从单个可测基数出发，可以通过力迫法使 $\kappa$ 携带任意 cofinality 大于 $\kappa^+$ 的基数 $\lambda$ 个测度（包括最大值 $2^{2^\kappa}$）。
  • Apter-Cummings-Hamkins：解决了 $\kappa$ 携带恰好 $\kappa^+$ 个测度的情况。
  • Friedman-Magidor (2014)：彻底解决了该问题，证明了在 GCH 下，从单个可测基数出发，可以构造模型使 $\kappa$ 携带任意 $\lambda \le \kappa^{++}$ 个正规测度。
• 现有方法的局限性：
  • Friedman-Magidor 的方法依赖于**核心模型（Core Model）**理论（特别是 $L[\vec{U}]$ 模型）和精细结构（fine structure）。
  • 这种方法仅适用于内模型理论能够覆盖的基数范围。对于**超紧基数（Supercompact）或强紧基数（Strongly Compact）**之上的可测基数，由于缺乏相应的规范内模型，Friedman-Magidor 的方法失效。
  • 之前的替代方案（如 Gitik-Kaplan 使用 Prikry 型力迫迭代）需要假设“反大基数”条件（即假设没有更大的可测基数存在），这限制了结果的普遍性。

本文目标：在不依赖核心模型理论、也不依赖反大基数假设的情况下，确定在存在极大基数（如超紧基数、强紧基数）时，可测基数上正规测度的数量。

2. 方法论 (Methodology)

本文主要利用 Ultrapower Axiom (UA) 的推论以及一种称为 Splitting Forcing（分裂力迫） 的技术，结合非平稳支撑迭代（Nonstationary Support Iterations）。

• Ultrapower Axiom (UA) 的利用：
  • 作者并不假设整个 UA，而是利用其一个关键推论：每个可测基数上存在唯一的 Mitchell 阶数为 0 的正规测度。
  • 这一性质简化了测度的结构，使得在力迫扩展中控制测度数量成为可能，而无需复杂的内模型精细结构分析。
• 分裂力迫 (Splitting Forcing)：
  • 基于 Kaplan 在 [28] 中的工作。这是一种非平稳支撑迭代，旨在将原有的单一测度“分裂”成多个测度。
  • 通过引入原子力迫（atomic forcing），在特定的不可达基数集合上添加新的子集，从而生成新的正规测度。
  • 关键优势：分裂力迫不依赖核心模型，且能灵活地与保持大基数性质的力迫（如 Laver 准备）结合。
• 非平稳支撑迭代 (Nonstationary Support Iterations)：
  • 用于处理多个基数的情况。利用融合引理（Fusion Lemma）和策略闭包（Strategic Closure）性质，确保力迫过程不会破坏大基数性质（如超紧性、强紧性），同时精确控制测度的数量。
• Laver 不可破坏性准备 (Laver Indestructibility)：
  • 使用变种的 Laver 准备，使超紧基数在特定的力迫下保持不可破坏，同时控制其上的测度数量。
• Magidor 迭代与 Prikry 序列：
  • 用于消除中间的可测基数，确保目标基数成为“第一个”可测基数或“第一个”强紧基数。

3. 主要定理与结果 (Key Results)

文章证明了在 GCH 和 UA 的合理假设下，以下配置是相容的：

• 定理 3.1 (前 $n$ 个可测/强紧基数)：

  • 假设存在 $n$ 个超紧基数 $\kappa_0, \dots, \kappa_{n-1}$，且每个 $\kappa_i$ 携带唯一的 Mitchell 阶数为 0 的测度。
  • 对于任意给定的基数序列 $\tau_i \le \kappa_i^{++}$，存在一个力迫扩展，使得 $\kappa_0, \dots, \kappa_{n-1}$ 成为前 $n$ 个强紧基数（也是前 $n$ 个可测基数），且每个 $\kappa_i$ 恰好携带 $\tau_i$ 个正规测度。
  • 意义：结合了 Kimchi-Magidor 恒等式危机定理（前 $n$ 个可测基数可以是强紧的）与测度数量的任意控制。

• 定理 3.2 (超紧基数之上的第一个可测基数)：

  • 设 $\kappa$ 是超紧基数，$\lambda$ 是 $\kappa$ 之上的第一个可测基数。
  • 对于任意 $\tau \le \lambda^{++}$，存在力迫扩展，使得 $\kappa$ 保持超紧，$\lambda$ 保持可测，且 $\lambda$ 恰好携带 $\tau$ 个正规测度。
  • 突破：Friedman-Magidor 方法无法处理此类情况（因为涉及 $L[\vec{U}]$ 之外的结构），本文方法成功解决了此问题。

• 定理 3.3 (超紧基数的第一个可测极限)：

  • 设 $\kappa$ 是超紧（或强）基数的第一个可测极限。
  • 对于任意 $\tau \le \kappa^{++}$，存在力迫扩展，使得 $\kappa$ 保持为第一个可测极限，且携带恰好 $\tau$ 个正规测度。
  • 背景：在 UA 下，强紧但非超紧的基数必然是超紧基数的可测极限。此定理控制了此类关键基数的测度数量。

• 定理 3.5 (Goldberg-Woodin 定理的加强)：

  • 去除了 Gitik-Kaplan 证明中所需的“反大基数”假设（即假设没有更大的可测基数）。
  • 证明了：第一个可测基数可以是强紧的，并且可以携带任意指定数量（$\tau \le \kappa^{++}$）的正规测度。

• 定理 4.4 (HOD 假设下的改进)：

  • 改进了 Goldberg-Osinski-Poveda 关于 HOD（可构造序数类）中第一个超紧基数状态的结果。
  • 构造了一个模型，满足 HOD 假设，其中第一个超紧基数 $\kappa$ 在 HOD 中是强紧的，且恰好携带一个正规测度（此前结果仅证明其不是 $2^\kappa$-超紧，未精确控制测度数量）。

4. 技术细节与关键引理

• 引理 2.8 (分裂力迫的性质)：
  • 如果 $\kappa$ 是可测基数，$I$ 是不可达基数集合。分裂力迫 $P_{\tau, I}$ 可以将 $\kappa$ 上的每个正规测度 $U$ 分裂为 $\tau$ 个不同的正规测度 $U^*_\eta$（当 $I \in U$ 时），或者保持唯一（当 $I \notin U$ 时）。
  • 该力迫保持了 $\kappa$ 的可测性和超紧性（在适当条件下）。
• 引理 2.13 & 2.14：
  • 证明了分裂力迫在保持超紧基数性质方面的有效性，特别是当 $I$ 选取为强基数的极限时。
• 定理 2.15 & 2.16 (Laver 不可破坏性)：
  • 证明了通过非平稳支撑迭代，可以使超紧基数的超紧性在 $\kappa^+$-定向闭力迫下不可破坏，同时控制 Mitchell 阶数为 0 的测度数量。
• 定理 2.24 & 2.26 (非反射平稳集)：
  • 利用 $NR(\kappa_0, \kappa)$ 力迫（添加非反射平稳集）来消除中间的可测基数，确保目标基数成为“第一个”可测或强紧基数，同时保持强紧性。

5. 意义与贡献 (Significance)

1. 突破内模型理论的限制：本文成功将关于正规测度数量的研究从“核心模型可达范围”（如 $L[\vec{U}]$）扩展到了“核心模型不可达范围”（如超紧基数之上）。这是通过利用 UA 的推论和分裂力迫技术实现的，无需构建复杂的内模型。
2. 消除反大基数假设：之前的许多结果（如 Gitik-Kaplan）依赖于假设“没有更大的可测基数”，这在逻辑上是不自然的。本文通过更精细的力迫构造（Magidor 迭代结合分裂力迫），在不需要此类假设的情况下得出了相同甚至更强的结论。
3. 统一性与灵活性：文章展示了一种通用的框架，可以处理从有限个超紧基数到超紧基数极限的各种情形，并能精确控制测度数量（从 1 到 $\kappa^{++}$）。
4. HOD 假设的深化：通过精确控制 HOD 中的测度数量，进一步揭示了 $V$（全宇宙）与 HOD 之间在大基数性质上的差异，为 Woodin 的 HOD 二分法研究提供了新的反例和配置。

总结：
这篇文章代表了集合论中大基数力迫技术的重要进展。它证明了在缺乏规范内模型的情况下，利用 Ultrapower Axiom 的结构性推论和现代力迫技术（分裂力迫、非平稳支撑迭代），依然可以精确控制极大基数上正规测度的数量。这不仅解决了长期存在的开放问题，也为未来研究更大基数（如 extendible, huge 等）上的测度结构开辟了新的道路。