Tate's conjecture on algebraic cycles and Galois-fixed étale classes

Let XX be a smooth projective variety over a field kk, let ll be invertible in kk, and write kˉ\bar{k} for an algebraic closure of kk. Let ρi(X×kSpeckˉ)Ql\rho^i(X\times_k\operatorname{Spec}\bar{k})_{\operatorname{\mathbb{Q}}_l} be the ll-adic cycle class map and let Gal(kˉ/k)\operatorname{Gal}(\bar{k}/k) act on Heˊt2i(X×kSpeckˉ,Ql(i))\operatorname{H}^{2i}_{\operatorname{\text{\'e}t}}(X\times_k\operatorname{Spec}\bar{k},\operatorname{\mathbb{Q}}_l(i)). Tate conjecture. For any ii, the image of the cycle class map in this cohomology group is exactly the union of the fixed parts of open subgroups of Gal(kˉ/k)\operatorname{Gal}(\bar{k}/k). This is the ll-adic formulation of the Tate conjecture and is open in general.

Sources & referencesView supporting material

Primary source

Satoshi Mochizuki, “Cycle maps on cohomology theories for dg-categories and their applications”, arXiv:2002.04373 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.