A Tate-Type Theorem for Crystalline Classes in the 1-Motivic Category

TL;DR

This paper proves a p-adic analogue of the Tate conjecture for 1-motivic classes over finite fields, showing that Frobenius-invariant crystalline classes are motivic and algebraic, using full-faithfulness of 1-motives.

Contribution

It establishes an unconditional p-adic Tate-type theorem for 1-motives, extending full-faithfulness results to the entire 1-motivic category over finite fields.

Findings

Frobenius-invariant classes in crystalline cohomology are motivic and algebraic.

Hom-groups of 1-motives correspond to filtered Dieudonne modules after p-adic scalar extension.

Explicit description of motivic morphisms via Frobenius-equivariant maps.

Abstract

The Tate conjecture predicts that Galois-invariant classes in $\ell$-adic cohomology, and Frobenius-invariant classes in crystalline cohomology, arise from algebraic cycles. We prove an unconditional p-adic analogue of this principle in the 1-motivic range. Our starting point is a full-faithfulness theorem for Deligne 1-motives: after p-adic scalar extension, the Barsotti-Tate crystal functor identifies Hom-groups of 1-motives with Hom-groups in the category of filtered Dieudonne modules. Using the equivalence between the derived category of 1-motives up to isogeny and the 1-motivic part of Voevodsky's triangulated category of effective motives with rational coefficients, we extend this full-faithfulness result to the entire 1-motivic thick subcategory. More precisely, over a finite field $k = F_q$, we show that every Frobenius-compatible morphism between Barsotti-Tate crystalline realizations is induced by a unique 1-motivic morphism. Consequently, the Frobenius-invariant classes that occur in this range are already motivic and therefore algebraic. This yields an explicit linear-algebraic description of motivic morphisms and extension classes in level at most 1 in terms of Frobenius-equivariant maps preserving the Hodge filtration, giving a crystalline analogue of the principle that Tate classes are algebraic without invoking cycle conjectures in codimension at least 2.