Frobenius lifts and correspondences on GL_n