counting circles and ergodic theory of kleinian groupsho2/doc/amskms.pdf · counting question for a...
TRANSCRIPT
![Page 1: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/1.jpg)
Counting circles andErgodic theory of Kleinian groups
Hee Oh
Brown University
Dec 2009
![Page 2: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/2.jpg)
Apollonius’ theorem
Theorem (Apollonius 262-190 BC)
Given 3 mutually tangent circles, there are exactly two circlestangent to all three.
![Page 3: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/3.jpg)
![Page 4: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/4.jpg)
We give a proof using Mobius transformations: Fora, b, c, d ∈ C, ad − bc = 1,
(
a bc d
)
(z) =az + bcz + d
, z ∈ C ∪ ∞.
A Mobius transformation maps circles (including lines) tocircles, preserving angles between them.
![Page 5: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/5.jpg)
Apollonian circle packing
Start with 4 mutually tangent circles.
Four possible configurations
![Page 6: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/6.jpg)
Apollonian circle packing
Start with 4 mutually tangent circles.
Four possible configurations
![Page 7: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/7.jpg)
Add (four) new circles tangent to three of the initial four circles.Continuing to add newer circles tangent to three of the previouscircles, we arrive at an infinite circle packing called an
Apollonian circle packing .
We’ll show the first few generations of this process:
![Page 8: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/8.jpg)
Add (four) new circles tangent to three of the initial four circles.Continuing to add newer circles tangent to three of the previouscircles, we arrive at an infinite circle packing called an
Apollonian circle packing .
We’ll show the first few generations of this process:
![Page 9: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/9.jpg)
Initial stage
Each circle is labeled with the reciprocal of its radius (=thecurvature), and the greatest circle has radius one and hencecurvature −1 (oriented to have disjoint interiors).
![Page 10: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/10.jpg)
First generation
![Page 11: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/11.jpg)
Second generation
![Page 12: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/12.jpg)
Third generation
![Page 13: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/13.jpg)
Example of bounded Apollonian circle packing
![Page 14: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/14.jpg)
Example of bounded Apollonian circle packing
![Page 15: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/15.jpg)
Example of unbounded Apollonian circle packing
There are also other unbounded Apollonian packingscontaining either only one line or no line at all.
![Page 16: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/16.jpg)
Counting question
For a bounded Apollonian packing P, there are only finitelymany circles of radius bigger than a given number.Set
NP(T ) := #C ∈ P : curv(C) < T < ∞.
Question
Is there an asymptotic of NP(T ) as T → ∞? If so, can we compute?
![Page 17: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/17.jpg)
Apollonian circle packing
![Page 18: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/18.jpg)
Residual set and its fractal dimension
Definition (Residual set of P)
Residual(P) := ∪C∈PC.
In other words, the residual set of P is what is left in the planeafter removing all the open disks enclosed by circles in P.
![Page 19: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/19.jpg)
Residual dimension
The Hausdorff dimension (or the fractal dimension) of theresidual set of P is called the Residual dimension of P, whichwe denote by δ (1 ≤ δ ≤ 2).
We observe
1. δ is independent of P: any two Apollonian packings areequivalent to each other by a Mobius transformation.
2. δ = 1.30568(8) (McMullen 1998)
![Page 20: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/20.jpg)
Residual dimension
The Hausdorff dimension (or the fractal dimension) of theresidual set of P is called the Residual dimension of P, whichwe denote by δ (1 ≤ δ ≤ 2).
We observe
1. δ is independent of P: any two Apollonian packings areequivalent to each other by a Mobius transformation.
2. δ = 1.30568(8) (McMullen 1998)
![Page 21: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/21.jpg)
Using elementary methods, Boyd showed:
Theorem (Boyd 1982)
limT→∞
log NP(T )
log T= δ.
Boyd also made many numerical experiments, which led him towonder that perhaps
NP(T ) ∼ c · T δ(log T )β
may be more appropriate.
![Page 22: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/22.jpg)
Using elementary methods, Boyd showed:
Theorem (Boyd 1982)
limT→∞
log NP(T )
log T= δ.
Boyd also made many numerical experiments, which led him towonder that perhaps
NP(T ) ∼ c · T δ(log T )β
may be more appropriate.
![Page 23: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/23.jpg)
Theorem (Kontorovich-O. 08)
For a bounded Apollonian packing P, there exists a constantcP > 0 such that
NP(T ) ∼ cP · T δ
where δ = 1.30568(8) is the residual dimension of P.
![Page 24: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/24.jpg)
Theorem (Descartes 1643)
A quadruple (a, b, c, d) is the curvatures of four mutuallytangent circles if and only if it satisfies the quadratic equation:
2(a2 + b2 + c2 + d2) = (a + b + c + d)2.
E.g: 2((-1)2 + 22 + 22 + 32) = 36 = (−1 + 2 + 2 + 3)2
Given three mutually tangent circles of curvatures a, b, c, thecurvatures, say, d and d ′, of the two circles tangent to all threemust satisfy
d + d ′ = 2(a + b + c).
So, if a, b, c, d are integers, so is d ′.
![Page 25: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/25.jpg)
Integral Apollonian packings
Corollary (Soddy 1937)
If the initial 4 circles in an Apollonian packing P have integralcurvatures, then every circle in P has an integral curvature aswell.
Such a packing is called integral .
By Descartes’ theorem, for any integral solution of2(a2 + b2 + c2 + d2) = (a + b + c + d)2, there exists an integralApollonian packing!
![Page 26: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/26.jpg)
Integral Apollonian circle packings
Any integral Apollonian packing is either bounded or liesbetween two parallel lines:
![Page 27: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/27.jpg)
Primes and Twin primes
It is natural to inquire about the Diophantine properties of anintegral Apollonian packing P such as
Question
How many circles in P have prime curvatures?
Assume that P is primitive, i.e.,g. c. dC∈P(curv(C)) = 1.
Definition
1. A circle is prime if its curvature is a prime number.
2. A pair of tangent prime circles is twin primes.
![Page 28: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/28.jpg)
Primes and Twin primes
It is natural to inquire about the Diophantine properties of anintegral Apollonian packing P such as
Question
How many circles in P have prime curvatures?
Assume that P is primitive, i.e.,g. c. dC∈P(curv(C)) = 1.
Definition
1. A circle is prime if its curvature is a prime number.
2. A pair of tangent prime circles is twin primes.
![Page 29: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/29.jpg)
Twin primes: (2,3), (2,11), (3, 23), ...
![Page 30: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/30.jpg)
![Page 31: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/31.jpg)
Theorem (Sarnak 07)
There are infinitely many twin primes in any primitive integral P.
Using the recent work of Bourgain, Gamburd, Sarnak on theuniform spectral gap property together with Selberg’s upperbound sieve, we prove:
Theorem (Kontorovich-O. 08)
1. #prime C ∈ P : curv(C) < T ≪ T δ
log T
2. #twin primes C1, C2 ∈ P : curv(Ci) < T ≪ T δ
(log T )2
Heuristics using the circle method predict that the above upperbounds are indeed of the true order of the magnitude.
![Page 32: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/32.jpg)
Theorem (Sarnak 07)
There are infinitely many twin primes in any primitive integral P.
Using the recent work of Bourgain, Gamburd, Sarnak on theuniform spectral gap property together with Selberg’s upperbound sieve, we prove:
Theorem (Kontorovich-O. 08)
1. #prime C ∈ P : curv(C) < T ≪ T δ
log T
2. #twin primes C1, C2 ∈ P : curv(Ci) < T ≪ T δ
(log T )2
Heuristics using the circle method predict that the above upperbounds are indeed of the true order of the magnitude.
![Page 33: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/33.jpg)
More general counting function
For unbounded Apollonian packing P, NP(T ) = ∞ in general.
Consider a curvilinear triangular region R in any Apollonianpacking (either bounded or unbounded):
SetNR(T ) := #C ∈ R : curv(C) < T < ∞.
![Page 34: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/34.jpg)
Counting inside Triangle
Theorem (O.-Shah 09)
For a curvilinear triangle R of any Apollonian packing P,
NR(T ) ∼ cR · T δ.
![Page 35: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/35.jpg)
Hidden symmetries
Question
How are we able to count circles in an Apollonian packing?
We exploit the fact that
an Apollonian packing has lots of hidden symmetries.
Explaining these hidden symmetries will lead us to explain therelevance of the packing with ”the limit set of a Kleiniangroup” .
![Page 36: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/36.jpg)
Hidden symmetries
Question
How are we able to count circles in an Apollonian packing?
We exploit the fact that
an Apollonian packing has lots of hidden symmetries.
Explaining these hidden symmetries will lead us to explain therelevance of the packing with ”the limit set of a Kleiniangroup” .
![Page 37: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/37.jpg)
Basic notions in 3 dimensional hyperbolic geometry
Consider the upper-half space model for the hyperbolic 3 spaceH
3:
H3 = (x1, x2, y) : y > 0 with ds =
√
dx21 + dx2
2 + dy2
y
and ∂∞(H3) = C ∪ ∞ = C.
![Page 38: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/38.jpg)
![Page 39: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/39.jpg)
PSL2(C) = Isom+(H3) via the Poincare extension
Here PSL2(C) acts on C as Mobius transformations and aninversion w.r.t a circle C in C corresponds to the inversion w.r.tthe vertical hemisphere in H
3 bounded by C.
![Page 40: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/40.jpg)
Kleinian group
Definition
A Kleinian group Γ is a torsion-free discrete subgroup ofPSL2(C).
The limit set Λ(Γ) ⊂ C is the set of all accumulation pointsof an orbit Γ(z), z ∈ C.
A Kleinian group Γ is geometrically finite if Γ has a finitesided fundamental domain in H
3.
In fact, the residual set of an Apollonian packing is the limit setof certain geometrically finite Kleinian group, called theApollonian group.
![Page 41: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/41.jpg)
Apollonian group
The Apollonian group A is gen. by inversions w.r.t the dualcircles of fixed 4 mutually tangent circles in P:
Inverting the initial four (black) circles in P w.r.t the (red)dual circles gen. the whole packing P;
the orbit of a tangent pt under A gives rise to all tangentpts in P;
Residual(P) = Λ(A).
![Page 42: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/42.jpg)
The quotient mfd A\H3 (in fact, an orbifold) has a fund. domaingiven by the exterior of the four corresp. hemispheres (thedomes over the 4 dual circles):
In particular, A\H3 has infinite volume.
![Page 43: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/43.jpg)
Counting circles in bdd Apol. packing
Q = 2(a2+b2+c2+d2)−(a+b+c+d)2 : Descartes quad.form.
Has signature (3, 1), and hence SO(Q) = Isom+(H3). Set
V = Q = 0;known to be the space of horospheres in H
3.
Let P be a bounded Apollonian packing.
1. quad. of 4 mut. tang. circles in P = A(X0);
2. By Descartes’ thm, A(X0) ⊂ V discrete subset
3. NP(T ) = #X ∈ A(X0) : ‖X‖max < T.
![Page 44: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/44.jpg)
Counting circles in bdd Apol. packing
Q = 2(a2+b2+c2+d2)−(a+b+c+d)2 : Descartes quad.form.
Has signature (3, 1), and hence SO(Q) = Isom+(H3). Set
V = Q = 0;known to be the space of horospheres in H
3.
Let P be a bounded Apollonian packing.
1. quad. of 4 mut. tang. circles in P = A(X0);
2. By Descartes’ thm, A(X0) ⊂ V discrete subset
3. NP(T ) = #X ∈ A(X0) : ‖X‖max < T.
![Page 45: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/45.jpg)
Hence the circle counting problem in P reduces to: Count a discrete orbit A(X0) in the space of horospheres
of H3; or equivalently,
Understand the dist. of an expanding closed horosphere inthe unit tangent bundle T1(A\H3).
![Page 46: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/46.jpg)
Expanding horosphere
![Page 47: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/47.jpg)
Distribution of Expanding horosphere
For a cpt Ω ⊂ T1(Γ\H3), how much proportion of gt(H)intersects Ω as t → ∞?
![Page 48: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/48.jpg)
Equi-distribution
If ∃ a Borel measure µ in T1(Γ\H3) s.t. ∀ nice cpt Ω ⊂ T1(Γ\H3),
|Ω ∩ gt(H)| ∼ µ(Ω)
we say gt(H) is equi-distributed w.r.t µ.
Theorem (Sarnak 81, Eskin-McMullen 93)
Let Vol(Γ\H3) < ∞ and H ⊂ Γ\H3 be closed horosphere. Thenthe expanding horospheres gt(H) become equi-distri. w.r.t theLiouville measure of T1(Γ\H3) (=locally Riem. volume form ×angular measure).
![Page 49: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/49.jpg)
Equi-distribution
If ∃ a Borel measure µ in T1(Γ\H3) s.t. ∀ nice cpt Ω ⊂ T1(Γ\H3),
|Ω ∩ gt(H)| ∼ µ(Ω)
we say gt(H) is equi-distributed w.r.t µ.
Theorem (Sarnak 81, Eskin-McMullen 93)
Let Vol(Γ\H3) < ∞ and H ⊂ Γ\H3 be closed horosphere. Thenthe expanding horospheres gt(H) become equi-distri. w.r.t theLiouville measure of T1(Γ\H3) (=locally Riem. volume form ×angular measure).
![Page 50: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/50.jpg)
Weighted equi-distribution
Let Γ: geom. finite Kleinian gp, non-elementary (no abeliansubgp of fin. index), δ > 0 := the H. dim of Λ(Γ).
Patterson-Sullivan showed that δ = 2 iff Vol(Γ\H3) < ∞.
Theorem
For any nice cpt Ω ⊂ T1(Γ\H3), for δ < 2, |Ω ∩ gt(H)| → 0;
e(2−δ)t · |Ω ∩ gt(H)| ∼ µBR(Ω).
Here µBR is the Burger-Roblin measure of T1(Γ\H3): an inf.Radon meas. (unless δ = 2) supp. on the union of horospheresbased on the limit set Λ(Γ).
![Page 51: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/51.jpg)
Weighted equi-distribution
Let Γ: geom. finite Kleinian gp, non-elementary (no abeliansubgp of fin. index), δ > 0 := the H. dim of Λ(Γ).
Patterson-Sullivan showed that δ = 2 iff Vol(Γ\H3) < ∞.
Theorem
For any nice cpt Ω ⊂ T1(Γ\H3), for δ < 2, |Ω ∩ gt(H)| → 0;
e(2−δ)t · |Ω ∩ gt(H)| ∼ µBR(Ω).
Here µBR is the Burger-Roblin measure of T1(Γ\H3): an inf.Radon meas. (unless δ = 2) supp. on the union of horospheresbased on the limit set Λ(Γ).
![Page 52: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/52.jpg)
Proved by Kontorovich-O. for δ > 1: based on the spectral theory of
Laplacian (Patterson-Sullivan, Lax-Phillips) O.-Shah for δ > 0: based on the mixing of the geodesic
flow w.r.t Bowen-Margulis-Sullivan measure (Rudolph).
![Page 53: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/53.jpg)
Going back to counting circle theorems, [Kontorovich-O.]approach relied on the Descartes theorem in translating thecircle counting problem into a statement about horospheres in ahyperbolic 3 manifold.
For an unbounded packing P, this translation is not possible,since the Descartes quadruples from P form a non-discretesubset.
![Page 54: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/54.jpg)
Going back to counting circle theorems, [Kontorovich-O.]approach relied on the Descartes theorem in translating thecircle counting problem into a statement about horospheres in ahyperbolic 3 manifold.
For an unbounded packing P, this translation is not possible,since the Descartes quadruples from P form a non-discretesubset.
![Page 55: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/55.jpg)
In [O.-Shah], we translate the circle counting problem into aweighted equdistribution statement about distribution of theorthogonal translates of a totally geodesic surface in ahyperbolic 3 manifold, NOT using the Descartes theorem.
This was an important point for generalizations beyondApollonian circle packings, as there is no analogue ofDescartes theorem in general .
![Page 56: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/56.jpg)
Circles in the limit set of a Kleinian group
We are now led to ask even more general counting question:
Let P be a circle packing in the plane. That is, a union of circleswith disjoint interiors.Suppose that the residual set of P is the limit set of somefinitely generated Kleinian group Γ.
Question
Can one count circles in P of curvature at most T ?
Before stating a theorem, we present some pictures of the limitsets of Kleinian groups:
![Page 57: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/57.jpg)
Circles in the limit set of a Kleinian group
We are now led to ask even more general counting question:
Let P be a circle packing in the plane. That is, a union of circleswith disjoint interiors.Suppose that the residual set of P is the limit set of somefinitely generated Kleinian group Γ.
Question
Can one count circles in P of curvature at most T ?
Before stating a theorem, we present some pictures of the limitsets of Kleinian groups:
![Page 58: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/58.jpg)
Ex. of Sierpinski curve (McMullen)
Here Γ = π1(cpt. hyp. 3-mfd with non-empty tot. geod. bdry);The limit set of an embedding of Γ into PSL2(C) is a Sierpinskicurve.The next pictures are copied from the book ”Indra’s pearls” byMumford, Series and Wright, illustrating the limits set ofSchottky groups.
![Page 59: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/59.jpg)
Ex. of Sierpinski curve (McMullen)
Here Γ = π1(cpt. hyp. 3-mfd with non-empty tot. geod. bdry);The limit set of an embedding of Γ into PSL2(C) is a Sierpinskicurve.The next pictures are copied from the book ”Indra’s pearls” byMumford, Series and Wright, illustrating the limits set ofSchottky groups.
![Page 60: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/60.jpg)
![Page 61: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/61.jpg)
![Page 62: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/62.jpg)
![Page 63: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/63.jpg)
![Page 64: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/64.jpg)
![Page 65: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/65.jpg)
![Page 66: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/66.jpg)
Let P be a circle packing whose residual set is the limit set of afinitely generated Kleinian group Γ. Let R = P if P is bounded,or more generally, R can be any bounded domain such that
#∂(R) ∩ Residual(P) < ∞, Rint ∩ Residual(P) 6= ∅.
![Page 67: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/67.jpg)
![Page 68: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/68.jpg)
![Page 69: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/69.jpg)
Theorem (O.-Shah 09)
Then
NR(T ) := #C ∈ R : curv(C) < T ∼ cR T δP
where δP is the residual dimension of P.
![Page 70: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/70.jpg)
Circle packings on the sphere
Consider the unit ball model of the hyperbolic 3 space:
B3 := (x1, x2, x3) : x2
1 + x22 + x2
3 < 1
with the metric ds =2√
dx21 +dx2
2 +dx23
1−(x21 +x2
2 +x23 )
.
As the unit sphere S2 is the natural boundary of B3, we obtain
many circle packings on the sphere S2 whose residual sets arethe limit sets of Kleinian groups.
![Page 71: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/71.jpg)
Sierpinski curve on the sphere (McMullen)
![Page 72: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/72.jpg)
Apollonian packing on the sphere (McMullen)
![Page 73: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/73.jpg)
Circle packings of the sphere
Given a circle packing P on S2, we may ask
Question
How many circles can you see standing at the origin?
HereVisual size(C) = d(o, C)−1
where C is the orthogonal hemisphere bounded by C.
![Page 74: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/74.jpg)
Theorem (O.-Shah 09)
Let P be a circle packing on the sphere whose residual set isthe limit set of a finitely generated Kleinian group Γ.Then
#C ∈ P : size(C) > T−1 ∼ cP eδPT
where δP is the residual dimension of P.
![Page 75: Counting circles and Ergodic theory of Kleinian groupsho2/doc/AMSKMS.pdf · Counting question For a bounded Apollonian packing P, there are only finitely many circles of radius bigger](https://reader034.vdocument.in/reader034/viewer/2022050417/5f8d2f83fbfc0c1cdf435e4a/html5/thumbnails/75.jpg)
Sierpinski curve on the sphere (McMullen)