Canonical heights on hyper-K\"ahler varieties and the Kawaguchi-Silverman conjecture

The Kawaguchi--Silverman conjecture predicts that if $f\colon X \dashrightarrow X$ is a dominant rational-self map of a projective variety over $\overline{\mathbb{Q}}$, and $P$ is a $\overline{\mathbb{Q}}$-point of $X$ with Zariski-dense orbit, then the dynamical and arithmetic degrees of $f$ coincide: $\lambda_1(f) = \alpha_f(P)$. We prove this conjecture in several higher-dimensional settings, including all endomorphisms of non-uniruled smooth projective threefolds with degree larger than $1$, and all endomorphisms of hyper-K\"ahler varieties in any dimension. In the latter case, we construct a canonical height function associated to any automorphism $f\colon X \to X$ of a hyper-K\"ahler variety defined over $\overline{\mathbb{Q}}$.