INVARIANT METRICS AND LAPLACIANS ON SIEGEL-JACOBI SPACE arxiv:math/ v2 [math.nt] 24 Aug Introduction

Transcription

1 INVARIANT METRICS AND LAPLACIANS ON SIEGEL-JACOBI SPACE arxiv:math/ v2 [mathnt] 24 Aug 2006 JAE-HYUN YANG Abstract In this paper we compute Riemannian metrics on the Siegel-Jacobi space which are invariant under the natural action of the Jacobi group explicitly also provide the Laplacians of these invariant metrics These are expressed in terms of the trace form For a given fixed positive integer n we let 1 Introduction H n = {Z C nn Z = t Z Im Z > 0 be the Siegel upper half plane of degree n let be the symplectic group of degree n where Spn R = {M R 2n2n t MJ n M = J n J n = 0 En E n 0 We see that Spn R acts on H n transitively by 11 M Z = AZ + BCZ + D 1 A B where M = Spn R Z H C D n For two positive integers n m we consider the Heisenberg group H nm R = {λµ;κ λµ R mn κ R mm κ + µ t λ symmetric endowed with the following multiplication law λµ;κ λ µ ;κ = λ + λ µ + µ ;κ + κ + λ t µ µ t λ We define the semidirect product of Spn R H nm R G J := Spn R H nm R endowed with the following multiplication law Mλµ;κ M λ µ ;κ = MM λ + λ µ + µ ;κ + κ + λ t µ µ t λ Key words phrases invariant metrics Siegel-Jacobi space spectral theory 2000 Mathematics Subject Classification: Primary 32F45 32M10 This work was supported by Inha University Research Grant 1

2 2 JAE-HYUN YANG with MM Spn Rλµ;κ λ µ ;κ H nm R λ µ = λµm We call this group G J the Jacobi group of degree n index m We have the natural action of G J on H n C mn defined by 12 Mλµ;κ ZW = M ZW + λz + µcz + D 1 A B where M = Spn R λµ;κ H nm C D R ZW H n C mn The homogeneous space H n C mn is called the Siegel-Jacobi space of degree n index m We refer to [2-3] [6-7] [11] [14-21] for more details on materials related to the Siegel-Jacobi space For brevity we write H nm := H n C mn For a coordinate ZW H nm with Z = z µν H n W = w kl C mn we put Z = X + iy X = x µν Y = y µν real W = U + iv U = u kl V = v kl real dz = dz µν dz = dz µν dy = dy µν dw = dw kl dw = dw kl dv = dv kl 1+δµν 2 Z = X = 1+δµν 2 w 11 w m1 W = w 1n w mn u 11 u m1 U = u 1n u mn where δ ij denotes the Kronecker delta symbol z µν = 1+δµν Z 2 x µν Y = 1+δµν 2 z µν y µν w 11 w m1 W = w 1n w mn v 11 v m1 V = v 1n v mn C L Siegel [12] introduced the symplectic metric ds 2 n on H n invariant under the action 11 of Spn R given by 13 ds 2 n = σ Y 1 dz Y 1 dz H Maass [8] proved that the differential operator n = σ Y t Y 14 Z Z is the Laplacian of H n for the symplectic metric ds 2 n Here σa denotes the trace of a square matrix A In this paper for arbitrary positive integers n m we express the G J -invariant metrics on H n C mn their Laplacians explicitly

3 INVARIANT METRICS AND LAPLACIANS ON SIEGEL-JACOBI SPACE 3 In fact we prove the following theorems Theorem 11 For any two positive real numbers A B the following metric ds 2 nm;ab Y = Aσ 1 dz Y 1 dz { + B σ Y 1 t V V Y 1 dz Y 1 dz Y 1 t dwdw σ V Y 1 dz Y 1 t dw σ V Y 1 dz Y 1 t dw is a Riemannian metric on H nm which is invariant under the action 12 of the Jacobi group G J Theorem 12 For any two positive real numbers A B the Laplacian nm;ab of H nm ds 2 nm;ab is given by nm;ab = 4 { σ Y t Y A Z Z V t Y Z W + 4 B σ Y t W W The following differential form V Y 1 t V t t V t Y W dv = det Y n+m+1 [dx] [dy ] [du] [dv ] is a G J -invariant volume element on H nm where Y W W Z [dx] = µ ν dx µν [dy ] = µ ν dy µν [du] = kl du kl [dv ] = kl dv kl The point is that the invariant metric ds 2 nm;ab its Laplacian nm;ab are expressed in terms of the trace form For the case n = m = 1 A = B = 1 Berndt proved in [1] cf [19] that the metric on H C defined by ds 2 11 ds 2 11 := ds 11;11 = y + v2 y 3 dx 2 + dy y du2 + dv 2 2v y 2 dxdu + dy dv is a Riemannian metric on H C invariant under the action 12 of the Jacobi group its Laplacian 11 is given by 11 := 11;11 = y y + v x 2 y u 2 v 2 + 2y v 2 xu + 2 yv It is a pleasure to thank Eberhard Freitag for his helpful advice letting me know the paper [8] of H Maass

4 4 JAE-HYUN YANG Notations: We denote by R C the field of real numbers the field of complex numbers respectively The symbol := means that the expression on the right is the definition of that on the left For two positive integers k l F kl denotes the set of all k l matrices with entries in a commutative ring F For a square matrix A F kk of degree k σa denotes the trace of A For any M F kl t M denotes the transpose matrix of M E n denotes the identity matrix of degree n For A F kl B F kk we set B[A] = t ABA For a complex matrix A A denotes the complex conjugate of A For A C kl B C kk we use the abbreviation B{A = t ABA 2 Proof of Theorem 11 A B Let g = Mλµ;κ be an element of G J with M = Spn R ZW C D H nm with Z H n W C mn If we put Z W := g ZW then we have Thus we obtain Z = M Z = AZ + BCZ + D 1 W = W + λz + µcz + D 1 21 dz = dz[cz + D 1 ] = t CZ + D 1 dzcz + D 1 22 dw = dwcz + D 1 + {λ W + λz + µcz + D 1 CdZCZ + D 1 Here we used the following facts that that CZ + D 1 C is symmetric We put dcz + D 1 = CZ + D 1 C dzcz + D 1 Z = X + iy W = U + iv X Y U V real From [9] p33 or [13] p128 we know that 23 Y = Y {CZ + D 1 = t CZ + D 1 Y CZ + D 1 First of all we recall that the following matrices En b tb = b = t b real 0 E n t h 0 g 0 h = 0 h 1 h GLn R 0 En J n = E n 0 generate the symplectic group Spn R cf [4] [5] Therefore the following elements

5 INVARIANT METRICS AND LAPLACIANS ON SIEGEL-JACOBI SPACE 5 tb;λµκ gh σ n of G J defined by En b tb;λµκ = λµ;κ b = 0 E t b real λµ;κ H nm R n t h 0 gh = 0 h 1 00;0 h GLn R 0 En σ n = 00;0 E n 0 generate the Jacobi group G J So it suffices to prove the invariance of the metric ds 2 nm;ab under the action of the generators tb;λµκ gh σ n For brevity we write a = σ Y 1 dz Y 1 dz b = σ Y 1t V V Y 1 dz Y 1 dz c = σ Y 1t dwdw d = σ V Y 1 dz Y 1 t dw + V Y 1 dz Y 1 t dw a = σ Y 1 b = σ c = σ d = σ Y 1 Y 1 dz Y 1 dz t V V Y 1 dz Y 1 dz t dw dw V Y 1 dz Y 1 t dw + V Y 1 dz Y 1 t dw Case I g = tb;λµκ with b = t b real λµ;κ H nm R In this case we have Z = Z + b Y = Y W = W + λz + µ V = V + λy Therefore a b c = σ = σ = σ dz = dz dw = dw + λdz Y 1 dz Y 1 dz = σ Y 1 dz Y 1 dz = a Y 1 t V V Y 1 dz Y 1 dz Y 1 t V λdz Y 1 dz +σ t λv Y 1 dz Y 1 dz t λλdz Y 1 dz Y 1 t dwdw Y 1 t dwλdz +σ Y 1 dz t λdw Y 1 dz t λλdz

6 6 JAE-HYUN YANG Thus we see that Hence d = σ V Y 1 dz Y 1 t dw σ λdz Y 1 t dw σ V Y 1 dz Y 1 dz t λ σ λdz Y 1 dz t λ σ V Y 1 dz Y 1 t dw σ λdz Y 1 t dw σ V Y 1 dz Y 1 dz t λ σ λdz Y 1 dz t λ a = a b + c + d = b + c + d ds 2 nm;ab {b = Aa + B + c + d is invariant under the action of tb;λµκ Case II g = gh with h GLn R In this case we have Z = t hz h Y = t hy h W = Wh V = V h dz = t hdz h dw = dw h Therefore by an easy computation we see that each of a b c d is invariant under the action of all gh with h GLn R Hence the metric ds 2 nm;ab is invariant under the action of all gh with h GLn R 0 En Case III g = σ n = 00;0 E n 0 In this case we have 24 Z = Z 1 W = WZ 1 We set θ 1 := Re Z 1 θ 2 := Im Z 1 Then θ 1 θ 2 are symmetric matrices we have 25 Y = θ 2 V := ImW = V θ 1 + Uθ 2 It is easy to see that 26 Y = Zθ 2 Z = Zθ 2 Z 27 θ 1 Y + θ 2 X = 0 28 θ 1 X θ 2 Y = E n According to we obtain 29 X = θ 2 1 θ 1 Y Y 1 = θ 1 θ 2 1 θ 1 θ 2

7 INVARIANT METRICS AND LAPLACIANS ON SIEGEL-JACOBI SPACE 7 From we have 210 dz = Z 1 dzz dw = dwz 1 WZ 1 dzz 1 = dw WZ 1 dz Z 1 Therefore we have according to a = σ θ 2 1 Z 1 dz Z 1 θ 2 1 Z 1 dz Z 1 = σ Y 1 dz Y 1 dz = a According to we have b = σ θ 2 1 θ t 1 V + θ t 2 UV θ 1 + Uθ 2 θ 2 1 Z 1 dz Y 1 dz Z 1 = σ { t U θ 2 1 θ t 1 V {U V θ 1 θ 2 1 Z 1 dz Y 1 dz Z 1 = σ { t W + ie n θ 2 1 θ 1 t V {W V ie n + θ 1 θ 2 1 Z 1 dz Y 1 dz Z 1 c = σ θ 2 1 Z 1 t dw Z 1 dzz 1 t W dw Z 1 W Z 1 dz Z 1 = σ θ 2 1 Z 1 t dwdw Z 1 θ 2 1 Z 1 t dww Z 1 dz Z 1 θ 2 1 Z 1 dzz 1 t WdW Z 1 + θ 2 1 Z 1 dzz 1 t WW Z 1 dz Z 1 = σ Y 1 t dwdw σ Y 1 t dww Z 1 dz σ Y 1 dz Z 1 t WdW Y 1 dz Z 1 t WW Z 1 dz

8 8 JAE-HYUN YANG d { = σ V θ 1 + Uθ 2 θ 2 1 Z 1 dzz 1 θ 2 1 Z 1 t dw Z 1 dz Z 1 t W σ V θ 1 + Uθ 2 θ 2 1 Z 1 dz Z 1 θ 2 1 { Z 1 t dw Z 1 dzz 1 t W = σ V θ 1 + Uθ 2 θ 2 1 Z 1 dz Y 1 t dw V θ 1 + Uθ 2 θ 2 1 Z 1 dz Y 1 dz Z 1 t W σ V θ 1 + Uθ 2 θ 2 1 Z 1 dz Y 1 t dw V θ 1 + Uθ 2 θ 2 1 Z 1 dz Y 1 dzz 1 t W Taking the dzdw-part ZW in b + c + d we have ZW = σ V Y 1 dz Y 1 t dw Y 1 dz t W Z 1 t WdW = σ V Y 1 dz Y 1t dw because W = WZ 1 cf 24 Similiarly if we take the dzdw-part ZW in b + c + d we have ZW = σ V Y 1 dz Y 1 t dw dz Y 1 t dww W Z 1 = σ V Y 1 dz Y 1t dw because W = WZ 1 If we take the dwdw-part WW in b + c + d we have WW = σ Y 1 t dwdw Finally if we take the dzdz-part ZZ in b + c + d we have { Z Z = σ t W + ie n θ 2 1 θ 1 t V { W V ie n + θ 1 θ 2 1 Z 1 dz Y 1 dz Z 1 Z 1 t WW Z 1 dz Y 1 dz t WV θ 1 + Uθ 2 θ 2 1 Z 1 dz Y 1 dz Z 1 t WV θ 1 + Uθ 2 θ 2 1 Z 1 dz Y 1 dzz 1 Since V θ 1 + Uθ 2 θ 2 1 = U + V θ 1 θ 2 1 = W + V {ie n + θ 1 θ 2 1 = W V {ie n θ 1 θ 2 1

9 INVARIANT METRICS AND LAPLACIANS ON SIEGEL-JACOBI SPACE 9 we have Z Z = σ Z 1 { ien θ 2 1 θ t 1 V { W V ie n + θ 1 θ 2 1 Z 1 dz Y 1 dz σ Z 1 { ien θ 2 1 θ t 1 V WZ 1 dz Y 1 dz = σ Z 1 { ien θ 2 1 θ t 1 V V { ie n + θ 1 θ 2 1 Z 1 dz Y 1 dz By the way according to 29 we obtain Z 1{ ie n θ 2 1 θ 1 = θ 1 iθ 2 {ie n θ 2 1 θ 1 Therefore Hence a = a = θ 2 θ 1 θ 2 1 θ 1 = Y 1 { ie n + θ 1 θ 2 1 Z 1 = θ 1 θ 2 1 θ 1 θ 2 = Y 1 ZZ = σ Y 1 t V V Y 1 dz Y 1 dz b + c + d = ZW + ZW + WW + ZZ = b + c + d This implies that the metric ds 2 nm;ab {b = Aa + B + c + d is invariant under the action 12 of σ n Consequently ds 2 nm;ab is invariant under the action 12 of the Jacobi group GJ In particular for ZW = ie n 0 we have ds 2 nm;ab dz = A σ dz + B σ t dwdw { n = A dx 2 µµ + dyµµ dx 2 µν + dyµν 2 + B µ=1 { 1 k m 1 l n 1 µ<ν n du 2 kl + dv2 kl which is clearly positive definite Since G J acts on H nm transitively ds 2 nm;ab is positive definite everywhere in H nm This completes the proof of Theorem 11 Remark 21 The scalar curvature of the Siegel-Jacobi space H nm ds 2 nm;ab is constant because of the transitive group action of G J on H nm In the special case n = m = 1

10 10 JAE-HYUN YANG A = B = 1 by a direct computation we see that the scalar curvature of H 11 ds 2 11;11 is 3 3 Proof of Theorem 12 A B If Z W = g ZW with g = λµ;κ G C D J we can see easily that { = CZ + D t CZ + D 31 Z Z { + CZ + D t C t W + C t µ D t λ t W 32 For brevity we put We also set = CZ + D W W α := 4σ Y t Y Z Z β := 4σ Y t W W γ := 4σ V Y 1 t V t Y W W δ := 4σ V t Y Z W ǫ := 4σ t V Y t W Z t α := 4σ Y Y Z Z β := 4σ Y t W W γ := 4σ V Y 1 t t V Y W W t δ := 4σ V Y Z W ǫ := 4σ t t V Y W We need the following lemma for the proof of Theorem 12 H Maass [8] observed the following useful fact Z

11 INVARIANT METRICS AND LAPLACIANS ON SIEGEL-JACOBI SPACE 11 Lemma 31 a Let A be an n k matrix let B be a k n matrix Assume that the entries of A commute with the entries of B Then σab = σba b Let A be an m n matrix B an n l matrix Assume that the entries of A commute with the entries of B Then t AB = t B t A c Let A B C be a k l an n m an m l matrix respectively Assume that the entries of A commute with the entries of B Then t A t BC = B t A t C Proof The proof follows immediately from the direct computation Now we are ready to prove Theorem 12 First of all we shall prove that nm;ab is invariant under the action of the generators tb;λµκ gh σ n En b Case I g = tb;λµκ = λµ;κ with b = 0 E t b real n In this case we have Y = Y V = V + λy = Z Z t t λ t W Using Lemma 31 we obtain α = α σ λy t Y β = σ γ δ ǫ Thus β = β Z W σ Y t λ t Y W Z t Y = β W W = γ λ t V t Y W W V t λ t Y W W = δ λy t Y Z W σ V t λ t Y W W = ǫ Y t λ t Y σ λ t V t Y W W Z W = W W λy t λ t Y W W λy t λ t Y W W λy t λ t Y W W σ λy t λ t Y W W α + γ + δ + ǫ = α + γ + δ + ǫ

12 12 JAE-HYUN YANG Hence nm;ab = 4 B β + 4 A { α + γ + δ + ǫ is invariant under the action of all tb;λµκ t h 0 Case II g = gh = 0 h 1 00;0 with h GLn R In this case we have Y = t hy h V = V h = h 1 t h 1 = h 1 Z Z W W According to Lemma 31 we see that each of α β γ δ ǫ is invariant under the action of all gh with h GLn R Therefore nm;ab is invariant under the action of all gh with h GLn R 0 En Case III g = σ n = 00;0 E n 0 In this case we have We set Z = Z 1 W = WZ 1 θ 1 := ReZ 1 θ 2 := Im Z 1 Then we obtain the relations From 26 we have the relation 33 θ 2 Z = Z 1 Y It follows from the relation 23 that 34 Y = Z 1 Y Z 1 = Z 1 Y Z 1 = θ 2 From 29 we obtain 35 θ 1 θ 1 2 θ 1 = Y 1 θ 2 According to we have 36 = Z t Z 37 Z Z + Z t t W t W W = Z W From Lemma 31 we obtain α = α σ Uθ 2 Z t Y iσ V θ 2 Z t Y Z W Z W σ Zθ t 2 U t Y + iσ Zθ t 2 V t Y W Z W Z σ Wθ t 2 U t Y Wθ t 2 V t Y W W W W

13 INVARIANT METRICS AND LAPLACIANS ON SIEGEL-JACOBI SPACE 13 From the relation 34 we see β = β According to Lemma 31 we otain γ = γ V θ t 2 V V θ t 1 U Uθ t 1 V Uθ t 2 U t Y W W Using the relation 33 Lemma 31 we finally obtain δ = σ V θ 1 Z t Y Uθ 2 Z t Y Z W Z W V θ t 1 W t Y Uθ t 2 W t Y W W W W ǫ = σ Zθ t 1 V t Y W Wθ t 1 V t Z Y W W Using the fact Z 1 = θ 1 + iθ 2 we can show that Y W Z Wθ t 2 U t Y W Zθ t 2 U t α + γ + δ + ǫ = α + γ + δ + ǫ W Hence nm;ab = 4 B β + 4 { α + γ + δ + ǫ A is invariant under the action of σ n Consequently nm;ab is invariant under the action 12 of G J In particular for ZW = ie n 0 the differential operator nm;ab coincides with the Laplacian for the metric ds 2 nm;ab It follows from the invariance of nm;ab under the action 12 the transitivity of the action of G J on H nm that nm;ab is the Laplacian of H nm ds 2 nm;ab The invariance of the differential form dv follows from the fact that the following differential form det Y n+1 [dx] [dy ] is invariant under the action 11 of Spn Rcf [13] p130 4 Remark on Spectral Theory of nm;ab on Siegel-Jacobi Space Before we describe a fundamental domain for the Siegel-Jacobi space we review the Siegel s fundamental domain for the Siegel upper half plane We let P n = { Y R nn Y = t Y > 0 be an open cone in R nn+1/2 The general linear group GLn R acts on P n transitively by h Y := hy t h h GLn R Y P n Thus P n is a symmetric space diffeomorphic to GLn R/On We let { GLn Z = h GLn R h is integral

14 14 JAE-HYUN YANG be the discrete subgroup of GLn R The fundamental domain R n for GLn Z\P n which was found by H Minkowski [10] is defined as a subset of P n consisting of Y = y ij P n satisfying the following conditions M1-M2 cf [9] p123: M1 ay t a y kk for every a = a i Z n in which a k a n are relatively prime for k = 12 n M2 y kk+1 0 for k = 1 n 1 We say that a point of R n is Minkowski reduced or simply M-reduced Siegel [12] determined a fundamental domain F n for Γ n \H n where Γ n = Spn Z is the Siegel modular group of degree n We say that Ω = X + iy H n with X Y real is Siegel reduced or S-reduced if it has the following three properties: S1 detim γ Ω detim Ω for all γ Γ n ; S2 Y = Im Ω is M-reduced that is Y R n ; S3 x ij 1 2 for 1 ij n where X = x ij F n is defined as the set of all Siegel reduced points in H n Using the highest point method Siegel [12] proved the following F1-F3 cf [9] p169: F1 Γ n F n = H n ie H n = γ Γn γ F n F2 F n is closed in H n F3 F n is connected the boundary of F n consists of a finite number of hyperplanes The metric ds 2 n given by 13 induces a metric ds2 F n on F n Siegel [12] computed the volume of F n n vol F n = 2 π k Γkζ2k k=1 where Γs denotes the Gamma function ζs denotes the Riemann zeta function For instance vol F 1 = π 3 vol F 2 = π3 270 vol F 3 = π vol F 4 = π Let f kl 1 k m 1 l n be the m n matrix with entry 1 where the k-th row the l-th column meet all other entries 0 For an element Ω H n we set for brevity h kl Ω := f kl Ω 1 k m 1 l n For each Ω F n we define a subset P Ω of C mn by m n m n P Ω = λ kl f kl + µ kl F kl Ω 0 λ kl µ kl 1 k=1 j=1 k=1 j=1 For each Ω F n we define the subset D Ω of H n C mn by { D Ω := ΩZ H n C mn Z P Ω We define F nm := Ω Fn D Ω

15 INVARIANT METRICS AND LAPLACIANS ON SIEGEL-JACOBI SPACE 15 Theorem 41 Let Γ nm := Spn Z H nm Z be the discrete subgroup of G J where H nm Z = { λµ;κ H nm R Then F nm is a fundamental domain for Γ nm \H nm λµκ are integral Proof The proof can be found in [20] In the case n = m = 1 R Berndt [2] introduced the notion of Maass-Jacobi forms Now we generalize this notion to the general case Definition 41 For brevity we set nm := nm;11 cf Theorem 52 Let Γ nm := Spn Z H nm Z be the discrete subgroup of G J where H nm Z = { λµ;κ H nm R λµκ are integral A smooth function f : H nm C is called a Maass-Jacobi form on H nm if f satisfies the following conditions MJ1-MJ3: MJ1 f is invariant under Γ nm MJ2 f is an eigenfunction of the Laplacian nm MJ3 f has a polynomial growth that is there exist a constant C > 0 a positive integer N such that fx + iyz C py N as det Y where py is a polynomial in Y = y ij It is natural to propose the following problems Problem A: Construct Maass-Jacobi forms Problem B : Find all the eigenfunctions of nm We consider the simple case n = m = 1 A metric ds 2 11 on H 1 C given by ds 2 11 = y + v2 y 3 dx 2 + dy y du2 + dv 2 2v dxdu + dy dv y2 is a G J -invariant Kähler metric on H 1 C Its Laplacian 11 is given by 11 = y 2 2 x y 2 + y + v 2 2 u v y v xu + 2 yv

16 16 JAE-HYUN YANG We provide some examples of eigenfunctions of 11 1 hxy = y 2K 1 s 12π a ye 2πiax s C a 0 with eigenvalue ss 1 Here 2 K s z := 1 { exp z 2 2 t + t 1 t s 1 dt where Re z > 0 2 y s y s x y s u s C with eigenvalue ss 1 3 y s v y s uv y s xv with eigenvalue ss x y u v xv uv with eigenvalue 0 5 All Maass wave forms We fix two positive integers m n throughout this section For an element Ω H n we set 0 L Ω := Z mn + Z mn Ω It follows from the positivity of Im Ω that the elements f kl h kl Ω1 k m 1 l n of L Ω are linearly independent over R Therefore L Ω is a lattice in C mn the set { f kl h kl Ω 1 k m 1 l n forms an integral basis of L Ω We see easily that if Ω is an element of H n the period matrix Ω := I n Ω satisfies the Riemann conditions RC1 RC2 : RC1 Ω J n t Ω = 0; RC2 1 i Ω J n t Ω > 0 Thus the complex torus A Ω := C mn /L Ω is an abelian variety It might be interesting to investigate the spectral theory of the Laplacian nm on a fundamental domain F nm But this work is very complicated difficult at this moment It may be that the first step is to develop the spectral theory of the Laplacian Ω on the abelian variety A Ω The second step will be to study the spectral theory of the Laplacian n see 14 on the moduli space Γ n \H n of principally polarized abelian varieties of dimension n The final step would be to combine the above steps more works to develop the spectral theory of the Lapalcian nm on F nm Maass-Jacobi forms play an important role in the spectral theory of nm on F nm Here we deal only with the spectral theory Ω on L 2 A Ω We fix an element Ω = X + iy of H n with X = ReΩ Y = Im Ω For a pair AB with AB Z mn we define the function E Ω;AB : C mn C by E Ω;AB Z = e 2πiσ t AU B AXY 1 t V where Z = U + iv is a variable in C mn with real UV Lemma 41 For any AB Z mn the function E Ω;AB satisfies the following functional equation E Ω;AB Z + λω + µ = E Ω;AB Z Z C mn for all λµ Z mn Thus E Ω;AB can be regarded as a function on A Ω

17 INVARIANT METRICS AND LAPLACIANS ON SIEGEL-JACOBI SPACE 17 Proof We write Ω = X + iy with real XY For any λµ Z mn we have E Ω;AB Z + λω + µ = E Ω;AB U + λx + µ + iv + λy = e 2πi{ σ t AU+λX+µ B AXY 1 t V +λy = e 2πi{ σ t AU+ t AλX+ t Aµ B AXY 1 t V +B t λ AX t λ = e 2πi{ σ t AU+σ B AXY 1 t V = E Ω;AB Z Here we used the fact that t Aµ B t λ are integral Lemma 42 The metric ds 2 Ω = σ Im Ω 1 t dzdz is a Kähler metric on A Ω invariant under the action 515 of Γ J = Spn Z H mn Z ΩZ with Ω fixed Its Laplacian Ω of ds 2 Ω is given by Ω = σ Im Ω t Z Z Proof The proof can be found [20] on We let L 2 A Ω be the space of all functions f : A Ω C such that f Ω := fz 2 dv Ω A Ω where dv Ω is the volume element on A Ω normalized so that A Ω dv Ω = 1 The inner product Ω on the Hilbert space L 2 A Ω is given by fg Ω := fzgzdv Ω fg L 2 A Ω A Ω Theorem 42 The set { E Ω;AB AB Z mn is a complete orthonormal basis for L 2 A Ω Moreover we have the following spectral decomposition of Ω : L 2 A Ω = AB Z mnc E Ω;AB Proof The complete proof can be found in [20] References [1] R Berndt Sur l arithmétique du corps des fonctions élliptiques de niveau N Séminaire de Théorie de nombres de Paris Birkhäuser Boston [2] R Berndt R Schmidt Elements of the Representation Theory of the Jacobi Group Birkhäuser 1998 [3] M Eichler D Zagier The Theory of Jacobi Forms Progress in Math 55 Birkhäuser Boston Basel Stuttgart 1985 [4] E Freitag Siegelsche Modulfunktionen Grundlehren der Math Wissenschaften Springer-Verlag 1983 [5] M Kashiwara M Vergne On the Segal-Shale-Weil Representations Harmonic Polynomials Invent Math

18 18 JAE-HYUN YANG [6] J Kramer A geometrical approach to the theory of Jacobi forms Compositio Math [7] J Kramer An arithmetical theory of Jacobi forms in higher dimensions J reine angew Math [8] H Maass Die Differentialgleichungen in der Theorie der Siegelschen Modulfunktionen Math Ann [9] H Maass Siegel modular functions Dirichlet series Lecture Notes in Math 216 Springer-Verlag Berlin New York 1971 [10] Minkowski H: Gesammelte Abhlungen Chelsea New York 1967 [11] B Runge Theta functions Siegel-Jacobi functions Acta Math [12] C L Siegel Symplectic Geometry Gesammelte Abhlungen B II Springer-Verlag [13] C L Siegel Topics in Complex Function Theory : Abelian Functions Modular Functions of Several Variables vol III Wiley-Interscience 1973 [14] J-H Yang The Siegel-Jacobi Operator Abh Math Sem Univ Hamburg [15] J-H Yang Remarks on Jacobi forms of higher degree Proc of the 1993 Workshop on Automorphic Forms Related Topics the Pyungsan Institute for Mathematical Sciences Seoul [16] J-H Yang Singular Jacobi Forms Trans of American Math Soc 347 No [17] J-H Yang Construction of Modular Forms from Jacobi Forms Canadian J of Math [18] J-H Yang A geometrical theory of Jacobi forms of higher degree Proceedings of Symposium on Hodge Theory Algebraic Geometry edited by Tadao Oda Sendai Japan or Kyungpook Math J [19] J-H Yang A Note on Maass-Jacobi Forms Kyungpook Math J [20] J-H Yang A note on a fundamental domain for Siegel-Jacobi space Houston Journal of Mathematics Vol 32 No [21] C Ziegler Jacobi Forms of Higher Degree Abh Math Sem Hamburg Department of Mathematics Inha University Incheon Republic of Korea jhyang@inhaackr