Subsets of virtually nilpotent groups with the SBM property (Q6083974)

\textit{S. Leth} [Stud. Log. 47, No. 3, 265--278 (1989; Zbl 0675.03042)] introduced a property of subsets of the natural numbers that he called the SIM (short for standard interval measure) property. The property is motivated by ideas from nonstandard analysis and roughly speaking, demands that there be a connection between the internal notion of small gap sizes on hyperfinite intervals and the external notion of the (normalized) standard part of the set having large Lebesgue measure. In the paper under review, the authors extend Leth's notion of subsets of the integers satisfying SIM to the class of virtually nilpotent groups. In order to do this they define a natural measure on closed balls in asymptotic cones associated with such groups and show that this measure satisfies the Lebesgue density theorem. They then prove analogs of various properties known to hold for SIM sets in this broader context, occasionally assuming extra properties of the group, such as the small spheres property and the small gaps property.