Extending self-maps to projective space over finite fields (Q374024)

Summary: Using the closed point sieve, we extend to finite fields the following theorem proved by A. Bhatnagar and L. Szpiro over infinite fields: if \(X\) is a closed subscheme of \(\{P\}^n\) over a field, and \(\phi \colon X \to X\) satisfies \(\phi^* \mathcal{O}_X(1) \simeq \mathcal{O}_X(d)\) for some \(d \geq 2\), then there exists \(r \geq 1\) such that \(\phi^r\) extends to a morphism \(\{P\}^n \to \{P\}^n\).