Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917467076427776 |
|---|---|
| author | Binda, Federico Lundemo, Tommy Merici, Alberto Park, Doosung |
| author_facet | Binda, Federico Lundemo, Tommy Merici, Alberto Park, Doosung |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_13129 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems Binda, Federico Lundemo, Tommy Merici, Alberto Park, Doosung Algebraic Geometry Algebraic Topology K-Theory and Homology Number Theory 14F30 (Primary) 14F42, 14A21, 13D03 (Secondary) 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. |
| title | Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems |
| topic | Algebraic Geometry Algebraic Topology K-Theory and Homology Number Theory 14F30 (Primary) 14F42, 14A21, 13D03 (Secondary) |
| url | https://arxiv.org/abs/2312.13129 |