×

Torsion homology growth and cycle complexity of arithmetic manifolds. (English) Zbl 1351.11031

Let \(M_0\) be a three-dimensional hyperbolic congruence manifold, i.e., coming from a congruence subgroup in some arithmetic group. The authors discuss the following conjecture: There is a constant \(C\) such that for every congruence manifold \(M\) of volume \(V\) which covers \(M_0\) the second homology \(H_2(M,\mathbb Z)\) is generated by classes of immersed surfaces of genus less than \(V^C.\)
This question is closely related to studying torsion in the homology of the covering manifolds, which has been taken up by the first and third author in [J. Inst. Math. Jussieu 12, No. 2, 391–447 (2013; Zbl 1266.22013)]. The authors in particular show, that – given two further conditions – the truth of the conjecture would imply that for a sequence of covering congruence manifolds \(M_i\to M_0\) the fraction \(\frac{\log \#H_1(M_i,\mathbb Z)_{\mathrm{tors}}}{\mathrm{vol}(M_i)}\) converges to \(\frac 1{6\pi}\) if the volumes of the \(M_i\) go to infinity. The two further assumptions are precise versions of the wish that there are no small Laplace-eigenvalues on the \(M_i\) and that the first Betti-number of \(M_i\) remains small compared to \(\text{vol}(M_i).\)
One of the main ingredients is the Cheeger-Müller-Theorem which here can be rewritten in a manner relating the order of the torsion-part in \(H_1(M,\mathbb Z)\) and certain regulators, as well as the analytic torsion of \(M.\)
The arithmeticity condition implies the possibility to use Hecke-operators in order to prevent cycles from being too wild.
After the proof of the main theorem, the authors spend more than half of the paper in exhibiting two classes of examples where the conjecture is satisfied. For both types of examples the arithmetic groups have to satisfy further conditions of arithmetic and topological nature, and in this part of the paper the equivariant Birch-Swinnerton-Dyer conjecture or base-change arguments enter into the picture. In a last section, some numerical examples are computed.
The paper is very well written. There is a large amount of topological and automorphic ingredients which the reader is guided through in a careful way.

MSC:

11F75 Cohomology of arithmetic groups
57M50 General geometric structures on low-dimensional manifolds

Citations:

Zbl 1266.22013

Software:

LMFDB
PDFBibTeX XMLCite
Full Text: DOI arXiv Euclid Link

References:

[1] M. Abert, N. Bergeron, I. Biringer, T. Gelander, N. Nikolov, J. Raimbault, and I. Samet, On the growth of \(L^{2}\)-invariants for sequences of lattices in Lie groups , preprint, [math.RT]. arXiv:1210.2961v2 · Zbl 1223.53039
[2] U. K. Anandavardhanan and D. Prasad, On the \(\operatorname{SL}(2)\) period integral , Amer. J. Math. 128 (2006), 1429-1453. · Zbl 1117.11030 · doi:10.1353/ajm.2006.0000
[3] U. K. Anandavardhanan and D. Prasad, A local-global question in automorphic forms , Compos. Math. 149 (2013), 959-995. · Zbl 1329.11050 · doi:10.1112/S0010437X12000772
[4] Y. Benoist and H. Oh, Effective equidistribution of \(S\)-integral points on symmetric varieties , Ann. Inst. Fourier (Grenoble) 62 (2010), 1889-1942. · Zbl 1330.11044 · doi:10.5802/aif.2738
[5] N. Bergeron, P. Linnell, W. Lück, and R. Sauer, On the growth of Betti numbers in \(p\)-adic analytic towers , Groups Geom. Dyn. 8 (2014), 311-329. · Zbl 1298.55007 · doi:10.4171/GGD/227
[6] N. Bergeron and A. Venkatesh, The asymptotic growth of torsion homology for arithmetic groups , J. Inst. Math. Jussieu 12 (2013), 391-447. · Zbl 1266.22013 · doi:10.1017/S1474748012000667
[7] B. J. Birch, “Elliptic curves over \(Q\): A progress report” in 1969 Number Theory Institute (Stony Brook, N.Y., 1969) , Amer. Math. Soc., Providence, 1971, 396-400.
[8] B. J. Birch and H. P. F. Swinnerton-Dyer, Notes on elliptic curves, II , J. Reine Angew. Math. 218 (1965), 79-108. · Zbl 0147.02506 · doi:10.1515/crll.1965.218.79
[9] W. Bley, Numerical evidence for the equivariant Birch and Swinnerton-Dyer conjecture , Exp. Math. 20 (2011), 426-456. · Zbl 1277.11072 · doi:10.1080/10586458.2011.565259
[10] V. Blomer and G. Harcos, Twisted \(L\)-functions over number fields and Hilbert’s eleventh problem , Geom. Funct. Anal. 20 (2010), 1-52. · Zbl 1221.11121 · doi:10.1007/s00039-010-0063-x
[11] J. Bolte, G. Steil, and F. Steiner, Arithmetical chaos and violation of universality in energy level statistics , Phys. Rev. Lett. 69 , no. 15 (1992), 2188-2191. · Zbl 0968.81515 · doi:10.1103/PhysRevLett.69.2188
[12] A. Borel and N. Wallach, Continuous Cohomology, Discrete Subgroups, and Representations of Reductive Groups , 2nd ed., Math. Surveys Monogr. 67 , Amer. Math. Soc., Providence, 2000. · Zbl 0980.22015
[13] S. Bosch, W. Lütkebohmert, and M. Raynaud, Néron Models , Ergeb. Math. Grenzgeb. (3) 21 , Springer, Berlin, 1990. · Zbl 0705.14001
[14] J. F. Brock and N. M. Dunfield, Injectivity radii of hyperbolic integer homology \(3\)-spheres , Geom. Topol. 19 (2015), 497-523. · Zbl 1312.57022 · doi:10.2140/gt.2015.19.497
[15] F. Brumley, Effective multiplicity one on \(\mathrm{GL}_{N}\) and narrow zero-free regions for Rankin-Selberg \(L\)-functions , Amer. J. Math. 128 (2006), 1455-1474. · Zbl 1137.11058 · doi:10.1353/ajm.2006.0042
[16] D. Bump, Automorphic Forms and Representations , Cambridge Stud. Adv. Math. 55 , Cambridge Univ. Press, Cambridge, 1997. · Zbl 0868.11022
[17] C. J. Bushnell, Hereditary orders, Gauss sums and supercuspidal representations of \(\mathrm{GL}_{N}\) , J. Reine Angew. Math. 375/376 (1987), 184-210. · Zbl 0601.12025 · doi:10.1515/crll.1987.375-376.184
[18] F. Calegari and M. Emerton, Bounds for multiplicities of unitary representations of cohomological type in spaces of cusp forms , Ann. of Math. (2) 170 (2009), 1437-1446. · Zbl 1195.22015 · doi:10.4007/annals.2009.170.1437
[19] F. Calegari and A. Venkatesh, A torsion Jacquet-Langlands correspondence , preprint, [math.NT]. arXiv:1212.3847v1
[20] B. Casselman, “The asymptotic behavior of matrix coefficients” in Introduction to Admissible Representations of \(p\)-Adic Groups , preprint, (accessed 2 February 2016).
[21] J. Cheeger, Analytic torsion and the heat equation , Ann. of Math. (2) 109 (1979), 259-322. · Zbl 0412.58026 · doi:10.2307/1971113
[22] L. Clozel, “Motifs et formes automorphes: applications du principe de fonctorialité” in Automorphic Forms, Shimura Varieties, and \(L\)-Functions, Vol. I (Ann Arbor, MI, 1988) , Perspect. Math. 10 , Academic Press, Boston, 1990, 77-159.
[23] J. E. Cremona, Hyperbolic tessellations, modular symbols, and elliptic curves over complex quadratic fields , Compos. Math. 51 (1984), 275-324. · Zbl 0546.14027
[24] J. E. Cremona and E. Whitley, Periods of cusp forms and elliptic curves over imaginary quadratic fields , Math. Comp. 62 (1994), 407-429. · Zbl 0798.11015 · doi:10.2307/2153419
[25] B. Edixhoven, Néron models and tame ramification , Compos. Math. 81 (1992), 291-306. · Zbl 0759.14033
[26] T. Finis, E. Lapid, and W. Müller, On the degrees of matrix coefficients of intertwining operators , Pacific J. Math. 260 (2012), 433-456. · Zbl 1261.22012 · doi:10.2140/pjm.2012.260.433
[27] M. Flach, “The equivariant Tamagawa number conjecture: A survey” with an appendix by C. Greither in Stark’s Conjectures: Recent Work and New Directions , Contemp. Math. 358 , Amer. Math. Soc., Providence, 2004, 79-125. · doi:10.1090/conm/358/06537
[28] Y. Z. Flicker, Twisted tensors and Euler products , Bull. Soc. Math. France 116 (1988), 295-313. · Zbl 0674.10026
[29] Y. Z. Flicker, On distinguished representations , J. Reine Angew. Math. 418 (1991), 139-172. · Zbl 0725.11026 · doi:10.1515/crll.1991.418.139
[30] S. Friedberg and J. Hoffstein, Nonvanishing theorems for automorphic \(L\)-functions on \(\mathrm{GL}(2)\) , Ann. of Math. (2) 142 (1995), 385-423. · Zbl 0847.11026 · doi:10.2307/2118638
[31] D. Gabai, Foliations and the topology of \(3\)-manifolds , J. Differential Geom. 18 (1983), 445-503. · Zbl 0533.57013
[32] D. Goldfeld, “Modular forms, elliptic curves and the \(ABC\)-conjecture” in A Panorama of Number Theory or the View from Baker’s Garden (Zürich, 1999) , Cambridge Univ. Press, Cambridge, 2002, 128-147.
[33] B. H. Gross, “On the conjecture of Birch and Swinnerton-Dyer for elliptic curves with complex multiplication” in Number Theory Related to Fermat’s Last Theorem (Cambridge, Mass., 1981) , Progr. Math. 26 , Birkhäuser, Boston, 1982, 219-236. · doi:10.1007/978-1-4899-6699-5_14
[34] F. Grunewald and J. Mennicke, SL(2,\(\mathcal{O}\)) and elliptic curves , preprint, 1978.
[35] G. Harder, R. P. Langlands, and M. Rapoport, Algebraische Zyklen auf Hilbert-Blumenthal-Flächen , J. Reine Angew. Math. 366 (1986), 53-120. · Zbl 0575.14004
[36] M. Hindry and J. H. Silverman, Diophantine Geometry , Grad. Texts in Math. 201 , Springer, New York, 2000.
[37] J. Hoffstein and P. Lockhart, Coefficients of Maass forms and the Siegel zero with an appendix by D. Goldfeld, J. Hoffstein, and D. Lieman, Ann. of Math. (2) 140 (1994), 161-181. · Zbl 0814.11032 · doi:10.2307/2118543
[38] H. Jacquet, I. I. Piatetski-Shapiro, and J. Shalika, Conducteur des représentations du groupe linéaire , Math. Ann. 256 (1981), 199-214. · Zbl 0443.22013 · doi:10.1007/BF01450798
[39] H. Jacquet and J. A. Shalika, On Euler products and the classification of automorphic forms, II , Amer. J. Math. 103 (1981), 777-815. · Zbl 0491.10020 · doi:10.2307/2374050
[40] B. W. Jordan and R. Livné, Integral Hodge theory and congruences between modular forms , Duke Math. J. 80 (1995), 419-484. · Zbl 0851.11032 · doi:10.1215/S0012-7094-95-08017-X
[41] S.-i. Kato and K. Takano, Subrepresentation theorem for \(p\)-adic symmetric spaces , Int. Math. Res. Not. IMRN 2008 , no. 11, art. ID rnn028. · Zbl 1197.22007 · doi:10.1093/imrn/rnn028
[42] N. Lagier, Terme constant de fonctions sur un espace symétrique réductif \(p\)-adique , J. Funct. Anal. 254 (2008), 1088-1145. · Zbl 1194.22010 · doi:10.1016/j.jfa.2007.07.012
[43] J. Lansky and A. Raghuram, On the correspondence of representations between \(\mathrm{GL}(n)\) and division algebras , Proc. Amer. Math. Soc. 131 (2003), 1641-1648. · Zbl 1027.22017 · doi:10.1090/S0002-9939-02-06918-6
[44] The LMFDB Collaboration, The \(L\)-functions and modular forms database , preprint, (accessed 16 September 2013).
[45] W. Lück, Survey on approximating \(L^{2}\)-invariants by their classical counterparts: Betti numbers, torsion invariants and homological growth , preprint, [math.GT]. arXiv:1501.0746v1 · JFM 51.0029.05
[46] W. Luo and P. Sarnak, Number variance for arithmetic hyperbolic surfaces , Comm. Math. Phys. 161 (1994), 419-432. · Zbl 0797.58069 · doi:10.1007/BF02099785
[47] S. Marshall, Bounds for the multiplicities of cohomological automorphic forms on \(\mathrm{GL}_{2}\) , Ann. of Math. (2) 175 (2012), 1629-1651. · Zbl 1319.11026 · doi:10.4007/annals.2012.175.3.13
[48] D. Masser and G. Wüstholz, Isogeny estimates for abelian varieties, and finiteness theorems , Ann. of Math. (2) 137 (1993), 459-472. · Zbl 0804.14019 · doi:10.2307/2946529
[49] J. J. Millson, On the first Betti number of a constant negatively curved manifold , Ann. of Math. (2) 104 (1976), 235-247. · Zbl 0364.53020 · doi:10.2307/1971046
[50] C. J. Moreno, The strong multiplicity one theorem for \(\mathrm{GL}_{n}\) , Bull. Amer. Math. Soc. (N.S.) 11 (1984), 180-182. · Zbl 0558.10026 · doi:10.1090/S0273-0979-1984-15259-5
[51] W. Müller, Analytic torsion and \({R}\)-torsion of Riemannian manifolds , Adv. in Math. 28 (1978), 233-305. · Zbl 0395.57011 · doi:10.1016/0001-8708(78)90116-0
[52] D. Prasad, Invariant forms for representations of \(\mathrm{GL}_{2}\) over a local field , Amer. J. Math. 114 (1992), 1317-1363. · Zbl 0780.22004 · doi:10.2307/2374764
[53] A. D. Rahm and M. H. Şengün, On level one cuspidal Bianchi modular forms , LMS J. Comput. Math. 16 (2013), 187-199. · Zbl 1294.11062 · doi:10.1112/S1461157013000053
[54] J. G. Ratcliffe, Foundations of Hyperbolic Manifolds , 2nd ed., Grad. Texts in Math. 149 , Springer, New York, 2006. · Zbl 1106.51009 · doi:10.1007/978-0-387-47322-2
[55] Z. Rudnick, A central limit theorem for the spectrum of the modular domain , Ann. Henri Poincaré 6 (2005), 863-883. · Zbl 1090.81027 · doi:10.1007/s00023-005-0227-7
[56] Y. Sakellaridis, On the unramified spectrum of spherical varieties over \(p\)-adic fields , Compos. Math. 144 (2008), 978-1016. · Zbl 1167.22011 · doi:10.1112/S0010437X08003485
[57] Y. Sakellaridis and A. Venkatesh, Periods and harmonic analysis on spherical varieties , preprint, [math.RT]. arXiv:1203.0039v3 · Zbl 1479.22016
[58] P. Sarnak, “Arithmetic quantum chaos” in The Schur Lectures (1992) (Tel Aviv) , Israel Math. Conf. Proc. 8 , Bar-Ilan Univ., Ramat Gan, 1995, 183-236. · Zbl 0831.58045
[59] P. Sarnak, Letter to Z. Rudnick on multiplicities of eigenvalues for the modular surface , preprint, (accessed 2 February 2016).
[60] M. H. Şengün, On the integral cohomology of Bianchi groups , Exp. Math. 20 (2011), 487-505. · Zbl 1269.22007 · doi:10.1080/10586458.2011.594671
[61] M. H. Şengün, On the torsion homology of non-arithmetic hyperbolic tetrahedral groups , Int. J. Number Theory 8 (2012), 311-320. · Zbl 1243.30085 · doi:10.1142/S1793042112500182
[62] M. H. Şengün and P. Tsaknias, Dimension formulae for spaces of lifted Bianchi modular forms , preprint, [math.NT]. arXiv:1310.5385v2
[63] J. H. Silverman, A lower bound for the canonical height on elliptic curves over abelian extensions , J. Number Theory 104 (2004), 353-372. · Zbl 1053.11052 · doi:10.1016/j.jnt.2003.07.001
[64] R. Taylor, “Representations of Galois groups associated to modular forms” in Proceedings of the International Congress of Mathematicians, Vol. 1, 2(Zürich, 1994) , Birkhäuser, Basel, 1995, 435-442. · Zbl 0864.11022
[65] S. Ullom, Integral normal bases in Galois extensions of local fields , Nagoya Math. J. 39 (1970), 141-148. · Zbl 0199.08401 · doi:10.1017/S0027763000013751
[66] A. Venkatesh, Sparse equidistribution problems, period bounds and subconvexity , Ann. of Math. (2) 172 (2010), 989-1094. · Zbl 1214.11051 · doi:10.4007/annals.2010.172.989
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.