The dynamical degrees of rational surface automorphisms

Abstract

The induced action on the Picard group of a rational surface automorphism with positive entropy can be identified with an element of the Coxeter group associated to E n , n ≥ 10 E_n, n\ge 10 diagram. It follows that the set of dynamical degrees of rational surface automorphisms is a subset of the spectral radii of elements in the Coxeter group. This article concerns the realizability of an element of the Coxeter group as an automorphism on a rational surface with an irreducible reduced anticanonical curve. For any unrealizable element, we explicitly construct a realizable element with the same spectral radius. Hence, we show that the set of dynamical degrees and the set of spectral radii of the Coxeter group are, in fact, identical. This has been shown by Uehara [Ann. Inst. Fourier (Grenoble) 66 (2016), pp. 377–432] by explicitly constructing a rational surface automorphism. This construction depends on a decomposition of an element of the Coxeter group. Our proof is conceptual and provides a simple description of elements of the Coxeter group, which are realized by automorphisms on anticanonical rational surfaces.