The Dynamical Degrees of Rational Surface Automorphisms

TL;DR

This paper proves that the set of dynamical degrees of rational surface automorphisms equals the set of spectral radii of Coxeter group elements, providing a conceptual and simplified understanding of their realizability.

Contribution

It establishes the equivalence between dynamical degrees and spectral radii for rational surface automorphisms using a new, conceptual proof approach.

Findings

The set of dynamical degrees matches the spectral radii of Coxeter group elements.

A new, simplified proof method for realizability of Coxeter elements as automorphisms.

Explicit construction of realizable elements with the same spectral radius as unrealizable ones.

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\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 anti-canonical 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 in \cite{Uehara:2010} 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 anti-canonical rational surfaces.