この論文は、可算のストーン空間（特別な位相空間）の自己同相群（その空間を連続的に入れ替える全ての置換）を「大まかな幾何学」つまり大きなスケールで同じ形と見なせるかで分類したものです。著者らは、これらの群が前回見つけた三つのタイプ（小さく見えるもの、ある種の有限な生成で作れるが大きいもの、どの有限な束でも生成できないほど大きいもの）が、そのまま大まか等価（coarse equivalence）の区分になっていることを示しました。さらに、可能な場合にはより強い関係である準同相（quasi-isometry）まで特定しました。準同相は、大きな尺度で距離を伸縮や有限量のずれで比べられることを意味します。作者たちはこれは非局所コンパクトな位相群に対する最初期の完全な分類のひとつだと述べています。

研究で扱うデータは二つの簡単な数値に要約されます。ひとつはカントール–ベンディックスンランクと呼ばれる可算順序数αで、空間の層状構造を示します。もうひとつは最大ランクにある点の個数n（整数、n≥1）です。結果は次のように分かれます。n=1 のとき、群は「大まかに有界」で、大きさで見ると一点と同じです。n>1 かつ α が後続順序数（successor ordinal）のとき、群は「可算無限次元ハミング立方体」と準同相です。ハミング立方体とは、1が有限個だけ出現する無限の二進列を頂点とし、二つの列がちょうど一か所違うときに辺でつながるグラフです。n>1 かつ α が極限順序数（limit ordinal）のときは、ハミング立方体を葉にもつ「一端的枝をもつ木」の特定のレベル集合と大まかに同値になります。これら三種類がちょうど大まか等価の三クラスに対応します。

論文は具体的な幾何モデルも与えます。例えば最も分かりやすい例として、X_{1,2} は整数の両端に二点を付けた空間に同相で、その自己同相群は「分割」を頂点とするグラフΓに連続的に作用します。このΓは有限個の点だけで分割が異なるという性質から、頂点を有限部分集合に対応させると、まさにハミンググラフ（ハミング立方体）と同じ構造になります。一般の証明では、有限アルファベットに対する無限ハミンググラフが互いに距離を大きく変えずに同等（bi-Lipschitz）であることも示し、これが準同相の同定に使われます。さらに、任意の位相群に対して有限直径となる部分集合を「大まかに有界（coarsely bounded, CB）」と呼ぶ枠組みを用いて議論を進めています。

手法面では、既存の理論を組み合わせています。Cayley–Abels–Rosendal グラフという、位相群に対する離散群のケイリーグラフに相当する幾何モデルを用いる一方で、群が CB 生成でない場合には Kopreski–Shaji の「粗い Cayley–Abels–Rosendal グラフ」と Bass–Serre 理論を使って、可算グラフで粗構造（大まかな形）を捉えます。さらに、α が後続順序数の場合には、Vlamis による強有界（strongly bounded）性の結果を使うことで、離散位相（discrete topology）を入れたときにも同様の準同相性を得ることを示しています。

重要な注意点もあります。結果は可算ストーン空間に限定されます。さらに、論文は写像類群（mapping class group）といった別の自然な群への直ちの応用を否定的に扱っており、自己同相群への商写像が準同相とは限らないことや、カントール–ベンディックスン導出が写像類群同士の準同相を誘導するとは限らないことを示しています。つまり、今回の明快な分類は可算ストーン空間に対しては新しく強い達成ですが、より複雑な位相群や写像類群へ同じ分類法が自動的に適用できるわけではない、という限定があります。