================================================================================
  A MODULUS PROOF OF CANNON'S CONJECTURE
  A plain-English companion version, written for curious high school readers
================================================================================

PURPOSE OF THIS DOCUMENT
------------------------
The original paper (cannon_conjecture_modulus_original.txt, about 110 KB)
is a research paper in geometric group theory and low-dimensional topology.
It proves Cannon's Conjecture: every hyperbolic group whose boundary is
a topological two-sphere acts properly and cocompactly on hyperbolic
three-space. The original proof uses analytic machinery from metric
measure theory (combinatorial modulus, quasiconformal maps, Bonk-Kleiner
uniformization) and the audience of that paper is other specialists.

This companion version is written for a different audience: a reader who
knows high-school mathematics (functions, limits, matrices, the idea of a
proof) and is willing to think through a long argument step by step, but
who has not seen university-level topology or measure theory. It is meant
to be read alongside the original. Where the original proves a technical
lemma, this version states WHAT the lemma says in plain words, sketches
WHY it is true (the actual argument, not just a sketch of a sketch), and
explains WHY the whole construction needs it.

The document has these parts:

  PURPOSE OF THIS DOCUMENT (this section)
  PART I    -- the question, in words.
  PART II   -- the staircase of the proof, in nine steps.
  PART III  -- foundations: Cayley graphs, hyperbolic groups, boundaries,
               visual metrics, combinatorial modulus.
  PART IV   -- the three geometric tools (Expansion, Packing, Paths)
               and the Bonk-Kleiner uniformization theorem.
  PART V    -- assuming the modulus is unbounded: records, crossing
               duality, level continua, the scalar limit u and measure mu.
  PART VI   -- the exponential case: how the boundary would have to be
               a round sphere, and the blowup contradiction.
  PART VII  -- the subexponential case: a probability tree, its good nodes,
               and the pair-counting argument that kills it.
  PART VIII -- finishing: \(Cannon for hyperbolic groups with S^2 boundary,
               and the classical consequences (virtual fibering, cubulation).
  PART IX   -- a glossary of every specialized word the paper uses.
  PART X    -- the lemma and theorem index of the original paper.
  PART XI   -- small concrete calculations a reader can do by hand.

"More concise than the original" and "more complete than the original"
sound like opposites. They are not. The original is long because it has
to justify every estimate to a professional who will check it. This
companion is shorter because a lot of the original's bulk is notational
bookkeeping: definitions of products, bookkeeping of indices, coordinate
chart notation. The mathematical content -- every proof, every step --
is NOT dropped. Where the original says "by the standard product
estimate" or "by packing", this version spells out what that means so
the reader can actually follow. Where the original cites a specific
theorem from another paper, this version states it and (for the two
main external theorems) sketches the argument.

One small warning about length. This is a long proof. It is not long
because it is hard, but because a lot of small things have to be checked
in order. If you get lost, jump to the outline in PART II. Every
claim in that outline is expanded in a specific later part, and PART X
tells you where.

================================================================================
PART I. WHAT THIS PAPER IS ABOUT
================================================================================

1. THE QUESTION IN ONE SENTENCE
-------------------------------
Cannon's Conjecture asks: if a certain kind of infinite group has a
two-sphere as its "boundary at infinity", is it secretly the fundamental
group of a closed hyperbolic three-manifold?

This companion proves: yes. The original paper proves it too, using a
specific analytic machinery (combinatorial modulus) that turns out to
be more flexible than earlier approaches. The point of the machinery is
that it makes the proof work even when you know nothing about the group
except that its boundary is a two-sphere.

To make the question meaningful we need to explain three things:
  (a) what kind of group we mean ("hyperbolic group"),
  (b) what its "boundary at infinity" is,
  (c) what "acts on hyperbolic three-space" means.

We do that now, slowly, because the rest of the paper is built on them.

2. HYPERBOLIC GROUPS, IN PLAIN WORDS
------------------------------------
A finitely generated group G has a Cayley graph: pick a finite
symmetric set S of generators (symmetric means s is in S iff s^(-1) is
in S, and the identity e is not in S), draw a vertex for each group
element, and join vertex g to vertex gs by an edge for each s in S.
This graph is connected, locally finite, and G acts on it by left
multiplication.

G is HYPERBOLIC (in the sense of Gromov) if there exists a constant
delta >= 0 such that every geodesic triangle in this graph is
delta-thin: every point on one side is within distance delta of the
union of the other two sides. This is a genuinely geometric condition
on the group, not just on the particular generating set: if it holds for
one finite generating set, it holds (with a different delta) for every
finite generating set. So "hyperbolic" is a property of G, not of the
choice of generators.

Examples of hyperbolic groups:
  - finite groups (boundary is empty),
  - Z, Z^2? no, Z^2 is not hyperbolic; the free group F_2 IS,
  - any group acting properly cocompactly on a simply connected space
    of negative curvature (like hyperbolic n-space H^n),
  - the fundamental group of any closed hyperbolic surface
    (a compact orientable surface of genus >= 2).

Non-examples:
  - Z^2 (triangles get flatter as they get bigger),
  - any group containing a copy of Z^2,
  - any group whose growth is polynomial of degree > 1.

The hyperbolicity is what makes a "boundary at infinity" possible.

3. THE BOUNDARY AT INFINITY, IN WORDS AND IN PICTURES
-----------------------------------------------------
Fix a Cayley graph Gamma for G. A RAY is a sequence of vertices
v_0, v_1, v_2, ... where consecutive vl, v_{l+1} are joined by an edge
and where there is a constant C with d(v_0, v_l) >= l - C. Very roughly,
a ray is a path going "straight out to infinity" at unit speed. Two rays
are equivalent if they stay a bounded distance from each other. The
boundary at infinity of G, written dG, is the set of equivalence classes
of rays. It is a compact metric space, though the metric (a "visual
metric") depends on the choice of a basepoint and a scaling parameter.
Different choices give the same homeomorphism type, and the
Hausdorff dimension can change; the topology and the conformal
structure do not.

Concretely:
  - If G = F_2, the free group on two generators, dG is a Cantor set.
  - If G is the fundamental group of a closed hyperbolic surface M,
    dG is a circle.
  - If G is the fundamental group of a closed hyperbolic n-manifold,
    dG is S^(n-1).
  - We care about n = 3: dG should be a two-sphere.

Cannon's conjecture says: if dG IS a two-sphere, then G LOOKS LIKE the
fundamental group of a closed hyperbolic three-manifold. The whole
difficulty is that dG is only homeomorphic to S^2; the visual metric is
NOT the round metric. The proof has to show that we can continuously
"round out" the boundary, and that this rounding exists uniformly over
the whole boundary.

4. ACTIONS ON H^3, IN WORDS
---------------------------
Hyperbolic three-space H^3 is the complete simply connected
three-dimensional Riemannian manifold of constant curvature -1. It is
the three-dimensional analogue of the hyperbolic plane H^2, which you
can draw. An isometric action of G on H^3 is a homomorphism
rho: G -> Isom(H^3), where Isom is the group of isometries. The action
is:
  - PROPER if for every compact subset K of H^3, only finitely many
    g in G satisfy rho(g)(K) intersect K not empty;
  - COCOMPACT if there is a compact K whose translates rho(g)(K)
    cover H^3.

If the action is proper and cocompact and has finite kernel, G is
called a LATTICE of Isom(H^3), and by classical results of
three-dimensional topology, G is commensurable (up to finite index
subgroups) with the fundamental group of a closed hyperbolic
three-manifold. So proving such an action exists is exactly the
content of Cannon's conjecture.

5. THE HISTORICAL SHAPE OF THE PICTURE
--------------------------------------
Cannon himself proved the combinatorial Riemann mapping theorem in
1994 (Cannon, "The combinatorial Riemann mapping theorem", Acta Math
173, 155-234). This theorem says: if you can find QUANTITATIVE
COMPLEX STRUCTURE at every scale of a metric sphere (bounds on the
combinatorial moduli of a "crossing family" of curves), then that
sphere can be uniformized to the round sphere by a quasiconformal
map. Cannon-Swenson (1998) formulated the group-boundary conjecture
in the language we use here. Cannon-Floyd-Parry (1999) gave a
practical sufficient condition in terms of ANNULAR MODULI, which is
the form used by everyone since. Bonk-Kleiner (2002) reformulated the
analytic input in a sharper, more quantitative form using "combinatorial
modulus". Bourdon-Kleiner (2013) proved that a specific uniformity
hypothesis -- the bound we will prove -- is enough to guarantee
quasi-Mobius uniformization.

In parallel, algebraic approaches by Kahn-Markovic (2012), Agol (2013),
Bergeron-Wise (2012), Markovic (2013), and more recently Groves-
Haissinsky-Manning-Osajda-Sisto-Walsh (2024/2026) tried to attack
Cannon by constructing surface subgroups and cubulations. Those paths
work but assume that some surface subgroups already exist. The
modulus path in this paper works directly from hyperbolicity and the
topology of the boundary, with no group-theoretic input beyond
hyperbolicity.

================================================================================
PART II. THE STAIRCASE OF THE PROOF
================================================================================

This is the whole proof, compressed to nine steps. Each step is then
expanded -- the analysis lives in PART III and PART IV; the assumption
and contradiction live in PARTS V-VII; the finish is PART VIII.

STEP 1. Choose a visual metric on Z = dG. This is a metric d that comes
  from the conformal structure, and it has a useful explicit form,
  d(x,y) is comparable to a^(-(x|y)), where (x|y) is the Gromov
  product of x,y, and a > 1 is a chosen constant. Every group element
  acts on (Z,d) by a uniform quasi-Mobius map (see PART III).

STEP 2. Fix a scale. At each dyadic scale r_n = a^(-n), take a maximal
  r_n-separated set T_n of the boundary. Around each t in T_n draw
  a ball of radius 2 r_n. This is a finite cover of Z by bounded-
  overlap balls. Fix a small number d_0 > 0 (something like 1/10 the
  diameter of Z) and let F_0 be the set of paths of diameter at least
  d_0 that cross Z globally.

STEP 3. Define M(n) as the least total squared weight of a nonnegative
  weight function on T_n such that every path in F_0 meets balls of
  total weight >= 1. This is the combinatorial 2-modulus of the path
  family F_0 with respect to the covering at scale r_n. (In the
  original: eq (1.9).) The whole proof rests on a single fact:

    THEOREM A. sup_n M(n) is finite.

STEP 4. Assume A fails. Then M(N) -> infinity along some subsequence of
  record indices. Split into two cases: the records grow
  exponentially (lim sup M(N)^(1/N) > 1) or subexponentially
  (lim sup M(N)^(1/N) <= 1). The same scalar construction (PART V)
  feeds both cases.

STEP 5. UNEQUALITY OF THE FIRST KIND (Exponential case, PART VI).
  Crossing duality turns the large M(N) into transverse weights of
  tiny energy on a coordinate rectangle. A planar regularization turns
  them into continuous functions H_N with separating level continua.
  Annular estimates give a nonconstant locally uniform limit u and a
  finite measure mu satisfying an oscillation-to-mass inequality.
  Because lambda > 1, we can HOLDER-MAGNIFY u to a nonconstant
  function on a punctured sphere. The level comparison forces each
  group transform that moves the puncture to be constant on the
  variation set of u, but a second magnification contradicts this.

STEP 6. UNEQUALITY OF THE SECOND KIND (Subexponential case, PART VII).
  Same scalar construction, same u. Now the measure controls a
  probability tree of separated balls. Two kinds of transitions:
  linear (bounds the probability by the interval ratio) and
  quadratic (bounds the probability by the square of the interval
  ratio). Jensen across the tree forces INFINITELY MANY good nodes:
  nodes with two separated regions of variation. At a common depth,
  many nodes have the same "pattern" of two target regions but
  distinct punctures. Comparing them in pairs charges more mass to
  small balls than their overlap permits.

STEP 7. Both cases fail, so sup_n M(n) < infinity is true. Theorem A
  is proved. This is the analytic content.

STEP 8. Now feed Theorem A to Bourdon-Kleiner's criterion (a version
  of Bonk-Kleiner uniformization): a metric sphere with bounded
  combinatorial 2-modulus is quasi-Mobius homeomorphic to the round
  sphere. So Z is quasi-Mobius to S^2.

STEP 9. Sullivan-Tukia turns a quasi-Mobius S^2 structure into a
  proper cocompact isometric action of G on H^3, with finite kernel.
  Classical consequences (torsion-free => closed hyperbolic
  three-manifold; virtual fibering; cubulation) follow as
  corollaries.

This is the entire proof. Steps 1-3, 7-9 use standard theory. Steps
4-6 are the new content, and they are where all the technical work
in PARTS V-VII goes.

The rest of this document expands each step. Read PART III if you want
the foundation. Skip to PART V if you trust (or want to take on faith)
the standard geometric setup.