平展概率概形（UPGS）与∞‑拓扑斯的连接构造

作者：张苏杭

日期：2026‑08

摘要

Lurie的∞‑拓扑斯理论将Grothendieck拓扑斯提升至∞‑范畴层次，提供了统一处理高阶同伦、导出几何与层论的框架。但标准∞‑拓扑斯仅刻画对象之间的等价、映射与同伦截断，本身不携带测度与数值权重信息。本文立足于平展概率概形（UPGS）的平展计数测度，在底景为平展景的∞‑拓扑斯上构造加权函子\mathcal{W}，将每一个∞‑对象联系到由各阶同伦群的平展测度构成的交错和；验证该加权函子满足∞‑层下降性质，并由此定义UPGS加权全局积分。本文建立UPGS与∞‑拓扑斯之间的函子对应，说明二者是互补结构：∞‑拓扑斯提供高阶同伦层结构，UPGS注入来自底景的测度权重，二者结合得到加权∞‑拓扑斯。全文不引入外部哲学假设，仅基于∞‑范畴层论与平展几何测度开展构造。

关键词：平展概率概形；∞‑拓扑斯；加权函子；平展计数测度；Čech神经；下降公理

1 引言

1.1 ∞‑拓扑斯：无权重的高阶结构

Lurie在《Higher Topos Theory》中建立的∞‑拓扑斯，是满足Grothendieck拓扑下降条件的∞‑层范畴。它可以统一描述同伦类型、导出层与概形上的平展层，能够处理对象的高阶映射、同伦等价与同伦截断。

然而原生的∞‑拓扑斯只处理结构关系，并不自带数值测度。给定一个∞‑拓扑斯中的对象，理论本身并不回答如下问题：该对象在底景意义下的全局规模如何？能否从底景的几何测度出发，为每一个高阶层对象赋予一个良定义的数值不变量？

1.2 平展概率概形（UPGS）：底景上的测度结构

平展概率概形UPGS以概形的平展态射为基础，定义平展计数测度\mu_{\mathrm{ct}}，对平展开集赋予由分支次数给出的数值。该测度具备可加性、拉回‑推前函子性，可以在经典Grothendieck拓扑斯层面工作，但原生UPGS不处理∞‑层与高阶同伦信息。

由此自然产生一个问题：能否将UPGS的测度信息提升到∞‑拓扑斯层面，使得0‑截断对象还原为原有UPGS测度，同时对高阶∞‑对象给出兼容的权重不变量？

1.3 本文主要结果

本文在底景为平展景的∞‑拓扑斯\mathcal{X}=\mathrm{Sh}_\infty(\mathrm{Ét}/X)上完成如下构造：

1. 定义UPGS加权函子\mathcal{W}，将每个∞‑对象联系到其各阶同伦群的平展计数测度的交错和；

2. 在对象具有有限多非零同伦群、各同伦层为有限型平展层的前提之下，证明\mathcal{W}满足∞‑层下降公理；

3. 定义UPGS加权全局积分，得到一类由底景测度诱导的∞‑对象不变量；

4. 建立函子\Phi_\infty，实现从普通∞‑拓扑斯到带测度的加权∞‑拓扑斯的过渡，验证在0‑截断时还原为UPGS。

2 预备知识

2.1 ∞‑拓扑斯基本概念

定义 2.1（Lurie, HTT §6.1）。设\mathcal{C}为小范畴，配备Grothendieck拓扑J，记\mathrm{Sh}_\infty(\mathcal{C},J)为满足J‑下降的∞‑层范畴。一个∞‑拓扑斯是等价于某\mathrm{Sh}_\infty(\mathcal{C},J)的∞‑范畴。

事实 2.2（HTT §6.2.3）。设\mathcal{X}为∞‑拓扑斯：

1. 其1‑截断\mathrm{Sh}_1(\mathcal{X})是经典Grothendieck拓扑斯；

2. 对任意对象K\in\mathcal{X}，各阶同伦截断\pi_n(K)是\mathrm{Sh}_1(\mathcal{X})中的层；

3. 全局截面函子\Gamma\colon \mathcal{X}\to\mathcal{S}，\mathcal{S}为空间∞‑范畴。

本文主要考虑底景为概形X的平展景\mathrm{Ét}/X的情形，即\mathcal{X}=\mathrm{Sh}_\infty(\mathrm{Ét}/X)，X为有限型概形。

2.2 平展计数测度

定义 2.3。设X为有限型概形，对任意平展态射U\to X，

\mu_{\mathrm{ct}}(U):=\sum_{\substack{V\subseteq U\\ \dim V=\dim X}} [k(V):k(X)]

其中V取遍U的不可约分支，[k(V):k(X)]为函数域的扩张次数。当U/X有限平展时，\mu_{\mathrm{ct}}(U)等于U的连通分支数目。

事实 2.4。\mu_{\mathrm{ct}}满足：

1. 可数可加性：对平展覆盖\{U_i\to U\}，\mu_{\mathrm{ct}}(U)=\sum_i\mu_{\mathrm{ct}}(U_i)；

2. 同构不变：概形同构下测度不变；

3. 拉回函子性：平展态射下测度的拉回相容性。

约定：下文讨论均限定于：对象只有有限个非零同伦群，且每个\pi_i(K)对应的层是有限型平展层。在此条件下所有交错和均为有限和。

3 UPGS加权函子的构造

设\mathcal{X}=\mathrm{Sh}_\infty(\mathrm{Ét}/X)。对K\in\mathcal{X}，\pi_i(K)是其第i同伦群对应的0‑截断层对象，属于经典拓扑斯\mathrm{Sh}_1(\mathcal{X})，因此可以作用平展计数测度\mu_{\mathrm{ct}}。

定义 3.1（UPGS加权函子）

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

在本文有限性约定下，该求和为有限项。

注 3.2。该构造类比经典欧拉示性数\chi=\sum (-1)^i\mathrm{rank}\,H_i，将线性空间的秩替换为平展景上的几何测度，得到依赖底景几何的同伦不变量，称为UPGS‑同伦示性数。

引理 3.3（良定义）。若K\simeq K'为\mathcal{X}中的∞‑等价，则\mathcal{W}(K)=\mathcal{W}(K')。

证明。∞‑等价诱导各阶同伦群的层同构；平展计数测度在层同构下不变，因此交错和不变。证毕。

4 加权函子的∞‑层下降性质

设\{U_i\to U\}为\mathcal{X}中的有效∞‑覆盖，\check{C}(\{U_i\})为对应的Čech神经复形。

定理 4.1。在本文有限性约定之下，加权函子满足下降性质：

\mathcal{W}(U)\cong \mathrm{Tot}\big(\mathcal{W}(\check{C}(\{U_i\}))\big).

证明。对每一个固定阶数i，层\pi_i服从经典层的Čech下降；\mu_{\mathrm{ct}}对平展覆盖具有可加性，因此

\mu_{\mathrm{ct}}(\pi_i(U))=\lim_\leftarrow \mu_{\mathrm{ct}}(\check{C}_n(\pi_i(U))).

因非零同伦群只有有限多项，有限交错和与极限可以交换，逐项组装即得到\mathcal{W}的全化下降条件。证毕。

推论 4.2。\mathcal{W}给出从\mathcal{X}到实数集的同伦不变赋值，与∞‑覆盖的Čech神经全化相容。

5 UPGS加权全局积分

全局截面函子\Gamma\colon \mathcal{X}\to\mathcal{S}，对对象K\in\mathcal{X}记\Gamma(K)=\mathrm{Hom}_{\mathcal{X}}(\mathbf{1}_\mathcal{X},K)为K的全局截面对象，它本身是\mathcal{X}内的∞‑对象。

定义 5.1（UPGS加权全局积分）

\int_{\mathcal{X}} K := \mathcal{W}\big(\Gamma(K)\big).

命题 5.2。在本文有限性假设下，该积分具有如下性质：

1. 测度层面线性：对实数a,b，若K,L为对象，在测度赋值意义下

\int_{\mathcal{X}}(aK\oplus bL)=a\int_{\mathcal{X}}K + b\int_{\mathcal{X}}L.

注：该线性是输出数值的线性，并非∞‑范畴内部自带标量乘法运算。

2. 函子相容性：对底景的平展态射诱导的∞‑拓扑斯态射f\colon \mathcal{Y}\to\mathcal{X}，有\int_{\mathcal{Y}} f^* K=\int_{\mathcal{X}} K。

证明。性质来自\mu_{\mathrm{ct}}的可加性与拉回函子性，经过\mathcal{W}的有限交错和传递得到。证毕。

6 UPGS与∞‑拓扑斯的函子对应

定理 6.3。定义函子

\Phi_\infty\colon \mathcal{X}\to \mathrm{Measured}(\mathcal{X}),\quad K\mapsto \big(K,\mathcal{W}(K)\big),

其中\mathrm{Measured}(\mathcal{X})表示对象附带UPGS权重的∞‑拓扑斯范畴。则：

1. 若K是0‑截断对象（即概形X对应的经典层），则\mathcal{W}(K)=\mu_{\mathrm{ct}}(K)，还原原始UPGS测度；

2. \Phi_\infty保持∞‑拓扑斯的极限、余极限与下降结构。

证明。第一条直接由定义；第二条由\mathcal{W}的良定义性与定理4.1下降性质得到。证毕。

推论 6.4（互补关系）

- ∞‑拓扑斯提供高阶同伦层结构，描述对象之间的映射、等价、形变；

- UPGS提供来自平展底景的测度权重，赋予每个对象几何数值不变量。

二者互不替代，组合得到加权∞‑拓扑斯，同时具备高阶同伦结构与底景诱导的测度信息。

7 结论

本文针对底景为平展景的∞‑拓扑斯，完成以下构造：

1. 基于平展计数测度，构造加权函子\mathcal{W}，通过各阶同伦群测度的有限交错和给出每个∞‑对象的数值不变量；

2. 在有限同伦层的条件下验证\mathcal{W}满足∞‑层下降公理；

3. 借助全局截面，定义UPGS加权全局积分；

4. 建立函子\Phi_\infty，实现普通∞‑拓扑斯向加权∞‑拓扑斯的过渡，0‑截断时回到UPGS。

原生∞‑拓扑斯擅长处理高阶结构关系，但缺少来自底景几何的数值权重；UPGS弥补这一缺口，把平展几何测度提升到∞‑层的高度。二者结合，给出一类同时拥有同伦结构与几何测度的新研究对象。

参考文献

 略