zbMATH — the first resource for mathematics

Algebras of symbols and modular forms. (English) Zbl 0857.43015
Given a holomorphic function \(f\) on the Poincaré upper half-plane \(\Pi\) and a nonnegative integer \(k\); set, as usual, \[ (f|_k)(z)=(cz+d)^{-k} f\left({az+b\over cz+d}\right), \] so that the validity of the equation \(f|_k \gamma=f\) whenever \(\gamma\) belongs to some arithmetic subgroup of \(G=SL(2, \mathbb{R})\) characterizes weakly modular forms of weight \(k\) with respect to the given group. Given three nonnegative integers \(k_1\), \(k_2\) and \(j\), and any two holomorphic functions \(f\) and \(g\) on \(\Pi\), H. Cohen introduced in [Math. Ann. 217, 271-285 (1975; Zbl 0311.10030)] the function \[ F_j(f,g)=\sum^j_{l=0} (-1)^l {k_1+j-1\choose l} {k_2+j-1\choose j-l} f^{(j-l)} g^{(l)} \] with \(g^{(l)}=({\partial \over \partial z})^\ell g\), and proved, for all \(\gamma \in G\), the identity \[ F_j(f|_{k_1}\gamma,g|_{k_2}\gamma)=F_j(f,g)|_{k_1+k_2+2j} \gamma. \] We here show that the sequence \(\{F_j(f,g)\}\) appears in the composition formula relative to a certain symbolic calculus of operators. The phase space \(\Pi_i\) to be used is the one-sheeted hyperboloid, on which \(G\) acts under the coadjoint action. The calculus, studied in some earlier work of the authors, permits to associate with every function \(f\) in \(L^2(\Pi_i)\) a Hilbert-Schmidt operator \(Op(f)\) on the Hilbert space of any representation taken from the principal series \(\pi_{i\lambda}\) of \(G\). Decomposing the space \(L^2(\Pi_i)\) under the quasi-regular action of \(G\) brings to light a family \(\{E^\pm_n\}_{n\geq 0}\) of discrete summands. The term \(E^+_n\) can be identified, under some intertwining map \(T_n\), with some weighted \(L^2\)-space of holomorphic functions on \(\Pi\), the natural Hilbert space for the representation of \(G\), taken from the discrete series, sometimes denoted \({\mathcal D}^+_{2n+2}\). It now turns out that, given \(f\in E^+_m\) and \(g\in E^+_n\), the composition of symbols \(f\# g\) can be written \(j\in E^+_{m+n+j+1}\), convergent in \(L^2(\Pi_i)\). Finally, setting \((k_1,k_2)=(2m+2,2n+2)\), one can make the various terms in the series explicit as \[ T_{m+n+j+1} h_j=\Phi(m,n,\lambda) F_j(T_mf,T_ng), \] where the numerical coefficient \(\Phi(m,n,\lambda)\) can be computed. In this setting, one can view Cohen’s formula as quoted above as a consequence of the covariance of the symbolic calculus under consideration.

43A99 Abstract harmonic analysis
11F11 Holomorphic modular forms of integral weight
30F99 Riemann surfaces
Full Text: DOI
[1] F. A. Berezin,Quantization, Math. USSR Izvestija38 (1974), 1109–1165. · Zbl 0312.53049 · doi:10.1070/IM1974v008n05ABEH002140
[2] F. A. Berezin,Quantization in complex symmetric spaces, Math. USSR Izvestija39 (1975), 341–379. · Zbl 0324.53049 · doi:10.1070/IM1975v009n02ABEH001480
[3] H. Cohen,Sums involving the values at negative integers of L-functions of quadratic characters, Math. Ann.217 (1975), 271–295. · Zbl 0311.10030 · doi:10.1007/BF01436180
[4] J. Faraut,Distributions sphériques sur les espaces hyperboliques, J. Math. Pures Appl.58 (1979), 369–444. · Zbl 0436.43011
[5] I. M. Gelfand, M. I. Graev, and N. Ya. Vilenkin,Generalized Functions 5, Academic Press, New York, 1966.
[6] A. W. Knapp,Representation Theory of Semi-Simple Groups, Princeton Univ. Press, Princeton, 1986. · Zbl 0604.22001
[7] W. Magnus, F. Oberhettinger and R. P. Soni,Formulas and Theorems for the Special Functions of Mathematical Physics, 3rd edition, Springer-Verlag, Berlin, 1966. · Zbl 0143.08502
[8] V. F. Molchanov,Quantization on the imaginary Lobachevskii plane, Funksional’nyi Analiz, Ego Prilozheniya14 (1980), 73–74.
[9] R. S. Strichartz,Harmonic analysis of hyperboloids, J. Funct. Anal.12 (1973), 341–383. · Zbl 0253.43013 · doi:10.1016/0022-1236(73)90001-3
[10] A. Unterberger,Analyse harmonique et analyse pseudo-différentielle du cône de lumière, Astérisque156, Soc. Math. de France, Paris, 1987.
[11] A. Unterberger,Relativity, spherical functions and the hypergeometric, equation, Ann. Inst. H. Poincaré, Phys. Théorique62 (1995), 103–144. · Zbl 0834.43011
[12] A. Unterberger and J. Unterberger,Quantification et analyse pseudodifférentielle, Ann. Sci. Ec. Norm. Sup.21 (1988), 133–158. · Zbl 0646.58025
[13] A. Unterberger and J. Unterberger,A quantization of the Cartan domain BDI (q=2) and operators on the light-cone, J. Funct. Anal.72 (1987), 279–319. · Zbl 0632.58033 · doi:10.1016/0022-1236(87)90090-5
[14] A. Unterberger and J. Unterberger,Representations of SL (2, \(\mathbb{R}\))and symbolic calculi, Integr. Equat. Oper. Th.18 (1994), 303–334. · Zbl 0840.43018 · doi:10.1007/BF01206295
[15] D. Zagier,Introduction to modular forms, inFrom Number Theory to Physics (M. Waldschmidt, P. Moussa, J.-M. Luck and C. Itzykson, eds.), Springer-Verlag, Berlin, 1992, pp. 238–291. · Zbl 0791.11022
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.