Fine-scale statistics for the multidimensional Farey sequence

We generalize classical results on the gap distribution (and other fine-scale statistics) for the one-dimensional Farey sequence to arbitrary dimension. This is achieved by exploiting the equidistribution of horospheres in the space of lattices, and the equidistribution of Farey points in a certain subspace of the space of lattices. The argument follows closely the general approach developed by A. Str"ombergsson and the author [Annals of Math. 172 (2010) 1949–2033].