Some applications of the Frobenius in characteristic 0