geometry-topology / Geometric group theory, hyperbolic groups

Cannon's Conjecture

Theorem 1.1: for every hyperbolic group GG with ∂G≅S2\partial G\cong S^2 there is ρ:G→Isom(H3)\rho:G\to\mathrm{Isom}(\mathbb H^3) whose action is proper and cocompact with finite kernel; the image may contain orientation-reversing isometries. For torsion-free GG the quotient is a closed, possibly nonorientable, hyperbolic 3-manifold, and the paper records virtual-structure consequences. The route is the Bonk-Kleiner uniformization program: the paper proves a uniform upper bound on the combinatorial 2-modulus of curve families at a fixed small scale on the visual boundary, then applies the Bourdon-Kleiner criterion (Corollary 3.5) to get a quasi-Mobius parametrization by the round sphere.

62Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 23, 2026Significance 62/100Registry: lean checked

Cannon's Conjecture

Prior state unknown→proved

Theorem 1.1: for every hyperbolic group GG with ∂G≅S2\partial G\cong S^2 there is ρ:G→Isom(H3)\rho:G\to\mathrm{Isom}(\mathbb H^3) whose action is proper and cocompact with finite kernel; the image may contain orientation-reversing isometries. For torsion-free GG the quotient is a closed, possibly nonorientable, hyperbolic 3-manifold, and the paper records virtual-structure consequences. The route is the Bonk-Kleiner uniformiza…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every hyperbolic group GG with ∂G≅S2\partial G\cong S^2 there is ρ:G→Isom(H3)\rho:G\to\mathrm{Isom}(\mathbb H^3) whose action is proper and cocompact with finite kernel; the image may contain orientation-reversing isometries. For torsion-free GG the quotient is a closed, possibly nonorientable, hyperbolic 3-manifold, and the paper records virtual-structure consequences. The route is the Bonk-Kleiner uniformization program: the paper proves a uniform upper bound on the combinatorial 2-modulus of curve families at a fixed small scale on the visual boundary, then applies the Bourdon-Kleiner criterion (Corollary 3.5) to get a quasi-Mobius parametrization by the round sphere.

Theorem 1.1: for every hyperbolic group GG with ∂G≅S2\partial G\cong S^2 there is ρ:G→Isom(H3)\rho:G\to\mathrm{Isom}(\mathbb H^3) whose action is proper and cocompact with finite kernel; the image may contain orientation-reversing isometries. For torsion-free GG the quotient is a closed, possibly nonorientable, hyperbolic 3-manifold, and the paper records virtual-structure consequences. The route is the Bonk-Kleiner uniformization program: the paper proves a uniform upper bound on the combinatorial 2-modulus of curve families at a fixed small scale on the visual boundary, then applies the Bourdon-Kleiner criterion (Corollary 3.5) to get a quasi-Mobius parametrization by the round sphere.

Recorded attempts

Evidence graph

Connected research record

Cannon's Conjecture — Mathematical Frontier Network