AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Diophantine approximation and the geometry of limit sets in Gromov hyperbolic metric spaces
About this Title
Lior Fishman, Department of Mathematics, University of North Texas, 1155 Union Circle #311430, Denton, Texas 76203-5017, David Simmons, Department of Mathematics, University of York, Heslington, York YO10 5DD, United Kingdom and Mariusz Urbański, Department of Mathematics, University of North Texas, 1155 Union Circle #311430, Denton, Texas 76203-5017
Publication: Memoirs of the American Mathematical Society
Publication Year:
2018; Volume 254, Number 1215
ISBNs: 978-1-4704-2886-0 (print); 978-1-4704-4746-5 (online)
DOI: https://doi.org/10.1090/memo/1215
Published electronically: June 11, 2018
Keywords: Diophantine approximation,
Schmidt’s game,
hyperbolic geometry,
Gromov hyperbolic metric spaces
MSC: Primary 11J83, 20H10; Secondary 28A78, 37F35
Table of Contents
Chapters
- 1. Introduction
- 2. Gromov hyperbolic metric spaces
- 3. Basic facts about Diophantine approximation
- 4. Schmidt’s game and McMullen’s absolute game
- 5. Partition structures
- 6. Proof of Theorem (Absolute winning of $\mathrm {BA}_\xi$)
- 7. Proof of Theorem (Generalization of the Jarník–Besicovitch Theorem)
- 8. Proof of Theorem (Generalization of Khinchin’s Theorem)
- 9. Proof of Theorem ($\mathrm {BA}_d$ has full dimension in $\Lambda _{\mathrm {r}}(G)$)
- A. Any function is an orbital counting function for some parabolic group
- B. Real, complex, and quaternionic hyperbolic spaces
- C. The potential function game
- D. Proof of Theorem using the $\mathcal {H}$-potential game, where $\mathcal {H}$ = points
- E. Winning sets and partition structures
Abstract
In this paper, we provide a complete theory of Diophantine approximation in the limit set of a group acting on a Gromov hyperbolic metric space. This summarizes and completes a long line of results by many authors, from Patterson’s classic ’76 paper to more recent results of Hersonsky and Paulin (’02, ’04, ’07). Concrete examples of situations we consider which have not been considered before include geometrically infinite Kleinian groups, geometrically finite Kleinian groups where the approximating point is not a fixed point of any element of the group, and groups acting on infinite-dimensional hyperbolic space. Moreover, in addition to providing much greater generality than any prior work of which we are aware, our results also give new insight into the nature of the connection between Diophantine approximation and the geometry of the limit set within which it takes place. Two results are also contained here which are purely geometric: a generalization of a theorem of Bishop and Jones (’97) to Gromov hyperbolic metric spaces, and a proof that the uniformly radial limit set of a group acting on a proper geodesic Gromov hyperbolic metric space has zero Patterson–Sullivan measure unless the group is quasiconvex-cocompact. The latter is an application of a Diophantine theorem.- Lars V. Ahlfors, Möbius transformations in several dimensions, University of Minnesota, School of Mathematics, Minneapolis, Minn., 1981. Ordway Professorship Lectures in Mathematics. MR 725161
- C. S. Aravinda, Bounded geodesics and Hausdorff dimension, Math. Proc. Cambridge Philos. Soc. 116 (1994), no. 3, 505–511. MR 1291756, DOI 10.1017/S0305004100072777
- C. S. Aravinda and Enrico Leuzinger, Bounded geodesics in rank-$1$ locally symmetric spaces, Ergodic Theory Dynam. Systems 15 (1995), no. 5, 813–820. MR 1356615, DOI 10.1017/S0143385700009640
- J. S. Athreya, Anish Ghosh, and Amritanshu Prasad, Ultrametric logarithm laws, II, Monatsh. Math. 167 (2012), no. 3-4, 333–356. MR 2961287, DOI 10.1007/s00605-012-0376-y
- A. F. Beardon, The exponent of convergence of Poincaré series, Proc. London Math. Soc. (3) 18 (1968), 461–483. MR 227402, DOI 10.1112/plms/s3-18.3.461
- Victor Beresnevich, Detta Dickinson, and Sanju Velani, Measure theoretic laws for lim sup sets, Mem. Amer. Math. Soc. 179 (2006), no. 846, x+91. MR 2184760, DOI 10.1090/memo/0846
- Victor Beresnevich and Sanju Velani, A mass transference principle and the Duffin-Schaeffer conjecture for Hausdorff measures, Ann. of Math. (2) 164 (2006), no. 3, 971–992. MR 2259250, DOI 10.4007/annals.2006.164.971
- V. I. Bernik and M. M. Dodson, Metric Diophantine approximation on manifolds, Cambridge Tracts in Mathematics, vol. 137, Cambridge University Press, Cambridge, 1999. MR 1727177
- Mladen Bestvina and Mark Feighn, Hyperbolicity of the complex of free factors, Adv. Math. 256 (2014), 104–155. MR 3177291, DOI 10.1016/j.aim.2014.02.001
- Christopher J. Bishop and Peter W. Jones, Hausdorff dimension and Kleinian groups, Acta Math. 179 (1997), no. 1, 1–39. MR 1484767, DOI 10.1007/BF02392718
- Sébastien Blachère, Peter Haïssinsky, and Pierre Mathieu, Harmonic measures versus quasiconformal measures for hyperbolic groups, Ann. Sci. Éc. Norm. Supér. (4) 44 (2011), no. 4, 683–721 (English, with English and French summaries). MR 2919980, DOI 10.24033/asens.2153
- M. Bonk and O. Schramm, Embeddings of Gromov hyperbolic spaces, Geom. Funct. Anal. 10 (2000), no. 2, 266–306. MR 1771428, DOI 10.1007/s000390050009
- Marc Bourdon, Structure conforme au bord et flot géodésique d’un $\textrm {CAT}(-1)$-espace, Enseign. Math. (2) 41 (1995), no. 1-2, 63–102 (French, with English and French summaries). MR 1341941
- B. H. Bowditch, Geometrical finiteness for hyperbolic groups, J. Funct. Anal. 113 (1993), no. 2, 245–317. MR 1218098, DOI 10.1006/jfan.1993.1052
- Martin R. Bridson and André Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999. MR 1744486
- Ryan Broderick, Lior Fishman, Dmitry Kleinbock, Asaf Reich, and Barak Weiss, The set of badly approximable vectors is strongly $C^1$ incompressible, Math. Proc. Cambridge Philos. Soc. 153 (2012), no. 2, 319–339. MR 2981929, DOI 10.1017/S0305004112000242
- Anne Broise-Alamichel and Frédéric Paulin, Sur le codage du flot géodésique dans un arbre, Ann. Fac. Sci. Toulouse Math. (6) 16 (2007), no. 3, 477–527 (French, with English and French summaries). MR 2379050
- Yann Bugeaud, Approximation by algebraic numbers, Cambridge Tracts in Mathematics, vol. 160, Cambridge University Press, Cambridge, 2004. MR 2136100
- Pierre-Emmanuel Caprace, Yves Cornulier, Nicolas Monod, and Romain Tessera, Amenable hyperbolic groups, J. Eur. Math. Soc. (JEMS) 17 (2015), no. 11, 2903–2947. MR 3420526, DOI 10.4171/JEMS/575
- Christophe Champetier, Propriétés statistiques des groupes de présentation finie, Adv. Math. 116 (1995), no. 2, 197–262 (French, with English summary). MR 1363765, DOI 10.1006/aima.1995.1067
- Michel Coornaert, Mesures de Patterson-Sullivan sur le bord d’un espace hyperbolique au sens de Gromov, Pacific J. Math. 159 (1993), no. 2, 241–270 (French, with French summary). MR 1214072
- Françoise Dal’bo, Jean-Pierre Otal, and Marc Peigné, Séries de Poincaré des groupes géométriquement finis, Israel J. Math. 118 (2000), 109–124 (French, with English summary). MR 1776078, DOI 10.1007/BF02803518
- S. G. Dani, Bounded orbits of flows on homogeneous spaces, Comment. Math. Helv. 61 (1986), no. 4, 636–660. MR 870710, DOI 10.1007/BF02621936
- S. G. Dani, On orbits of endomorphisms of tori and the Schmidt game, Ergodic Theory Dynam. Systems 8 (1988), no. 4, 523–529. MR 980795, DOI 10.1017/S0143385700004673
- S. G. Dani, On badly approximable numbers, Schmidt games and bounded orbits of flows, Number theory and dynamical systems (York, 1987) London Math. Soc. Lecture Note Ser., vol. 134, Cambridge Univ. Press, Cambridge, 1989, pp. 69–86. MR 1043706, DOI 10.1017/CBO9780511661983.006
- T. Das, D. S. Simmons, and M. Urbański, Geometry and dynamics in Gromov hyperbolic metric spaces: with an emphasis on non-proper settings, http://arxiv.org/abs/1409.2155, preprint 2014.
- M. M. Dodson, M. V. Melián, D. Pestana, and S. L. Velani, Patterson measure and ubiquity, Ann. Acad. Sci. Fenn. Ser. A I Math. 20 (1995), no. 1, 37–60. MR 1304105
- Michael Edelstein, On non-expansive mappings of Banach spaces, Proc. Cambridge Philos. Soc. 60 (1964), 439–447. MR 164222
- Manfred Einsiedler and Jimmy Tseng, Badly approximable systems of affine forms, fractals, and Schmidt games, J. Reine Angew. Math. 660 (2011), 83–97. MR 2855820, DOI 10.1515/crelle.2011.078
- Lawrence C. Evans and Ronald F. Gariepy, Measure theory and fine properties of functions, Studies in Advanced Mathematics, CRC Press, Boca Raton, FL, 1992. MR 1158660
- Kenneth Falconer, Fractal geometry, John Wiley & Sons, Ltd., Chichester, 1990. Mathematical foundations and applications. MR 1102677
- K. J. Falconer and D. T. Marsh, On the Lipschitz equivalence of Cantor sets, Mathematika 39 (1992), no. 2, 223–233. MR 1203278, DOI 10.1112/S0025579300014959
- David Färm, Simultaneously non-dense orbits under different expanding maps, Dyn. Syst. 25 (2010), no. 4, 531–545. MR 2739401, DOI 10.1080/14689367.2010.482519
- David Färm, Tomas Persson, and Jörg Schmeling, Dimension of countable intersections of some sets arising in expansions in non-integer bases, Fund. Math. 209 (2010), no. 2, 157–176. MR 2660561, DOI 10.4064/fm209-2-4
- J. L. Fernández and M. V. Melián, Bounded geodesics of Riemann surfaces and hyperbolic manifolds, Trans. Amer. Math. Soc. 347 (1995), no. 9, 3533–3549. MR 1297524, DOI 10.1090/S0002-9947-1995-1297524-7
- Lior Fishman, Schmidt’s game on fractals, Israel J. Math. 171 (2009), 77–92. MR 2520102, DOI 10.1007/s11856-009-0041-x
- Lior Fishman, David Simmons, and Mariusz Urbański, Diophantine approximation in Banach spaces, J. Théor. Nombres Bordeaux 26 (2014), no. 2, 363–384 (English, with English and French summaries). MR 3320484
- Gernot Greschonig and Klaus Schmidt, Ergodic decomposition of quasi-invariant probability measures. part 2, Colloq. Math. 84/85 (2000), no. part 2, 495–514. Dedicated to the memory of Anzelm Iwanik. MR 1784210, DOI 10.4064/cm-84/85-2-495-514
- M. Gromov, Hyperbolic groups, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75–263. MR 919829, DOI 10.1007/978-1-4613-9586-7_{3}
- M. Gromov, Asymptotic invariants of infinite groups, Geometric group theory, Vol. 2 (Sussex, 1991) London Math. Soc. Lecture Note Ser., vol. 182, Cambridge Univ. Press, Cambridge, 1993, pp. 1–295. MR 1253544
- M. Gromov, Carnot-Carathéodory spaces seen from within, Sub-Riemannian geometry, Progr. Math., 144, Birkhäuser, Basel, 1996, pp. 79–323.
- Michael Handel and Lee Mosher, The free splitting complex of a free group, I: hyperbolicity, Geom. Topol. 17 (2013), no. 3, 1581–1672. MR 3073931, DOI 10.2140/gt.2013.17.1581
- S. W. Hensel, P. Przytycki, and R. C. H. Webb, Slim unicorns and uniform hyperbolicity for arc graphs and curve graphs, http://arxiv.org/abs/1301.5577, preprint 2013.
- Sa’ar Hersonsky and John Hubbard, Groups of automorphisms of trees and their limit sets, Ergodic Theory Dynam. Systems 17 (1997), no. 4, 869–884. MR 1468105, DOI 10.1017/S0143385797085040
- S. D. Hersonsky and F. Paulin, Hausdorff dimension of Diophantine geodesics in negatively curved manifolds, J. Reine Angew. Math. 539 (2001), 29–43.
- Sa’ar Hersonsky and Frédéric Paulin, Diophantine approximation for negatively curved manifolds, Math. Z. 241 (2002), no. 1, 181–226. MR 1930990, DOI 10.1007/s002090200412
- Sa’ar Hersonsky and Frédéric Paulin, Counting orbit points in coverings of negatively curved manifolds and Hausdorff dimension of cusp excursions, Ergodic Theory Dynam. Systems 24 (2004), no. 3, 803–824. MR 2060999, DOI 10.1017/S0143385703000300
- Sa’ar Hersonsky and Frédéric Paulin, A logarithm law for automorphism groups of trees, Arch. Math. (Basel) 88 (2007), no. 2, 97–108. MR 2299033, DOI 10.1007/s00013-006-1813-8
- Camille Horbez, Sphere paths in outer space, Algebr. Geom. Topol. 12 (2012), no. 4, 2493–2517. MR 3020214, DOI 10.2140/agt.2012.12.2493
- Richard Hill and Sanju L. Velani, The Jarník-Besicovitch theorem for geometrically finite Kleinian groups, Proc. London Math. Soc. (3) 77 (1998), no. 3, 524–550. MR 1643409, DOI 10.1112/S0024611598000550
- Ilya Kapovich and Nadia Benakli, Boundaries of hyperbolic groups, Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001) Contemp. Math., vol. 296, Amer. Math. Soc., Providence, RI, 2002, pp. 39–93. MR 1921706, DOI 10.1090/conm/296/05068
- Ilya Kapovich and Kasra Rafi, On hyperbolicity of free splitting and free factor complexes, Groups Geom. Dyn. 8 (2014), no. 2, 391–414. MR 3231221, DOI 10.4171/GGD/231
- D. Y. Kleinbock and G. A. Margulis, Logarithm laws for flows on homogeneous spaces, Invent. Math. 138 (1999), no. 3, 451–494. MR 1719827, DOI 10.1007/s002220050350
- Dmitry Kleinbock and Barak Weiss, Badly approximable vectors on fractals, Israel J. Math. 149 (2005), 137–170. Probability in mathematics. MR 2191212, DOI 10.1007/BF02772538
- Dmitry Kleinbock and Barak Weiss, Modified Schmidt games and Diophantine approximation with weights, Adv. Math. 223 (2010), no. 4, 1276–1298. MR 2581371, DOI 10.1016/j.aim.2009.09.018
- Dmitry Kleinbock and Barak Weiss, Modified Schmidt games and a conjecture of Margulis, J. Mod. Dyn. 7 (2013), no. 3, 429–460. MR 3296561, DOI 10.3934/jmd.2013.7.429
- Torbjörn Lundh, Geodesics on quotient manifolds and their corresponding limit points, Michigan Math. J. 51 (2003), no. 2, 279–304. MR 1992947, DOI 10.1307/mmj/1060013197
- John M. Mackay and Jeremy T. Tyson, Conformal dimension, University Lecture Series, vol. 54, American Mathematical Society, Providence, RI, 2010. Theory and application. MR 2662522
- Howard Masur and Saul Schleimer, The geometry of the disk complex, J. Amer. Math. Soc. 26 (2013), no. 1, 1–62. MR 2983005, DOI 10.1090/S0894-0347-2012-00742-5
- R. Daniel Mauldin and Mariusz Urbański, Dimensions and measures in infinite iterated function systems, Proc. London Math. Soc. (3) 73 (1996), no. 1, 105–154. MR 1387085, DOI 10.1112/plms/s3-73.1.105
- R. Daniel Mauldin and Mariusz Urbański, Graph directed Markov systems, Cambridge Tracts in Mathematics, vol. 148, Cambridge University Press, Cambridge, 2003. Geometry and dynamics of limit sets. MR 2003772
- Dustin Mayeda and Keith Merrill, Limit points badly approximable by horoballs, Geom. Dedicata 163 (2013), 127–140. MR 3032688, DOI 10.1007/s10711-012-9738-9
- Curtis T. McMullen, Winning sets, quasiconformal maps and Diophantine approximation, Geom. Funct. Anal. 20 (2010), no. 3, 726–740. MR 2720230, DOI 10.1007/s00039-010-0078-3
- María V. Melián and Domingo Pestana, Geodesic excursions into cusps in finite-volume hyperbolic manifolds, Michigan Math. J. 40 (1993), no. 1, 77–93. MR 1214056, DOI 10.1307/mmj/1029004675
- N. G. Moshchevitin, A note on badly approximable affine forms and winning sets, Mosc. Math. J. 11 (2011), no. 1, 129–137, 182 (English, with English and Russian summaries). MR 2808214, DOI 10.17323/1609-4514-2011-11-1-129-137
- Florence Newberger, On the Patterson-Sullivan measure for geometrically finite groups acting on complex or quaternionic hyperbolic space, Geom. Dedicata 97 (2003), 215–249. Special volume dedicated to the memory of Hanna Miriam Sandler (1960–1999). MR 2003699, DOI 10.1023/A:1023636513584
- Ken’ichi Ohshika, Discrete groups, Translations of Mathematical Monographs, vol. 207, American Mathematical Society, Providence, RI, 2002. Translated from the 1998 Japanese original by the author; Iwanami Series in Modern Mathematics. MR 1862839
- A. Yu. Ol′shanskiĭ, Almost every group is hyperbolic, Internat. J. Algebra Comput. 2 (1992), no. 1, 1–17. MR 1167524, DOI 10.1142/S0218196792000025
- S. J. Patterson, Diophantine approximation in Fuchsian groups, Philos. Trans. Roy. Soc. London Ser. A 282 (1976), no. 1309, 527–563. MR 568140, DOI 10.1098/rsta.1976.0063
- S. J. Patterson, The limit set of a Fuchsian group, Acta Math. 136 (1976), no. 3-4, 241–273. MR 450547, DOI 10.1007/BF02392046
- S. J. Patterson, Further remarks on the exponent of convergence of Poincaré series, Tohoku Math. J. (2) 35 (1983), no. 3, 357–373. MR 711352, DOI 10.2748/tmj/1178228995
- Frédéric Paulin, On the critical exponent of a discrete group of hyperbolic isometries, Differential Geom. Appl. 7 (1997), no. 3, 231–236. MR 1480536, DOI 10.1016/S0926-2245(96)00051-4
- Frédéric Paulin, Groupes géométriquement finis d’automorphismes d’arbres et approximation diophantienne dans les arbres, Manuscripta Math. 113 (2004), no. 1, 1–23 (French, with English summary). MR 2135558, DOI 10.1007/s00229-003-0413-1
- Rudolf H. Riedi and Benoit B. Mandelbrot, Multifractal formalism for infinite multinomial measures, Adv. in Appl. Math. 16 (1995), no. 2, 132–150. MR 1334146, DOI 10.1006/aama.1995.1007
- Thomas Roblin, Ergodicité et équidistribution en courbure négative, Mém. Soc. Math. Fr. (N.S.) 95 (2003), vi+96 (French, with English and French summaries). MR 2057305, DOI 10.24033/msmf.408
- Barbara Schapira, Lemme de l’ombre et non divergence des horosphères d’une variété géométriquement finie, Ann. Inst. Fourier (Grenoble) 54 (2004), no. 4, 939–987 (French, with English and French summaries). MR 2111017
- Wolfgang M. Schmidt, On badly approximable numbers and certain games, Trans. Amer. Math. Soc. 123 (1966), 178–199. MR 195595, DOI 10.1090/S0002-9947-1966-0195595-4
- Wolfgang M. Schmidt, Badly approximable systems of linear forms, J. Number Theory 1 (1969), 139–154. MR 248090, DOI 10.1016/0022-314X(69)90032-8
- Bernd Stratmann, Diophantine approximation in Kleinian groups, Math. Proc. Cambridge Philos. Soc. 116 (1994), no. 1, 57–78. MR 1274159, DOI 10.1017/S0305004100072388
- Bernd Stratmann, Fractal dimensions for Jarník limit sets of geometrically finite Kleinian groups; the semi-classical approach, Ark. Mat. 33 (1995), no. 2, 385–403. MR 1373031, DOI 10.1007/BF02559716
- B. Stratmann, The Hausdorff dimension of bounded geodesics on geometrically finite manifolds, Ergodic Theory Dynam. Systems 17 (1997), no. 1, 227–246. MR 1440778, DOI 10.1017/S0143385797069800
- B. Stratmann and S. L. Velani, The Patterson measure for geometrically finite groups with parabolic elements, new and old, Proc. London Math. Soc. (3) 71 (1995), no. 1, 197–220. MR 1327939, DOI 10.1112/plms/s3-71.1.197
- Dennis Sullivan, The density at infinity of a discrete group of hyperbolic motions, Inst. Hautes Études Sci. Publ. Math. 50 (1979), 171–202. MR 556586
- Dennis Sullivan, Disjoint spheres, approximation by imaginary quadratic numbers, and the logarithm law for geodesics, Acta Math. 149 (1982), no. 3-4, 215–237. MR 688349, DOI 10.1007/BF02392354
- Dennis Sullivan, Entropy, Hausdorff measures old and new, and limit sets of geometrically finite Kleinian groups, Acta Math. 153 (1984), no. 3-4, 259–277. MR 766265, DOI 10.1007/BF02392379
- Jimmy Tseng, Badly approximable affine forms and Schmidt games, J. Number Theory 129 (2009), no. 12, 3020–3025. MR 2560849, DOI 10.1016/j.jnt.2009.05.006
- Jimmy Tseng, Schmidt games and Markov partitions, Nonlinearity 22 (2009), no. 3, 525–543. MR 2480100, DOI 10.1088/0951-7715/22/3/001
- Jussi Väisälä, Gromov hyperbolic spaces, Expo. Math. 23 (2005), no. 3, 187–231. MR 2164775, DOI 10.1016/j.exmath.2005.01.010
- Jussi Väisälä, Hyperbolic and uniform domains in Banach spaces, Ann. Acad. Sci. Fenn. Math. 30 (2005), no. 2, 261–302. MR 2173365
- S. L. Velani, Diophantine approximation and Hausdorff dimension in Fuchsian groups, Math. Proc. Cambridge Philos. Soc. 113 (1993), no. 2, 343–354. MR 1198417, DOI 10.1017/S0305004100076015
- S. L. Velani, An application of metric Diophantine approximation in hyperbolic space to quadratic forms, Publ. Mat. 38 (1994), no. 1, 175–185. MR 1291959, DOI 10.5565/PUBLMAT_{3}8194_{1}2
- Sanju L. Velani, Geometrically finite groups, Khintchine-type theorems and Hausdorff dimension, Math. Proc. Cambridge Philos. Soc. 120 (1996), no. 4, 647–662. MR 1401954, DOI 10.1017/S0305004100001626
- Lai Sang Young, Dimension, entropy and Lyapunov exponents, Ergodic Theory Dynam. Systems 2 (1982), no. 1, 109–124. MR 684248, DOI 10.1017/s0143385700009615