Intersection of a correspondence with a graph of Frobenius
  The goal of this note is to give a short geometric proof of a theorem of Hrushovski asserting that an intersection of a correspondence with a graph of a sufficiently large power of Frobenius is non-empty. 
Yakov Varshavsky
math.AG