An approach to the Tate conjecture for surfaces over a finite field

We give a reformuation of the Tate conjecture for a surface over a finite field in terms of suitable affine open subsets. We then present three attempts to prove this reformulation, each of them falling short. Interestingly, the last two are related to techniques used in proofs of Gersten’s conjecture.