结果族 040：Bloch’s conjecture for complex surfaces · 学科：Algebraic and complex geometry · 验证状态：暂无形式化证明，请以社区核验为准
在曲面上记账：零循环是一张”点数账单”（有限个点带整数系数）；如果两点能被一条自带直线的”轨道”接通，相关账单之间就可以互相划转。Bloch 猜想说：对 @@M@@p_g=0@@ 的曲面，划转自由到极致——账本上只剩一个数字，即总点数。本文证明了它。
关键词卡片
@@M@@p_g@@（geometric genus）：曲面上全纯 2-形式的个数，衡量”超越厚度”。看个具体例子
在 @@M@@\mathbb P^2@@ 上，任两点连一条直线即可划转，账目早就是”只看总数”；难的是一般型曲面。定理说：只要 @@M@@p_g=q=0@@，就有
@@M@@D\deg:\mathrm{CH}_0(S)\xrightarrow{\ \cong\ }\mathbb Z,\qquad [P]=[Q]\quad\forall\,P,Q\in S,@@
且不附带极小性、基本群或具体构造等任何假设——此前每个证明都要蹭特定曲面的特殊构造，这是第一个统一证明。结合经典定理即得完整猜想：@@M@@p_g=0@@ 时 Albanese 映射是同构；而在最难的一般型情形，@@M@@p_g=0@@ 会自动迫使 @@M@@q=0@@，恰好落回核心定理的射程。
为什么值得关心
Mumford 定理说 @@M@@p_g>0@@ 时账本”无限维”，Bloch 猜想正是硬币的另一面；两块合拢，零循环理论的核心悬念就此闭合。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把零循环说成”点数账单”，有理等价是”轨道划转”。翻译成半数学语言：对象是一张曲面和它上面的点数账单，操作是规定——两份账单可以互相划转，只要相应点能被一族连续变形的”轨道”接通；定理要说的正是导读那句：对没有全纯 2-形式的曲面，账本被划转压到只剩一个数字，即总点数。
第二级台阶
用本科术语说：零循环是曲面上有限个点带整系数的形式和；有理等价是由射影直线参数化的曲线族生成的划转关系；账本即 Chow 群 CH₀(S)——零循环模有理等价。几何亏格 p_g 是全纯 2-形式空间的维数，q 是全纯 1-形式空间的维数；Albanese 簇是接收一切零度零循环的最优阿贝尔簇，CH₀ 的零度部分有天然映射过去。
第三级台阶
定理的语境：S 光滑连通射影复曲面且 p_g=q=0。p_g=0 是猜想的边界——Mumford 定理说 p_g>0 时账本无限维，度映射不可能同构；q=0 在一般型时被 Noether 公式自动强迫，非一般型由 Bloch–Kas–Lieberman 覆盖。结论：度映射 deg:CH₀(S)→Z 是同构，任意两个点有理等价，且不附带极小性、基本群或具体构造假设。证明是在 S×S 的 Chow 群里造出对角线关系 0=c[Δ]+Γ（c≠0），再由 Roitman 挠定理清理整系数残余——导读的”账本只剩总点数”至此是定理。
证明了 Bloch 猜想：@@M@@p_g=0@@ 的光滑连通射影复曲面上，Albanese 映射 @@M@@\mathrm{CH}_0(S)^0\to\mathrm{Alb}(S)(\mathbb C)@@ 是同构；核心新定理是 @@M@@p_g=q=0@@ 时 @@M@@\mathrm{CH}_0(S)\cong\mathbb Z@@，且不附带任何曲面构造假设。
对光滑射影曲面 @@M@@S@@，Chow 群 (Chow group) @@M@@\mathrm{CH}_0(S)@@ 是零循环 (zero-cycle) 模有理等价 (rational equivalence) 得到的群。Mumford 1968 年证明：只要几何亏格 (geometric genus) @@M@@p_g(S)>0@@，这个群模等价就是”无限维”的；Bloch 随后猜想其逆——当 @@M@@p_g(S)=0@@ 时，Albanese 映射 @@M@@\mathrm{alb}_S:\mathrm{CH}_0(S)^0\to\mathrm{Alb}(S)(\mathbb C)@@ 应是同构。Bloch–Kas–Lieberman 解决了 Kodaira 维数 (Kodaira dimension) 小于 2 的全部情形，剩下一般型 (general type) 曲面：此时 @@M@@p_g=0@@ 自动迫使 @@M@@q=0@@，猜想化为”度映射完全决定零循环”。此前所有证明都要借助具体曲面的额外结构——群作用与商曲面（Inose–Mizukami、Barlow、Bauer）、超越动机 (transcendental motive) 消没（Pedrini–Weibel）或曲线族的对应作用（Voisin）。本文给出第一个不依赖此类结构的统一证明。
定理（原文 Theorem 1.1）：设 @@M@@S@@ 是 @@M@@\mathbb C@@ 上光滑连通射影曲面且 @@M@@p_g(S)=q(S)=0@@，则度映射 @@M@@\deg:\mathrm{CH}_0(S)\to\mathbb Z@@ 是整系数同构——任意两个复点有理等价；定理不假设极小性、基本群条件或特定曲面构造。
结合经典定理即得完整猜想（Corollary 1.2）：@@M@@p_g(S)=0@@ 时 @@M@@\mathrm{alb}_S@@ 是同构，一般型情形先用 Noether 公式推出 @@M@@q=0@@。另有动机 (Chow motive) 推论（Corollary 1.3）：@@M@@p_g=0@@ 时 @@M@@h(S)_{\mathbb Q}@@ 在 Kimura 意义下有限维且 @@M@@t_2(S)=0@@；若更有 @@M@@q=0@@，则 @@M@@h(S)_{\mathbb Q}\simeq\mathbf 1\oplus\mathbb L^{\oplus b_2(S)}\oplus\mathbb L^2@@，于是对一切 @@M@@m,n@@，@@M@@S^m@@ 与点的 Hilbert 概形 (Hilbert scheme) @@M@@S^{[n]}@@ 均为纯 Tate motive，有理 Chow 群由上同调类完全决定。
整个证明围绕一个目标：在 @@M@@X\times X@@ 的 Chow 群里构造对角线关系 @@M@@0=c[\Delta_X]+\Gamma@@（@@M@@c\ne0@@），其中 @@M@@\Gamma@@ 是外积 (external product) 循环之和。对角线作为对应 (correspondence) 是零循环上的恒等算子，而余维数总和为 2 的外积对应都零化零度零循环，故 @@M@@c\ne0@@ 立即给出 @@M@@\mathrm{CH}_0(X)^0\otimes\mathbb Q=0@@。先做双有理 (birational) 约化：爆破 (blowup) 不改变 @@M@@p_g,q@@ 与整系数 @@M@@\mathrm{CH}_0@@，故可设在极小一般型曲面上，此时 @@M@@1\le K^2\le9@@、@@M@@b_2=10-K^2@@。
关系来自 Quot 概形 (Quot scheme) 上的虚拟局部化 (virtual localization)：考虑 @@M@@L_1\oplus L_2@@ 的秩零商、行列式固定为除子 @@M@@D@@，两个直和项赋相反环面权 @@M@@\pm t@@，并用导出模空间的行列式纤维在基点处归一化，以构造相容的完美阻碍理论 (perfect obstruction theory)。在两个输出曲面因子上各插入一次二阶陈特征后做等变度数分析：该类所含 @@M@@t@@ 的幂次为负而类本身无负幂，故其余维数 2 分量必为零；虚拟局部化把同一个类写成固定点贡献之和，即得所需关系。
固定点贡献呈”有效除子 @@M@@\times@@ 零维子概形”型。计算时作者改造 Ellingsrud–Göttsche–Lehn 的嵌套 Hilbert 概形 (nested Hilbert scheme) 递推，但全程不积分两个输出因子：递推把点理想逐个换成剩余点图像，最后按”相等对角线”图的连通分量分类——连住两个输出的分量给出 @@M@@[\Delta_X]@@ 的倍数（即系数 @@M@@c_*@@），分开的分量给出外积。此选择规则是普适的，只依赖相交数与陈数，可跨曲面比较。
检测 @@M@@c\ne0@@ 分两支。当 @@M@@K^2\le8@@：用幺模格 (unimodular lattice) 分类与特征向量 (characteristic vector) 构造与 @@M@@K@@ 正交、平方为负的实上同调类 @@M@@\alpha@@；以 @@M@@\alpha\boxtimes\alpha@@ 配对关系，与 @@M@@\alpha@@ 正交的项贡献 @@M@@c_*\alpha^2@@，其余项经 Hodge 指数定理的数值界排除后只剩配对为正 @@M@@(\alpha H)^2@@ 的零点长度项且至少出现一个，故 @@M@@0=c\alpha^2+\sum(\alpha H)^2@@ 强迫 @@M@@c>0@@。当 @@M@@K^2=9@@：相交格秩为 1，取 @@M@@D=3K@@ 后仅 @@M@@(3K,0)@@、@@M@@(2K,K)@@ 两型贡献；在同陈数的 Cartwright–Steger 曲面（@@M@@p_g=q=1@@）上，借 Chang–Kiem 除子余截面 (divisor cosection) 与 Kiem–Li 局部化得 @@M@@c_{\mathrm{out}}=s\,c_{\mathrm{mid}}@@（@@M@@s>0@@），而长度 2 的 Hilbert 概形直接计算给出 @@M@@c_{\mathrm{mid}}=12@@，故 @@M@@c=12(s+\tau_X)>0@@。
最后，有理消失使整系数类成为挠 (torsion)，Roitman 挠定理连同 @@M@@q=0@@（Albanese 簇平凡）将其消灭；非一般型情形由 Bloch–Kas–Lieberman 定理覆盖。
本篇验证状态为”暂无形式化证明”：核心论证涉及导出模空间上的行列式理论与虚拟局部化（原论文第 3–5 节），技术性极强，请以社区核验为准，OpenAI 官方亦声明”未经形式化的结果可能有问题”。按结果族 040 的界定，完整 Bloch 猜想由本文的 @@M@@p_g=q=0@@ 新定理与 Bloch–Kas–Lieberman 经典定理拼接而成。论文还明确把 Guletskii、Banerjee 的同期预印本称为”已提出的证明”，并指出本文独有之处在于对角线关系取自 Quot 概形的虚拟局部化。所依赖的工具（Marian–Oprea–Pandharipande、EGL、Toën–Vaquié 等）均出自成熟文献，但新组合的正确性仍待专家审查。
问 1：证明中最关键、也最脆弱的一步是哪里？
答：第 3–5 节对角线关系的构造：在 L₁⊕L₂ 的秩零商的 Quot 概形上赋相反环面权 ±t，用导出模空间行列式纤维在基点归一化以装配相容的完美阻碍理论，经虚拟局部化把等变度数写成固定点贡献之和，得出 0=c[Δ_X]+Γ。行列式线的扭转、符号与定向若有一处失手，整个关系式即告无效；这是全文技术密度最高、最需要专家逐行核验的一环。
问 2：p_g=0 这个假设为什么不能去掉？
答：Mumford 1968 年定理：p_g>0 时 CH₀(S) 模掉数值等价无限维，度映射不可能同构。Bloch 猜想正是其逆命题，p_g=0 是使结论可能成立的精确边界；论文亦未声称任何 p_g>0 的替代结论。
问 3：为什么 q=0 与 p_g=0 并列陈述，而非只设 p_g=0？
答：核心定理设在 p_g=q=0；完整猜想（推论 1.2）由三块拼成：Kodaira 维数小于 2 用 Bloch–Kas–Lieberman，一般型时 Noether 公式强迫 q=0（结论一节的证明），剩下正好落进核心定理射程。q=0 同时保证 Albanese 簇平凡，使 Roitman 挠定理能消灭整系数挠。
问 4：与已有工作相比真正的新意在哪里？
答：此前所有证明都蹭具体曲面的结构：群作用与商（Inose–Mizukami、Barlow、Bauer）、超越动机消没（Pedrini–Weibel）、曲线族对应（Voisin）；Guletskii、Banerjee 的同期预印本也各有前提。本文第一个不设极小性、基本群或构造假设的统一证明，对角线关系直接取自 Quot 概形的虚拟局部化。
问 5：这类 AI 生成证明最可能在哪里出错？
答：高危在两支系数检测：K²≤8 用幺模格分类加 Hodge 指数定理配对 α⊗α 排除杂项；K²=9 借同陈数的 Cartwright–Steger 曲面经除子余截面局部化得 c_out=s·c_mid，再算 c_mid=12。改造 Ellingsrud–Göttsche–Lehn 递推”不积分两个输出因子”、按连通分量分类的普适规则，都是符号与计数易错处；且全文未形式化。
问 6：下游推论是什么、谁会用？
答：推论 1.3 给出动机层面红利：p_g=0 曲面的有理 Chow 动机 Kimura 有限维、t₂=0；更有 q=0 时 h(S)_Q 是纯 Tate 和，一切幂 S^m 与 Hilbert 概形 S^{[n]} 均纯 Tate，有理 Chow 群由上同调类完全决定。做零循环、动机理论与 Hilbert 概形的人会直接引用。
总评
以统一论证关掉 Bloch 猜想最难的核心情形，并附赠整套 Tate 动机推论，分量可观；最大风险是虚拟局部化与行列式理论的新组合未经形式化、且存在同期竞争证明，宜等待交叉核验。