Abstract
The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effective versions of these rigidity results by ensuring that, for two incommensurable arithmetic manifolds of bounded volume, the length sets (resp., the complex length sets) must disagree for a length that can be explicitly bounded as a function of volume. We also prove an effective version of a similar rigidity result established by the second author with Reid on a surface analog of the length spectrum for hyperbolic 3-manifolds. These effective results have corresponding algebraic analogs involving maximal subfields and quaternion subalgebras of quaternion algebras. To prove these effective rigidity results, we establish results on the asymptotic behavior of certain algebraic and geometric counting functions which are of independent interest.
Similar content being viewed by others
References
Apostol, T.M.: Introduction to Analytic Number Theory. Undergraduate texts in mathematics. Springer, Berlin (1976)
Artin, E.: Über eine neue Art von L-Reihen. Abh. Math. Sem. Univ. Hambg. 3, 89–108 (1923)
Belolipetsky, M., Ellenberg, J., Venkatesh, A.: Counting maximal arithmetic subgroups, with an appendix. Duke Math. J. 140, 1–33 (2007)
Belolipetsky, M., Gelander, T., Lubotzky, A., Shalev, A.: Counting arithmetic lattices and surfaces. Ann. Math. 172, 2197–2221 (2010)
Belolipetsky, M., Lubotzky, A.: Manifolds counting and class field towers. Adv. Math. 229, 3123–3146 (2012)
Bhargava, M.: Higher composition laws and applications. Int. Congr. Math. Eur. Math. Soc. 2, 271–294 (2006)
Borel, A.: Commensurability classes and volumes of hyperbolic \(3\)-manifolds. Ann. Sc. Norm. Sup. Pisa Cl. Sci. (4) 8(1), 1–33 (1981)
Borel, A., Prasad, G.: Finiteness theorems for discrete subgroups of bounded covolume in semi-simple groups. Inst. Hautes Études Sci. Publ. Math. 69, 119–171 (1989)
Brindza, B.: On the generators of \(S\)-unit groups in algebraic number fields. Bull. Austral. Math. Soc. 43, 325–329 (1991)
Brueggeman, S., Doud, D.: Local corrections of discriminant bounds and small degree extensions of quadratic base fields. Int. J. Number Theory 4, 349–361 (2008)
Burger, M., Gelander, T., Lubotzky, A., Mozes, S.: Counting hyperbolic manifolds. Geom. Funct. Anal. 12, 1161–1173 (2002)
Buser, P.: Geometry and spectra of compact Riemann surfaces. Birkhäuser, Basel (2010)
Cassels, J.W.S., Frölich, A.: Algebraic Number Theory. London Mathematical Society, London (1967)
Chernousov, V.I., Rapinchuk, A.S., Rapinchuk, I.A.: On the genus of a division algebra. C. R. Math. Acad. Sci. Paris 350, 17–18 (2012)
Chinburg, T., Friedman, E.: The smallest arithmetic hyperbolic three-orbifold. Invent. Math. 86, 507–527 (1986)
Chinburg, T., Friedman, E.: An embedding theorem for quaternion algebras. J. Lond. Math. Soc. 60, 33–44 (1999)
Chinburg, T., Friedman, E., Jones, K.N., Reid, A.W.: The arithmetic hyperbolic 3-manifold of smallest volume. Ann. Sc. Norm. Sup. Pisa Cl. Sci. (4) 30, 1–40 (2001)
Chinburg, T., Hamilton, E., Long, D.D., Reid, A.W.: Geodesics and commensurability classes of arithmetic hyperbolic 3-manifolds. Duke Math. J. 145, 25–44 (2008)
Chinburg, T., Reid, A.W.: Closed hyperbolic 3-manifolds whose closed geodesics all are simple. J. Differ. Geom. 38, 545–558 (1993)
Cohen, H., Diaz, F.D.Y., Olivier, M.: Enumerating quartic dihedral extensions of Q. Compos. Math. 133, 65–93 (2002)
Cohen, H.: Constructing and counting number fields. Int. Congr. Math. II, 129–138 (2002)
Cohn, H.: The density of abelian cubic fields. Proc. Am. Math. Soc. 5, 476–477 (1954)
Datskovsky, B., Wright, D.J.: Density of discriminants of cubic extensions. J. Reine Angew. Math. 386, 116–138 (1988)
Davenport, H., Heilbronn, H.: On the density of discriminants of cubic fields. II. Proc. R. Soc. Lond. Ser. A 322, 405–420 (1971)
Delange, H.: Théorèmes taubériens et applications arithmétiques. Mëm. Soc. R. Sci. Liège (4) 16, 87 (1955)
Delange, H.: Généralisation du théorème de Ikehara. Ann. Sci. Ecole Norm. Sup. (3) 71, 213–242 (1954)
Dusart, P.: Explicit estimates of some functions over primes. Ramanujan J. 45(1), 227–251. https://doi.org/10.1007/s11139-016-9839-4 (2018)
Futer, D., Millichap, C.: Spectrally similar incommensurable 3-manifolds. Proc. Lond. Math. Soc. 115, 411–447 (2017)
Gangolli, R.: The length spectra of some compact manifolds. J. Differ. Geom. 12, 403–424 (1977)
Garibaldi, S., Saltman, D.: Quaternion algebras with the same subfields. In: Colliot-Thélène, J-L., Garibaldi, S., Ramdorai, S., Suresh, V. (eds.) Quadratic Forms, Linear Algebraic Groups, and Cohomology: Developments in Mathematics, vol. 18. Springer, Berlin, pp. 225–238 (2010)
Gelander, T.: Homotopy type and volume of locally symmetric manifolds. Duke Math. J. 124, 459–515 (2004)
Gelander, T., Glasner, Y.: Countable primitive groups. Geom. Funct. Anal. 17, 1479–1523 (2008)
Godement, R.: Domaines fondamentaux des groupes arithmétiques, Séminaire Bourbaki (1962/63). Fasc. 3(257), 25 pp. Secrétariat mathématique, Paris
Goldfeld, D., Lubotzky, A., Nikolov, N., Pyber, L.: Counting primes, groups, and manifolds. Proc. Natl. Acad. Sci. U.S.A. 101, 13428–13430 (2004)
Goldfeld, D., Lubotzky, A., Pyber, L.: Counting congruence subgroups. Acta Math. 193, 73–104 (2004)
Golsefidy, A.S.: Counting lattices in simple Lie groups: the positive characteristic case. Duke Math. J. 161, 431–481 (2012)
Hajdu, L.: A quantitative version of Dirichlet’s \(S\)-unit theorem in algebraic number fields. Publ. Math. Debr. 42, 239–246 (1993)
Hardy, G.H., Wright, E.M.: An Introduction to the Theory of Numbers. Oxford University Press, Oxford (2008)
Huber, H.: Zur analytischen theorie hyperbolischer Raumformen und Bewegungsgruppen. II. Math. Ann. 143, 463–464 (1961)
Lagarias, J.C., Montgomery, H.L., Odlyzko, A.M.: A bound for the least prime ideal in the Chebotarev density theorem. Invent. Math. 54, 271–296 (1979)
Lang, S.: Algebraic Number Theory. Springer, Berlin (1994)
Larsen, M., Lubotzky, A.: Representation growth of linear groups. J. Eur. Math. Soc. 10, 351–390 (2008)
Liebeck, M., Shalev, A.: Fuchsian groups, coverings of Riemann surfaces, subgroup growth, random quotients and random walks. J. Algebra 276, 552–601 (2004)
Linowitz, B.: Selectivity in quaternion algebras. J. Number Theory 132, 1425–1437 (2012)
Linowitz, B.: Families of mutually isospectral Riemannian orbifolds. Bull. Lond. Math. Soc. 47, 47–54 (2015)
Linowitz, B., McReynolds, D.B., Pollack, P., Thompson, L.: Bounded gaps between primes and the length spectra of arithmetic hyperbolic 3-orbifolds. C. R. Math. Acad. Sci. Paris 355, 1121–1126 (2017)
Linowitz, B., Meyer, J.S., Pollack, P.: The length spectra of arithmetic hyperbolic 3-manifolds and their totally geodesic surfaces. N.Y. J. Math. 21, 955–972 (2015)
Louboutin, S.: The Brauer–Siegel theorem. J. Lond. Math. Soc. 72, 40–52 (2005)
Lubotzky, A., Nikolov, N.: Subgroup growth of lattices in semisimple Lie groups. Acta Math. 193, 105–139 (2004)
Lubotzky, A., Samuels, B., Vishne, U.: Division algebras and non-commensurable isospectral manifolds. Duke Math. J. 135, 361–379 (2006)
Lubotzky, A., Segal, D.: Subgroup Growth. Birkhäuser, Basel (2003)
Macbeath, A.: Commensurability of cocompact three dimensional hyperbolic groups. Duke Math. J. 50, 1245–1253 (1983)
Maclachlan, C., Reid, A.W.: Commensurability classes of arithmetic Kleinian groups and their Fuchsian subgroups. Math. Proc. Camb. Philos. Soc. 102, 251–257 (1987)
Maclachlan, C., Reid, A.W.: The Arithmetic of Hyperbolic 3-Manifolds. Springer, Berlin (2003)
Marcus, D.A.: Number Fields. Springer, Berlin (1977)
Margulis, G.A.: Certain applications of ergodic theory to the investigation of manifolds of negative curvature. Funkc. Anal. i Prilož. 3, 89–90 (1969)
Margulis, G.A.: Discrete Subgroups of Semisimple Lie Groups. Springer, Berlin (1991)
McReynolds, D.B.: Geometric spectra and commensurability. Can. J. Math. 67, 184–197 (2015)
McReynolds, D.B., Reid, A.W.: The genus spectrum of a hyperbolic 3-manifold. Math. Res. Lett. 21, 169–185 (2014)
Meyer, J.S.: Division algebras with infinite genus. Bull. Lond. Math. Soc. 46, 463–468 (2014)
Millichap, C.: Factorial growth rates for the number of hyperbolic 3-manifolds of a given volume. Proc. Am. Math. Soc. 143, 2201–2214 (2015)
Millichap, C.: Mutations and short geodesics in hyperbolic 3-manifolds. Commun. Anal. Geom. 25, 625–683 (2017)
Neukirch, J.: Algebraic Number Theory. Springer, Berlin (1999)
Odlyzko, A.M.: Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions: a survey of recent results. Sém. Théor. Nombres Bordeaux (2) 2, 119–141 (1990)
Pierce, R.S.: Associative Algebras. Springer, Berlin (1982)
Pethő, A., Schmitt, S.: Elements with bounded height in number fields. Period. Math. Hung. 43, 31–41 (2001)
Platonov, V., Rapinchuk, A.: Algebraic Groups and Number Fields. Academic Press, London (1994)
Poitou, G.: Sur les petits discriminants. In: Séminaire Delange–Pisot–Poitou, 18e année: (1976/77), Théorie des nombres, Fasc. 1 (French), pages Exp. No. 6, 18. Secrétariat Math., Paris (1977)
Prasad, G., Rapinchuk, A.: Weakly commensurable arithmetic groups and isospectral locally symmetric spaces. Publ. Math. Inst. Hautes Étud. Sci. 109, 113–184 (2009)
Raghunathan, M.S.: Discrete Subgroups of Lie Groups. Springer, Berlin (1972)
Reid, A.W.: A note on trace fields of Kleinian groups. Bull. Lond. Math. Soc. 22, 349–352 (1990)
Reid, A.W.: Isospectrality and commensurability of arithmetic hyperbolic \(2\)- and \(3\)-manifolds. Duke Math. J. 65, 215–228 (1992)
Reiner, I.: Maximal Orders. Oxford University Press, Oxford (2003)
Rudin, W.: Real and Complex Analysis. McGraw-Hill Book Co., New York (1987)
Serre, J.-P.: Quelques applications du théorème de densité de Chebotarev. Inst. Hautes Études Sci. Publ. Math. 54, 323–401 (1981)
Sunada, T.: Riemannian coverings and isospectral manifolds. Ann. Math. 121, 169–186 (1985)
Takeuchi, K.: Commensurability classes of arithmetic triangle groups. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 24, 201–212 (1977)
Tits, J.: Classification of algebraic semisimple groups. In: Borel, A., Mostow, G.D. (eds.) Algebraic Groups and Discontinuous Subgroups. Proceedings of Symposia in Pure Mathematics, vol. 9, pp. 33–62. American Mathematical Society, Providence, RI (1966)
Thurston, W.P.: The Geometry and Topology of 3-Manifolds. Princeton University, Princeton (1979)
Vignéras, M.-F.: Variétés riemanniennes isospectrales et non isométriques. Ann. Math. 112, 21–32 (1980)
Wang, S.: An effective version of the Grunwald–Wang theorem. Ph.D. thesis, Caltech (2001)
Wang, S.: Grunwald–Wang theorem, an effective version. Sci. China Math. 58, 1589–1606 (2015)
Wirsing, E.: Das asymptotische Verhalten von Summen über multiplikative Funktionen. Math. Annalen 143, 75–102 (1961)
Wood, M.M.: On the probabilities of local behaviors in abelian field extensions. Compos. Math. 146, 102–128 (2010)
Acknowledgements
The authors thank Jayadev Athreya, Richard Canary, Ted Chinburg, Britain Cox, Peter Doyle, Daniel Fiorilli, Tsachik Gelander, Grant Lakeland, Chris Leininger, Jeff Meyer, Nick Miller, Gopal Prasad, Alan Reid, and Matthew Stover for conversations on the material in this article. We also thank the anonymous referee for detailed comments on an earlier version that corrected a mistake in Theorem 1.1 and helped improve the exposition. BL was partially supported by NSF RTG Grant DMS-1045119 and an NSF Mathematical Sciences Postdoctoral Fellowship. DBM was partially supported by NSF Grant DMS-1105710. PP was partially supported by NSF Grant DMS-1402268. LT was partially supported NSF VIGRE Grant DMS-0738586 and by an AMS Simons Travel Grant.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Linowitz, B., McReynolds, D.B., Pollack, P. et al. Counting and effective rigidity in algebra and geometry. Invent. math. 213, 697–758 (2018). https://doi.org/10.1007/s00222-018-0796-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-018-0796-y