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.

LOGARITHMIC DE RHAM–WITT COMPLEXES VIA THE DÉCALAGE OPERATOR

We provide a new formalism of de Rham–Witt complexes in the logarithmic setting. This construction generalises a result of Bhatt–Lurie–Mathew and agrees with those of Hyodo–Kato and Matsuue for log-smooth schemes of log-Cartier type. We then use our construction to study the monodromy action and slopes of Frobenius on log crystalline cohomology.

Dieudonné theory via cohomology of classifying stacks

We prove that if G is a finite flat group scheme of p-power rank over a perfect field of characteristic p, then the second crystalline cohomology of its classifying stack $H^2_{\text {crys}}(BG)$ recovers the Dieudonné module of G. We also provide a calculation of the crystalline cohomology of the classifying stack of an abelian variety. We use this to prove that the crystalline cohomology of the classifying stack of a p-divisible group is a symmetric algebra (in degree $2$ ) on its Dieudonné module. We also prove mixed-characteristic analogues of some of these results using prismatic cohomology.

ON VARIETIES WITH TRIVIAL TANGENT BUNDLE IN CHARACTERISTIC 0$" height="12pt">

In this article, I give a crystalline characterization of abelian varieties amongst the class of smooth projective varieties with trivial tangent bundles in characteristic $p>0$ . Using my characterization, I show that a smooth, projective, ordinary variety with trivial tangent bundle is an abelian variety if and only if its second crystalline cohomology is torsion-free. I also show that a conjecture of KeZheng Li about smooth projective varieties with trivial tangent bundles in characteristic $p>0$ is true for smooth projective surfaces. I give a new proof of a result by Li and prove a refinement of it. Based on my characterization of abelian varieties, I propose modifications of Li’s conjecture, which I expect to be true.

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.

DUALITY FOR COHOMOLOGY OF CURVES WITH COEFFICIENTS IN ABELIAN VARIETIES

In this paper, we formulate and prove a duality for cohomology of curves over perfect fields of positive characteristic with coefficients in Néron models of abelian varieties. This is a global function field version of the author’s previous work on local duality and Grothendieck’s duality conjecture. It generalizes the perfectness of the Cassels–Tate pairing in the finite base field case. The proof uses the local duality mentioned above, Artin–Milne’s global finite flat duality, the nondegeneracy of the height pairing and finiteness of crystalline cohomology. All these ingredients are organized under the formalism of the rational étale site developed earlier.

Crystalline Cohomology of Towers of Curves

We investigate the geometry of finite maps and correspondences between curves, and construct canonical trace and pullback maps between Hyodo–Kato integral structures on de Rham cohomology of curves, which are functorial for finite morphisms of the generic fibres. This leads to a crystalline version of the étale cohomology of towers of modular curves considered by Hida and Ohta, whose ordinary part satisfies $\Lambda $-adic control and Eichler–Shimura theorems.