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

1. Problem Statement and Context

The Core Problem:
The paper addresses the log $l$-adic relative monodromy-weight conjecture. This is a generalization of the famous $l$-adic monodromy-weight conjecture (proposed by Deligne and generalized by K. Kato) to the setting of families of log schemes with Simple Normal Crossing Log (SNCL) structures and relative Simple Normal Crossing Divisors (SNCD).

Specifically, let $S$ be a family of log points and $f: (X, D) \to S$ be a proper SNCL scheme with a relative SNCD $D$. The conjecture posits a relationship between two filtrations on the $l$-adic Kummer log étale cohomology $R^q f_* (\mathbb{Q}_l)$:

1. The Monodromy Filtration ($M$): Defined relative to the nilpotent monodromy operator $N$ and a reference filtration (induced by the divisor $D$).
2. The Weight Filtration ($P$): Induced by the geometry of the special fiber and the divisor $D$.

The conjecture asserts that if the underlying scheme $\mathring{X}$ is projective over $\mathring{S}$, the filtration $P$ coincides with the relative monodromy filtration $M$.

The Gap in Literature:

• Previous work by Rapoport-Zink and Nakayama established weight spectral sequences for specific cases (e.g., $D=\emptyset$ or specific log points).
• However, these constructions often lacked a rigorous definition within a specific derived category framework, particularly regarding bifiltered complexes (complexes with two filtrations) and the handling of torsion sheaves in the $l$-adic limit.
• There was no unified construction of an "$l$-adic bifiltered El Zein-Steenbrink-Zucker complex" that could simultaneously handle the weight filtration relative to the divisor $D$ and the global weight filtration, nor was the contravariant functoriality of these structures fully established for general morphisms of log schemes.

2. Methodology

The paper employs a two-pronged approach: developing a robust homological algebra framework and applying it to construct specific geometric complexes.

A. Derived Categories of Bifiltered Complexes (Part I)

To rigorously handle the geometric constructions, Nakkajima first constructs a general theory for the derived category of bifiltered complexes ($DbF^2_{ctf}$).

• Strict Exactness: He defines "strict exactness" for complexes with two filtrations, a non-trivial generalization of Berthelot's theory for filtered complexes. This is crucial because standard filtered derived category techniques do not automatically extend to the bifiltered case due to the complexity of multi-graded intersections.
• Resolutions: The paper proves the existence of strictly injective and strictly flat resolutions for bifiltered complexes. This allows for the definition of derived functors like $\mathbb{R}\text{Hom}$ and $\otimes^{\mathbb{L}}$ in the bifiltered context.
• Adjunction and Base Change: The theory establishes adjunction formulas and base change theorems for bifiltered derived functors, which are essential for proving the functoriality of the geometric complexes later.

B. Construction of the $l$-adic Complex (Part II)

Using the homological framework, the author constructs the central object of the paper:

• The Complex: The $l$-adic bifiltered El Zein-Steenbrink-Zucker complex, denoted as $(A_{l^\infty}((X^1_{l^\infty}, D^1_{l^\infty})/S^1_{l^\infty}), P_{D^1_{l^\infty}}, P)$.
• Construction Steps:
  1. It utilizes the Kummer log étale topos and the limit of roots of unity ($l^\infty$) to define the geometric setting.
  2. It builds upon the Rapoport-Zink-Nakayama double complex involving the nearby cycle sheaf and the monodromy operator $T-1$.
  3. It incorporates the orientation sheaves ($\varpi$) associated with the intersections of the irreducible components of $X$ and $D$.
  4. The complex is constructed as a single complex of a double complex involving the mapping fiber of the monodromy action and the filtered flat resolution of the log structure.
• Key Property: The underlying complex of this bifiltered object calculates the Kummer log étale cohomology sheaf $R^q f_* (\mathbb{Z}_l)$.

3. Key Contributions

1. Rigorous Bifiltered Framework: The paper provides the first comprehensive theory of derived categories for bifiltered complexes with constructible cohomology and finite tor-dimension, filling a gap in the generalization of Berthelot's filtered derived categories.
2. The Bifiltered Complex: The construction of the $l$-adic bifiltered El Zein-Steenbrink-Zucker complex. This object carries two filtrations:
   • $P_{D^1_{l^\infty}}$: The weight filtration relative to the divisor $D$.
   • $P$: The global weight filtration.
3. Weight Spectral Sequences: The construction yields two new spectral sequences converging to the cohomology:
   • One relative to $D$ (generalizing Nakayama's result).
   • One global (generalizing Rapoport-Zink).
   • The paper proves these degenerate at $E_2$ modulo torsion in specific cases (e.g., equal characteristic or low dimension).
4. Contravariant Functoriality: A major technical achievement is the proof of the contravariant functoriality of the complex and the spectral sequences with respect to morphisms of log schemes. This involves defining a "degree twist" (D-twist) to handle the non-trivial action of morphisms on the log structures and roots of unity.
5. Edge Morphisms: The appendix provides explicit descriptions of the edge morphisms ($d_1$) in terms of Čech Gysin morphisms and pull-backs, clarifying the differential structure of the spectral sequences.

4. Main Results

• The Log $l$-adic Relative Monodromy-Weight Conjecture:
  The author formulates the conjecture: If $\mathring{X}$ is projective over $\mathring{S}$, the filtration $P$ on $R^q f_* (\mathbb{Q}_l)$ is the relative monodromy filtration with respect to $P_{D^1_{l^\infty}}$.
• Proof in Specific Cases:
  The conjecture is proven to be true in the following cases:
  1. Low Dimension: When the relative dimension of $\mathring{X}/\mathring{S}$ is $\le 2$. This relies on results by Kajiwara, Achinger, and Mokrane.
  2. Special Fibers of Semistable Families: When the fiber $(X_s, D_s)$ is the log special fiber of a proper strict semistable family over a henselian discrete valuation ring of equal characteristic.
  3. Reduction to Point Case: The paper proves that if the conjecture holds for the log special fibers of the components $D(k)$ (the $k$-fold intersections of $D$) over a point, then it holds for the relative case $(X, D)/S$.

5. Significance

• Generalization of Classical Results: This work significantly generalizes the foundational work of Steenbrink, Zucker, and El Zein (originally in the complex/analytic setting) and Rapoport-Zink (in the $l$-adic setting) to the realm of log geometry with relative divisors.
• Unification of Filtrations: It provides a geometric construction that unifies the monodromy filtration and the weight filtration in the $l$-adic context, offering a potential pathway to proving the conjecture in mixed characteristic (though the mixed characteristic case remains conditional on the point-wise conjecture).
• Technical Foundation: The development of the bifiltered derived category theory is a standalone contribution that will likely be useful for future research in arithmetic geometry, particularly in contexts involving multiple filtrations (e.g., $p$-adic Hodge theory, mixed Hodge modules in characteristic $p$).
• Functoriality: The establishment of contravariant functoriality for these spectral sequences is crucial for applying these tools to families of varieties and for comparing cohomology across different log schemes, a feature previously missing in the literature.

In summary, Nakkajima's paper provides the necessary homological machinery and geometric construction to formulate and partially prove a deep conjecture relating monodromy and weight in the $l$-adic log setting, extending the reach of the monodromy-weight conjecture to families with relative divisors.