Absolute Frobenius morphism

ID: absolute-frobenius-morphism

The absolute Frobenius morphism of a scheme of characteristic p is the identity on the underlying topological space and raises every local function to its th power. On an affine chart it is induced contravariantly by the Frobenius endomorphism , . It need not be an isomorphism of schemes, even when it acts invertibly on global sections.

New to topics? Read the docs here!