Abstract:We consider a filtration on the cohomology of the structure sheaf indexed by (not necessarily reduced) divisors ``at infinity''. We show that the filtered pieces have transfers morphisms, fpqc descent, and are so called cube invariant.
In the presence of resolution of singularities and weak factorisation they are invariant under blowup ``at infinity''. As such, they lead to a realisation functor from Kahn, Miyazaki, Saito and Yamazaki's category of motives with modulus over a characteristic zero base field.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the representation problem of Hodge cohomology under ramification filtration. Specifically, the authors explore how to study the Hodge cohomology of the structure sheaf by introducing a filtration related to an effective Cartier divisor at infinity. This filtration is defined as:
\[ H^q((X, X_\infty), \mathcal{O}) := H^q_{Zar}(X, \sqrt{I} \otimes I^{-1}) \rightarrow H^q_{Zar}(X, \mathcal{O}_X) \]
where \( I \subseteq \mathcal{O}_X \) is an invertible ideal sheaf, and its zero - set \( X_\infty=\text{Spec}(\mathcal{O}_X / I) \) satisfies \( X = X\setminus X_\infty \).
In this way, the authors construct a filtration of the cohomology of \( X \), which is indexed by the multiplicities of effective Cartier divisors. Moreover, they prove that this filtration is exhaustive, that is:
\[ \varinjlim_{n\geq1} H^q((X, n\cdot X_\infty), \mathcal{O}) \cong H^q_{Zar}(X, \mathcal{O}_X) \]
This means that through this filtration, the cohomology of a smooth variety can be represented as the cohomology of modulus pairs. The modulus pair \( (X, X_\infty) \) is defined as a variety \( X \), where \( X_\infty\subseteq X \) is a closed subscheme and \( X^\circ := X\setminus X_\infty \) is smooth.
The main theorems are as follows:
**Theorem 1 (Theorem 7.3)**: Let \( k \) be a field of characteristic zero. There exists an object \( \mathcal{M}_{\mathcal{O}}\in\text{MDM}^{\text{eff}}_k \) such that for any smooth variety \( X \), any effective Cartier divisor \( X_\infty \) with normal crossings, and any integer \( n \), we have:
\[ \text{hom}_{\text{MDM}^{\text{eff}}_k}(\mathcal{M}(X), \mathcal{M}_{\mathcal{O}}[n]) \cong H^n_{Zar}(X, \mathcal{O}(X_\infty - |X_\infty|)) \]
where \( \mathcal{O}(X_\infty - |X_\infty|) \) is the line bundle associated with the divisor \( X_\infty - |X_\infty| \).
As a direct corollary of Theorem 1, we have:
**Corollary 2**: For any \( X\in\text{Sm}_k \), when taking \( X=(X, \emptyset) \), the Hodge cohomology groups can be represented as:
\[ \text{hom}_{\text{MDM}^{\text{eff}}_k}(\mathcal{M}(X, \emptyset), \mathcal{M}_{\mathcal{O}}[n]) \cong H^n_{Zar}(X, \mathcal{O}) \]
**Corollary 3**: The standard fully faithful inclusion:
\[ \text{DM}^{\text{eff}}_k\subseteq\text{MDM}^{\text{eff}}_k \]
is not essentially surjective.
Overall, this paper introduces a new filtration.