Crystalline realizations of 1-motives (Q707449)

Let \(k\) be a perfect field of characteristic \(p\): if \(X\) is a smooth projetcive variety over \(k\), then the crystalline cohomology of \(X\) is defined by: \[ H^*_{\text{crys}}(X)= H^*_{\text{crys}}(X/W(k))\otimes_{W(k)} W(k)[1/p], \] where \(K= W(k)[1/p]\) is the fraction feld of the ring of Witt vectors \(W(k)\) of \(k\). By the results of Berthelot-Ogus, if \(k\) (of \(\text{char\,}0\)) is the field of fractions of a complete DVR \(S\), with perfect residue field \(k_0\) and \(X\) (resp. \(X_0\))is the generic (resp. special) fiber of a smooth projective scheme over \(S\), then there is a comparison isomorphism: \[ H^i_{\text{DR}}(X)\simeq H^i_{\text{crys}}(X_0) \otimes_{W(k_0)[1/p]}k. \] In this paper the authors consider the crystalline realization of Deligne's 1-motives in positive characterictic and prove a comparison theorem with the De Rham realization of (formal) liftings to 0-characteristic. For a 1-motive \(\mathbb{M}\) over a perfect field \(k\) of positive characteristic \(p> 0\), let \(\mathbb{M}[p^n]= H^{-1}(\mathbb{M}/p^n\mathbb{M})\) and let \(\mathbb{M}[p^\infty]\) be the Barsotti-Tate group obtained by taking the direct limit. Then, passing to its contravariant Dieudonné module one gets a filtered \(F\)-crystal over \(k\) which is denoted by \(T^{\text{crys}}(\mathbb{M})\): it is the crystalline realization of the motive \(\mathbb{M}\). On the other hand one defines \(T^{\text{DR}}(\mathbb{M})\) by Lie \(\mathbb{E}(\mathbb{M}^{\vee})\) where \(\mathbb{M}^{\vee}\) is the the Cartier dual and \(\mathbb{E}(\mathbb{M}^{\vee})\) is the universal extension. In the paper it is proved that \(T^{\text{DR}}(-)\) yields a filtered crystal, so providing the Dieudonné crystal of a 1-motive. With these notations the paper contains the following comparison theorem: Theorem. Let \(\mathbb{M}_0\) be a 1-motive of a perfect field of positive characterictic \(p> 0\). Choose a (formal) 1-motive \(\mathbb{M}\) over \(W(k)\) lifting \(\mathbb{M}_0\). Then there is a canonical and functorial isomorphism \[ T^{\text{crys}}(\mathbb{M}_0)\simeq T^{\text{DR}}(\mathbb{M}) \] of filtered \(F\)-crystals.