Abstract:As a sequel of Part I, we consider a filtration of Hodge cohomology groups indexed by divisors "at infinity", and prove that they are represented in the category of motives with modulus. In particular, we obtain a realisation functor of the Hodge cohomology groups.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on how to represent Hodge cohomology groups (especially Hodge cohomology groups with ramification filtrations) in the category of modular motives. Specifically, the authors hope to prove that these Hodge cohomology groups with ramification filtrations can be represented in the category of modular motives and construct a realization functor, thereby providing a new framework for non - A1 - invariant cohomology theories.
The following are the specific problems and goals proposed in the paper:
1. **Introducing Hodge Cohomology with Ramification Filtration**: The authors consider a filtration of Hodge cohomology groups indexed by divisors at infinity and prove that these filtered cohomology groups can be represented in the category of modular motives.
2. **Constructing Modular Hodge Sheaves**: For all non - negative integers \(q\), the authors construct a modular Hodge sheaf \(M\Omega^q\) which combines the structure sheaf \(\mathcal{O}\) and the logarithmic Hodge sheaf \(\Omega^q(\log|X_{\infty}|)\).
3. **Proving the Main Theorem**: The main result of the authors is to prove that for any modular pair \((X, X_{\infty})\) with positive normal crossings, there exists a unique object \(M\Omega^q\in\mathrm{MDM}_{\mathrm{eff}}^k\) such that:
\[
\mathrm{Hom}_{\mathrm{MDM}_{\mathrm{eff}}^k}(M(X), M\Omega^q[n])\cong H^n_{\mathrm{Zar}}(X, M\Omega_X^q)
\]
where \(M\Omega_X^q:=\Omega_X(\log|X_{\infty}|)\otimes\sqrt{I}\otimes I^{- 1}\), and \(I\) is the ideal sheaf defining \(X_{\infty}\subset X\).
4. **Generalizing the de Rham Realization Functor**: The authors also construct a monomorphic "de Rham realization functor with modulus", which extends Voevodsky's de Rham realization functor of mixed motives and prove that it is a monomorphic functor.
5. **Cubical Invariance and Blow - up Invariance**: In order to prove the above results, the authors first define presheaves \(M\Omega^q\) and show that they are quasi - coherent étale sheaves, and then prove that their cohomology groups have cubical invariance and blow - up invariance.
By solving these problems, the authors hope to provide a new framework for non - A1 - invariant cohomology theories and lay the foundation for further research on modular motives and their applications.