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?
Thank you.
Copyright © 2021 JogjaFile Inc.