Illinois Journal of Mathematics

Growth in free groups (and other stories)—twelve years later

Igor Rivin

Full-text: Open access

Abstract

We start by studying the distribution of (cyclically reduced) elements of the free groups $F_n$ with respect to their Abelianization (or equivalently, their class in $H_1(F_n, \mathbf{Z})$). We derive an explicit generating function, and a limiting distribution, by means of certain results (of independent interest) on Chebyshev polynomials; we also prove that the reductions mod $\mod p$ ($p$—an arbitrary prime) of these classes are asymptotically equidistributed, and we study the deviation from equidistribution. We extend our techniques to a more general setting and use them to study the statistical properties of long cycles (and paths) on regular (directed and undirected) graphs. We return to the free group to study some growth functions of the number of conjugacy classes as a function of their cyclically reduced length.

Article information

Source
Illinois J. Math., Volume 54, Number 1 (2010), 327-370.

Dates
First available in Project Euclid: 9 March 2011

Permanent link to this document
https://projecteuclid.org/euclid.ijm/1299679752

Digital Object Identifier
doi:10.1215/ijm/1299679752

Mathematical Reviews number (MathSciNet)
MR2776999

Zentralblatt MATH identifier
1225.05128

Subjects
Primary: 05C25: Graphs and abstract algebra (groups, rings, fields, etc.) [See also 20F65] 05C20: Directed graphs (digraphs), tournaments 05C38: Paths and cycles [See also 90B10] 60J10: Markov chains (discrete-time Markov processes on discrete state spaces) 60F05: Central limit and other weak theorems 42A05: Trigonometric polynomials, inequalities, extremal problems
Secondary: 22E27: Representations of nilpotent and solvable Lie groups (special orbital integrals, non-type I representations, etc.)

Citation

Rivin, Igor. Growth in free groups (and other stories)—twelve years later. Illinois J. Math. 54 (2010), no. 1, 327--370. doi:10.1215/ijm/1299679752. https://projecteuclid.org/euclid.ijm/1299679752


Export citation

References

  • T. Adachi and T. Sunada, Homology of closed geodesics in a negatively curved manifold, J. Differential Geom. 26 (1987), 81–99.
  • H. Bass, The Ihara–Selberg zeta function of a tree lattice, Internat. J. Math. 3 (1992), 717–797.
  • A. F. Beardon, J. Lehner and M. Sheingorn, Closed geodesics on a Riemann surface with application to the Markov spectrum, Trans. Amer. Math. Soc. 295 (1986), 635–647.
  • G. Besson, G. Courtois and S. Gallot, Entropies et rigidités des espaces localement symétriques de courbure strictement négative, Geom. Funct. Anal. 5 (1995), 731–799.
  • R. Bowen, Symbolic dynamics for hyperbolic flows, Amer. J. Math. 95 (1973), 429–460.
  • D. Calegari and K. Fujiwara, Combable functions, quasimorphisms, and the central limit theorem, Ergodic Theory Dynam. Systems 30 (2010), 1343–1369.
  • M. Coornaert, Asymptotic growth of conjugacy classes in finitely-generated free groups, Internat. J. Algebra Comput. 15 (2005), 887–892.
  • C. L. Epstein, Asymptotics for closed geodesics in a homology class, the finite volume case, Duke Math. J. 55 (1987), 717–757.
  • D. B. A. Epstein, J. W. Cannon, D. F. Holt, S. V. F. Levy, M. S. Paterson and W. P. Thurston, Word processing in groups, Jones and Bartlett Publishers, Boston, MA, 1992.
  • W. Feller, An introduction to probability theory and its applications. Vol. II, 2nd ed., Wiley, New York, 1971.
  • W. Fulton and J. Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer, New York, 1991.
  • M. Gromov, Hyperbolic groups, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75–263.
  • M. Gromov, Volume and bounded cohomology, Inst. Hautes Études Sci. Publ. Math. 56 (1983), 5–99. 1982.
  • Y. Guivarc'h and Y. Le Jan, Asymptotic winding of the geodesic flow on modular surfaces and continued fractions, Ann. Sci. École Norm. Sup. (4) 26 (1993), 23–50.
  • Y. Guivarch and Y. Le Jan, Note rectificative: “Asymptotic winding of the geodesic flow on modular surfaces and continued fractions” [Ann. Sci. École Norm. Sup. (4) 26 (1993), 23–50]. Ann. Sci. École Norm. Sup. (4) 29 (1996), 811–814.
  • G. H. Hardy and E. M. Wright, An introduction to the theory of numbers, 5th ed., The Clarendon Press, Oxford University Press, New York, 1979.
  • M. Horsham and R. Sharp, Lengths, quasi-morphisms and statistics for free groups, Spectral analysis in geometry and number theory, Contemp. Math., vol. 484, Amer. Math. Soc., Providence, RI, 2009, pp. 219–237.
  • H. Huber, Zur analytischen theorie hyperbolischen raumformen und bewegungsgruppen, Math. Ann. 138 (1959), 1–26.
  • H. Huber, Zur analytischen theorie hyperbolischer raumformen und bewegungsgruppen. II, Math. Ann. 142 (1960/1961), 385–398.
  • H. Huber, Zur analytischen theorie hyperbolischer raumformen und bewegungsgruppen. II, Math. Ann. 143 (1961), 463–464.
  • Y. Ihara, On discrete subgroups of the two by two projective linear group over $p$-adic fields, J. Math. Soc. Japan 18 (1966), 219–235.
  • I. Kapovich and T. Nagnibeda, The Patterson–Sullivan embedding and minimal volume entropy for outer space, Geom. Funct. Anal. 17 (2007), 1201–1236.
  • I. Kapovich and I. Rivin, On the absence of McShane-type identities for the outer space, J. Algebra 320 (2008), 3659–3670.
  • I. Kapovich, I. Rivin, P. Schupp and V. Shpilrain, Densities in free groups and $\Bbb Z\sp k$, visible points and test elements, Math. Res. Lett. 14 (2007), 263–284.
  • I. Kapovich and P. Schupp, On group-theoretic models of randomness and genericity, Groups Geom. Dyn. 2 (2008), 383–404.
  • T. Kato, Perturbation theory for linear operators, Classics in Mathematics, Springer, Berlin, 1995.
  • A. Katok, Entropy and closed geodesics, Ergodic Theory Dynam. Systems 2 (1983), 339–365.
  • A. Katsuda and T. Sunada, Homology of closed geodesics in certain Riemannian manifolds, Proc. Amer. Math. Soc. 96 (1986), 657–660.
  • A. Katsuda and T. Sunada, Homology and closed geodesics in a compact Riemann surface, Amer. J. Math. 110 (1988), 145–155.
  • A. Katsuda and T. Sunada, Closed orbits in homology classes, Inst. Hautes Études Sci. Publ. Math. 71 (1990), 5–32.
  • L. M. Koganov, The number of cyclically irreducible words in the alphabet of a free group of finite rank, Kibernet. Sistem. Anal. 43 (2007), 39–48, 189.
  • E. Kowalski, The large sieve and its applications, Cambridge Tracts in Mathematics, vol. 175, Cambridge Univ. Press, Cambridge, 2008.
  • S. P. Lalley, Closed geodesics in homology classes on surfaces of variable negative curvature, Duke Math. J. 58 (1989), 795–821.
  • S. Lim, Minimal volume entropy for graphs, Trans. Amer. Math. Soc. 360 (2008), 5089–5100.
  • G. A. Margulis, Certain applications of ergodic theory to the investigation of manifolds of negative curvature, Funkcional. Anal. i Priložen. 3 (1969), 89–90.
  • G. A. Margulis, On some aspects of the theory of Anosov systems, Springer Monographs in Mathematics, Springer, Berlin, 2004.
  • D. K. Maslen, Efficient computation of Fourier transforms on compact groups, J. Fourier Anal. Appl. 4 (1998), 19–52.
  • G. McShane and I. Rivin, Geometry of geodesics and a norm on homology, Int. Math. Res. Not. 2 (1995), 61–69.
  • G. McShane and I. Rivin, Simple curves on hyperbolic tori, Comptes Rendus Acad. Sci. Paris Sér. I. Math. 320 (1995), 1523–1528.
  • M. Mirzakhani, Growth of the number of simple closed geodesics on hyperbolic surfaces, Ann. of Math. (2) 168 (2008), 97–125.
  • W. Parry and M. Pollicott, The Chebotarov theorem for Galois coverings of axiom a flows, Ergodic Theory Dynam. Systems 6 (1986), 133–148.
  • Y. N. Petridis and M. S. Risager, Discrete logarithms in free groups, Proc. Amer. Math. Soc. 134 (2006), 1003–1012 (electronic).
  • Y. N. Petridis and M. S. Risager, Equidistribution of geodesics on homology classes and analogues for free groups, Forum Math. 20 (2008), 783–815.
  • R. Phillips and P. Sarnak, Geodesics in homology classes, Duke Math. J. 55 (1987), 287–297.
  • I. Rivin, Growth in free groups (and other stories), preprint, available at arXiv:math/ 9911076v2, 1999.
  • I. Rivin, Simple curves on surfaces, Geometriae Dedicata 87 (2001), 345–360.
  • I. Rivin, Some properties of the conjugacy class growth function, Group theory, statistics, and cryptography, Contempory Mathematics, vol. 360, Amer. Math. Soc., Providence, RI, 2004, pp. 113–117.
  • I. Rivin, Symmetrized Chebyshev polynomials, Proc. Amer. Math. Soc. 133 (2005), 1299–1305 (electronic).
  • I. Rivin, A simpler proof of Mirzakhani's simple curve asymptotics, Geom. Dedicata 114 (2005), 229–235.
  • I. Rivin, Walks on groups, counting reducible matrices, polynomials, and surface and free group automorphisms, Duke Math. J. 142 (2008), 353–379.
  • I. Rivin, Walks on graphs and lattices–-effective bounds and applications, Forum Math. 21 (2009), 673–685.
  • I. Rivin, Zariski density and genericity, Int. Math. Res. Not. 19 (2010), 3649–3657.
  • T. J. Rivlin, Chebyshev polynomials, 2nd ed., Pure and Applied Mathematics (New York). Wiley, New York, 1990.
  • M. Rubinstein and P. Sarnak, Chebyshev's bias, Experiment. Math. 3 (1994), 173–197.
  • I. Schur, Gesammelte Abhandlungen. Band III, Springer, Berlin, 1973, pp. 422–453.
  • C. E. Shannon, A mathematical theory of communication, Bell System Tech. J. 27 (1948), 379–423, 623–656.
  • R. Sharp, Local limit theorems for free groups, Math. Ann. 321 (2001), 889–904.
  • A. N. Shiryaev, Probability, 2nd ed., Graduate Texts in Mathematics, vol. 95, Springer, New York, 1996.
  • H. M. Stark and A. A. Terras, Zeta functions of finite graphs and coverings, Adv. Math. 121 (1996), 124–165.
  • H. M. Stark and A. A. Terras, Zeta functions of finite graphs and coverings. II, Adv. Math. 154 (2000), 132–195.
  • A. A. Terras and H. M. Stark, Zeta functions of finite graphs and coverings. III, Adv. Math. 208 (2007), 467–489.
  • I. Vardi, Dedekind sums have a limiting distribution, Int. Math. Res. Not. 1 (1993), 1–12.
  • A. Weil, L'intégration dans les groupes topologiques et ses applications, Actual. Sci. Ind., vol. 869, Hermann et Cie., Paris, 1940.