Surjective endomorphisms of projective surfaces: the existence of infinitely many dense orbits
Let be a surjective endomorphism of a normal projective surface. When , applying an (iteration of) -equivariant minimal model program (EMMP), we determine the geometric structure of . Using this, we extend the second author's result to singular surfaces to the extent that either has an -invariant non-constant rational function, or has infinitely many Zariski-dense forward orbits; this result is also extended to Adelic topology (which is finer than Zariski topology).