Definition 63.3.4. Let $k$ be a finite field with $q = p^ f$ elements. Let $X$ be a scheme over $k$. The geometric frobenius of $X$ is the morphism $\pi _ X : X \to X$ over $\mathop{\mathrm{Spec}}(k)$ which equals $F_ X^ f$.

There are also:

• 12 comment(s) on Section 63.3: Frobenii

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).