arXiv subjects

Alberto Merici

Publications and source records attributed to Alberto Merici.

11 recordsLinked to original sources

arXiv2026

Birational and $\mathbf{A}^1$-invariant lattices in the cohomology of the structure sheaf over non-archimedean fields

We show that the cohomology of the structure sheaf of smooth and proper schemes over a complete non-archimedean field $K$ of characteristic zero, can be refined to an $\mathbf{A}^1$-invariant cohomology theory of smooth (not necessarily proper) schemes over $K$ with values in $\mathcal{O}_K$-lattices, and the same holds for $K$ of positive characteristic in dimensions at most $3$. As one application, we obtain that the automorphism group of the function field of a proper smooth variety $X$ of dimension at most 3 over a field of positive characteristic acts quasi-unipotently on the cohomology of the structure sheaf of $X$. The construction of the lattices relies on a variant of the tame cohomology of H\"ubner--Schmidt with coefficients in a twisted version of the tame structure sheaf and uses results from rigid analytic geometry on the cohomology of twisted integral rigid structure sheaves due to Bartenwerfer and van der Put.

math.AG↗

arXiv2026

A construction of tame sheaves and tame de Rham--Witt cohomology

In this article, we consider an algebraic version of the tame site of a pair $(X,\widetilde{X})$. With this definition, we provide a general machinery to construct a tame sheaf from the data of an \'etale sheaf on $X$ and a family of local tame sections. We apply this construction to the big de Rham--Witt sheaves with tame sections defined by log poles and, over a field, to reciprocity sheaves, and deduce some consequences. As an application, we compare tame syntomic cohomology with the Nygaard filtration on the tame de Rham--Witt complex.

math.AG↗

arXiv2026

On the $p$-adic deformation problem for the $K$-theory of semistable schemes

We establish a semistable generalization of the Beilinson-Bloch-Esnault-Kerz fiber square, relating the algebraic K-theory of a semistable scheme to its logarithmic topological cyclic homology. We prove that the obstruction to lifting K-theory classes is governed by the Hyodo-Kato Chern character. This answers the $p$-adic deformation problem for continuous K-theory in the semistable case, extending the work of Antieau-Mathew-Morrow-Nikolaus. As an application, we provide a purely K-theoretic proof of Yamashita's semistable $p$-adic Lefschetz $(1,1)$-theorem.

math.AG↗

arXiv2025

Some computations in the heart of the homotopy t-structure on logarithmic motives

In this note we will illustrate a method for computing the $\pi_0$ of the effective log motive of a smooth and proper variety over a perfect field $k$ and show that it is $\mathbf{A}^1$-invariant. We will apply this to compute the first homotopy groups of $\mathbf{P}^1$ to show that the stripping functor from log motivic sheaves to (usual) Nisnevich sheaves with transfers is fully faithful.

math.AG↗

arXiv2024

Logarithmic TC via the Infinite Root Stack and the Beilinson Fiber Square

We apply our previous results on ``saturated descent'' to express a wide range of logarithmic cohomology theories in terms of the infinite root stack. Examples include the log cotangent complex, Rognes' log topological cyclic homology, and Nygaard-complete log prismatic cohomology. As applications, we show that the Nygaard-completion of the site-theoretic log prismatic cohomology coincides with the definition arising from log ${\rm TC}$, and we establish a log version of the ${\rm TC}$-variant of the Beilinson fiber square of Antieau--Mathew--Morrow--Nikolaus.

math.AG↗

arXiv2024

Motivic p-adic tame cohomology

We construct a comparison functor between ($\mathbf{A}^1$-local) tame motives and ($\overline{\square}$-local) log-\'etale motives over a field $k$ of positive characteristic. This generalizes Binda--Park--{\O}stv{\ae}r's comparison for the Nisnevich topology. As a consequence, we construct an $E_\infty$-ring spectrum $H\mathbb{Z}/p^m$ representing mod $p^m$ tame motivic cohomology: the existence of this ring spectrum and the usual properties of motives imply some results on tame motivic cohomology, which were conjectured by H\"ubner--Schmidt.

math.AG↗

arXiv2023

Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems

We prove that (logarithmic) prismatic and (logarithmic) syntomic cohomology are representable in the category of logarithmic motives. As an application, we obtain Gysin maps for prismatic and syntomic cohomology, and we explicitly identify their cofibers. We also prove a smooth blow-up formula and we compute prismatic and syntomic cohomology of Grassmannians. In the second part of the paper, we develop a descent technique inspired by the work of Nizio\l~ on log $K$-theory. Using the resulting \emph{saturated descent}, we prove de Rham and crystalline comparison theorems for log prismatic cohomology, and the existence of Gysin maps for $A_{\inf}$-cohomology.

math.AG↗

arXiv2022

A motivic integral $p$-adic cohomology

We construct an integral $p$-adic cohomology that compares with rigid cohomology after inverting $p$. Our approach is based on the log-Witt differentials of Hyodo-Kato and log-\'etale motives of Binda-Park-{\O}stv{\ae}r. In case $k$ satisfies resolutions of singularities, we moreover prove that it agrees with the "good" integral $p$-adic cohomology of Ertl-Shiho-Sprang: from this we deduce some interesting motivic properties and a K\"unneth formula for the $p$-adic cohomology of Ertl-Shiho-Sprang.

math.AG↗

arXiv2021

Derived Log Albanese Sheaves

We define higher pro-Albanese functors for every effective log motive over a field $k$ of characteristic zero, and we compute them for every smooth log smooth scheme $X=(\underline{X}, \partial X)$. The result involves an inverse system of the coherent cohomology of the underlying scheme as well as a pro-group scheme $\mathrm{Alb}^{\log}(X)$ that extends Serre's semi-abelian Albanese variety of $\underline{X}-|\partial X|$. This generalizes the higher Albanese sheaves of Ayoub, Barbieri-Viale and Kahn.

math.AG↗

arXiv2020

Connectivity and Purity for logarithmic motives

The goal of this paper is to extend the work of Voevodsky and Morel on the homotopy $t$-structure on the category of motivic complexes to the context of motives for logarithmic schemes. To do so, we prove an analogue of Morel's connectivity theorem and show a purity statement for $(\mathbf{P}^1, \infty)$-local complexes of sheaves with log transfers. The homotopy $t$-structure on $\mathbf{logDM}^{\textrm{eff}}(k)$ is proved to be compatible with Voevodsky's $t$-structure i.e. we show that the comparison functor $R^{\overline{\square}}\omega^*\colon \mathbf{DM}^{\textrm{eff}}(k)\to \mathbf{logDM}^{\textrm{eff}}(k)$ is $t$-exact. The heart of the homotopy $t$-structure on $\mathbf{logDM}^{\textrm{eff}}(k)$ is the Grothendieck abelian category of strictly cube-invariant sheaves with log transfers: we use it to build a new version of the category of reciprocity sheaves in the style of Kahn--Saito--Yamazaki and R\"ulling.

math.AG↗

arXiv2020

Cancellation theorems for reciprocity sheaves

We prove cancellation theorems for reciprocity sheaves and cube-invariant modulus sheaves with transfers of Kahn--Saito--Yamazaki, generalizing Voevodsky's cancellation theorem for $\mathbf{A}^1$-invariant sheaves with transfers. As an application, we get some new formulas for internal hom's of the sheaves $\Omega^i$ of absolute K\"ahler differentials.

math.KT↗