GYSIN TRIANGLES IN THE CATEGORY OF MOTIFS WITH MODULUS

In this article, we study a Gysin triangle in the category of motives with modulus (Theorem 1.2). We can understand this Gysin triangle as a motivic lift of the Gysin triangle of log-crystalline cohomology due to Nakkajima and Shiho. After that we compare motives with modulus and Voevodsky motives (Corollary 1.6). The corollary implies that an object in $\operatorname {\mathbf {MDM}^{\operatorname {eff}}}$ decomposes into a p-torsion part and a Voevodsky motive part. We can understand the corollary as a motivic analogue of the relationship between rigid cohomology and log-crystalline cohomology.

𝒟-modules arithmétiques sur la variété de drapeaux

Soient p un nombre premier, V un anneau de valuation discrète complet d’inégales caractéristiques (0,p) , et G un groupe réductif et deployé sur \operatorname{Spec}V . Nous obtenons un théorème de localisation, en utilisant les distributions arithmétiques, pour le faisceau des opérateurs différentiels arithmétiques sur la variété de drapeaux formelle de G. Nous donnons une application à la cohomologie rigide pour des ouverts dans la variété de drapeaux en caractéristique p. Let p be a prime number, V a complete discrete valuation ring of unequal characteristics (0,p) , and G a connected split reductive algebraic group over \operatorname{Spec}V . We obtain a localization theorem, involving arithmetic distributions, for the sheaf of arithmetic differential operators on the formal flag variety of G. We give an application to the rigid cohomology of open subsets in the characteristic p flag variety.

Cycle classes in overconvergent rigid cohomology and a semistable Lefschetz theorem

In this paper we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, showing that for $k$ a perfect field of characteristic $p$ , a rational (logarithmic) line bundle on the special fibre of a semistable scheme over $k\unicode[STIX]{x27E6}t\unicode[STIX]{x27E7}$ lifts to the total space if and only if its first Chern class does. The proof is elementary, using standard properties of the logarithmic de Rham–Witt complex. As a corollary, we deduce similar algebraicity lifting results for cohomology classes on varieties over global function fields. Finally, we give a counter-example to show that the variational Tate conjecture for divisors cannot hold with $\mathbb{Q}_{p}$ -coefficients.

Product formula for p -adic epsilon factors

Let $X$ be a smooth proper curve over a finite field of characteristic $p$. We prove a product formula for $p$-adic epsilon factors of arithmetic $\mathscr{D}$-modules on $X$. In particular we deduce the analogous formula for overconvergent $F$-isocrystals, which was conjectured previously. The $p$-adic product formula is a counterpart in rigid cohomology of the Deligne–Laumon formula for epsilon factors in $\ell$-adic étale cohomology (for $\ell \neq p$). One of the main tools in the proof of this $p$-adic formula is a theorem of regular stationary phase for arithmetic $\mathscr{D}$-modules that we prove by microlocal techniques.