Fixed points of Frobenius

331 Views Asked by At

Let $X$ be a scheme over $\mathbb{F}_q$ and $F$ the Frobenius morphism. I want to understand why $X(\mathbb{F}_q)$ are the fixed points of $F$ on $X(\overline{\mathbb{F}}_q)$.

Edit. Is the following correct? my thoughts

Thank you.