Limits of (certain) CAT(0) groups, I: Compactification

The purpose of this paper is to investigate torsion-free groups which act properly and cocompactly on CAT(0) metric spaces which have isolated flats, as defined by Hruska [18]. Our approach is to seek results analogous to those of Sela, Kharlampovich and Miasnikov for free groups and to those of Sela (and Rips and Sela) for torsion-free hyperbolic groups. This paper is the first in a series. In this paper we extract an R-tree from an asymptotic cone of certain CAT(0) spaces. This is analogous to a construction of Paulin, and allows a great deal of algebraic information to be inferred, most of which is left to future work.