We develop a theory of logarithmic $A_{\mathrm{inf}}$-cohomology with coefficients for a class of $p$-adic log formal schemes that are ``sufficiently log smooth'', where the coefficients are given by relative log BKF modules. Then we establish comparison isomorphisms with \'etale, de Rham, and crystalline cohomology, and also extend these results to the derived setting. As an application, we give a new proof of the $C_{\mathrm{st}}$ conjecture for semistable local systems. The proof also uses the prismatic interpretation of semistable local systems established by Du--Liu--Moon--Shimizu.
Let $\mathscr{O}_K$ be a mixed characteristic complete DVR with perfect residue field $k$, and let $\mathfrak{X}$ be a proper formal scheme over $\mathscr{O}_K$ with semistable reduction. Answering a question of Fontaine and Jannsen, a classical theorem of Hyodo and Kato gives a rational identification between the log...
Let $L$ be a number field containing a CM field $K$. We compute an explicit current representing the $\mathrm{GL}_{\mathcal{O}_K}(\mathcal{O}_L)$-equivariant algebraic Eisenstein-Kronecker classes constructed by Kings-Sprang. In the Bianchi case, where $K$ is imaginary quadratic and $[L:K]=2$, this yields a purely alge...
We study the category of constructible $p$-Kummer-\'{e}tale sheaves on the log adic generic fiber $(\mathrm{X},\mathcal{M}_{\mathrm{D}})_\eta$ for the stratification induced by a horizontal normal crossings divisor $\mathrm{D}$, showing that it is antiequivalent to a category of finitely generated unit Laurent crystals...
Let $\Pi$ be a regular algebraic cuspidal automorphic representation of $\mathrm{GL}_{3}(\mathbb{A}_{\mathbb{Q}})$ of weight $(a, 0, -a)$, and let $p$ be a prime. Generalising work of Loeffler--Williams in the nearly-ordinary case, we construct $p$-adic $L$-functions for each small slope regular $P_{1}$-refinement of $...
We prove that the $L$-packets for $p$-adic $\mathrm{G}_2$ constructed by Gan and Savin satisfy the endoscopic character identities. In the course of the proof, we also prove twisted endoscopic character identities for functorial lifts from $\mathrm{G}_2$ to $\mathrm{PGSO}_8$ with triality. As a byproduct, we also prove...
Let $\mu$ be a finitely supported probability measure on $\mathrm{SL}_2(\mathbb{R})$ whose support generates a Zariski-dense discrete subgroup. We prove that its stationary probability measure on $\mathbb{P}^1(\mathbb{R})$ is singular with respect to the $\mathrm{SO}(2)$-invariant probability measure. The proof compare...
Timothée Bénard· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
