Int-amplified endomorphisms on normal projective surfaces (Q2238937)

Let \(X\) be a normal projective surface admitting an endomorphism, that is a finite surjective morphism \(f: X \rightarrow X\) of degree at least two. Then it is known by a result of Noburo Nakayama (cf. also [\textit{A. Broustet} and \textit{A. Höring}, Math. Ann. 360, No. 1--2, 439--456 (2014; Zbl 1314.14007)]) that \(X\) has at most log-canonical singularities, so one can use the minimal model program to study the geometry of \(X\) and the morphism \(f\). \newline This paper establishes a complete classification under the assumption that the endomorphism \(f\) is int-amplified, i.e. there exists an ample Cartier divisor \(H\) on \(X\) such that \(f^* H - H\) is ample. The authors prove that one can run an \(f\)-equivariant MMP such that the outcome of the MMP is a surface \(X_r\) that is either a finite quasi-étale quotient of a torus, a ruled surface over an elliptic curve, or a Mori fibre space over \(\mathbb P^1\) or a point. By a theorem of \textit{S. Meng} [Math. Z. 294, No. 3--4, 1727--1747 (2020; Zbl 1439.14057)] we know that some positive multiple of the anticanonical divisor is effective, so its Iitaka dimension \(\kappa(-K_{X_r})\) allows to refine the classification in the last case: if \(\kappa(-K_{X_r}) \leq 1\) the authors show that the the endomorphism lifts to a quasi-étale cover that is a ruled surface over an elliptic curve. If \(\kappa(-K_{X_r}) = 2\), the surface \(X\) is either a Mori dream space or a cone over an elliptic curve. The authors also construct some interesting examples to show that their classification is effective.