A CHARACTERIZATION OF PLANAR MIXED AUTOMORPHIC FORMS arxiv:1003.5520v1 [math.sp] 29 Mar 2010 A. GHANMI Department of Mathematics, Faculty of Sciences, P.O. Box 1014, Mohammed V University, Agdal, 10000 Rabat - Morocco ABSTRACT. We characterize the space of the so-called planar mixed automorphic forms of typeν, µ) with respect to an equivariant pairρ, ) as the image, by an appropriate transform, of the usual Landau) automorphic forms involving special multiplier. 1 INTRODUCTION The notion of mixed automorphic forms was introduced by Stiller [7] and extensively studied by M.H. Lee see [5] and the references therein). They appears essentially in the context of number theory and algebraic geometry and arise naturally as holomorphic forms on elliptic varieties [4]. Mixed automorphic forms include classical ones as a special case and non trivial examples of them has being constructed in [1, 6]. In this paper, we deal with the space planar mixed automorphic forms and we show that it can be connected to the space of Landau automorphic forms [2], by an explicit and special transform Theorem 3.1). Let C be the complex plane endowed with its usual hermitian scalar product z, w = z w, and T be the unitary group, T = {λ C; λ = 1. Consider the semidirect product group G = T C operating on C by the holomorphic mappings g z = az+b for g = a, b) G. By equivariant pair ρ, ), we mean that ρ is a G-endomorphism and : C C a compatible mapping such that g.z) = ρg) z); g G, z C. 1.1) Associated to such ρ, ) and given uniform lattice Γ in C, we consider the vector space M C) of Γ-mixed automorphic forms of type ν, µ). They are smooth complex-valued functions F on C satisfying the functional equation Fγ z) = j ν γ, z)j µ ργ), z))fz), 1.2) where ν, µ are non negative real numbers and j α ; α R, is defined by j α g, z) = e 2iαI z,g 1 0. 1.3) Date: March 30, 2010 E-mail address: allalghanmi@gmail.com. 1
2 A. GHANMI Here and elsewhere Iz denotes the imaginary part of the complex number z. We assert that the spacem C) is isomorphic to the space of automorphic forms F C C), i.e., such that Fz+γ) = χ γ)j B γ, z)fz); z C, γ Γ. The pseudo-character χ is defined on Γ by χ γ) = exp γ) 2iµI 0), ργ) 1 0 ), 2iϕ where the involved function ϕ satisfies a first order differential equation as in Proposition 2.3 below. Our main result Theorem 3.1) is stated and proved in Section 3. To do this, we have to ensure first the nontrivially of the space M C) and to introduce properly the function ϕ Section 2). The crucial point in the proof of Theorem 3.1 is to observe that the weight B given by B = ν+µ 2 2 ) is indeed a real constant independent of the complex variable z. As immediate application of the obtained characterization, one can deduce easily some concrete spectral properties of an appropriate invariant Laplacian acting onm C) see [3] for more details). 2 ON THE SPACE M C) AND THE FUNCTION ϕ For given real numbers ν, µ > 0 and given equivariant pair ρ, ), we define J ρ, as a complex valued mapping G C by J ρ,g, z) := j ν g, z)j µ ρg), z)) 2.1) and we perform the vector space of mixed automorphic forms of typeν, µ), M C) := {F : C C C; Fγ z) = Jρ,g, z)fz), γ Γ, z C. Then, one can check the following 2.2) Proposition 2.1. i) Let φρ g, g ) be the real-valued function defined on G G by φρ g, g ) := I ν g 1 ) 0, g 0 + µ ρg 1 ) 0, ρg ) 0. 2.3) Then, the mapping J ρ, satisfies the chain rule ρ,gg, z) = e 2iφ ρ g,g ) Jρ,g, g z)jρ,g, z). 2.4) J ii) The functional space M C) is nontrivial if and only if the real-valued function1/π)φρ in 2.3) takes integer values on Γ Γ. Remark 2.2. According to i) of Proposition 2.1, the unitary transformations [Tg f]z) := Jρ,g, z) fg z), 2.5)
A CHARACTERIZATION OF PLANAR MIXED AUTOMORPHIC FORMS 3 for varying g G, define then a projective representation of the group G on the space of C functions on C. While the assertion ii) shows that M C) can be realized as the space of cross sections on a line bundle over the complex torus C/Γ. Proof. For every g, g G and z C, we have J ρ,gg, z) = j ν gg, z)j µ ρgg ), z)) = j ν gg, z)j µ ρg)ρg ), z)). Next, one can sees that the automorphic factor j α, ) satisfies j α hh, w) = e 2iαI h 1 0,h 0 j α h, h w)j α h, w); h, h G, w C. This gives rise to ρ,gg, z) = e 2iφ ρ g,g ) j ν g, g z)j µ ρg), ρg ) z))jρ,g, z). J Finally, 2.4) follows by making use of the equivariant condition ρg ) z) = g z). The proof of ii) can be handled in a similar way as in [2] making use of 2.4) combined with the equivariant condition 1.1). In order to prove the main result of this paper, we need to introduce the function ϕ. Proposition 2.3. The first order differential equation admits a solution = iµ ) 2 ) 2 )z : C C such that I is constant. 2.6) Proof. By writing the G-endomorphism ρ : G G = T C as ρg) = [χg), ψg)], and differentiating the equivariant condition g z) = ρg) z) = χg)z) + ψg), it follows g z ) g z) = χg) z) and g z ) g z) = χg) z). Hence, for g z)/) and χg) being in T, we deduce that B g z) = ν+µ g z) 2 g z) 2) 2 = ν+µ z) z) 2) = B z), and therefore z B z) is a real valued constant function since the only G-invariant functions on C are the constants). Now, by considering the differential differential 1-form θ z) := i { ν zdz zd z)+µd d),
4 A. GHANMI one checks that dθ = dθ B, where θ B := ib zdz zd z). Therefore, = Constant and satis- there exists a function : C C such that I fying the first order partial differential equation = i = iµ This completes the proof. [ν B ]z+µ ) ) ) 2 2 )z Remark 2.4. The partial differential equation 2.7) satisfied by further to the following with ψ z) = i = and ψ [B ν] z 2 µ z) 2 ) = 1 µ ν B ) z+ + 2iµψ z). ). 2.7) can be reduced 2.8) 3 MAIN RESULT Let ϕ be the real part of function on C as in Proposition 2.3. Define W given by We have 0), where is a complex valued to be the transformation [W f)]z) := e iϕ z) fz). 3.1) Theorem 3.1. The image of M C) by the transform 3.1) is the space of Landau Γ, χ )-automorphic functions. More exactly, we have W M C)) = {F; C, Fz+γ) = χ γ)j B γ, z)fz), where B on Γ by = ν+µ 2 2 ) R and χ is the pseudo-character defined χ γ) = exp 2iϕ γ) 2iµI 0), ργ) 1 ). 0 For the proof, we begin with the following Lemma 3.2. The function χ defined on C Γ by χ z; γ) := e iϕ z+γ) ϕ is independent of the variable z. z)) e 2i[B ν]i z,γ +µi z),ργ) 1 0 )
A CHARACTERIZATION OF PLANAR MIXED AUTOMORPHIC FORMS 5 Proof. Differentiation of χ z; γ) w.r.t. variable z gives ) χ ϕ = i ϕ z+γ) z) χ 3.2) [ [B ν] γ+µ ργ 1 ) 0) z) ργ 1 ) 0) ]) z) χ. In the other hand, using the equivariant condition z+γ) = ργ) z) and equation 2.7), one gets ) ϕ ϕ i z+γ) z) = B γ+s z) S z+γ) [ ] = [B ν] γ+µ a γ z) a γ z), 3.3) where we have set a γ = ργ 1 ) 0. Thus from 3.2) and 3.3), we conclude that χ = 0. Similarly, one gets also χ = 0. This ends the proof of Lemma 3.2. Proof of Theorem 3.1. We have to prove thatw F belongs to F B Γ,χ := {F; C, Fz+γ) = χ γ)j B γ, z)fz) whenever F M C), where Indeed, we have [W χ γ) := exp 2iϕ γ) 2iµI F]z+γ) := e iϕ z+γ) Fz+γ) ). 0), ργ) 1 0 = e iϕ z+γ) j ν γ, z)j µ ργ), z))fz) = e iϕ z+γ) ϕ = χ z; γ)j B z)) j ν γ, z)j µ ργ), z))[w F]z) γ, z)[w F]z). Whence by Lemma 3.2, we see that χ z; γ) = χ 0; γ) =: χ γ) and therefore [W F]z+γ) = χ γ)j B γ, z)[w F]z). The proof is completed Corollary 3.3. The function χ γ) = exp 2iϕ γ) 2iµI 0), ργ) 1 0 ) satisfies the pseudo-character property if and only if 1/π)φ ρ χ γ+γ ) = e 2iB I γ,γ χ γ)χ γ ) in 2.3) takes integer values on Γ Γ. Acknowledgements. The author is indebted to Professor A. Intissar for valuable discussions and encouragement.
6 A. GHANMI REFERENCES [1] Y. Choie, Construction of mixed automorphic forms. J. Austral. Math. Soc. Series A) 63 1997), 390-395 [2] Ghanmi A., Intissar A., Landau automorphic forms of C n of magnitude ν. J. Math. Phys. 49, no. 8, 2008). arxiv:0705.1763. [3] Ghanmi A., On spectral analysis of a magnetic Schrödinger operator on planar mixed automorphic forms. arxiv:0708.3357 [4] Hunt, B., Meyer, W., Mixed automorphic forms and invariants of elliptic surfaces. Math. Ann. 271 1985), no. 1, 53 80. [5] Lee, M. H., Mixed automorphic forms, torus bundles, and Jacobi forms. Lecture Notes in Mathematics, 1845. Springer-Verlag, Berlin, 2004. [6] Lee, M. H., Eisenstein series and Poincaré series for mixed automorphic forms, Collect. Math. 51, 3 2000), 225-236. [7] P. Stiller, Special values of Dirichlet series, monodromy, and the periods of automorphic forms, Mem. Amer. Math. Soc, 299 Amer. Math. Soc, Providence, 1984).