The zariskian p-adic bifiltered El Zein-Steenbrink-Zucker complex of a proper SNCL scheme with a relative SNCD

技术摘要：Zariskian p-adic 双过滤 El Zein-Steenbrink-Zucker 复形

问题陈述
本文旨在阐述并部分验证 log p-adic 相对单模权重猜想 (log p-adic relative monodromy-weight conjecture)。该猜想是著名的 p-adic 单模权重猜想（此前由 Mokrane 和作者研究）在配备有相对简单正规交叉除子 (relative SNCD) 的真单纯正规交叉对数 (SNCL) 方案上的推广。

核心问题在于为特征为 $p > 0$ 的基 $S_0$ 上的真 SNCL 方案 $(X, D)$ 构建一个合适的上同调框架，该框架需同时包含以下内容：

1. 源于 SNCL 结构的 权重过滤 (weight filtration)。
2. 源于相对 SNCD $D$ 的 相对单模过滤 (relative monodromy filtration)。
3. 作用于对数晶体上同调的 单模算子 (monodromy operator) $N$。

作者旨在定义一个能捕捉这些结构的双过滤复形，并证明诱导的单模算子在权重过滤与相对单模过滤的特定分次项之间是同构的（在模去挠的情况下）。

方法论
本文在对数晶体上同调和 PD-包络 (PD-envelopes) 的框架内，采用严谨的构造方法，扩展了先前关于 SNCL 方案权重过滤的工作。

1. 复形的构造：
   作者构造了 Zariskian p-adic 双过滤 El Zein-Steenbrink-Zucker 复形，记作 $(Azar((X, D)/S), P^D, P)$。这是一个位于导出范畴 $D^+F_2(f^{-1}(\mathcal{O}_S))$ 中的双过滤复形。

   • 该构造依赖于将方案嵌入到一个单纯严格半稳定形式方案中，并利用对数 PD-包络。
   • 它利用了定义在对数微分形式上的 预权重过滤 (preweight filtrations)，特别区分了与 SNCL 结构相关的过滤 ($P$) 与与相对 SNCD 相关的过滤 ($P^D$)。
   • 该复形是通过涉及 PD-包络上对数微分形式的余单纯双复形定义的，并通过特定的过滤步骤进行商运算。

2. 函子性与基变换：
   论文确立了该复形在对数方案态射下的 逆变函子性 (contravariant functoriality)，并仔细处理了当态射的次数能被 $p$ 整除时所需的“度扭转 (degree twist/D-twist)”。此外，作者还证明了一个 双过滤基变换定理 (bifiltered base change theorem)，确保该复形在对数 PD-扩充的基变换下表现良好。

3. 单模算子：
   作者回顾了由 H. Kato 和作者在先前工作中定义的单模算子 $N$，并证明了它在所构造的双过滤复形上诱导了一个良定义的自同态。该算子被证明将权重过滤 $P$ 平移 $-2$，并保持相对过滤$P^D$ 不变。

4. 谱序列：
   从该双过滤复形中导出了两个新的谱序列：

   • 关于除子 $D$ 的 庞加莱谱序列 (Poincaré spectral sequence)。
   • 权重谱序列 (weight spectral sequence)（类似于 SNCL 方案中权重谱序列的 $E_1$ 退化）。

主要贡献与结果

1. 主定理 (Theorem 1.4)：
   本文证明了双过滤复形 $(Azar((X, D)/S), P^D, P)$ 的存在性，并证明其与对数晶体上同调 $R u_{(X,D)/S*}(\mathcal{O}_{(X,D)/S})$ 具有正则同构。其过滤的分次项可以通过交集处的对数晶体上同调（通过晶体定向层进行扭转）来显式描述。

2. 相对单模权重猜想 (Conjecture 1.5)：
   作者提出了如下猜想：对于一个带有相对 SNCD 的射影真 SNCL 方案，诱导映射
   $$N^e: \text{gr}^P_{q+k+e} \text{gr}^{P^D}_k R^q f_* (\mathcal{O}) \to \text{gr}^P_{q+k-e} \text{gr}^{P^D}_k R^q f_* (\mathcal{O})(-e)$$
   在模去挠的情况下是同构。这等价于存在一个相对单模过滤 $M$，它在有理上同调上与权重过滤 $P$ 一致。

3. 特定情况下的证明 (Theorem 1.6 及推论)：

   • Theorem 1.6： 如果对数 p-adic 单模权重猜想（针对不含相对除子结构的方案 $D(k)/S$）成立，则对数 p-adic 相对 单模权重猜想也成立。
   • Corollary 1.7： 若 $X$ 对 $S$ 的相对维度 $\le 2$，则该猜想成立，这利用了低维情况下的已知结果。
   • Corollary 1.8： 若该方案的纤维是来自等特征完全离散估值环的真严格半稳定族之对数特殊纤维，则该猜想成立。

4. $E_2$-退化：
   本文证明了 p-adic 权重谱序列在模去挠意义下的 $E_2$-退化（第 10 节），这是建立过滤相容性的关键步骤。

意义与主张
本文声称提供了在复解析设定下（特别是针对单位圆盘上的严格半稳定族）由 El Zein, Steenbrink, 和 Zucker 构建的双过滤复形的 p-adic 类比。

• 推广性： 它推广了作者先前关于 SNCL 方案（不含相对除子）的权重过滤工作，以及在 [N6] 中构建的 $l$-adic 相对单模过滤。
• 动机预期： 作者指出，相对单模过滤被预期是“动机性的 (motivic)”，而这种 p-adic 构造在对数晶体上同调的语境下为这一预期提供了具体的实现。
• 技术基础： “Zariskian p-adic 双过滤 El Zein-Steenbrink-Zucker 复形”的构造被视为在特征 $p$ 下阐述和研究相对单模权重猜想所必需的基础工具。

本文并未声称证明了全泛函意义下的猜想，而是确立了其在显著情况下的有效性（低相对维度、特定变形类型），并将一般问题归约为除子各组分的非相对猜想的有效性。这项工作被视为将对数晶体上同调理论扩展到处理相对奇异性（相对 SNCD）的必要延续。