1: \begin{abstract}

2: %The aim of this paper is to prove 

3: This paper aims to establish

4: the geometrical finiteness for the natural isometric actions of (birational) automorphism groups on the hyperbolic spaces

5: for K3 surfaces, Enriques surfaces, Coble surfaces, and irreducible symplectic varieties. 

6: 

7: As an application, it can be seen that

8: such groups are non-positively curved: ${\rm CAT(0)}$ and relatively hyperbolic. 

9: In the case of K3 surfaces, 

10: we additionally provide a dynamical characterization of the relative hyperbolicity, and 

11: the first counterexample to Mukai's conjecture

12: %in 2018 

13: concerning the virtual cohomological dimension of automorphism groups. 

14: \end{abstract}

15: