Related papers: On the Tate and Standard Conjectures over Finite F…

Heavenly abelian varieties are abelian varieties defined over number fields that exhibit constrained $\ell$-adic Galois representations for some rational prime $\ell$. At the ICMS Workshop held in November 2024, we presented evidence for…

We present a triangulated version of the conjectures of Tate and Beilinson on algebraic cycles over a finite field. This sheds a new light on Lichtenbaum's Weil-etale cohomology.

We prove that the standard conjecture of Hodge type holds for powers of abelian threefolds. Along the way, we also prove the conjecture for powers of simple abelian variety of prime dimension over finite fields, and in other related cases…

In this article we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, stating that a rational (logarithmic) line bundle on the special fibre of a semistable scheme over $k [\![ t ]\!]$…

We investigate a strong version of the integral Tate conjecture for 1-cycles on the product of a curve and a surface over a finite field, under the assumption that the surface is geometrically $CH_0$-trivial. By this we mean that over any…

Let $k$ be a field that is finitely generated over the field of rational numbers and $Br(k)$ the Brauer group of $k$. Let $X$ be an absolutely irreducible smooth projective variety over $k$, let $Br(X)$ be the cohomological…

The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms…

We give a description of the category of ordinary K3 surfaces over a finite field in terms of linear algebra data over Z. This gives an analogue for K3 surfaces of Deligne's description of the category of ordinary abelian varieties over a…

We introduce a cohomology theory for a class of projective varieties over a finite field coming from the canonical trace on a C*-algebra attached to the variety. Using the cohomology, we prove the rationality, functional equation and the…

We prove the Tate conjecture for integral degree 4 classes on a smooth cubic hypersurface X of dimension 4 over an algebraic closure of a field finitely generated over its prime subfield.

This is an update of the first version. We clarify that the main results apply to more general smooth projective varieties X than products of elliptic curves (briefly: X is of "abelian type", e.g. an abelian variety or a product of curves,…

We show that the continuous \'etale cohomology groups $H^n_{\mathrm{cont}}(X,\mathbf{Z}_l(n))$ of smooth varieties $X$ over a finite field $k$ are spanned as $\mathbf{Z}_l$-modules by the $n$-th Milnor $K$-sheaf locally for the Zariski…

We explore Tate-type conjectures over $p$-adic fields. We study a conjecture of Raskind that predicts the surjectivity of $$ ({\rm NS}(X_{\bar{K}}) \otimes_{\mathbb{Z}}\mathbb{Q}_p)^{G_K} \longrightarrow H^2_{\rm…

The zeta function of a K3 surface over a finite field satisfies a number of obvious (archimedean and l-adic) and a number of less obvious (p-adic) constraints. We consider the converse question, in the style of Honda-Tate: given a function…

Beginning with the conjecture of Artin and Tate in 1966, there has been a series of successively more general conjectures expressing the special values of the zeta function of an algebraic variety over a finite field in terms of other…

We give the first examples of smooth projective varieties $X$ over a finite field $\mathbb{F}$ admitting a non-algebraic torsion $\ell$-adic cohomology class of degree $4$ which vanishes over $\overline{\mathbb{F}}$. We use them to show…

We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…

We prove a uniform estimate of the number of points for difference algebraic varieties in finite difference fields in the spirit of Lang-Weil. More precisely, we give uniform lower and upper bounds for the number of rational points of a…

Let $k$ be a field of characteristic $0$ and let $K = k(B)$ be the function field of a geometrically irreducible projective curve $B$ over $k$. Let $A/K$ be a $g$-dimensional abelian variety with $\mathrm{Tr}_{K/k}(A) = 0$. We prove that…

We prove that the Tate conjecture is invariant under Homological Projective Duality (=HPD). As an application, we prove the Tate conjecture in the new cases of linear sections of determinantal varieties, and also in the cases of complete…