Distances between fixed-point sets in 2-dimensional Euclidean buildings are realised

We prove that if two finitely generated groups act on a metrically complete 2-dimensional Euclidean building, then the distance between their fixed-point sets is realised. Our proof uses the geometry of Euclidean buildings, which we view as CAT(0) spaces, and properties of ultrapowers of Euclidean buildings.