几何不可约反常层如何在算术基上展开？

展开究竟构造出什么

论文的核心对象是有限型态射 X_0 → S_0 的一般纤维 X_k 上的几何不可约反常层 M，其中 S_0 是 Z[1/ℓ] 上有限型的整概形，函数域为 k。主定理断言：存在 S_0 的稠密开子概形 U_0 以及 Perv_ULA(X_0/U_0) 中的层 M_0，使其限制到一般纤维上同构于 M。这里有两个性质很关键。该扩张在 U_0 上是相对反常的，也就是说反常性相对于基来度量，而不是在每个纤维上绝对地度量。它还是普遍局部无环的，因而其构造在基变换下表现良好。

唯一性条款是有条件的：若 U_0 是几何单枝的，则到 U_0 的扩张在同构意义下唯一。这个条件并非装饰。没有它，构造只能在经过一个 étale 邻域并用来自该邻域的秩一层做扭之后才确定扩张，而这正是论文用来使一般纤维成为一般非分歧的机制。

扩张之前为何需要扭

把早先基于 trait 的范畴等价推广到更一般基的障碍在于：一般纤维上的反常层未必是一般非分歧的。论文的主要观察是，几何不可约性在 étale 局部化之后修复了这一点：在基的一个 étale 邻域上，只要用来自该邻域的秩一层做扭，该层就变成一般非分歧的。由准单值单值定理，算术特征总是一般非分歧的，这就是当基为算术基时扭可以被吸收的原因。

这正是算术情形与一般正则情形的区别。在整算术基上，定理扩张的是层本身。在非算术的正则基上，论文得到的是在支配 étale 邻域上扭的扩张。比较这两个陈述的读者应记住这一区别：无扭扩张是算术基特有的现象，而非一般基的现象。

从光滑层到反常层

扩张定理由几何不可约光滑层的一个变体推出，该变体分别对算术情形和一般情形加以证明。归约过程经过一个相对中间扩张：给定浸入 j: V_0 → X_0 以及 V_0 上的相对反常层 M，论文构造出 S_0 的稠密开子概形 U_0 以及 X_{U_0}/U_0 上相对反常且普遍局部无环的层 N，使得 N 在 U_0 的每一点 x 处的纤维等于 j_{!*}(M_x)。一般基变换使该构造能在稠密开集上与基变换交换，进一步收缩则使 N 成为普遍局部无环的。

第二个要素处理纤维的几何。若 X_0 在 S_0 上的约化一般几何纤维是光滑的，则在基的一个普遍同胚之后，存在稠密开子概形 U_0，使其上的约化纤维光滑。在特征零时这直接成立；在特征 p 时论证先用一次 Frobenius 扭得到几何约化的纤维。正是这一步让论文能够逐纤维地控制基本群。

在族中保持的分解列

为应用所需，论文不只需要扩张一个不可约层，还需要相对反常层的分解列在整个族中保持。定理 1.17 在拓扑 Noether 整几何单枝基 S_0 上给出这一点，函数域为 k，并假设一般纤维的不可约子商具有几何不可约的支撑。收缩基之后，存在由相对反常、普遍局部无环层构成的一个滤过 0 = M_0 ⊂ M_1 ⊂ ... ⊂ M_n = M_{U_0}，连同 X_{U_0} 的闭子集 Z_i 以及 Z_i 的稠密开子集 V_i。

所列性质使该滤过可用：每个商 M_i/M_{i−1} 的一般纤维不可约；每个 Z_i 在 U_0 上的纤维几何不可约；每个 V_i 的纤维几何连通且约化几何纤维光滑；每个商限制到 V_i 上是光滑层；基本群在某个纤维的一般线性群中的像，在共轭意义下不依赖于所选的几何点；每个商的纤维是其限制到 V_i 的中间扩张。支撑上的几何不可约性假设使单值特化定理得以适用，因为它保证支撑的稠密开集保持几何连通。

特化到有限域以获得纯性

各项应用都遵循同一个模板。从算术域上的几何不可约反常层出发，把它展开到算术基概形上，再收缩基使得每个闭点上的纤维几何不可约。Lafforgue 定理随即推出闭点上的纤维在扭的意义下是纯的。正是这种纯性使权理论能够对邻近圈作出陈述。

这就是论文能够在不失去控制的情况下，从算术域上的陈述过渡到有限域上的陈述的原因。展开定理提供模型；闭点纤维提供有限域设定；纯性提供权理论的输入。论文指出，由此得到的理论在某一方面比早先基于 trait 的范畴等价更柔和：展开之后，特化只是取基上某一点的纤维，而不必先应用范畴等价再取闭点处的纤维。

算术 Kashiwara 猜想获得了什么

第一个应用是 Esnault 与 Kerz 的算术 Kashiwara 猜想，论文在等特征下对几何来源的 trait 证明了它。设 S 是一个离散赋值环的严格 Hensel 化的谱，该环本质有限型于一个域；设 X 是 S 上有限型概形；设 M 是一般纤维 X_η 上的几何半单算术反常层。定理分两部分。第一，单值滤过在单幂邻近圈上的分次片 Gr^M_n(Ψ_uni(M)) 对每个整数 n 都几何半单。第二，对有限型 S-概形的真态射 f: X → Y，以 f_*(Gr^M_{−q}(Ψ_uni(M))) 的反常上同调为 E^pq_1 项的单值谱序列在第二页退化，且它诱导的滤过与单值滤过一致。

范围限定条件很有分量。结果是在等特征下、对几何来源的 trait 陈述的，而不是对任意 trait。输入层是几何半单且算术的，而不是任意反常层。结论是关于单值滤过的分次片以及第二页上的退化，而不是关于整个邻近圈半单。

算术域上的分解与 Hard Lefschetz

第二个应用通过此前构造的模型特化到已知的有限域情形，从而重新得到算术复形的分解定理。论文随后将其推广：若 k 是分离闭域上有限生成的域，f: X → Y 是有限型 k-概形的真态射，K 是 X 上的算术半单复形，则前推 f_*(K) 半单。作者表示，他们预期该方法可推广到特征零概形上的复形而无需算术性假设，办法是诉诸特征零代数闭域上半单复形的分解定理，但这一推广是作为预期而非已证定理提出的。

第三个应用是 Hard Lefschetz 陈述。对域 k、有限型 k-概形的射影态射 f: X → Y、X 上 f-丰沛线丛的 Chern 类 η ∈ H^2(X, Q_ℓ(1))，以及 X 上几何半单算术反常层 M，态射 η^i 从 ^p H^{−i}(f_*(M)) 到 ^p H^i(f_*(M))(i) 对所有 i ≥ 0 都是同构。这里假设是射影而非真，层是几何半单且算术的。

论证止步于何处

附录中的一般基变换结果是特化论证的技术支柱，并被标注为具有独立价值。对 qcqs 概形的有限表现态射 f: X → Y，系数取剩余特征在 Y 上可逆的完备 Noether 局部环，或取在 Y 上可逆的素数 ℓ 对应的 Q_ℓ，则 Y 存在一个有限可构造分划，分成局部闭的块，在其上前推可构造且与基变换交换，复形普遍局部无环，并且内映射对象存在且与基变换交换。论文明确指出，对完备 Noether I-进系数环，最后两项并未在所述一般性下得到证明，原因是作者无法解决某些技术要点；精确陈述留在附录中。

因此实用的读法是按假设分情形，而不是一个统一的陈述。稠密开集上的无扭扩张要求算术基；在一般正则基上得到的是支配 étale 邻域上扭的扩张。Kashiwara 应用要求等特征的几何来源 trait 以及几何半单算术输入。分解定理对分离闭域上有限生成域上的算术半单复形得到证明，特征零的非算术情形则作为预期保留。Hard Lefschetz 陈述要求射影态射以及几何半单算术反常层。读者最应带走的是从假设到结论的这一对应：输入的几何不可约性换来扩张，基的算术性消除扭，而特化到闭点把扩张转化为纯性，进而转化为权理论的结论。

本文引用的文献