A necessary condition for liftings of positive characteristic varieties with finite fundamental groups

技术摘要：具有有限基本群的正特征数簇提升的一个必要条件

问题陈述
本文旨在解决确定定义在代数封闭域（特征 $p > 0$）上的光滑、紧致簇的特征零提升（characteristic zero liftings）的必要条件问题。虽然已知的障碍包括 Kodaira 消去失败以及基本群的特定行为，但本研究引入了一个新的必要条件，该条件源自 $\ell$-进 étale 同伦理论以及一种变体形式的 Wall 有限性障碍（Wall's finiteness obstruction）。研究的具体焦点在于那些其 $\ell$-进 étale 基本群的 $\ell$-进完备化是一个有限 $\ell$-群的簇。

方法论
作者综合运用了代数拓扑与算术几何的方法，利用了以下理论框架：

1. Étale 同伦理论： 他们利用了方案 $X$ 的 $\ell$-进 étale 同伦类型 $X^\wedge_{\text{ét}, \ell}$。其核心拓扑观察是：如果特征 $p$ 下的平滑紧致簇 $X$ 可以提升到特征零，那么其 $\ell$-进 étale 同伦类型必须与复变体（其同伦等价于一个有限 CW 复形）的 $\ell$-进同伦类型是 $\ell$-进弱等价的。
2. Wall 有限性障碍： 本文扩展了 C.T.C. Wall 关于何时一个 CW 复形同伦等价于一个有限 CW 复形的经典结果。Wall 判据要求一个空间是“有限支配”（finitely dominated）的，并且在约化代数 K-群 $\tilde{K}_0(\mathbb{Z}[\pi_1])$ 中的 Wall 有限性障碍必须消失。
3. 局部与完备化： 作者将这些概念推广到：
   • $T$-局部空间： 在一组素数 $T$ 处局部化的空间。
   • $\ell$-进完备空间： 特别是对于具有有限基本群的空间，通过分析其万有覆盖的链复形来研究。
4. 链复形分析： 中心技术工具是对万有覆盖的 $\ell$-进完备的细胞链复形的分析。作者基于该链复形是否为 $\mathbb{F}_\ell[\pi]$ 上的完美复形（即同伦等价于一个有限生成射影模构成的有界复形），定义了“模-$\ell$ 有限支配性”（mod-$\ell$ finite dominatedness）。

主要贡献与结果

1. 将有限性障碍扩展至局部/完备空间：
   作者形式化了对于纤维化 $T$-局部 CW 复形和具有有限基本群的 $\ell$-进完备空间的有限性障碍概念。

   • 定理 2.10 & 2.12： 他们确立了一个纤维化 $T$-局部 CW 复形同伦等价于一个有限 CW 复形，当且仅当它是 $T$-局部有限支配的，且其 $T$-局部 Wall 有限性障碍消失。他们还证明了障碍映射的满射性（定理 2.12），表明任何属于相关 K-群的元素都可以被实现为障碍。
   • 有限 $\ell$-群的障碍消失： 一个关键观察（事实 3.6）是，对于有限 $\ell$-群 $\pi$，约化 K-群 $\tilde{K}_0(\mathbb{F}_\ell[\pi])$ 是平凡的。因此，在这种情形下，Wall 有限性障碍自动消失。主要条件简化为“模-$\ell$ 有限支配性”。

2. $\ell$-进弱等价性的特征化：
   定理 3.11 提供了一个特征化：一个具有有限 $\ell$-群基本群的连通 CW 复形 $Y$ 与一个有限 CW 复形是 $\ell$-进弱等价的，当且仅当：

   • $Y$ 是模-$\ell$ 有限支配的（其 $\ell$-进完备的万有覆盖的链复形是 $\mathbb{F}_\ell[\pi]$ 上的完美复形）。
   • $Y$ 的 $\ell$-进完备化允许一个“$\ell$-局部提升”（即它是某个 $\ell$-局部有限型空间的纤维化 $\ell$-完备化）。

3. 在代数簇中的应用：
   作者将这些拓扑结果应用于具有有限 étale 上同调和有限 étale 基本群的方案。

   • 定理 1.3 & 推论 4.4： 他们证明了对于具有有限 $\ell$-进 étale 基本群和有限 étale 上同调的局部 Noetherian 方案，其 $\ell$-进完备的 étale 同伦类型的同伦群是有限生成的 $\mathbb{Z}_\ell$-模。
   • 定理 5.4： 他们确立了 étale 同伦类型 $X_{\text{ét}}$ 与一个复变体是 $\ell$-进弱等价的，当且仅当 $X$ 是模-$\ell$ 有限支配的，且其 $\ell$-进完备化是 $\ell$-局部可提升的。

4. 提升的主要必要条件：
   推论 5.5 给出了关于提升问题的论文主要结果：

   • 设 $X$ 是定义在分离闭域（特征 $p > 0$）上的光滑、紧致簇，且满足 $(\pi_1^{\text{ét}}(X))^\wedge_\ell$ 是一个有限 $\ell$-群。
   • 如果 $X$ 能够提升为一个定义在特征零离散赋值环上的光滑、紧致方案，那么 $X$ 必须是模-$\ell$ 有限支配的。
   • 此外，如果提升适当保持了基本群结构，则 $X$ 的 $\ell$-进完备化也必须是 $\ell$-局部可提升的。

意义与主张
本文声称引入了一个关于正特征数簇提升的新必要条件，该条件不同于以往如 Kodaira 消去等障碍。其意义在于将提升的几何问题转化为涉及 étale 同伦类型的链复形的同伦有限性问题。

作者指出，虽然“模-$\ell$ 有限支配性”是一个必要条件，但该障碍在具体实例中是否是非平凡的（即是否存在不满足此条件从而导致无法提升的簇）仍是一个开放问题。论文还在附录中提供了一个关于有限 $\ell$-群的约化 K-群消失性的表示论结果，这构成了在此特定背景下自动消除 Wall 障碍的基础。

这项工作将 Wall 的有限性理论扩展到了 $\ell$-进完备空间的领域，这是连接正特征数下的代数簇的同伦类型与特征零下的有限 CW 复形之间差距所必需的技术发展。