Relatively Anosov groups: finiteness, measure of maximal entropy, and reparameterization

For a geometrically finite Kleinian group $\Gamma$, the Bowen-Margulis-Sullivan measure is finite and is the unique measure of maximal entropy for the geodesic flow, as shown by Sullivan and Otal-Peign\'e respectively. Moreover, it is strongly mixing by a result of Babillot. We obtain a higher-rank analogue of this theorem. Given a relatively Anosov subgroup $\Gamma$ of a semisimple real algebraic group, there is a family of flow spaces parameterized by linear forms tangent to the growth indicator. We construct a reparameterization of each flow space by the geodesic flow on the Groves-Manning space of $\Gamma$ which exhibits exponential expansion along unstable foliations. Using this reparameterization, we prove that the Bowen-Margulis-Sullivan measure of each flow space is finite and is the unique measure of maximal entropy. Moreover, it is strongly mixing.