Effective obstruction to lifting Tate classes from positive characteristic
Edgar Costa and Emre Sertöz
Contact the author: Please use for correspondence this email.
Submission date: 26. Mar. 2020
Download full preprint: PDF (896 kB)
Link to arXiv:See the arXiv entry of this preprint.
A recent result of Bloch-Esnault-Kerz describes the obstruction to formally lifting algebraic classes from positive characteristic to characteristic zero. We use their result to give an algorithm that takes a smooth hypersurface and computes a p-adic approximation of the obstruction map on the Tate classes of a finite reduction. This gives an upper bound on the "middle Picard number" of the hypersurface. The improvement over existing methods is that it relies only on a single prime reduction and gives the possibility of cutting down on the dimension of Tate classes by two or more.