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

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 ν ( 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 F ( M D ) of 3-dimensional hyperbolic Bianchi orbifolds M D = H 3 / Γ ~ D , of finite volume and with only one cusp. Here Γ ~ D ⊂ PSL ( 2 , C ) is the Bianchi group corresponding to the imaginary quadratic field Q ( - D ) . Thus Γ ~ D consist of Möbius transformations with coefficients in the ring of integers of Q ( - D ) . If l ∈ N , k , m ∈ Z are such that k , m ∈ [ - l , l ] , the appropriate Eisenstein series E ^ km l ( g , s ) (which are defined and analytic for Re ( s ) ≥ 1 ) admit an analytic continuation to all of 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 : F ( M D ) ⟶ F ( M D ) ( T ∈ C ) are expanded by the real geodesic flow g t , t ∈ R , and they become equidistributed in F ( M D ) with respect to the normalized Haar measure as t ⟶ ∞ . 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 PSL ( 2 , C ) / Γ ~ D . The same equidistribution property occurs for the spin bundle of M D which is the homogeneous space SL ( 2 , C ) / Γ D , where Γ D is the Bianchi subgroup in SL ( 2 , C ) consisting of matrices with entries in the ring of integers of Q ( - D ) . Our method uses the theory of spherical harmonics in the unit tangent bundle orbifold T 1 ( M D ) = SO ( 2 ) \ PSL ( 2 , C ) / Γ ~ D = T 1 ( H 3 ) / Γ D ∗ , where Γ D ∗ is the action of Γ ~ D on the unit tangent bundle of H 3 via the differential of the elements of Γ ~ D .