Constructibility aspects of the cone conjecture

We establish two consequences of the Kawamata–Morrison–Totaro cone conjecture, and prove them unconditionally in all dimensions. First, for a K-trivial variety, the natural action of its automorphism group on the set of ample divisor classes of fixed volume has only finitely many orbits. Second, the number of (isomorphism classes of) minimal models for a given K-trivial variety is finite if these models admit a bounded polarization.