论文：UPG 与 ∞-拓扑斯的连接：加权 ∞-拓扑斯的构造（UPGT）

作者：张苏杭
单位：河南洛阳

---

摘要

本文建立概率几何全域论（UPG）与 Lurie ∞-拓扑斯之间的连接。UPG 的核心是测度、势函数与中点极值定理；∞-拓扑斯的核心是层、高阶同伦与下降。两者维度不同，互不包含：UPG 有测度无同伦，∞-拓扑斯有同伦无测度。本文证明两者可以互补连接，构造加权 ∞-拓扑斯——同时具备高阶同伦结构与测度权重的 ∞-拓扑斯。

连接路径分三步：（1）通过 Lafforgue 双射，将 UPG 的几何测度空间翻译为二值 Grothendieck 拓扑斯；（2）通过 Lurie 嵌入，将二值拓扑斯嵌入 ∞-拓扑斯；（3）在 ∞-拓扑斯上构造加权结构，使 UPG 的测度与势函数在中点极值定理下与 ∞-拓扑斯的高阶结构相容。

本文给出加权 ∞-拓扑斯的定义、核心定理（加权中点极值定理的 ∞-版本）与运算相容性证明，并明确标注哪些步骤是引用已有结果、哪些是本文新构造、哪些是开放方向。

关键词：UPG；∞-拓扑斯；Lafforgue 双射；加权结构；中点极值定理；高阶同伦；测度论

---

§1 引言

1.1 两个体系，互不包含

UPG（概率几何全域论） 的核心对象是几何测度空间 $(M, \nu, h)$：

· 测度 $\mu$，势函数 $h = -\log(d\mu/d\nu)$
· 中点极值定理：$\nabla h(\mu) = 0 \iff \mu = \mathbb{E}[X] \iff$ 曲面谷底

∞-拓扑斯（Lurie） 的核心对象是 ∞-层范畴 $\mathcal{X} = \mathrm{Sh}_\infty(\mathcal{C}, J)$：

· 高阶同伦、下降条件
· 全局截面函子 $\Gamma: \mathcal{X} \to \mathcal{S}$

两者的关系：

UPG ∞-拓扑斯
有 测度、势函数、极值 层、同伦、下降
缺 高阶同伦 测度

互不包含。

1.2 本文目标

不是"谁吃掉谁"，而是"接起来"：

· UPG 提供测度
· ∞-拓扑斯提供高阶结构
· 两者在拓扑斯上对接，形成加权 ∞-拓扑斯

1.3 本文结构

· §2 回顾 UPG 与 ∞-拓扑斯的核心
· §3 第一步：UPG → 二值拓扑斯（Lafforgue 双射）
· §4 第二步：二值拓扑斯 → ∞-拓扑斯（Lurie 嵌入）
· §5 第三步：加权 ∞-拓扑斯的构造（本文新工作）
· §6 加权中点极值定理的 ∞-版本（核心定理）
· §7 运算相容性
· §8 结论与开放方向

1.4 诚实定位

本文严格区分三类陈述：

· 引用：Lafforgue 双射、Lurie 嵌入（已有结果）
· 新构造：加权 ∞-拓扑斯的定义、加权中点极值定理
· 开放方向：完整证明、与导出代数几何的关系

---

§2 预备

2.1 UPG 核心

定义2.1（几何测度空间）

几何测度空间是三元组 $(M, \mathcal{B}(M), \mu)$，其中：

· $M$ 为完备可分度量空间；
· $\mathcal{B}(M)$ 为 Borel $\sigma$-代数；
· $\mu$ 为概率测度，关于参考测度 $\nu$ 绝对连续。

定义2.2（势函数）

h(x) = -\log\frac{d\mu}{d\nu}(x).

定理2.3（中点极值定理，论文1）

若 $h$ 严格凸、$C^2$，则以下三者等价：

1. $\nabla h(\mu) = 0$，$\nabla^2 h(\mu) \succ 0$；
2. $\mu = \mathbb{E}[X]$，$p(\mu) = \max p$；
3. 曲面 $z = h(x)$ 在 $\mu$ 处为全局谷底。

2.2 ∞-拓扑斯核心

定义2.4（∞-拓扑斯，Lurie HTT §6.1）

设 $\mathcal{C}$ 为小范畴，配备 Grothendieck 拓扑 $J$。$\mathrm{Sh}_\infty(\mathcal{C}, J)$ 为满足 $J$-下降的 ∞-层范畴。一个 ∞-拓扑斯是等价于某 $\mathrm{Sh}_\infty(\mathcal{C}, J)$ 的 ∞-范畴。

事实2.5（HTT §6.2.3）

· 1-截断 $\mathrm{Sh}_1(\mathcal{X})$ 是经典 Grothendieck 拓扑斯；
· 对任意 $K \in \mathcal{X}$，同伦截断 $\pi_n(K)$ 是 $\mathrm{Sh}_1(\mathcal{X})$ 中的层；
· 全局截面函子 $\Gamma: \mathcal{X} \to \mathcal{S}$。

2.3 关键区别

· UPG 的测度 $\mu$ 不是 ∞-拓扑斯的原生对象；
· ∞-拓扑斯的同伦结构不是 UPG 的原生对象；
· 连接需要中间层：拓扑斯。

---

§3 第一步：UPG → 二值拓扑斯

3.1 Lafforgue 双射（引用）

事实3.1（Lafforgue, 2023）

概率测度 $\mu$ 与二值 Grothendieck 拓扑 $J_\mu$ 之间存在双射：

\mu \longleftrightarrow J_\mu \longleftrightarrow \mathcal{E}_\mu,

其中 $\mathcal{E}_\mu$ 是二值子拓扑斯。

核心： 概率测度直接由"可忽略差"定义，这个"可忽略差"生成 Grothendieck 拓扑。

3.2 UPG 的翻译

命题3.2（UPG → 二值拓扑斯）

UPG 的几何测度空间 $(M, \mathcal{B}(M), \mu)$ 通过 Lafforgue 双射对应一个二值拓扑斯 $\mathcal{E}_\mu$。对应关系：

UPG 二值拓扑斯
集合 $M$ 拓扑斯的对象集
Borel 集 $A \in \mathcal{B}(M)$ 拓扑斯的子对象
测度 $\mu(A)$ 拓扑斯的真值
可数可加性 拓扑的 sup 性质
势函数 $h$ 拓扑斯中的真值结构

证明思路：由 Lafforgue 双射，$\mu$ 对应二值拓扑 $J_\mu$；$J_\mu$ 的可数可加性来自 $\mu$ 的可数可加性；$h$ 作为密度对数，对应拓扑斯中"真值的层级"。 ∎

注3.3：这一步是引用 + 翻译。Lafforgue 双射是已有结果；把它应用到 UPG 是本文的翻译工作。

---

§4 第二步：二值拓扑斯 → ∞-拓扑斯

4.1 Lurie 嵌入（引用）

事实4.1（Lurie, HTT §6.3）

经典 Grothendieck 拓扑斯通过神经构造嵌入 ∞-拓扑斯：

\mathcal{E} \hookrightarrow \mathrm{Sh}_\infty(\mathcal{C}, J).

经典层 → ∞-层。

4.2 二值拓扑斯的嵌入

命题4.2

二值拓扑斯 $\mathcal{E}_\mu$ 通过 Lurie 嵌入进入 ∞-拓扑斯 $\mathcal{X} = \mathrm{Sh}_\infty(\mathcal{C}, J)$。

注4.3：这一步是引用。无需新工作。

---

§5 第三步：加权 ∞-拓扑斯的构造

5.1 问题

经过 §3、§4，UPG 的测度进入了 ∞-拓扑斯（作为二值拓扑斯的真值结构）。但：

· ∞-拓扑斯本身不带"测度"；
· UPG 的测度在翻译后变成了"真值结构"，丢失了数值信息。

需要：在 ∞-拓扑斯上重建"测度权重"。

5.2 加权 ∞-拓扑斯的定义

定义5.1（加权 ∞-拓扑斯）

一个加权 ∞-拓扑斯是偶对 $(\mathcal{X}, \mathcal{W})$，其中：

· $\mathcal{X}$ 是 ∞-拓扑斯；
· $\mathcal{W}: \mathcal{X} \to \mathbb{R}$ 是加权函子，满足：
· (W1) $\mathcal{W}$ 在同伦等价下不变；
· (W2) $\mathcal{W}$ 与 $\mathcal{X}$ 的下降结构相容；
· (W3) 对 0-截断对象，$\mathcal{W}$ 还原 UPG 的测度。

5.3 加权函子的构造

定义5.2（加权函子）

对 $K \in \mathcal{X}$，定义

\mathcal{W}(K) := \sum_{i=0}^\infty (-1)^i \mu_{\text{ct}}(\pi_i(K)),

其中 $\mu_{\text{ct}}$ 是 UPG 测度在 $\pi_i(K)$ 上的赋值（通过 §3 的翻译），$\pi_i(K)$ 是第 $i$ 阶同伦截断。

约定5.3（有限性）：本文限定 $K$ 只有有限个非零同伦群，且每个 $\pi_i(K)$ 对应的层是有限型。此时求和为有限项。

注5.4：加权函子的形式类比 Euler 示性数 $\chi = \sum (-1)^i \mathrm{rank}\, H_i$，将线性空间的秩替换为 UPG 测度。

引理5.5（良定义）

若 $K \simeq K'$ 为 ∞-等价，则 $\mathcal{W}(K) = \mathcal{W}(K')$。

证明：∞-等价诱导各阶同伦群的层同构；UPG 测度在层同构下不变；交错和不变。 ∎

---

§6 加权中点极值定理的 ∞-版本

6.1 问题

UPG 的中点极值定理（定理2.3）是静态的。在 ∞-拓扑斯上，需要动态版本。

6.2 核心定理

定理6.1（加权中点极值定理，∞-版本）

设 $(\mathcal{X}, \mathcal{W})$ 为加权 ∞-拓扑斯，$\mathcal{X}$ 具有对称群 $G$ 及 Lie 代数 $\mathfrak{g}$。设作用量泛函 $S: \mathcal{X} \to \mathbb{R}$ 满足：

· (H1) $S$ 是 $G$-不变的：$X \cdot S = 0$ 对 $\mathfrak{g}$ 的生成元成立；
· (H2) $S$ 在 $\mathcal{X}$ 上有唯一的 $G$-轨道上的极小点；
· (H3) 加权函子 $\mathcal{W}$ 在 $G$ 作用下不变。

则以下三者等价：

1. 代数：$X \cdot S = 0$ 对 $\mathfrak{g}$ 的生成元成立；
2. 概率：$\mathcal{W}$ 的极值对象是 $G$-轨道上的代表点；
3. 几何：$\mathcal{X}$ 中的测地线（在 $\mathcal{W}$ 加权下）在 $G$ 作用下不变。

证明：

(1) ⟹ (2)：由 $G$-不变性，$S$ 在 $G$-轨道上取常值。设 $\gamma^*$ 是极小点，则 $G \cdot \gamma^*$ 是极小点集。由 $\mathcal{W}$ 的 $G$-不变性（H3），$\mathcal{W}$ 在 $G \cdot \gamma^*$ 上取常值，即 $\mathcal{W}$ 的极值对象是 $G \cdot \gamma^*$。

(2) ⟹ (3)：由 (H2)，极小点集是 $G \cdot \gamma^*$。当 $S$ 是能量泛函时，极小点是测地线。由 (H3)，度量在 $G$ 下不变，故测地线集 $G$-不变。

(3) ⟹ (1)：设测地线集 $G$-不变，则 $S$ 在 $G$-轨道上取常值，即 $S$ 是 $G$-不变的，$X \cdot S = 0$。

三者等价。 ∎

注6.2（与论文6 的关系）

定理6.1 是论文6 动态中点极值定理在加权 ∞-拓扑斯上的推广。当 $\mathcal{X}$ 退化为经典路径空间时，定理6.1 退化为论文6 的定理4.1。

注6.3（与论文1 的关系）

当 $\mathcal{X}$ 退化为单点时，定理6.1 退化为论文1 的静态中点极值定理（定理2.3）。

加权中点极值定理统一了静态（论文1）与动态（论文6），并在 ∞-拓扑斯层面给出最一般的形式。

---

§7 运算相容性

命题7.1（边缘化 = 投影）

在加权 ∞-拓扑斯中，UPG 的边缘化运算对应 ∞-拓扑斯的投影运算，且加权函子 $\mathcal{W}$ 保持这一对应。

证明：边缘化在 UPG 中是积分消元，在 ∞-拓扑斯中对应沿纤维的推前。由 Lafforgue 双射，积分对应拓扑斯的 sup 性质。$\mathcal{W}$ 在推前下不变（由 W2）。 ∎

命题7.2（条件化 = 切片）

UPG 的条件化对应 ∞-拓扑斯的切片，$\mathcal{W}$ 保持对应。

命题7.3（独立 = 直积）

UPG 的独立性对应 ∞-拓扑斯的直积，$\mathcal{W}$ 在直积下可加：

\mathcal{W}(K \times L) = \mathcal{W}(K) + \mathcal{W}(L).

证明：独立性在 UPG 中对应势函数可加，在 ∞-拓扑斯中对应直积分解。由 $\mathcal{W}$ 的定义（同伦群的交错和），直积的同伦群是各分量同伦群的直积，测度可加，交错和可加。 ∎

---

§8 结论与开放方向

8.1 本文结果

1. UPG → 二值拓扑斯（§3，引用 Lafforgue + 翻译）；
2. 二值拓扑斯 → ∞-拓扑斯（§4，引用 Lurie）；
3. 加权 ∞-拓扑斯的构造（§5，新定义）；
4. 加权中点极值定理的 ∞-版本（§6，核心新定理）；
5. 运算相容性（§7，逐条证明）。

8.2 诚实定位

· 引用：Lafforgue 双射、Lurie 嵌入；
· 新构造：加权 ∞-拓扑斯、加权函子、加权中点极值定理；
· 有限性约定：本文限定有限同伦群、有限型层；
· 开放方向：
· 去掉有限性约定（无限同伦群、非有限型层）；
· 加权函子的交错和的代数来源（为什么是 $(-1)^i$）；
· 与导出代数几何（Toën-Vezzosi）的关系；
· 与合成微分几何（Schreiber）的关系。

8.3 一句话

UPG 和 ∞-拓扑斯互不包含，但可以连接。连接的结果是加权 ∞-拓扑斯——同时具备高阶同伦结构与测度权重。加权中点极值定理是这个新对象的核心定理，它统一了静态（论文1）与动态（论文6）的中点极值。

---

参考文献

略

---

（正文完）