Convergence Group¶
A group action on a compact space whose induced action on distinct triples is properly discontinuous, equivalently exhibiting subsequential collapse away from a repelling point in the metrizable case.
Core Idea¶
A convergence group is a group acting by homeomorphisms on a compact space with at least three points so that its induced action on triples of distinct points is properly discontinuous. It is a property of the group action, not of an abstract group alone. For a compact metrizable carrier, every sequence of distinct group elements has a subsequence that converges locally uniformly to one attractor outside one repelling point; those two points need not be distinct.[^ref-fbe5b4d4401b]
Scope of Application¶
A discrete Kleinian group acting on a hyperbolic ideal sphere motivates the condition. A word-hyperbolic group acting on its compact boundary provides another, potentially non-spherical, carrier with the same triple criterion. Uniform convergence additionally requires cocompactness on the distinct-triple space; under Bowditch's further perfect/metrizable hypotheses this stronger action characterizes word-hyperbolic groups. Ordinary convergence alone does not.[ref-fbe5b4d4401b][ref-d1d824f36dcc]
Clarity¶
The properness test concerns all distinct acting elements and compact families of well-separated triples. Repeating the identity, checking a few points or finding one converging sequence is insufficient. For a nonfaithful abstract group action, distinct group elements in an infinite kernel all fix every triple, so the standard convergence criterion forces a finite kernel; checking only distinct image homeomorphisms would miss that failure. The attractor/repeller description requires the metrizable-sequence setting; Bowditch uses nets for the general compact Hausdorff formulation.[^ref-fbe5b4d4401b]
Manages Complexity¶
One condition on triple configurations summarizes infinitely many possible transformation sequences. It lets unlike boundaries be compared without requiring identical geometric shapes. Keeping cocompactness separate prevents an ordinary convergence action from being mistaken for the stronger uniform subtype.[ref-fbe5b4d4401b][ref-d1d824f36dcc]
Abstract Reasoning¶
Specify \(G\curvearrowright M\), form the space of pairwise distinct triples of \(M\), and check that for compact triple sets \(K,L\), only finitely many \(g\in G\) have \(gK\cap L\ne\varnothing\). If \(M\) is metrizable, use the equivalent distinct-sequence collapse diagnostic. Only after separately proving cocompactness and the theorem's carrier hypotheses may one invoke the hyperbolic-group characterization. The proposed live parent is Continuous Group Action with the acting group given the discrete topology.[ref-fbe5b4d4401b][ref-d1d824f36dcc]
Knowledge Transfer¶
Kleinian ideal spheres and word-hyperbolic boundaries differ as geometric objects but instantiate the same group/action, compact-carrier, triple-properness and subsequential-collapse roles. The portable insight is about boundary dynamics, not a claim that every such action is uniform or every abstract group has the property independent of its chosen action.[ref-fbe5b4d4401b][ref-d1d824f36dcc]
[^ref-fbe5b4d4401b]: Brian H. Bowditch, “Convergence groups and configuration spaces”, original author-hosted paper, revised Dec. 1996, Introduction pp.1–3 and §1 pp.4–8, including finite-kernel caveat. [^ref-d1d824f36dcc]: Brian H. Bowditch, “A topological characterisation of hyperbolic groups”, original author-hosted paper, Journal of the American Mathematical Society 11 (1998), 643–667, Introduction Theorem 0.1.
Relationships to Other Abstractions¶
Current abstraction Convergence Group Domain-specific
Parents (1) — more general patterns this builds on
-
Convergence Group is a kind of Continuous Group Action Domain-specific
A discrete-group continuous action with extra triple-space properness.
Hierarchy paths (5) — routes to 5 parentless roots
- Convergence Group → Continuous Group Action → Group → Monoid → Semigroup → Set and Membership
- Convergence Group → Continuous Group Action → Group → Monoid → Identity Element
- Convergence Group → Continuous Group Action → Group → Monoid → Semigroup → Closure
- Convergence Group → Continuous Group Action → Group → Monoid → Semigroup → Associativity → Invariance
- Convergence Group → Continuous Group Action → Group → Monoid → Semigroup → Associativity → Symmetry
Neighborhood in Abstraction Space¶
Convergence Group sits in a sparse region of the domain-specific corpus (67th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Category Theory & Homotopical Algebra (18 abstractions)
Nearest neighbors
- Wandering set — 0.85
- Stabilizer subgroup — 0.84
- Group algebra of a locally compact group — 0.84
- Ring — 0.84
- A∞-operad — 0.83
Computed from structural-signature embeddings · 2026-10-08