arxiv: v1 [math.cv] 11 Apr 2017

Transcription

1 Off-diagonal estimates of the Bergman kernel on hyperbolic Riemann surfaces of finite volume Anilatmaja Aryasomayajula and Priyanka Majumder ariv:74.396v [math.cv] Apr 7 Abstract In this article, we derive off-diagonal estimates of the Bergman kernel associated to tensorproducts of the cotangent line bundle defined over a hyperbolic Riemann surface of finite volume. Mathematics Subject Classification ): 3A5, 3F3, 3F35. Keywords: Bergman kernels. Introduction In this article, we derive off-diagonal quantitative estimates of the Bergman kernel associated to tensor-powers of the cotangent bundle defined on a hyperbolic Riemann surface of finite volume. Estimates of Bergman kernels associated to high tensor-powers of holomorphic line bundles defined on complex manifolds has been an object of study since a long time. Tian, Zelditch, D ly, Marinsecu, Ma et al. have done seminal work in this field. In this article, we derive estimates of the Bergman kernel associated to tensor-powers of the cotangent bundle defined over a hyperbolic Riemann surface of finite volume, away from the diagonal, both in the compact and in the noncompact setting. Our estimates depend only on the injectivity radius of the hyperbolic Riemann surface, and the tensor-power of the cotangent bundle. Results from Literature. We now briefly discuss the history behind the problem, before we state our main theorem. In [3], Christ has derived an estimate of the Bergman kernel associated to the trivial line bundle defined over C n, away from the diagonal. In [5], Delin has derived a similar estimate for the C -seminorm of the Bergman kernel associated to the trivial line bundle defined over C n, away from the diagonal. Let be a compact Kähler manifold, and let L be a holomorphic line bundle defined over. Then, for any k N, off-diagonal estimates of the Bergman kernel associated to L k, were derived by Christ in [4]. Using Szegó kernels and Poincaréseries, in [], Lu and Zelditch have also derived an estimate of the Bergman kernel associated to L k, away from the diagonal. Let be a sympletic manifold of real dimension-n with bounded geometry, and let L and F be a holomorphic line bundle and a vector bundle defined over, respectively. In [], for n,k N, Ma and Marinescu have derived estimates of C n -norms of the Bergman kernel associated to the vector bundle L k F, away from the diagonal. When is a compact hyperbolic Riemann surface, in [], Chen and Fu have derived an estimate of the Bergman kernel associated to the cotangent bundle along the diagonal. In [], the authors have derived an estimate of the Bergman kernel associated to tensor-powers of the line bundle of holomorphic cusp forms of weight-, along the diagonal. As the line bundle of holomorphic cusp forms of weight- is isometric to the cotangent bundle, the estimate computed in [] can also be viewed as an estimate of the Bergman kernel associated to the tensor-powers of the cotangent bundle. The estimates derived in [] and [] are stable in covers of compact hyperbolic Riemann surfaces. When is a noncompact hyperbolic Riemann surface of finite volume, an estimate of the Bergman kernel associated to the tensor-powers of the line bundle of holomorphic cusp forms of weight- is

2 obtained in [6], which is also stable in covers. Statement of main theorem. We now state the main theorem of the article. Main theorem. Let be a hyperbolic Riemann surface of finite volume, and for any k N, let BΩ k denote the Bergman kernel associated to Ω k, where Ω denotes the cotangent bundle of. Let hyp denote the Hermitian metric on Ω k. For any r, let z = xiy, w = uiv with d H z,w), where d H z,w) denotes the geodesic distance between the points z and w on. When is compact, we have the following estimate when is noncompact, we have the following estimate where BΩ k k hyp z,w) C cosh k /) πk )cosh k /) B k Ω hyp z,w) C ; ) k ) yv π Γ k )/ ) k )sinh r ) C := cosh k r )/ ) k )sinh) sinhr ) πcosh k /) coshr /4) sinhr /4) ) k sinh r /4) Γk) k πk 4)cosh k 4 /), ) sinh r /4). 3) Here r denotes the injectivity radius of, which is as defined in equations 4) and 5), for compact and noncompact hyperbolic Riemann surfaces, respectively. Remark.. Similar to the estimates of the Bergman kernel derived in [], [], and [6], it is easy to show that our estimates ) and ) are stable in covers of Riemann surfaces, by following similar arguments as in []. In the noncompact setting, our off-diagonal estimate of the Bergman kernel ) is the same as the estimate of the Bergman kernel along the diagonal, which is derived in [6]. Acknowledgements. Both the authors acknowledge the support of INSPIRE research grant DST/INSPIRE/4/5/63. Background material In this section, we set up the notation, and recall the background details needed for the proofs of the Main theorem. Let denote a hyperbolic Riemann surface of finite volume. By uniformization theorem from complex analysis, can be realized as the quotient space Γ\H, where Γ PSL R) is a cofinite Fuchsian subgroup, and H is the complex upper half-plane. Locally, we identify with its universal cover H. When is a noncompact hyperbolic Riemann surface of finite volume, without loss of generality, we assume that the point i is the only puncture of, which we denote by. Let µ hyp denote the natural hyperbolic metric on, which is of constant negative curvature. For any z,w, let d H z,w) denote the geodesic distance on the Riemann surface, which is the natural distance function on, coming from the hyperbolic metric µ hyp. The injectivity radius of a compact hyperbolic Riemann surface is given by the following formula r := inf { d H z,γz) z, γ Γ\{Id} } ; 4)

3 when is a noncompact hyperbolic Riemann surface of finite volume, we define the injectivity radius of by the following formula where Γ is the stabilizer of the cusp. r := inf { d H z,γz) z, γ Γ\Γ }, 5) Let Ω denote the cotangent bundle of holomorphic differential -forms on. The global sections of this line bundle are of the form fz)dz, where fz) is a holomorphic cusp form of weight- with respect to Γ. So H,Ω ), the space of global sections of Ω can be identified with S Γ), the complex vector-space of weight- cusp forms. This implies that for any k N, we can identify H,Ω k ) with Sk Γ) as complex vector-spaces. For any k N, let ω H,Ω k ) be a global differential k-form. Then, locally, at any z, ωz) = fz)dz k, where f is a weight-k cusp form with respect to Γ. Furthermore, there exists a point-wise metric on H,Ω k ), which is denoted by hyp, and at the point z = xiy, it is given by the following formula ω hyp z) = y k fz). For any ωz) = fz)dz k,ηz) = gz)dz k H,Ω k ), the L -metric induced by hyp on H,Ω k ) is denoted by, hyp, and is given by the following formula ω,η hyp = y k fz)gz)µ hyp z). Let ω,...,ω jk denote an orthonormal basis of H,Ω k ) with respect to the L -metric, hyp. Then, for any z,w, the Bergman kernel BΩ k z,w) associated to the line bundle Ω k is given by the following formula B k Ω z,w) = j k i= ω i z)ω i w). It is easy to show that the Bergman kernel is independent of the choice of the orthonormal basis of H,Ω k ). We now describe the Bergman kernel associated to S k Γ), the vector space of weight-k cusp forms. For f S k Γ), we have the following point-wise metric at z = xiy f pet z) := y k fz), which induces an L -metric on S k Γ), which is also known as the Petersson inner-product. For any f,g S k Γ), the Petersson inner-product is given by the following formula f,g pet := y k fz)gz)µ hyp z). Let {f,...,f jk } denote an orthonormal basis for S k Γ) with respect to the Petersson innerproduct. Then, for any z = xiy,w = uiv, the Bergman kernel associated to the complex vector-space S k Γ) is given by the following formula B k z,w) := j k i= f i z)f i w). TheBergmankernelB k z,w)isaholomorphiccuspformofweight-kinz,andananti-holomorphic cusp form of weight-k in w. It can also be given by the following infinite series see Proposition.3 on p. 77 in [7]) B k k )i)k z,w) = ) a b where for anyγ = c d γz w) k jγ,z) k, Γ, jγ,z) = cz d. 3

4 As H,Ω k ) = S k Γ) as complex vector-spaces, we have the following relation of Bergman kernels B k Ω z,w) = B k z,w) dz k dw k), and the point-wise metric on Ω k induces the following point-wise metric on Bk Ω z,w) BΩ k hyp z,w) = y k v kk ))k γz w) k jγ,z) k. 6) Recall that for any z = xiy, w = uiv, we have the following formula cosh d H z,w)/ ) = z w. Using the above relation and equation 6), we derive the following inequality BΩ k k 4 k y k v k hyp z,w) γz w) k jγ,z) k = ) k k 4Imγz)v γz w k k = cosh k ). 7) d H γz,w)/ For a hyperbolic Riemann surface of finite volume, we now state an inequality from [], which is adapted to our setting. The inequality gives us an estimate for the number of elements in Γ or Γ\Γ, depending on whether is compact or noncompact, respectively. For any positive, smooth, real-valued, and decreasing function f defined on R, and for any > r /, we have the following inequality where fρ)dn Γ z,w;ρ) fρ)dn Γ z,w;ρ)f) coshr /4)sinh) sinhr /4) sinh fρ)sinhρr /)dρ, 8) r /4) N Γ z,w;ρ) := card{γ γ Γ\Γ, d H γz,w) ρ}. From arguments similar to the ones used in deriving inequality 8) in [], for any >, and z,w, we have the following inequality N Γ z,w;) sinh r ). 9) sinhr ) The above inequality has already been used in the above form in [9]. Notice that our definition for injectivity radius is two times the injectivity radius in [], and both our inequalities, 8) and 9) take this fact into account. Here, it is understood that, when is compact, Γ =. So inequalities 8) and 9) also hold true in the compact setting. 3 Proof of the Main theorem Proof of estimate ). Given that = Γ\H is a compact hyperbolic Riemann surface with injectivity radius r, and r. Furthermore, B k Ω z,w) is the Bergman kernel for the line bundle 4

5 Ω k. Combining inequalities 7) and 8), for any z,w with d Hz,w), we find B k Ω hyp z,w) k k 8πsinh r /4) k cosh k d H γz,w)/ ) = dn Γ z,w;ρ) k )sinh) cosh k ) d H γz,w)/ πcosh k /) coshr /4) sinhr /4) sinhρr /)dρ cosh k. ) ρ/) We now estimate the first term on the right-hand side of the equality in the above inequality. For γ Γ, and z,w with d H z,w), using triangular inequality, we derive Using which, we compute inf \Id which implies that for any γ Γ, we have d H z,γz)d H γz,w) d H z,w). dh z,γz)d H γz,w) ) = inf \Id d Hz,γz) inf \Id d Hγz,w) = r inf \Id d Hγz,w), d H γz,w) r = cosh k r )/ ) cosh k d H γz,w)/ ), for any k N. So combining the above inequality with inequality 9), we arrive at the following inequality dn Γ z,w;ρ) cosh k d H γz,w)/ ) NΓ z,w;) ) sup γ N Γz,w;) ) cosh k d H γz,w)/ ) sinh r ) cosh k r )/ ) sinhr ), which implies that we have the following estimate for the first term on the right-hand side of the equality in ) k dn Γ z,w;ρ) cosh k d H γz,w)/ ) k )sinh r ) cosh k r )/ ) sinhr ). ) We now estimate the third term on the right-hand side of the equality in ). For any ρ, observe that sinhρr /) = sinhρ)coshr /)coshρ)sinhr /) sinhρ)coshr /)coshρ)sinhρ) = sinhρ/)coshρ/) coshr /)coshρ) ) sinhρ/)coshρ/) coshr /)cosh ρ/) ). Using which, we derive that sinhρr /)dρ cosh k ρ/) coshr /) 4coshr /) k )cosh k /) 8 k 4)cosh k 4 /). sinhρ/)dρ cosh k ρ/) 4 sinhρ/)dρ cosh k 3 ρ/) = 5

6 So we have the following estimate for the third term of right-hand side of the equality in ) k 8πsinh r /4) sinhρr /)dρ cosh k ρ/) k ) πk )cosh k /) coshr /) sinh r /4) k ) πk )cosh k /) sinh r /4) k πk 4)cosh k 4 /) ) k πk 4)cosh k 4 /) sinh r /4) = The proof of estimate ) follows from combining estimates ), ), and ). sinh r /4). ) Proof of estimate ). Now let be a noncompact hyperbolic Riemann surface of finite volume. For z,w with d H z,w), from inequality 7), we have B k Ω hyp z,w) k cosh k d \Γ H z,w)/) k cosh k ). 3) d H z,w)/ From similar arguments as in the proof of estimate ), we have the following estimate for the first term on the right-hand side of the above inequality where C is as in equation 3). k \Γ cosh k d H z,w)/) C, 4) We now estimate the second term on the right-hand side of inequality 3). Without loss of generality, we assume that { ) } n n Γ := Z. This implies that for z = xiy,w = uiv, we have cosh k d H γz,w)/ ) = cosh k d H z,w)/ ) cosh k /) αx u dα ) yv) ) k n Z\{} αu x ) k xn u) y v) ) k dα ) ) k. 5) yv) Using the fact that for y,v >, y v), for the first integral on the right-hand side of the above inequality, we compute dα dα ) αx u ) k ) yv) αx u ) k. 6) Making the substituting α x u)/ = θ, and using formula 3.5. from [8], we arrive at the following inequality dα dθ ) αx u ) k θ ) k = 4 πyvγ k / ). 7) Γk) 6

7 Following similar arguments, we have the following estimate for the second integral on the righthand side of inequality 5) dα ) αu x ) k 4 πyvγ k / ). 8) Γk) yv) Combining inequalities 5), 7), and 8), we arrive at the following estimate for the second term on the right-hand side of inequality 3) k k ) yv Γ k )/ ). 9) π k cosh k d H z,w)/ ) cosh k /) Combining estimates 3), 4), and 9) completes the proof of estimate ), and also the proof of Main theroem. Remark 3.. Let be hyperbolic Riemann surface of finite volume with injectivity radius r. When is compact, for any r, and z = xiy, w = uiv with d H z,w), a careful analysis of each of the term comprising the constant C given in equation 3), leads us to the conclusion that ) k C = O cosh k 4 r )/ ). Using the fact that coshu) e u /, for all u, we observe that ) k k 4 )) C = O ) = O ke k ) r ln. e k ) r) For r and k N sufficiently large, our estimate ) is a slightly stronger estimate than the more general estimates derived in [] and [4]. When is noncompact, adapting the same arguments as in p. in section 5 of [6], we find that k ) yv Γ k )/ ) = O k 3/), π Γk) which implies that B k Ω hyp z,w) = O k 3/ ), which is the same as the estimate for the Bergman kernel along the diagonal derived in [6]. Γk) Remark 3.. Let = Γ \H, = Γ \H be two compact hyperbolic Riemann surfaces. Let be a finite cover of, which implies that Γ is a finite index subgroup of Γ. So for any k N, and z,w with d H z,w), from estimates 7) and ) we find that B k Ω hyp z,w) k k cosh k d H γz,w)/ ) cosh k d H γz,w)/ ) C. This implies that our estimate ) is stable in covers of compact hyperbolic Riemann surfaces. Following the same argument, we can conclude that our estimate ) is also stable in covers of noncompact hyperbolic Riemann surfaces of finite volume. 7

8 References [] Anilatmaja Aryasomayajula, Indranil Biswas, Archana Morye, and Tathagata Sengupta. On the Kähler metrics over Sym d ). Geometry and Physics, : 87 94, 6. [] Bo-Yong Chen and Siqi Fu. Stability of the bergman kernel on a tower of coverings. Journal of Differential Geometry, 4: , 6. [3] M. Christ. On the -equation in weighted L -norms in C. Journal of Geometric Analysis, 3: 93 3, 99. [4] M. Christ. Upper bounds for bergman kernels associated to positive line bundles with smooth hermitian metrics. ariv:38.6, 3. [5] H. Delin. Pointwise estimates for the weighted bergman projection kernel in C n, using a weighted L estimate for the -equation. Ann. Inst. Fourier Grenoble), 48: , 998. [6] Joshua S. Friedman, Jay Jorgenson, and Jurg Kramer. Uniform sup-norm bounds on average for cusp forms of higher weights. To appear in Volume dedicated to the Memory of Friedrich Hirzebruch. Springer-Verlag, Berlin, 3. [7] Eberhard Freitag. Hilbert Modular Forms. Springer-Verlag, Berlin, 99. [8] I. Gradshteyn and I. Ryzhik. Tables of Integrals, Series, and Products. Academic Press, 98. [9] Jay Jorgenson and Jurg Kramer. Bounds on canonical green?s functions. Compositio Math., 4: 679 7, 6. [] Jay Jorgenson and Lundelius Rolf. Convergence of the heat kernel and the resolvent kernel on degen- erating hyperbolic riemann surfaces of finite volume. Questiones Math, 8: , 995. [] Zhiqin Lu and Steve Zelditch. Szegó kernels and poincaré series. Journal d?analyse Mathématique, 3: 67 84, 6. [] ia onan Ma and George Marinescu. Exponential estimate for the asymptotics of Bergman kernels. Math. Ann., 363-4):3 347, 5. Anilatmaja Aryasomayajula, Department of Mathematics, Indian Institute of Science Education and Research Tirupati, Karkambadi Road, Mangalam B.O),Tirupati-5757, India. anil.arya@iisertirupati.ac.in Priyanka Majumder, Department of Mathematics, Indian Institute of Science Education and Research Tirupati, Karkambadi Road, Mangalam B.O),Tirupati-5757, India. pmpriyanka57@gmail.com 8