Skip to main content
Log in

Eisenstein Series and Equidistribution of Lebesgue Probability Measures on Compact Leaves of the Horocycle Foliations of Bianchi 3-Orbifolds

  • Published:
Bulletin of the Brazilian Mathematical Society, New Series Aims and scope Submit manuscript

Abstract

Inspired by the works of Zagier (Eisenstein series and the Riemann zeta function, Automorphic forms, representation theory and arithmetic, Tata Institute of Fundamental Research, Bombay 1979, Springer, New York, 1981) and Sarnak (Commun Pure Appl Math, 34:719–739, 1981), we study the probability measures \(\nu (t)\) with support on the flat tori which are the compact orbits of the maximal unipotent subgroup acting holomorphically on the positive orthonormal frame bundle \(\mathcal {F}({M}_D)\) of 3-dimensional hyperbolic Bianchi orbifolds \({M}_D=\mathbb {H}^3/\widetilde{\Gamma }_D\), of finite volume and with only one cusp. Here \(\widetilde{\Gamma }_D\subset \mathbf {PSL}(2,\mathbb {C})\) is the Bianchi group corresponding to the imaginary quadratic field \(\mathbb {Q}(\sqrt{-D})\). Thus \(\widetilde{\Gamma }_D\) consist of Möbius transformations with coefficients in the ring of integers of \(\mathbb {Q}(\sqrt{-D})\). If \(l \in \mathbb {N}\), \(k,m \in \mathbb {Z}\) are such that \(k,m \in [-l,l]\), the appropriate Eisenstein series \(\widehat{E}_{km}^l ( g,s)\) (which are defined and analytic for \(\mathrm {Re}(s) \ge 1\)) admit an analytic continuation to all of \(\mathbb {C}\), except when \(l=k=m=0\) in which case there is a pole for \(s=1\). Using this fact we show that the elliptic curves which are the compact orbits of the complex horocycle flow \(h_T:\mathcal {F}({M}_D)\longrightarrow \mathcal {F}({M}_D)\) (\(T \in \mathbb {C}\)) are expanded by the real geodesic flow \(g_t, t\in \mathbb {R}\), and they become equidistributed in \(\mathcal {F}({M}_D)\) with respect to the normalized Haar measure as \(t \longrightarrow \infty \). This follows from the equidistribution of Lebesgue probability measures on compact leaves of the horocycle foliations in the orthonormal frame bundle of \(M_D\), which is equal to the quotient \(\mathbf {PSL}(2,\mathbb {C})/\widetilde{\Gamma }_D\). The same equidistribution property occurs for the spin bundle of \(M_D\) which is the homogeneous space \(\mathbf {SL}(2,\mathbb {C})/\Gamma _D\), where \(\Gamma _D\) is the Bianchi subgroup in \(\mathbf {SL}(2,\mathbb {C})\) consisting of matrices with entries in the ring of integers of \(\mathbb {Q}(\sqrt{-D})\). Our method uses the theory of spherical harmonics in the unit tangent bundle orbifold \(T_1(M_D)={\mathbf {SO}}(2){\backslash }\mathbf {PSL}(2,\mathbb {C})/\widetilde{\Gamma }_D=T_1(\mathbb {H}^3)/{\Gamma ^*_D}\), where \({\Gamma ^*_D}\) is the action of \({\widetilde{\Gamma }}_D\) on the unit tangent bundle of \(\mathbb {H}^3\) via the differential of the elements of \(\widetilde{\Gamma }_D\).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Anosov, D.V.: Geodesic flows on closed Riemann manifolds with negative curvature,  Proceedings of the Steklov Institute of Mathematics, No. 90 (1967). Translated from the Russian by S. Feder American Mathematical Society, Providence, R.I., p.p. iv+235 (1969)

  • Bianchi, L.: Sui gruppi di sostituzioni lineari con coefficienti appartenenti a corpi quadratici immaginari. Math. Ann. 40(3), 332–412 (1892)

    Article  MathSciNet  Google Scholar 

  • Bowen, R., Marcus, B.: Unique ergodicity for horocycle foliations. Israel J. Math. 26(1), 43–67 (1977)

    Article  MathSciNet  Google Scholar 

  • Bruggeman, R., Motohashi, Y.: Sum formula for Kloosterman sums and fourth moment of the Dedekind zeta-function over the Gaussian number field. Functiones et Approximatio Commentarii Mathematici 31, 23–92 (2003)

    Article  MathSciNet  Google Scholar 

  • Dal’Bo F.: Geodesic and Horocyclic Trajectories, Translated from the 2007 French original. Universitext. Springer, London, EDP Sciences, Les Ulis, pp. xii+176 (2011)

    Book  Google Scholar 

  • Dani, S.G.: Dynamical systems on homogeneous spaces. Bull. Am. Math. Soc. 82(6), 950–952 (1976)

    Article  MathSciNet  Google Scholar 

  • Dani, S.G.: Invariant measures and minimal sets of horospherical flows. Invent. Math. 64(2), 357–385 (1981)

    Article  MathSciNet  Google Scholar 

  • Dani, S.G., Smillie, J.: Uniform distribution of horocycle orbits for Fuchsian groups. Duke Math. J. 51, 185–194 (1984)

    Article  MathSciNet  Google Scholar 

  • Elstroedt, J., Grunewald, F., Mennicke, J.: Groups acting on hyperbolic space: harmonic analysis and number theory. Springer, Berlin (1998)

    Book  Google Scholar 

  • Estala, S.: Distribution of cusp sections in the Hilbert modular orbifold. J. Number Theory 155, 202–225 (2015)

    Article  MathSciNet  Google Scholar 

  • Flaminio, L., Forni, G.: Invariant distributions and time averages for horocycle flows. Duke Math. J. 119(3), 465–526 (2003)

    Article  MathSciNet  Google Scholar 

  • Furstenberg, H.: The unique ergodicity of the horocycle flow, Recent Advances in Topological Dynamics (Proc. Conf., Yale Univ., New Haven, Conn., 1972), Lecture Notes in Math, Vol. 318. Springer, Berlin, pp. 95–115 (1973)

  • Ghys, É.: Holomorphic Anosov systems. Invent. Math. 119(3), 585–614 (1995)

    Article  MathSciNet  Google Scholar 

  • Garrett, P.: Intertwinings among principal series of \({\mathbf{SL}_2(\mathbb{C}})\). http://www-users.math.umn.edu/~Garrett/m/v/

  • Ghys, É., Verjovsky, A.: Locally free holomorphic actions of the complex affine group, Geometric study of foliations (Tokyo, 1993), World Sci. Publ., River Edge, NJ, pp. 201–217 (1994)

  • Guleska, L.: Thesis: Sum formula for SL2 over imaginary quadratic number fields, Utrecht (2004)

  • Langlands, R.: On the functional equations satisfied by Eisenstein series, Lecture Notes in Math, vol. 544. Springer, Berlin (1976)

    Book  Google Scholar 

  • Maucourant, F., Schapira, B.: On topological and measurable dynamics of unipotent frame flows for hyperbolic manifolds, 2017–2019 (2017). \(<\)hal-01455739\(>\)

  • Moeglin, C., Waldspurger, J.: Spectral decomposition and eisenstein series. Cambridge Univ. Press, Cambridge (1995)

    Book  Google Scholar 

  • Ratner, M.: On Raghunathan’s measure conjecture. Ann. Math. 134(3), 545–607 (1991)

    Article  MathSciNet  Google Scholar 

  • Reid, A.W.: Arithmeticity of Knot Complements. J. Lond. Math. Soc. (2) 43(1), 171–184 (1991)

    Article  MathSciNet  Google Scholar 

  • Sarnak, P.: Asymptotic behavior of periodic orbits of the horocycle flow and Eisenstein series. Commun. Pure Appl. Math. 34, 719–739 (1981)

    Article  MathSciNet  Google Scholar 

  • Smale, S.: Differentiable dynamical systems. Bull. Am. Math. Soc. 73, 747–817 (1967)

    Article  MathSciNet  Google Scholar 

  • Stark, H.M.: A historical note on complex quadratic fields with class-number one. Proc. Am. Math. Soc. 21, 254–255 (1969)

    MathSciNet  MATH  Google Scholar 

  • Stark, H.M.: A complete determination of the complex quadratic fields of class-number one. Michigan Math. J. 14, 1–27 (1967)

    Article  MathSciNet  Google Scholar 

  • Starkov, A.N.: Dynamical systems on homogeneous spaces, translated from the 1999 Russian original by the author. Translations of Mathematical Monographs (Book 190). American Mathematical Society, Providence, RI, pp. xvi+243 (2000)

  • Thurston, W.P.: The geometry and topology of 3-manifolds, lecture notes. Princeton University, Princeton (1978)

    Google Scholar 

  • Wigner, E.: Group theory and its application to the quantum mechanics of atomic spectra. Academic Press, Cambridge (1959)

    MATH  Google Scholar 

  • Zagier, D.: Eisenstein series and the Riemann zeta function, automorphic forms, representation theory and arithmetic, Tata Institute of Fundamental Research, Bombay 1979, pp. 275–301. Springer, New York (1981)

    Google Scholar 

Download references

Acknowledgements

This paper contains part of the Ph. D. thesis of the first author. He would like to thank his advisor, the second author Alberto Verjovsky for his suggestion to work on this topic, his constant support, and sharing some of his ideas on this subject. Also for the first author (OR) were very important the seminars and advise of Dr. Santiago López de Medrano, and the help and patience of Dr. Gregor Weingart. He also thanks Dr. Fuensanta Aroca for a fellowship from her PAPIIT grant IN108216. The second author (AV) benefited from a PAPIIT (DGAPA, Universidad Nacional Autónoma de México) grant IN106817. Both authors would like to thank Professor Paul Garrett for his comments and references regarding Eisenstein series, and the anonymous referee for his/her suggestions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alberto Verjovsky.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Romero, O., Verjovsky, A. Eisenstein Series and Equidistribution of Lebesgue Probability Measures on Compact Leaves of the Horocycle Foliations of Bianchi 3-Orbifolds. Bull Braz Math Soc, New Series 51, 47–79 (2020). https://doi.org/10.1007/s00574-019-00143-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00574-019-00143-2

Keywords

Mathematics Subject Classification

Navigation