A Voevodsky motive associated to a log scheme

Georgii Shuklin

2024-01-26

Abstract:For each fs log scheme $(X,\mathcal M_X)$ over a field $k$ we construct a geometrical Voevodsky motive $[X]^{log}\in DM_{gm}(k,\mathbb Q)$. We prove that, for $k=\mathbb C$, the Betti realization of $[X]^{log}$ is the log Betti cohomology of $(X, \mathcal M_X)$. We give applications to motivic tubular neighborhoods, limit motives and the monodromy filtrations.

Algebraic Geometry

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is how to construct a geometric Voevodsky motive for each fine - saturated (fs) logarithmic scheme and prove its properties under specific conditions. Specifically, the goals of the article include:

1. **Constructing geometric Voevodsky motives**: For each fs logarithmic scheme \((X, M_X)\) defined over a field \(k\), construct a geometric Voevodsky motive \([X]_{\text{log}} \in \text{DM}^{\text{gm}}(k, \mathbb{Q})\).

2. **Proving the properties of Betti realizations**: When \(k = \mathbb{C}\), prove that the Betti realization of \([X]_{\text{log}}\) is consistent with the logarithmic Betti cohomology of \((X, M_X)\), that is:
\[
R^{\text{Betti}}([X]_{\text{log}}) \simeq \text{Sing}_*(X_{\text{log}})_{\mathbb{Q}}
\]
where \(X_{\text{log}}\) is the Kato - Nakayama space.

3. **Applications and generalizations**: Apply this construction to problems such as logarithmic tubular neighborhoods, limit motives, and monad filtrations, and explore its relationship with Ayoub's nearby cycles.

### Key contributions

- **Motive construction**: By extending the traditional Voevodsky motives to logarithmic schemes, it fills the gaps in the existing theory.
- **Betti realization consistency**: It is proved that the Betti realization of the constructed motive on the complex field is consistent with the classical logarithmic Betti cohomology, endowing it with a mixed Hodge structure.
- **Potential applications**: It shows how to use this construction to calculate the limit motive functor and proposes a conjecture related to mixed Tate motives.

### Main formulas
- Definition of logarithmic Betti cohomology:
\[
H^*_{\text{Betti}}(X_{\text{log}}, \mathbb{Z})
\]
- Quasi - isomorphism of Betti realization:
\[
R^{\text{Betti}}([X]_{\text{log}}) \simeq \text{Sing}_*(X_{\text{log}})_{\mathbb{Q}}
\]

### Summary
This paper solves the motive theory problems on logarithmic schemes by introducing new construction methods, providing a solid foundation for further research on the cohomology theory of logarithmic structures and their applications.