Showing 1–7 of 7 results for author: Merici, A

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

Authors: Federico Binda, Tommy Lundemo, Alberto Merici, Doosung Park

Abstract: 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 th… ▽ More 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. △ Less

Submitted 28 August, 2024; originally announced August 2024.

Comments: 20 pages, comments welcome!

MSC Class: 14F30; 14A21; 14F40; 13D03

Motivic p-adic tame cohomology

Authors: Alberto Merici

Abstract: We construct a comparison functor between ($\mathbf{A}^1$-local) tame motives and ($\overline{\square}$-local) log-étale motives over a field $k$ of positive characteristic. This generalizes Binda--Park--Østvæ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 r… ▽ More We construct a comparison functor between ($\mathbf{A}^1$-local) tame motives and ($\overline{\square}$-local) log-étale motives over a field $k$ of positive characteristic. This generalizes Binda--Park--Østvæ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übner--Schmidt. △ Less

Submitted 26 June, 2025; v1 submitted 5 August, 2024; originally announced August 2024.

Comments: Minor changes. Accepted for publication in Bull. Lond. Math. Soc

MSC Class: 14F30 (Primary); 14F42; 19E15

Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems

Authors: Federico Binda, Tommy Lundemo, Alberto Merici, Doosung Park

Abstract: 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… ▽ More 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ł~ 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. △ Less

Submitted 4 January, 2024; v1 submitted 20 December, 2023; originally announced December 2023.

Comments: 51 pages, added smooth blow-up formula and computations of the cohomology of Grassmanians. A few typos corrected

MSC Class: 14F30 (Primary) 14F42; 14A21; 13D03 (Secondary)

A motivic integral $p$-adic cohomology

Authors: Alberto Merici

Abstract: 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-étale motives of Binda-Park-Østvæ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… ▽ More 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-étale motives of Binda-Park-Østvæ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ünneth formula for the $p$-adic cohomology of Ertl-Shiho-Sprang. △ Less

Submitted 31 March, 2025; v1 submitted 25 November, 2022; originally announced November 2022.

Comments: 26 pages, substantial review after referee report. Appendix removed

MSC Class: 14F30 (Primary); 14F42; 19E15

Derived Log Albanese Sheaves

Authors: Federico Binda, Alberto Merici, Shuji Saito

Abstract: 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… ▽ More 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. △ Less

Submitted 22 January, 2023; v1 submitted 2 July, 2021; originally announced July 2021.

Comments: 61 pages: final version. To appear in Advances in Mathematics

MSC Class: 14C15; 14C22; 14K30; 18G10

Connectivity and Purity for logarithmic motives

Authors: Federico Binda, Alberto Merici

Abstract: 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… ▽ More 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}}ω^*\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ülling. △ Less

Submitted 24 January, 2022; v1 submitted 15 December, 2020; originally announced December 2020.

Comments: A gap was found in a proof on the last section. We modified the statement to a weaker form

MSC Class: 14F08 (Primary); 18E35; 14F42; 18G80 (Secondary)

Cancellation theorems for reciprocity sheaves

Authors: Alberto Merici, Shuji Saito

Abstract: 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 $Ω^i$ of absolute Kähler differentials. 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 $Ω^i$ of absolute Kähler differentials. △ Less

Submitted 20 September, 2022; v1 submitted 22 January, 2020; originally announced January 2020.

Comments: 68 pages, minor changes. To appear in Algebraic Geometry

MSC Class: 19E15 (Primary); 14F42; 19D45; 19F15 (Secondary)