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

技術要約：ザリスキー的 $p$ 進二重濾過 El Zein-Steenbrink-Zucker 複体

問題提起
本論文は、対数 $p$ 進相対モノドロミー・ウェイト予想の定式化および部分的な検証に取り組んでいる。この予想は、（著者と Mokrane によって以前に研究された）有名な $p$ 進モノドロミー・ウェイト予想を、相対的な単純正規交差因子（SNCD）を備えた固有単純正規交差（SNCL）スキームへと一般化したものである。

核心となる問題は、以下の要素を同時に組み込んだ、標数 $p > 0$ の $S_0$ 上の固有 SNCL スキーム $(X, D)$ のための適切なコホモロジー論的枠組みを構築することである：

1. $X$ の SNCL 構造から生じるウェイト濾過。
2. 相対的 SNCD $D$ から生じる相対モノドロミー濾過。
3. 対数結晶コホモロジーに作用するモノドロミー作用素 $N$。

著者は、これらの構造を捉える適切な二重濾過複体を定義し、ウェイト濾達と相対モノドロミー濾過の特定の次数成分の間で、モノドロミー作用素が（捩れを除いて）同型写像として作用することを証明することを目指している。

手法
本論文は、ウェイト濾過に関する SNCL スキームへの先行研究を拡張し、対数結晶コホモロジーおよび PD-エンベロープの枠組みの中で厳密な構成を行う。

1. 複体の構成:
   著者は、ザリスキー的 $p$ 進二重濾過 El Zein-Steenbrink-Zucker 複体、すなわち $(Azar((X, D)/S), P^D, P)$ を構築する。これは、派生圏 $D^+F_2(f^{-1}(\mathcal{O}_S))$ における二重濾過複体である。

• この構成は、スキームを単体的（simplicial）な strict semistable 形式スキームへと埋め込み、対数 PD-エンベロープを利用することに基づいている。
• これは、対数微分形式上に定義された前ウェイト濾過（特に、SNCL 構造に関連する濾過 $P$ と、相対的 SNCD に関連する濾過 $P^D$ を区別したもの）を利用している。
• この複体は、PD-エンベロープ上の対数微分形式を含む余複体（cosimplicial double complex）を、特定の濾過ステップによって商取ることによって定義される。

2. 関手性と基底変換:
   本論文は、対数スキームの射の下でのこの複体の反変関手性を確立しており、その際、射の次数が $p$ で割り切れる場合に必要となる「次数のねじれ（D-twist）」を慎重に扱っている。また、二重濾過基底変換定理を証明し、対数 PD-拡大の基底変換の下で複体が適切に振る舞うことを保証している。

3. モノドロミー作用素:
   著者は、以前の著作（H. Kato および著者）で定義されたモノドロミー作用素 $N$ を想起し、それが構築された二重濾過複体上にウェルディファインドな自己準同型を誘導することを示す。この作用素は、ウェイト濾過 $P$ を $-2$だけシフトさせ、相対濾過$P^D$ を保存することが示される。

4. スペクトル系列:
   二重濾過複体から2つの新しいスペクトル系列が導かれる：

• 因子 $D$ に関するポアンカレ・スペクトル系列。
• ウェイト・スペクトル系列（SNCL スキームにおけるウェイト・スペクトル系列の $E_1$ 崩壊に類似したもの）。

主要な貢献および結果

1. 主定理 (Theorem 1.4):
   本論文は、二重濾過複体 $(Azar((X, D)/S), P^D, P)$ の存在と、対数結晶コホモロジー $R u_{(X,D)/S*}(\mathcal{O}_{(X,D)/S})$ への標準的な同型を証明する。濾過の次数成分は、結晶的な方位層（crystalline orientation sheaves）によってねじられた、$X$ と $D$ の滑らかな成分の交わり上の対数結晶コホモロジーとして明示的に記述される。

2. 相対モノドロミー・ウェイト予想 (Conjecture 1.5):
   著者は、射影的な固有 SNCL スキームおよび相対的 SNCD に対して、以下の誘導射
   $$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)$$
   が、捩れを除いて同型であるという予想を定式化する。これは、有理コホモロジー上でウェイト濾過 $P$ と一致する相対モノドロミー濾過 $M$ が存在することと同値である。

3. 特定の場合における証明 (Theorem 1.6 および系):

• Theorem 1.6: もし対数 $p$ 進モノドロミー・ウェイト予想（相対的因子構造を持たないスキーム $D(k)/S$ に関するもの）が真であれば、対数 $p$ 進相対モノドロミー・ウェイト予想も真である。
• Corollary 1.7: 低次元の場合の結果を利用することで、予想は相対次元が $\le 2$ の場合に真であることが証明される。
• Corollary 1.8: 予想は、スキームのファイバーが、等次数の離散付値環上の proper strict semistable ファミリーの対数特殊ファイバーである場合に成立する。

4. $E_2$ 崩壊:
   著者は、対数結晶コホモロジーにおける $p$ 進ウェイト・スペクトル系列の $E_2$ 崩壊（捩れを除いて）を証明する（セクション 10）。これは、濾過の整合性を確立するための極めて重要なステップである。

意義および主張
本論文は、複素解析的な設定（具体的には、単位円板上の strict semistable ファミリー）における El Zein、Steenbrink、および Zucker によって構築された二重濾過複体の $p$ 進版を提供すると主張している。

• 一般化: 本研究は、著者による（相対的因子を持たない）SNCL スキームのウェイト濾過に関する以前の研究、および [N6] における $\ell$ 進相対モノドロミー濾過の構築を一般化するものである。
• モチーフ的期待: 著者は、相対モノドロミー濾過は「モチーフ的（motivic）」であると期待されていると述べており、この $p$ 進的な構成は、対数結晶コホモロジーの文脈におけるそのような期待の具体的な実現を提供するものである。
• 技術的基礎: 「ザリスキー的 $p$ 進二重濾過 El Zein-Steenbrink-Zucker 複体」の構成は、標数 $p$ における相対的な特異性（相対的 SNCD）を扱うために、対数結晶コホモロジーの理論を拡張するために不可欠な基礎的ツールとして提示されている。

本論文は、予想を完全な一般性において証明したと主張しているのではなく、低相対次元や特定の変形タイプといった重要なケースにおいてその妥当性を確立し、かつ、一般的な問題を（相対的因子を持たない）成分に関する非相対的な予想の妥当性に帰着させている。本研究は、相対的な特異性（相対的 SNCD）を扱うために、対数結晶コホモロジーの理論を継続するための必要な発展として位置づけられている。