Effective obstruction to lifting Tate classes from positive characteristic

Edgar Costa, Emre Can Sertöz

We give an algorithm that takes a smooth hypersurface over a number field and computes a $p$-adic approximation of the obstruction map on the Tate classes of a finite reduction. Th…