1 · The essentials
The question is whether a group’s shape at infinity can determine a concrete geometry in which it acts. Here, a group is a collection of operations that can be combined and undone. The groups under consideration have a particular kind of negatively curved large-scale geometry, and their shape at infinity looks like the surface of a sphere. The manuscript states that every such group can act by distance-preserving motions on three-dimensional hyperbolic space. The action has strong restrictions: it is proper and cocompact, and only finitely many group elements act as the identity. The source presents this as a positive resolution of Cannon’s conjecture, and the main result has a Lean formalization. Under the additional condition that no nonidentity element becomes the identity after finitely many repetitions, the repository summary says that the group comes from a closed hyperbolic three-dimensional manifold.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine recognizing a room’s geometry from the silhouette visible at its farthest edges. Here the sphere-shaped outline is the group’s boundary at infinity, but the result concerns a precise action on hyperbolic space—not the reconstruction of an ordinary room.
Why it matters
The result connects a condition on a group’s boundary with a specific three-dimensional geometry. The source describes it as resolving Cannon’s conjecture positively. For torsion-free groups, the repository summary also identifies the group as the fundamental group of a closed hyperbolic three-manifold.
2 · Going further
The precise statement is that every word-hyperbolic group with boundary homeomorphic to admits a proper, cocompact, isometric action on hyperbolic three-space with finite kernel. The hypothesis concerns the topology of the boundary; the conclusion supplies an action on a specific geometric space. Properness controls how group elements can move compact regions back into themselves, cocompactness says that the quotient is compact, and the finite-kernel condition allows only finitely many elements to act trivially.
The main manuscript, “A Modulus Proof of Cannon’s Conjecture,” states this result and describes it as a positive resolution of the conjecture. Its title signals a modulus-based approach, but the supplied abstract gives no details of the argument, so no particular construction or intermediate step can be described from this source. The repository summary adds that every torsion-free group satisfying the hypotheses is the fundamental group of a closed hyperbolic three-manifold. The main result has a Lean formalization, but the supplied material does not specify its detailed scope; no companion manuscripts are supplied.
Useful notions
- Groups and group actions
- Word-hyperbolic groups and their boundaries
- Homeomorphisms and the two-sphere
- Hyperbolic three-space
- Fundamental groups of manifolds
What was known before / what is new
Before
The source identifies the question as Cannon’s conjecture. It supplies no account of earlier partial results, prior methods, or the conjecture’s history.
New
The manuscript states the full implication from a sphere boundary to a proper cocompact isometric action on hyperbolic three-space with finite kernel. It presents this as a positive resolution of Cannon’s conjecture. The repository summary also states the closed-hyperbolic-three-manifold consequence for torsion-free groups.
Limits and assumptions
The hypotheses are essential to the stated scope: the group must be word-hyperbolic and its boundary must be homeomorphic to the two-sphere. The action is asserted to have finite kernel, not necessarily trivial kernel. The manifold conclusion is stated for torsion-free groups. The main result has a Lean formalization, but the supplied material does not detail its scope or establish whether the manifold consequence is separately formalized. The abstract contains no argument details, and the source identifies no remaining open questions.
Mini glossary
- Boundary at infinity —
- The boundary records the limiting directions toward infinity in the group’s large-scale geometry.
- Homeomorphic —
- Two spaces are homeomorphic when a continuous bijection with continuous inverse identifies their topological shapes.
- Proper action —
- For an action of a discrete group, properness means that only finitely many group elements move a given compact set so that it intersects itself.
- Cocompact action —
- An action is cocompact when the space obtained by identifying points in the same orbit is compact.
- Kernel of an action —
- The kernel consists of the group elements that leave every point fixed.
- Torsion-free —
- A group is torsion-free if no nonidentity element becomes the identity after a positive finite number of repetitions.
Keywords : Cannon’s conjecture · Hyperbolic groups · Sphere boundary
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Every word-hyperbolic group with boundary homeomorphic to S2 admits a proper cocompact isometric action on hyperbolic three-space with finite kernel, proving Cannon's conjecture. Every torsion-free such group is therefore the fundamental group of a closed hyperbolic three-manifold.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
A Modulus Proof of Cannon’s Conjecture
23/09/2026We prove that every hyperbolic group whose boundary is homeomorphic to the two-sphere admits a proper cocompact isometric action on hyperbolic three-space with finite kernel. This resolves Cannon's conjecture positively.