THE DE RHAM AND THE SYNTOMIC LOGARITHM
Abstract
We define and study an integral refinement of the inverse of the Bloch-Kato exponential map which we call the de Rham logarithm. Our main tool to analyze the de Rham logarithm is the syntomic logarithm, a certain limit construction based on the theory of filtered prismatic cohomology initiated by Antieau, Krause and Nikolaus. We use the syntomic logarithm to prove a version of the Beilinson fibre square for all quasicompact, quasiseparated derived formal schemes. We also use our techniques to prove Conjecture C_EP (Q_p(n)) of Fontaine and Perrin-Riou for all local fields K/Q_p and to compute the correction factor C(X, n) introduced by Flach and Morin in their reformulation of the Bloch-Kato Tamagawa number conjecture for the Zeta function of a smooth projective scheme X over a number ring.
Related
- On the syntomic regulator of the Hesse cubic curves and p-adic hypergeometric functions
- Local Tate duality for syntomic cohomology in positive characteristic
- Coleman Isomorphisms in Syntomic Cohomology and THH
- A support preserving homotopy for the de Rham complex with boundary decay estimates
- The logarithm construction and (super) Weyl anomalies
BibTeX
@misc{flach2026rham,
title = {{THE DE RHAM AND THE SYNTOMIC LOGARITHM}},
author = {Matthias Flach and Achim Krause and Baptiste Morin},
howpublished = {HAL},
year = {2026},
month = jul,
eprint = {2603.21471},
archivePrefix = {arXiv},
url = {https://hal.science/hal-05803702v1},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - THE DE RHAM AND THE SYNTOMIC LOGARITHM
AU - Matthias Flach
AU - Achim Krause
AU - Baptiste Morin
PY - 2026
DA - 2026/07/12
PB - HAL
UR - https://hal.science/hal-05803702v1
AB - We define and study an integral refinement of the inverse of the Bloch-Kato exponential map which we call the de Rham logarithm. Our main tool to analyze the de Rham logarithm is the syntomic logarithm, a certain limit construction based on the theory of filtered prismatic cohomology initiated by Antieau, Krause and Nikolaus. We use the syntomic logarithm to prove a version of the Beilinson fibre square for all quasicompact, quasiseparated derived formal schemes. We also use our techniques to prove Conjecture C_EP (Q_p(n)) of Fontaine and Perrin-Riou for all local fields K/Q_p and to compute the correction factor C(X, n) introduced by Flach and Morin in their reformulation of the Bloch-Kato Tamagawa number conjecture for the Zeta function of a smooth projective scheme X over a number ring.
ER -