This dissertation explores the interplay between the Frobenius morphism and the geometry of algebraic varieties. Firstly, it partakes in the development of the positive characteristic Minimal Model Program, with the outcomes of this part comprising: a counterexample to a question posed by Patakfalvi, Schwede, and Tucker on global F-regularity of log Fano varieties, the establishment of new vanishing results on log del Pezzo surfaces, the proof of rationality of Kawamata log terminal three-dimensional singularities in high characteristic, the development of a partial canonical bundle formula with applications to log abundance and low characteristic birational geometry. Secondly, this thesis contains a study of liftings of the Frobenius morphism and their relation to some classical problems in complex geometry. In particular, a conjecture of Buch, Thomsen, Lauritzen, and Mehta is solved, and Winkelmann’s theorem is generalised to positive characteristic.