arxiv: v1 [math.dg] 19 Mar 2012

Transcription

1 BEREZIN-TOEPLITZ QUANTIZATION AND ITS KERNEL EXPANSION XIAONAN MA AND GEORGE MARINESCU ABSTRACT. We survey recent results [33, 34, 35, 36] about the asymptotic expansion of Toeplitz operators and their kernels, as well as Berezin-Toeplitz quantization. We deal in particular with calculation of the first coefficients of these expansions. arxiv: v1 [math.dg] 19 Mar 2012 CONTENTS 1. Introduction 1 2. Quantization of Kähler manifolds Bergman projections, Toeplitz operators, and their kernels Spectral gap and vanishing theorem Model situation: Bergman kernel on C Ò Asymptotic expansion of Bergman kernel Asymptotic expansion of Toeplitz operators Algebra of Toeplitz operators, Berezin-Toeplitz star-product Quantization of compact Hermitian manifolds Quantization of complete Hermitian manifolds Berezin-Toeplitz quantization on Kähler orbifolds Preliminaries about orbifolds Bergman kernel on Kähler orbifolds Berezin-Toeplitz quantization on Kähler orbifolds Quantization of symplectic manifolds Spectral gap of the spin Dirac operator Toeplitz operators in spin quantization 32 References INTRODUCTION The aim of the geometric quantization theory of Kostant and Souriau is to relate the classical observables (smooth functions) on a phase space (a symplectic manifold) to the quantum observables (bounded linear operators) on the quantum space (sections of a line bundle). Berezin-Toeplitz quantization is a particularly efficient version of the geometric quantization theory [2, 3, 19, 25, 41]. Toeplitz operators and more generally Toeplitz structures were introduced in geometric quantization by Berezin [3] and Boutet Date: May 24, Mathematics Subject Classification. 53D50, 53C21, 32Q15. Partially supported by Institut Universitaire de France. Partially supported by DFG funded projects SFB/TR 12 and MA 2469/2-1. 1

2 de Monvel-Guillemin [9]. Using the analysis of Toeplitz structures [9], Bordemann- Meinrenken-Schlichenmaier [7] and Schlichenmaier [39] gave asymptotic expansion for the composition of Toeplitz operators in the Kähler case. The expansions we will be considering are asymptotic expansions relative to the high power Ô of the quantum line bundle. The limit Ô is interpreted as semi-classical limit process, where the role of the Planck constant is played by Ô. The purpose of this paper is to review some methods and results concerning Berezin- Toeplitz quantization which appeared in the recent articles [34, 35, 36] and in the book [33]. Our approach is based on kernel calculus and the off-diagonal asymptotic expansion of the Bergman kernel. This method allows not only to derive the asymptotic expansions of the Toeplitz operators but also to calculate the first coefficients of the various expansions. Since the formulas for the coefficients encode geometric data of the manifold and prequantum bundle they found extensive and deep applications in the study of Kähler manifolds (see e.g. [16, 17, 18, 20, 21, 26, 44, 45], to quote just a few). We will also twist the powers of the prequantum bundle with a fixed auxiliary bundle, so the formulas for the coefficients also mirror the curvature of the twisting bundle. The paper is divided in three parts, treating the quantization of Kähler manifolds, of Kähler orbifolds and finally of symplectic manifolds. In these notes we do not attempt to be exhaustive, neither in the choice of topics, nor in what concerns the references. For previous work on Berezin-Toeplitz star products in special cases see [11, 38]. The paper [37] contains a detailed study of Bergman kernels and Toeplitz operators on Kähler and symplectic manifolds in the presence of a Hamiltonian action of a compact connected Lie group. We also refer the reader to the survey articles [1, 30, 40] for more information for the Berezin-Toeplitz quantization and geometric quantization. The survey [30] gives a review in the context of Kähler and symplectic manifolds and explores the connections to symplectic reduction. 2. QUANTIZATION OF KÄHLER MANIFOLDS In this long section we explain our approach to Berezin-Toeplitz quantization of symplectic manifolds by specializing to the Kähler case. The method we use is then easier to follow and the coefficients of the asymptotic expansions have accurate expressions in terms of curvatures of the underlying manifold. In Section 2.1, we review the definition of the Bergman projector, introduce the Toeplitz operators and their kernels. In Section 2.2, we describe the spectral gap of the Kodaira-Laplace operator. On one hand, this implies the Kodaira-Serre vanishing theorem and the fact that for high powers of the quantum line bundle the cohomology concentrates in degree zero. On the other hand, the spectral gap provides the natural framework for the asymptotic expansions of the Bergman and Toeplitz kernels. In Section 2.3 we describe the model operator, its spectrum and the kernel of its spectral projection on the lowest energy level. The expansion of the Bergman kernel, which we study in Section 2.4, is obtained by a localization and rescaling technique due to Bismut-Lebeau [5], and reduces the problem to the model case. With this expansion at hand, we formulate the expansion of the Toeplitz kernel in Section 2.5. Moreover, we observe in Section 2.6 that these expansion characterizes the 2

3 Toeplitz operators and this characterization implies the expansion of the product of two Toeplitz operators and the existence of the Berezin-Toeplitz star product. In Section 2.7, we explain how to apply the previous results when the Riemannian metric used to define the Hilbertian structure on the space of sections is arbitrary. In Section 2.8, we turn to the general situation of complete Kähler manifolds and show how to apply the introduced method in this case Bergman projections, Toeplitz operators, and their kernels. We consider a complex manifold µ with complex structure Â, and complex dimension Ò. Let Ä and be two holomorphic vector bundles on. We assume that Ä is a line bundle i.e. Ö Ä. The bundle is an auxiliary twisting bundle. It is interesting to work with a twisting vector bundle for several reasons. For example, one has to deal with Ò ¼µ-forms with values in Ä Ô, so one sets Ò Ì ¼µ µ. From a physical point of view, the presence of means a quantization of a system with several degrees of internal freedom. We fix Hermitian metrics Ä, on Ä,. Let Ì be a Â-invariant Riemannian metric on, i.e., Ì ÂÙ ÂÚµ Ì Ù Úµ for all Ü ¾ and Ù Ú ¾ Ì Ü. The Riemannian volume form of Ì is denoted by Ú. On the space of smooth sections with compact support C ¼ ÄÔ Å µ we introduce the Ä ¾ -scalar product associated to the metrics Ä, and the Riemannian volume form Ú by (2.1) ¾ ܵ ¾ ܵ Ä Ô Å Ú Üµ The completion of C ¼ ÄÔ Åµ with respect to (2.1) is denoted as usual by Ä ¾ Ä Ô Å µ. We consider the space of holomorphic Ä ¾ sections: (2.2) À ¼ ¾µ ÄÔ Å µ Ò ¾ Ä ¾ Ä Ô Å µ is holomorphic Ó Let us note an important property of the space À ¼ ¾µ ÄÔ Å µ, which follows from the Cauchy estimates for holomorphic functions. Namely, for every compact set à there exists à ¼ such that (2.3) ÙÔ Ë Üµ Ã Ë Ä ¾ for all Ë ¾ À ¼ ¾µ ÄÔ Å µ. ܾà We deduce that À ¼ ¾µ ÄÔ Å µ is a closed subspace of Ä ¾ Ä Ô Å µ; one can also show that À ¼ ¾µ ÄÔ Å µ is separable (cf. [46, p. 60]). Definition 2.1. The Bergman projection is the orthogonal projection È Ô Ä ¾ Ä Ô Å µ À ¼ ¾µ ÄÔ Å µ In view of (2.3), the Riesz representation theorem shows that for a fixed Ü ¾ there exists È Ô Ü µ ¾ Ä ¾ Ä Ô Å µ Ü Å Ä Ô Å µ µ such that È Ô Ü Ü ¼ µë Ü ¼ µú Ü ¼ µ for all Ë ¾ À ¼ ¾µ ÄÔ Å µ. (2.4) Ë Üµ Definition 2.2. The section È Ô µ of Ä Ô Å µ Ä Ô Å µ over is called the Bergman kernel of Ä Ô Å. Set Ô Ñ À ¼ ¾µ ÄÔ Å µ ¾ N. Let Ë Ô Ô be any orthonormal basis of À ¼ ¾µ ÄÔ Å µ with respect to the inner product (2.1). Using the estimate (2.3) we can 3

4 show that (2.5) È Ô Ü Ü ¼ µ Ô Ë Ô Üµ Å ËÔ Ü¼ µµ ¾ Ä Ô Å µ Ü Å Ä Ô Å µ Ü ¼ where the right-hand side converges on every compact together with all its derivatives (see e.g. [46, p. 62]). Thus È Ô µ ¾ C Ä Ô Å µ Ä Ô Å µ µ. It follows that È Ô Ü Ü ¼ µë Ü ¼ µú Ü ¼ µ for all Ë ¾ Ä ¾ Ä Ô Å µ. (2.6) È Ô Ëµ ܵ that is, È Ô µ is the integral kernel of the Bergman projection È Ô. We recall that a Carleman kernel (see e.g. [22]) is a (measurable) section such that Ì µ Ä Ô Å µ Ä Ô Å µ Ì Ü µ ¾ Ä ¾ Ä Ô Å µ Ü Å Ä Ô Å µ µ for almost all Ü ¾ Ì Ü ¼ µ ¾ Ä ¾ Ä Ô Å µ Å Ä Ô Å µ Ü ¼µ for almost all ܼ ¾ A bounded linear operator Ì on Ä ¾ Ä Ô Å µ is called Carleman operator if there exists a Carleman kernel Ì µ such that (2.7) Ì Ëµ ܵ Ì Ü Ü ¼ µë Ü ¼ µú Ü ¼ µ for all Ë ¾ Ä ¾ Ä Ô Å µ. Note that È Ô Ü Ü ¼ µ È Ô Ü ¼ ܵ, thus È Ô Ü Ü ¼ µ is a Carleman kernel and È Ô is a Carleman operator. Let Ì, Ì ¾ be two Carleman operators on Ä ¾ Ä Ô Å µ. Then the composition Ì Æ Ì ¾ is a Carleman operator with kernel Ì Æ Ì ¾ µ Ü Ü ¼¼ µ Ì Ü Ü ¼ µì Ü ¼ Ü ¼¼ µ Ú Ü ¼ µ The Bergman kernel represents the local density of the space of holomorphic sections and is a very efficient tool to study properties of holomorphic sections. It is an objet souple in the sense of Pierre Lelong, that is, it interpolates between the rigid objects of complex analysis and the flexible ones of real analysis. Note that È Ô Ü Üµ ¾ Ò µ Ü, since Ò Ä Ô µ C. Using (2.5) and the formula ÌÖ Ë Ô Üµ Å ËÔ Üµµ Ë Ô Üµ¾, we obtain immediately (2.8) Ô ÌÖ È Ô Ü Üµ Ú Üµ Definition 2.3. For a bounded section ¾ C Ò µµ, set (2.9) Ì Ô Ä ¾ Ä Ô Å µ Ä ¾ Ä Ô Å µ Ì Ô È Ô È Ô where the action of is the pointwise multiplication by. The map which associates to ¾ C Ò µµ the family of bounded operators Ì Ô Ô on Ä ¾ Ä Ô Å µ is called the Berezin-Toeplitz quantization. Note that Ì Ô is a Carleman operator with smooth integral kernel given by (2.10) Ì Ô Ü Ü ¼ µ È Ô Ü Ü ¼¼ µ Ü ¼¼ µè Ô Ü ¼¼ Ü ¼ µ Ú Ü ¼¼ µ For two arbitrary bounded sections ¾ C Ò µµ it is easy to see that Ì Ô Æ Ì Ô is not in general of the form Ì Ô. But we have Ì Ô Æ Ì Ô Ì Ô asymptotically 4

5 for Ô. In order to explain this we introduce the following more general notion of Toeplitz operator. Definition 2.4. A Toeplitz operator is a sequence Ì Ô Ô¾N of linear operators (2.11) Ì Ô Ä ¾ Ä Ô Å µ Ä ¾ Ä Ô Å µ verifying Ì Ô È Ô Ì Ô È Ô, such that there exist a sequence ¾ C Ò µµ such that for any ¼, there exists ¼ with (2.12) Ì Ô Ì Ô Ô Ô ¼ for any Ô ¾ N where denotes the operator norm on the space of bounded operators. The section ¼ is called the principal symbol of Ì Ô. We express (2.12) symbolically by (2.13) Ì Ô ¼ Ì Ô Ô Ç Ô µ If (2.12) holds for any ¾ N, then we write (2.13) with. One of our goals is to show that Ì Ô Æ Ì Ô is a Toeplitz operator in the sense of Definition This will be achieved by using the asymptotic expansions of the Bergman kernel and of the kernels of the Toeplitz operators Spectral gap and vanishing theorem. In order to have a meaningful theory it is necessary that the spaces À ¼ ¾µ ÄÔ Å µ are as large as possible. In this section we describe conditions when the growth of Ô Ñ À ¼ ¾µ ÄÔ Å µ for Ô is maximal. For this purpose we need Hodge theory, so we introduce the Laplace operator. Let Ì ¼µ be the holomorphic tangent bundle on, Ì ¼µ the conjugate of Ì ¼µ and Ì ¼µ the dual bundle of Ì ¼µ. We denote by Õ Ì ¼µ µ the bundle of ¼ Õµ-forms on and by Å ¼Õ µ the space of sections of the bundle Õ Ì ¼µ µ Å over, for some vector bundle. The Dolbeault operator acting on sections of the holomorphic vector bundle Ä Ô Å gives rise to the Dolbeault complex Å ¼ Ä Ô Å µ ÄÔ Å Its cohomology, called Dolbeault cohomology, is denoted by À ¼ Ä Ô Å µ. We denote by ÄÔ Å Ä the formal adjoint of Ô Å with respect to the ľ -scalar product (2.1). Set Ô Ô ¾ ÄÔ Å Ä Ô Å (2.14) ÄÔ Å ¾ ¾ Ô Å Ä ÄÔ Ô Å Ä Ô Å Ä Ô Å The operator ÄÔ Å is called the Kodaira-Laplacian. It acts on Å ¼ Ä Ô Å µ and preserves its Z-grading. Let us consider first that is a compact Kähler manifold endowed with a Kähler form and Ä is a prequantum line bundle. The latter means that there exists a Hermitian 5

6 metric Ä such that the curvature Ê Ä Ö Ä µ ¾ of the holomorphic Hermitian connection Ö Ä on Ä Ä µ satisfies Ô (2.15) ¾ ÊÄ In particular, Ä is a positive line bundle. By Hodge theory, the elements of ÃÖ ÄÔ Å µ, called harmonic forms, represent the Dolbeault cohomology. Namely, (2.16) ÃÖ Ô Å ¼Õµ ÃÖ ¾ Ô Å ¼Õµ ³ À ¼Õ Ä Ô Å µ and the spaces À ¼Õ Ä Ô Å µ are finite dimensional. Note that À ¼¼ Ä Ô Å µ is the space of holomorphic sections of Ä Ô Å, denoted shortly by À ¼ Ä Ô Å µ. Since is compact we have À ¼ Ä Ô Å µ À ¼ ¾µ ÄÔ Å µ for any Hermitian metrics on Ä Ô, and volume form on. A crucial tool in our analysis of the Bergman kernel is the following spectral gap of the Kodaira-Laplacian. Theorem 2.5 ([6, Th. 1.1], [33, Th ]). There exist constants positive ¼, Ä such that for any Ô ¾ N and any ¾ Å ¼¼ Ä Ô Å µ Ä Õ Å ¼Õ Ä Ô Å µ, (2.17) Ô ¾ Ä ¾ ¾ ¼Ô Ä µ ¾ Ä ¾ Hence (2.18) ËÔ Ô µ Ò Ó ¼ Ô ¼ ¾ Ä where ËÔ Ô µ denotes the spectrum of the Kodaira Laplacian Ô. Theorem 2.5 was first proved by Bismut-Vasserot [6, Th. 1.1] using the non-kählerian Bochner-Kodaira-Nakano formula with torsion due to D ly, see e.g. [33, Th ] (note that Ì is arbitrary, we don t suppose that it is the metric associated to, i.e., Ì Ù Úµ Ù ÂÚµ for Ù Ú ¾ Ì Ü ). By Theorem 2.5, we conclude: Theorem 2.6 (Kodaira Serre vanishing Theorem). If Ä is a positive line bundle, then there exists Ô ¼ ¼ such that for any Ô Ô ¼, (2.19) À ¼Õ Ä Ô Å µ ¼ for any Õ ¼ Recall that for a compact manifold and a holomorphic vector bundle, the Euler number µ is defined by (2.20) µ Ò Õ¼ µ Õ Ñ À ¼Õ µ By the Riemann-Roch-Hirzebruch Theorem [33, Th. 14.6] we have (2.21) µ Ì Ì ¼µ µ where Ì and indicate the Todd class and the Chern character, respectively. By the Kodaira-Serre vanishing (2.19), (2.22) Ô Ñ À ¼ Ä Ô Å µ Ä Ô Å µ Ô Ô ¼ 6

7 Therefore, for Ô Ô ¼, (2.23) Ñ À ¼ Ä Ô Å µ Ö µ O Ô Ò ¾ µ ĵ Ò Ô Ò Ò Ì Ì ¼µ Ä Ô Å µ µ Ö µ ¾ ĵ Ò Ì ¼µ µ Ò µ ÔÒ Note that the first Chern class ĵ is represented by (see (2.15)) and µ is represented by Ô ÌÖÊ. As a conclusion we have: Ò ¾ Theorem 2.7. Let µ be a compact Kähler manifold and let Ä Ä µ be a prequantum line bundle satisfying (2.15). Then Ô is a polynomial of degree Ò with positive leading term Ê Äµ Ò (the volume of the manifold µ). Let us consider now the general situation of a (non-compact) complex manifold µ. As before we are given a Hermitian metric on, that is, a Â-compatible Riemannian metric Ì. We denote by the associated µ-form, i.e., Ù Úµ Ì ÂÙ Úµ, for all Ü ¾ and Ù Ú ¾ Ì Ü. We say that the Hermitian manifold µ is complete if the Riemannian metric Ì is complete. Consider further a Hermitian holomorphic vector bundle µ. Let us denote by Å ¼Õ ¾µ µ ľ Õ Ì ¼µ µ Å µ. We have the complex of closed, densely defined operators (2.24) Å ¼Õ ¾µ µ Ì Å ¼Õ Ë ¾µ µ Å ¼Õ ¾µ µ where Ì and Ë are the maximal extensions of, i.e., ÓÑ µ ¾ Å ¾µ ¼ µ ¾ Å ¼ ¾µ µ where is calculated in the sense of distributions. Note that ÁÑ Ì µ ÃÖ Ëµ, so ËÌ ¼. The Õ-th Ä ¾ Dolbeault cohomology is defined by (2.25) À ¼ Õ ¾µ µ ÃÖ µ Å ¼Õ ¾µ µ ÁÑ µ Å ¼Õ ¾µ µ Consider the quadratic form É given by (2.26) ÓÑ Éµ ÓÑ Ëµ ÓÑ Ì µ É ¾ µ Ë Ë ¾ Ì Ì ¾ for ¾ ¾ ÓÑ Éµ where Ì is the Hilbertian adjoint of Ì. For the following result due essentially to Gaffney one may consult [33, Prop , Cor ]. Lemma 2.8. Assume that the Hermitian manifold µ is complete. Then the Kodaira- Laplacian Å ¼ ¼ µ Å ¼ ¾µ µ is essentially self-adjoint. Its associated quadratic form is the form É given by (2.26). We denote by Ê Ø the curvature of the holomorphic Hermitian connection Ö Ø on Ã Ø Ì ¼µ µ. We have the following generalization of Theorems 2.5 and

8 Theorem 2.9 ([33, Th ], [34, Th. 3.11]). Assume that µ is a complete Hermitian manifold. Let Ä Ä µ and µ Hermitian holomorphic vector bundles of rank one and Ö, respectively. Suppose that there exist ¼, ¼ such that : Ô Ô (2.27) Ê Ä Ê Ø Ê µ Á Ì Then there exists ¼ and Ô ¼ ¾ N such that for Ô Ô ¼ the quadratic form É Ô associated to the Kodaira-Laplacian Ô ÄÔ Å satisfies (2.28) É Ô µ Ô ¾ Ä ¾ for ¾ ÓÑ É Ôµ Å ¼Õ ¾µ ÄÔ Å µ, Õ ¼ Especially (2.29) À ¼ Õ ¾µ ÄÔ Å µ ¼ for Ô Ô ¼, Õ ¼ and the spectrum ËÔ Ô µ of the Kodaira Laplacian Ô acting on Ä ¾ Ä Ô Åµ is contained in the set ¼ Ô. Thus we are formally in a similar situation as in the compact case, that is, the higher Ä ¾ cohomology groups vanish. But we cannot invoke as in the compact case the index theorem to estimate the dimension of Ä ¾ holomorphic sections of Ä Ô Å. Instead we can use an analogue of the local index theorem, namely the asymptotics of the Bergman kernel. Let us denote by ««Ò the eigenvalues of Ô ¾ ÊÄ with respect to. Theorem 2.10 ([34, Cor. 3.12]). Under the hypotheses of Theorem 2.9 we have (2.30) È Ô Ü Üµ Ô Ò b ¼ ܵ Ç Ô Ò µ Ô uniformly on compact sets, where b ¼ ««Ò Á. Hence (2.31) ÐÑ Ò Ô Ô Ò Ñ À ¼ ¾µ ÄÔ Å µ Ö µ Ò Ô Ò ¾ ÊÄ The asymptotics (2.30) are a particular case of the full asymptotic expansion of the Bergman kernel, see Corollary It can be also deduced with the help of Ä ¾ estimates of Hörmander as done by Tian [42]. The estimate (2.31) shows that Ñ À ¼ ¾µ ÄÔ Å µ has at least polynomial growth of degree Ò. It follows from Fatou s lemma, applied on with the measure Ò Ò to the sequence Ô Ò ÌÖ È Ô Ü Üµ which converges pointwise to ÌÖ b ¼ on Model situation: Bergman kernel on C Ò. We introduce here the model operator, a Kodaira-Laplace operator on C Ò, and describe explicitly its spectrum. The expansion of the Bergman and Toeplitz kernels will be expressed in terms of the kernel of the projection on ÃÖ L µ. Our whole analysis and calculations are based on the Fourier expansion with respect to the eigenfunctions of L. Let us consider the canonical real coordinates ¾Ò µ on R ¾Ò and the complex coordinates Þ Ô Þ Ò µ on C Ò. The two sets of coordinates are linked by the relation Þ ¾ ¾, Ò. We endow C Ò with the Euclidean metric ÌCÒ. The associated Kähler form on C Ò is Ô Ò Þ Þ ¾ 8

9 We are interested in the space Ä ¾ R¾Ò µ Ä ¾µ of square integrable functions on R ¾Ò with respect to the Lebesgue measure. We denote by ¾Ò the Euclidean volume form. For «««Ò µ ¾ N Ò, Þ ¾ C Ò, put Þ «Þ «Þ Ò «Ò. Let Ä C be the trivial holomorphic line bundle on C Ò with the canonical section 1 C Ò Ä, Þ Þ µ. Let Ä be the metric on Ä defined by (2.32) 1 Ä Þµ ÜÔ ¾ È Ò Þ ¾ µ µ for Þ ¾ C Ò The space of Ä ¾ -integrable holomorphic sections of Ä with respect to Ä and is the classical Segal-Bargmann space of Ä ¾ -integrable holomorphic functions with respect to the volume form. It is well-known that Þ ¾ N Ò forms an orthogonal basis of this space. To introduce the model operator L we set: (2.33) ¾ Þ ¾ Þ Þ Þ L We can interpret the operator L in terms of complex geometry. Let Ä be the Dolbeault operator acting on Å ¼ C Ò Äµ and let Ä be its adjoint with respect to the Ä ¾ -scalar product induced by ÌCÒ and Ä. We have the isometry Å ¼ C Ò Cµ Å ¼ C Ò Äµ given by ««. If Ä Ä Ä Ä Ä denotes the Kodaira Laplacian acting on Å ¼ C Ò Äµ, then Ä Å ¼ C Ò Cµ Å ¼ C Ò Cµ Ä ¾ L Ò Ä Å ¼¼ L ¾ ¾Þ Þ The operator L is the complex analogue of the harmonic oscillator, the operators, are creation and annihilation operators respectively. Each eigenspace of L has infinite dimension, but we can still give an explicit description. Theorem 2.11 ([33, Th ], [34, Th. 1.15]). The spectrum of L on Ä ¾ R¾Ò µ is given by (2.34) ËÔ L µ ««¾ N Ò Each ¾ ËÔ L µ is an eigenvalue of infinite multiplicity and an orthogonal basis of the corresponding eigenspace is given by (2.35) «Þ È Þ ¾ ¾ «¾ N Ò with «, ¾ N Ò where «««Ò Ò. Moreover, Ë ¾ ËÔ L µ forms a complete orthogonal basis of Ä ¾ R¾Ò µ. In particular, an orthonormal basis of ÃÖ L µ is (2.36) ³ Þµ ¾Þ È Þ ¾¾ ¾ N Ò 9

10 Let P Ä ¾ R¾Ò µ ÃÖ L µ be the orthogonal projection and let P ¼ µ denote its kernel with respect to ¼. We call P µ the Bergman kernel of L. Obviously P È ¼ µ ³ Þµ ³ Þ ¼ µ so we infer from (2.36) that (2.37) P ¼ µ ÜÔ ¾ È Ò Þ ¾ Þ ¼ ¾ ¾Þ Þ ¼ 2.4. Asymptotic expansion of Bergman kernel. In Sections we assume that µ is a compact Kähler manifold and Ä Ä µ is a Hermitian holomorphic line bundle satisfying (2.15). For the sake of simplicity, we suppose that Riemannian metric Ì is the metric associated to, that is, Ì Ù Úµ Ù ÂÚµ (or, equivalently, ). In order to state the result about the asymptotic expansion we start by describing our identifications and notations. Normal coordinates. Let be the injectivity radius of Ì µ. We denote by Ü µ and ÌÜ ¼ µ the open balls in and Ì Ü with center Ü and radius, respectively. Then the exponential map Ì Ü ÜÔ Ü µ ¾ is a diffeomorphism from ÌÜ ¼ µ onto Ü µ for. From now on, we identify ÌÜ ¼ µ with Ü µ via the exponential map for. Throughout what follows, runs in the fixed interval ¼. Basic trivialization. We fix Ü ¼ ¾. For ¾ ÌÜ ¼ ¼ µ we identify Ä Ä µ, µ and Ä Ô Å µ to Ä Ü¼ Ä Ü ¼ µ, ܼ Ü ¼ µ and Ä Ô Å µ ܼ by parallel transport with respect to the connections Ö Ä, Ö and Ö ÄÔÅ along the curve ¼ Ù ÜÔ Ü ¼ Ùµ This is the basic trivialization we use in this paper. ܼ Using this trivialization we identify ¾ C Ò µµ to a family ܼ ܼ¾ where is the function in normal coordinates near Ü ¼, i.e., ܼ ÌÜ ¼ ¼ µ Ò Ü¼ µ ܼ µ Æ ÜÔ Ü ¼ µ In general, for functions in the normal coordinates, we will add a subscript Ü ¼ to indicate the base point Ü ¼ ¾. Similarly, È Ô Ü Ü ¼ µ induces in terms of the basic trivialization a smooth section ¼ µ È Ô Ü¼ ¼ µ of Ò µ over ¼ µ ¾ Ì Ì ¼, which depends smoothly on Ü ¼. Here we identify a section Ë ¾ C Ì Ì Ò µ with the family ËÜ µ ܾ, where Ë Ü Ë Üµ. Coordinates on Ì Ü¼. Let us choose an orthonormal basis Û Ò of Ì Ü ¼µ ¼. Then Ô ¾ Ô ¾ Û Û µ and ¾ Ô ¾ Û Û µ, Ò form an orthonormal basis of Ì Ü¼. We use coordinates on Ì Ü¼ ³ R ¾Ò given by the identification (2.38) R ¾Ò ¾Ò µ ¾ Ì Ü¼ In what follows we also use complex coordinates Þ Þ Þ Ò µ on C Ò ³ R ¾Ò. Volume form on Ì Ü¼. Let us denote by Ú Ì the Riemannian volume form on Ì Ü¼ ÌÜ ¼ µ, there exists a smooth positive function ܼ Ì Ü¼ R, satisfying (2.39) Ú µ ܼ µú Ì µ ܼ ¼µ where the subscript Ü ¼ of ܼ µ indicates the base point Ü ¼ ¾. Sequences of operators. Let Ô Ä ¾ Ä Ô Å µ Ä ¾ Ä Ô Å µ be a sequence of continuous linear operators with smooth kernel Ô µ with respect to Ú (e.g. Ô 10

11 Ì Ô ). Let Ì Ì be the natural projection from the fiberwise product of Ì on. In terms of our basic trivialization, Ô Ü Ýµ induces a family of smooth sections ¼ Ô Ü¼ ¼ µ of Ò µ over ¼ µ ¾ Ì Ì ¼, which depends smoothly on Ü ¼. We denote by Ô Ü¼ ¼ µ C Ð µ the C Ð norm with respect to the parameter Ü ¼ ¾. We say that Ô Ü¼ ¼ µ Ç Ô µ Ô if for any Ð Ñ ¾ N, there exists ÐÑ ¼ such that Ô Ü¼ ¼ µ C Ñ µ ÐÑ Ô Ð. The asymptotics of the Bergman kernel will be described in terms of the Bergman kernel P ܼ µ P µ of the model operator L on Ì Ü¼ R ¾Ò. Recall that P µ was defined in (2.37). Notation Fix ¾ N and ¼ ¾ ¼. Let ¾ Ò µ ܼ ¼ ¼ Ö Ü ¼ ¾ É Ö Ü¼ be a family of polynomials in ¼, which is smooth with respect to the parameter Ü ¼ ¾. We say that (2.40) Ô Ò Ô Ü¼ ¼ µ Ö¼ É Ö Ü¼ P ܼ µ ÔÔ Ô Ô ¼ µô Ö¾ Ç Ô µ¾ µ on ¼ µ ¾ Ì Ì ¼ ¼ if there exist ¼ ¼ and a decomposition (2.41) Ô Ò Ôܼ ¼ µ É Ö Ü¼ P ܼ µ ÔÔ Ô Ô ¼ µü ¾ ¼ µü ¾ ¼ ¼ µô Ö¾ Ö¼ Ô Ü¼ ¼ µ Ç Ô µ where Ô Ü¼ satisfies the following estimate: for every Ð ¾ N there exist Ð ¼, Å ¼ such that for all Ô ¾ N (2.42) Ô Ü¼ ¼ µ C Ð µ Ð Ô µ¾ ÔÔ ÔÔ ¼ µ Å ¼ Ô Ô ¼ on ¼ µ ¾ Ì Ì ¼ ¼. The sequence È Ô. We can now state the asymptotics of the Bergman kernel. First we observe that the Bergman kernel decays very fast outside the diagonal of. Let f R ¼ be a smooth even function such that f Úµ for Ú ¾, and f Úµ ¼ for Ú. Set (2.43) µ f ÚµÚ Ú f ÚµÚ Then µ is an even function and lies in the Schwartz space Ë Rµ and ¼µ. We have the far off-diagonal behavior of the Bergman kernel: Theorem 2.13 ([15, Prop. 4.1]). For any Ð Ñ ¾ N and ¼, there exists a positive constant ÐÑ ¼ such that for any Ô, Ü Ü ¼ ¾, the following estimate holds: (2.44) Ô µ Ü Ü ¼ µ È Ô Ü Ü ¼ µ C Ñ µ ÐÑÔ Ð Especially, (2.45) È Ô Ü Ü ¼ µ C Ñ µ ÐÑ Ô Ð on Ü Ü ¼ µ ¾ Ü Ü ¼ µ The C Ñ norm in (2.44) and (2.45) is induced by Ö Ä, Ö, Ä, and Ì. 11

12 Next we formulate the near off-diagonal expansion of the Bergman kernel. Theorem 2.14 ([15, Th ¼ ]). There exist polynomials Â Ö Ü¼ ¾ Ò µ ܼ ¼ in ¼ with the same parity as Ö, such that for any ¾ N, ¾ ¼, we have (2.46) Ô Ò È Ô Ü¼ ¼ µ Ö¼ Â Ö Ü¼ P ܼ µ ÔÔ Ô Ô ¼ µô Ö ¾ Ç Ô ¾ µ on the set ¼ µ ¾ Ì Ì ¼ ¾, in the sense of Notation Let us briefly explain the idea of the proof for Theorems Using the spectral gap property from Theorem 2.5, we obtain (2.44). By finite propagation speed of solutions of hyperbolic equations, we obtain that Ô µ Ü Ü ¼ µ ¼ if Ü Ü ¼ µ and Ô µ Ü µ depends only on the restriction Ô Üµ, so (2.45) follows. This shows that we can localize the asymptotics of È Ô Ü ¼ Ü ¼ µ in the neighborhood of Ü ¼. By pulling back all our objects by the exponential map to the tangential space and suitably extending them we can work on R ¾Ò. Thus we can use the explicit description of the Bergman kernel of the model operator L given in Section 2.3. To conclude the proof, we combine the spectral gap property, the rescaling of the coordinates and functional analytic techniques inspired by Bismut-Lebeau [5, 11]. By setting b Ö Ü ¼ µ  ¾Ö ܼ P ܼ µ ¼ ¼µ, we get from (2.46) the following diagonal expansion of the Bergman kernel. Corollary For any Ð ¾ N, there exists Ð ¼ such that for any Ô ¾ N, (2.47) È Ô Ü Üµ Ö ÜµÔ Ö¼b Ò Ö C Ð Ô Ò Ð µ where b ¼ ܵ Á. The existence of the expansion (2.47) and the form of the leading term was proved by [42, 12, 47]. The calculation of the coefficients b Ö is of great importance. For this we need Â Ö Ü¼, which are obtained by computing the operators F Ö Ü¼ defined by the smooth kernels (2.48) F Ö Ü¼ ¼ µ Â Ö Ü¼ ¼ µp ¼ µ with respect to ¼. Our strategy (already used in [33, 34]) is to rescale the Kodaira- Laplace operator, take the Taylor expansion of the rescaled operator and apply resolvent analysis. Rescaling Ô and Taylor expansion. For ¾ C R ¾Ò ܼ µ, ¾ R ¾Ò, ¾, and for Ø (2.49) Ô Ô, set Ë Ø µ µ ص L Ø ËØ ¾ Ø ¾ ¾ Ô µ ¾ Ë Ø Then by [33, Th ], there exist second order differential operators Ç Ö such that we have an asymptotic expansion in Ø when Ø ¼, (2.50) L Ø L ¼ Ñ Ö Ø Ö Ç Ö O Ø Ñ µ 12

13 From [33, Th , ], we obtain (2.51) L ¼ L Ç ¼ Resolvent analysis. We define by recurrence Ö µ ¾ Ò Ä ¾ R ¾Ò ܼ µµ by (2.52) ¼ µ L ¼ µ Ö µ L ¼ µ Ö Ç Ö µ Let Æ be the counterclockwise oriented circle in C of center ¼ and radius ¾. Then by [34, (1.110)] (cf. also [33, (4.1.91)]) (2.53) F Ö Ü¼ ¾ Ô Æ Ö µ Since the spectrum of L is well understood we can calculate the coefficients F Ö Ü¼. Set P Á P. From Theorem 2.11, (2.51) and (2.53), we get (2.54) and (2.55) F ܼ F ¼ ܼ P F ܼ ¼ F ¾ ܼ F ܼ L P Ç ¾ P PÇ ¾ L P L P Ç P PÇ L P L P Ç ¾ L P Ç ¾ P L P Ç P PÇ ¾ L P Ç ¾ L P PÇ L P L P Ç ¾ PÇ ¾ L P PÇ ¾ L ¾ P Ç ¾ P PÇ ¾ PÇ ¾ L ¾ P P L ¾ Ç ¾ PÇ ¾ P In particular, the first two identities of (2.54) imply (2.56)  ¼ ܼ  ܼ ¼ In order to formulate the formulas for b and b ¾ we introduce now more notations. Let Ö Ì be the Levi-Civita connection on Ì µ. We denote by Ê Ì Ö Ì µ ¾ the curvature, by Ê the Ricci curvature and by Ö the scalar curvature of Ö Ì. We still denote by Ö the connection on Ò µ induced by Ö. Consider the (positive) Laplacian acting on the functions on Ì µ and the Bochner Laplacian on C µ and on C Ò µµ. Let be a (local) orthonormal frame of Ì Ì µ. Then (2.57) Ö Ö Ö Ö Ì µ Let Å Õ Ö Ò µµ be the space of Õ Öµ-forms on with values in Ò µ, and let (2.58) Ö ¼ Å Õ Ò µµ Å Õ Ò µµ be the ¼µ-component of the connection Ö. Let Ö µ, Ö ¼ be the adjoints of Ö, Ö ¼, respectively. Let ¼ ¼ be the ¼µ and ¼ µ components of the connection Ö Ì C Ì µ C Ì Å Ì µ induced by Ö Ì. In the following, we denote by Å Ò µµ Å Ò µµ C Ò µµ 13

14 the C-bilinear pairing «Å Å «, for forms «¾ Å µ and sections ¾ C Ò µµ. Put (2.59) Ê Ê Let Ê Ê Â µ be the µ-form associated to Ê. Set Ê ¾ Theorem We have Ê µ ¾ (2.60) b Ö (2.61) ¾ b ¾ Ö Ô ¾ Ê Ì ¾ Ð Ô ¾ Ê ÊÌ ¾ ¾ Ê ¾ ¾Ö Ê Ê Ê Ê Ê Ì µ Ð ¾ ¾ Ö µ ¾ Ê µ¾ Ê Ê Ö ¼ Ê The terms b, b ¾ were computed by Lu [28] (for C, the trivial line bundle with trivial metric), X. Wang [45], L. Wang [44], in various degree of generality. The method of these authors is to construct appropriate peak sections as in [42], using Hörmander s Ä ¾ -method. In [15, 5.1], Dai-Liu-Ma computed b by using the heat kernel, and in [34, 2], [32, 2] (cf. also [33, 4.1.8, 8.3.4]), we computed b in the symplectic case. A new method for calculating b ¾ was given in [36] Asymptotic expansion of Toeplitz operators. We stick to the situation studied in the previous Section, namely, µ is a compact Kähler manifold and Ä Ä µ is a Hermitian holomorphic line bundle satisfying (2.15), and Ì is the Riemannian metric associated to. In order to develop the calculus of Toeplitz kernels we use the Bergman kernel expansion (2.46) and the Taylor expansion of the symbol. We are thus led to a kernel calculus onc Ò with kernels of the form P, where is a polynomial. This calculus can be completely described in terms of the spectral decomposition (2.34)-(2.35) of the model operator L. For a polynomial in ¼, we denote by P the operator on Ä ¾ R ¾Ò µ defined by the kernel ¼ µp ¼ µ and the volume form according to (2.7). The following very useful Lemma [33, Lemma 7.1.1] describes the calculus of the kernels Pµ ¼ µ ¼ µp ¼ µ. Lemma For any ¾ C ¼ there exists a polynomial K ¾ C ¼ with degree K of the same parity as, such that (2.62) Pµ Æ Pµµ ¼ µ K ¼ µp ¼ µ Let us illustrate how Lemma 2.17 works. First observe that from (2.33) and (2.37), for any polynomial Þ Þµ ¾ CÞ Þ, we get (2.63) Þ P ¼ µ ¾ Þ Þ ¼ µp ¼ µ Þ Þµ Þ ¾ Þ Þ Þµ 14

15 Now (2.63) entails (2.64) Þ P ¼ µ Þ ¾ P ¼ µ Þ ¼ P ¼ µ Specializing (2.63) for Þ Þµ Þ we get (2.65) Þ Þ P ¼ µ Þ Þ Pµ ¼ µ ¾Æ P ¼ µ Formulas (2.64) and (2.65) give (2.66) Þ Þ P ¼ µ ¾ Þ Þ P ¼ µ Æ P ¼ µ Þ Þ ¼ P ¼ µ Using the preceding formula we calculate further some examples for the expression K introduced (2.62). We use the spectral decomposition of L in the following way. If ³ µ «Þ ÜÔ immediately that (2.67) P³µ µ È Ò Þ ¾ ¾ with «¾ N Ò, then Theorem 2.11 implies Þ ÜÔ ¼ ¾ Ò Þ ¾ The identities (2.64), (2.66) and (2.67) imply that (2.68) Thus we get (2.69) K Þ P P Æ Þ Pµ Þ ¼ P if «¼ if «¼ K Þ P P Æ Þ Pµ Þ P K Þ Þ P Þ Pµ Æ Þ Pµ Þ P Æ Þ Pµ Þ Þ ¼ P K Þ Þ P Þ Pµ Æ Þ Pµ Þ P Æ Þ Pµ Þ Þ P K Þ ¼ Þ P Þ ¼ Pµ Æ Þ Pµ P Æ Þ Þ Pµ Æ P Þ Þ ¼ P K Þ ¼ Þ P Þ ¼ Pµ Æ Þ Pµ P Æ Þ Þ Pµ Æ P Þ ¼ Þ P K Þ Þ ¼ K Þ Þ Þ Þ ¼ K Þ Þ K Þ Þ Þ Þ K Þ ¼ Þ K Þ ¼ Þ Æ Þ ¼ Þ To simplify our calculations, we introduce the following notation. For any polynomial ¾ C ¼ we denote by Pµ Ô the operator defined by the kernel Ô Ò Pµ ÔÔ Ô Ô ¼ µ, that is, (2.70) Pµ Ô ³µ µ R ¾Ò ÔÒ Pµ ÔÔ Ô Ô ¼ µ³ ¼ µ ¼ for ³ ¾ Ä ¾ R ¾Ò µ. Let ¾ C ¼. By a change of variables we obtain (2.71) Pµ Ô Æ Pµ Ô µ ¼ µ Ô Ò Pµ Æ Pµµ ÔÔ Ô Ô ¼ µ We examine now the asymptotic expansion of the kernel of the Toeplitz operators Ì Ô. The first observation is that outside the diagonal of, the kernel of Ì Ô has the growth O Ô µ, as Ô. Lemma 2.18 ([35, Lemma 4.2]). For every ¼ and every Ð Ñ ¾ N, there exists ÐÑ ¼ such that (2.72) Ì Ô Ü Ü ¼ µ C Ñ µ ÐÑ Ô Ð 15

16 for all Ô and all Ü Ü ¼ µ ¾ with Ü Ü ¼ µ, where the C Ñ -norm is induced by Ö Ä Ö and Ä Ì. Proof. Due to (2.45), (2.72) holds if we replace Ì Ô by È Ô. Moreover, from (2.46), for any Ñ ¾ N, there exist Ñ ¼ Å Ñ ¼ such that È Ô Ü Ü ¼ µ C Ñ µ Ô ÅÑ for all Ü Ü ¼ µ ¾. These two facts and formula (2.10) imply the Lemma. The near off-diagonal expansion of the Bergman kernel (2.46) and the kernel calculus on C Ò presented above imply the near off-diagonal expansion of the Toeplitz kernels. (cf. [35, Lemma 4.6], [33, Lemma 7.2.4]) Theorem Let ¾ C Ò µµ. There exists a family É Ö Ü¼ µ ¾ Ò µ ܼ ¼ Ö ¾ N Ü ¼ ¾ depending smoothly on the parameter Ü ¼ ¾, where É Ö Ü¼ µ are polynomials with the same parity as Ö and such that for every ¾ N, ¾ ¼, (2.73) Ô Ò Ì Ô Ü¼ ¼ µ Ö¼ É Ö Ü¼ µp ܼ µ ÔÔ Ô Ô ¼ µô Ö¾ Ç Ô µ¾ µ on the set ¼ µ ¾ Ì Ì ¼ ¾, in the sense of Notation Moreover, É Ö Ü¼ µ are expressed by (2.74) É Ö Ü¼ µ Ö Ö ¾ «Ö where K was introduced in (2.62). We have, (2.75) K Â Ö Ü ¼ «Ü¼ «¼µ««Â Ö ¾ Ü ¼ É ¼ ܼ µ Ü ¼ µ ¾ Ò Ü¼ µ Proof. Estimates (2.10) and (2.72) learn that for ¼ ¾, Ì Ô Ü¼ ¼ µ is determined up to terms of order O Ô µ by the behavior of in Ü ¼ µ. Let R ¼ be a smooth even function such that (2.76) Úµ Ú ¾ Úµ ¼ Ú For ¼ ¾, we get (2.77) Ì Ô Ü¼ ¼ µ O Ô µ Ì Ü¼ È Ôܼ ¼¼ µ ¾ ¼¼ µ ܼ ¼¼ µè Ôܼ ¼¼ ¼ µ ܼ ¼¼ µ Ú Ì ¼¼ µ We consider the Taylor expansion of ܼ : «Ü¼ ܼ µ ««¼µ««O µ (2.78) Ô «¾ «¼µ ÔÔµ «Ü¼ «««Ô ¾ O Ô Ô µ We multiply now the expansions given in (2.78) and (2.46). Note the presence of ܼ in the definition (2.41) of (2.40). Hence we obtain the expansion of Ü ¾ ¼ µè Ô Ü¼ ¼¼ µ ܼ ܼ µ ¼¼ µè Ô Ü¼ ¼¼ ¼ µ ¾ Ü ¼ ¼ µ which we substitute in (2.77). We integrate then on Ì Ü¼ by using the change of variable Ô Ô ¼¼ Ï and conclude (2.73) and (2.74) by using formulas (2.62) and (2.71). 16

17 From (2.56) and (2.74), we get (2.79) The proof of Lemma 2.19 is complete. É ¼ ܼ µ K ܼ ¼µ ܼ ¼µ Ü ¼ µ As an example, we compute É Ü¼ µ. By (2.50), (2.69) and (2.74) we obtain (2.80) É Ü¼ µ K Ü ¼ ¼µ Ü ¼ Þ ¼µÞ Ü ¼ Þ ¼µÞ ¼ Corollary For any ¾ C Ò µµ, we have (2.81) Ì Ô Ü Üµ Ö¼ b Ö ÜµÔ Ò Ö O Ô µ b Ö ¾ C Ò µµ Proof. By taking ¼ ¼ in (2.73) we obtain (2.81), with b Ö Üµ É ¾ÖÜ µ. Since we have the precise formula (2.73) for É ¾ÖÜ µ we can give a closed formula for the first coefficients b Ö. In [36], we computed the coefficients b b ¾, from (2.81). These computations are also relevant in Kähler geometry (cf. [20], [21], [26]). Theorem 2.21 ([36, Th. 0.1]). For any ¾ C Ò µµ, we have: Ê Ê Ô (2.82) b ¼ b Ö If ¾ C µ, then Ô Ê ¾ b ¾ ¾ b ¾ ¾ ¾ ¾ Ö Ô Ö Ê ¾ Ö ¼ Ê (2.83) Ê ¾ ¾ Ô µê Ê 2.6. Algebra of Toeplitz operators, Berezin-Toeplitz star-product. Lemma 2.18 and Theorem 2.19 provide the asymptotic expansion of the kernel of a Toeplitz operator Ì Ô. Using this lemma we can for example easily obtain the expansion of the kernel of the composition Ì Ô Ì Ô, for two sections ¾ C Ò µµ. The result will be an asymptotic expansion of the type (2.73). Luckily we can show that the existence of a such asymptotic expansion characterizes Toeplitz operators (in the sense of Definition 2.4). We have the following useful criterion which ensures that a given family is a Toeplitz operator. Theorem Let Ì Ô Ä ¾ Ä Ô Å µ Ä ¾ Ä Ô Å µ be a family of bounded linear operators. Then Ì Ô is a Toeplitz operator if and only if satisfies the following three conditions: (i) For any Ô ¾ N, È Ô Ì Ô È Ô Ì Ô. (ii) For any ¼ ¼ and any Ð ¾ N, there exists Ð ¼ ¼ such that for all Ô and all Ü Ü ¼ µ ¾ with Ü Ü ¼ µ ¼, (2.84) Ì Ô Ü Ü ¼ µ м Ô Ð (iii) There exists a family of polynomials É Ö Ü¼ ¾ Ò µ ܼ ¼ ܼ¾ such that: 17

18 (a) each É Ö Ü¼ has the same parity as Ö, (b) the family is smooth in Ü ¼ ¾ and (c) there exists ¼ ¼ such that for every Ü ¼ ¾, every ¼ ¾ Ì Ü¼ with ¼ ¼ and every ¾ N we have (2.85) Ô Ò Ì Ô Ü¼ ¼ µ É Ö Ü¼ P ܼ µ ÔÔ Ô Ô ¼ µô Ö ¾ Ç Ô Ö¼ in the sense of Notation Proof. In view of Lemma 2.18 and Theorem 2.19 it is easy to see that conditions (i)- (iii) are necessary. To prove the sufficiency we use the following strategy. We define inductively the sequence Ð µ м, Ð ¾ C Ò µµ such that (2.86) Ì Ô Ñ Ð¼ È Ô Ð Ô Ð È Ô Ç Ô Ñ µ for every Ñ ¼ Let us start with the case Ñ ¼ of (2.86). For an arbitrary but fixed Ü ¼ ¾, we set (2.87) ¼ Ü ¼ µ É ¼ ܼ ¼ ¼µ ¾ Ò Ü¼ µ Then show that (2.88) Ô Ò Ì Ô Ì ¼ Ôµ ܼ ¼ µ Ç Ô µ which implies the case Ñ ¼ of (2.86), namely, (2.89) Ì Ô È Ô ¼ È Ô Ç Ô µ A crucial point here is the following result. Proposition 2.23 ([35, Prop. 4.11]). In the conditions of Theorem 2.22 we have for all Ü ¼ ¾ and all ¼ ¾ Ì Ü¼. É ¼ ܼ ¼ µ É ¼ ܼ ¼ ¼µ The proof is quite technical, so we refer to [35, p ] for all the details. The idea is the following. We observe first that É ¼ ܼ ¾ Ò Ü¼ µ Æ Á CÅ ¼, and É ¼ ܼ is a polynomial in Þ Þ ¼ (cf. [35, Lemma 4.12]). For simplicity we denote Ü É ¼ Ü CÅ ¾ Ò Ü µ. Let Ü È ¼ µ Ü µ Ü of degree. We show that µ Ü ¾ µ be the decomposition of Ü in homogeneous polynomials vanish identically for ¼, that is, µ µ Ü Þ Þ¼ µ ¼ for all ¼ and Þ Þ ¼ ¾ C Ò To see this, we extend µ Ü to a section µ Ü Ýµ in the neighbourhood of the diagonal of and consider the poinwise adjoint µ Ü Ýµ µ Ý Üµµ. By using a cut-off function in the neighbourhood of the diagonal we define operators µ È Ô and È Ô µ having kernels Ü Ýµµ µ Ü ÝµÈ Ô Ü Ýµ and Ü ÝµµÈ Ô Ü Ýµ µ Ü Ýµ with respect to Ú Ýµ. Set T Ô Ì Ô Ü µ È Ô µ Ô ¾ 18

19 It turns out that there exists ¼ such that for every Ô Ô ¼ and ¾ Ä ¾ Ä Ô Å µ we have µ T Ô Ä ¾ Ô ¾ Ä ¾ T Ô Ä ¾ Ô ¾ Ä ¾ Using µ and comparing the the Taylor development of µ in normal coordinates around Ü to the expansion of the Bergman kernel we obtain in [35, Lemma 4.14] «µ Ü ¼µ ¼ ¼«This implies (cf. [35, Lemma 4.15]) for «¼ µ Ü ¼ Þ¼ µ ¼ for all ¼ and all Þ ¼ ¾ C Ò The latter identity yields µ (cf. [35, Lemma 4.16]) and hence Proposition Coming back to the proof of (2.88), let us compare the asymptotic expansion of Ì Ô and Ì ¼ Ô È Ô ¼ È Ô. Using the Notation 2.12, the expansion (2.73) (for ) reads (2.90) Ô Ò Ì ¼ Ô Ü ¼ ¼ µ ¼ Ü ¼ µp ܼ É Ü¼ ¼ µp ܼ Ô ¾ µ ÔÔ Ô Ô ¼ µ Ç Ô µ since É ¼ ܼ ¼ µ ¼ Ü ¼ µ by (2.75). The expansion (2.85) (also for ) takes the form (2.91) Ô Ò Ì Ô Ü¼ ¼ Ü ¼ µp ܼ É Ü¼ P ܼ Ô ¾ µ ÔÔ Ô Ô ¼ µ Ç Ô µ where we have used Proposition 2.23 and the definition (2.87) of ¼. Thus, subtracting (2.90) from (2.91) we obtain (2.92) Ô Ò Ì Ô Ì ¼ Ôµ ܼ ¼ µ É Ü¼ É Ü¼ ¼ µµp ܼ ÔÔ Ô Ô ¼ µ Ô ¾ Ç Ô µ Thus it suffices to prove: (2.93) Ü É Ü É Ü ¼ µ ¼ which is done in [35, Lemma 4.18]. This finishes the proof of (2.88) and (2.89). Hence the expansion (2.86) of Ì Ô holds for Ñ ¼. Moreover, if Ì Ô is self-adjoint, then from (4.70), (4.71) follows that ¼ is also self-adjoint. We show inductively that (2.86) holds for every Ñ ¾ N. To handle (2.86) for Ñ let us consider the operator Ô Ì Ô È Ô ¼ È Ô µ. The task is to show that Ô Ì Ô Ì ¼ Ô satisfies the hypotheses of Theorem The first two conditions are easily verified. To prove the third, just subtract the asymptotics of Ì Ô Ü¼ ¼ µ (given by (2.85)) and Ì ¼ Ô Ü ¼ ¼ µ (given by (2.73)). Taking into account Proposition 2.23 and (2.93), the coefficients of Ô ¼ and Ô ¾ in the difference vanish, which yields the desired conclusion. Proposition 2.23 and (2.89) applied to Ô Ì Ô È Ô ¼ È Ô µ yield ¾ C Ò µµ such that (2.86) holds true for Ñ. We continue in this way the induction process to get (2.86) for any Ñ. This completes the proof of Theorem Recall that the Poisson bracket on ¾µ is defined as follows. For ¾ C µ, let be the Hamiltonian vector field generated by, which is defined by ¾. Then (2.94) µ 19

20 Theorem 2.24 ([35, Th. 1.1], [33, Th ]). The product of the Toeplitz operators Ì Ô and Ì Ô, with ¾ C Ò µµ, is a Toeplitz operator, i.e., it admits the asymptotic expansion in the sense of (2.13): (2.95) Ì Ô Ì Ô Ö¼ Ô Ö Ì Ö µ Ô Ç Ô µ where Ö are bi-differential operators, Ö µ ¾ C Ò µµ, ¼ µ. If ¾ C µ µ with the Poisson bracket defined in (2.94), we have (2.96) Ì Ô Ì Ô Ô Ô Ì Ô Ç Ô ¾ µ Proof. Firstly, it is obvious that È Ô Ì Ô Ì Ô È Ô Ì Ô Ì Ô. Lemmas 2.18 and 2.19 imply Ì Ô Ì Ô verifies (2.84). Like in (2.77), we have for ¼ ¾ Ì Ü¼, ¼ : (2.97) Ì Ô Ì Ô µ ܼ ¼ µ Ì Ü¼ Ì Ô Ü¼ ¼¼ µ ¼¼ µì Ô Ü¼ ¼¼ ¼ µ ܼ ¼¼ µ Ú Ì ¼¼ µ O Ô µ By Lemma 2.19 and (2.97), we deduce as in the proof of Lemma 2.19, that for ¼ ¾ Ì Ü¼, ¼, we have (2.98) Ô Ò Ì Ô Ì Ô µ ܼ ¼ µ and with the notation (2.62), (2.99) É Ö Ü¼ µ Ö¼ É Ö Ü¼ µp ܼ µ ÔÔ Ô Ô ¼ µô Ö ¾ Ç Ô ¾ µ Ö Ö ¾Ö K É Ö Ü ¼ µ É Ö¾ Ü ¼ µ Thus Ì Ô Ì Ô is a Toeplitz operator by Theorem Moreover, it follows from the proofs of Lemma 2.19 and Theorem 2.22 that Ð Ð µ, where Ð are bi-differential operators. From (2.62), (2.75) and (2.99), we get (2.100) ¼ µ ܵ É ¼ Ü µ K É ¼ Ü µ É ¼ Ü µ ܵ ܵ The commutation relation (2.96) follows from (2.101) µ ܵ µ ܵ Ô Á There are two ways to prove (2.101). One is to compute directly the difference and to use some of the identities (2.68). This method works also for symplectic manifolds, see [35, p ], [33, p. 311]. On the other hand, in the Kähler case one can compute explicitly each coefficient µ (which in the general symplectic case is more involved), and then take the difference. The formula for µ is given in the next theorem. This finishes the proof of Theorem 4.2. Theorem 2.25 ([36, Th. 0.3]). Let ¾ C Ò µµ. We have (2.102) ¼ µ Ö ¼ µ ¾ ¾ C Ò µµ ¾ µ b ¾ b ¾ b µ 20

21 If ¾ C µ, then (2.103) ¾ µ Ô ¼ ¼ ¾ ¾ Ê ¾ Ê The next result and Theorem 2.24 show that the Berezin-Toeplitz quantization has the correct semi-classical behavior. Theorem For ¾ C Ò µµ, the norm of Ì Ô satisfies (2.104) ÐÑ Ì Ô Ô ÙÔ Üµ Ùµ Ù ¼Ù¾ Ü Ü¾ Proof. Take a point Ü ¼ ¾ and Ù ¼ ¾ ܼ with Ù ¼ such that Ü ¼ µ Ù ¼ µ. Recall that in Section 2.4, we trivialized the bundles Ä, in normal coordinates near Ü ¼, and Ä is the unit frame of Ä which trivializes Ä. Moreover, in this normal coordinates, Ù ¼ is a trivial section of. Considering the sequence of sections ËÜ Ô ¼ Ô Ò¾ È Ô ÅÔ Ä Å Ù ¼ µ, we have by (2.46), (2.105) which immediately implies (2.104). Ì Ô Ë Ô Ü ¼ Ü ¼ µë Ô Ü ¼ Ä ¾ Ô Ô Ë Ô Ü ¼ Ä ¾ Note that if is a real function, then Ü ¼ µ ¼, so we can improve the bound Ô ¾ in (2.105) to Ô. Remark (i) Relations (2.96) and (2.104) were first proved in some special cases: in [24] for Riemann surfaces, in [14] for C Ò and in [8] for bounded symmetric domains in C Ò, by using explicit calculations. Then Bordemann, Meinrenken and Schlichenmaier [7] treated the case of a compact Kähler manifold (with C) using the theory of Toeplitz structures (generalized Szegö operators) by Boutet de Monvel and Guillemin [9]. Moreover, Schlichenmaier [39] (cf. also [23], [13]) continued this train of thought and showed that for any ¾ C µ, the product Ì Ô Ì Ô has an asymptotic expansion (4.5) and constructed geometrically an associative star product. (ii) The construction of the star-product can be carried out even in the presence of a twisting vector bundle. Let ¾ C Ò µµ. Set (2.106) ¼ µ ¾ C Ò µµ where Ö µ are determined by (4.5). Then (2.106) defines an associative star-product on C Ò µµ called Berezin-Toeplitz star-product (cf. [23, 39] for the Kähler case with C and [33, 35] for the symplectic case and arbitrary twisting bundle ). The associativity of the star-product (2.106) follows immediately from the associativity rule for the composition of Toeplitz operators, Ì Ô Æ Ì Ô µ Æ Ì Ô Ì Ô Æ Ì Ô Æ Ì Ô µ for any ¾ C Ò µµ, and from the asymptotic expansion (4.5) applied to both sides of the latter equality. The coefficients Ö µ, Ö ¼ ¾ are given by (2.102). Set (2.107) ¾ Ô Ö ¼ Ö ¼ 21

22 If on we have (2.108) Ì Ô Ì Ô Ô Ì Ô Ô Ç Ô ¾ Ô Due to the fact that if is trivial and comparing (2.96) to (2.108), one can regard defined in (2.107) as a non-commutative Poisson bracket Quantization of compact Hermitian manifolds. Throughout Sections we supposed that the Riemannian metric Ì was the metric associated to, that is, Ì Ù Úµ Ù ÂÚµ (or, equivalently, ). The results presented so far still hold for a general non-kähler Riemannian metric Ì. Let us denote the metric associated to by Ì Â µ. The volume form of Ì is given by Ú ¾µ Ò Ø Ê Ä µú (where Ú is the volume form of Ì ). Moreover, Ê Ä Ø ¾ µ defines a metric on. We add a subscript to indicate the objects associated to Ì, Ä and. Hence denotes the ľ Hermitian product on C Ä Ô Å µ induced by Ì, Ä,. This product is equivalent to the product induced by Ì, Ä,. Moreover, À ¼ Ä Ô Å µ does not depend on the Riemannian metric on or on the Hermitian metrics on Ä,. Therefore, the orthogonal projections from C Ä Ô Å µ µ and C Ä Ô Å µ µ onto À ¼ Ä Ô Å µ are the same. Hence È Ô È Ô and therefore Ì Ô Ì Ô as operators. However, their kernels are different. If È Ô Ü Ü ¼ µ, Ì Ô Ü Ü ¼ µ, (Ü Ü ¼ ¾ ), denote the smooth kernels of È Ô, Ì Ô with respect to Ú Ü ¼ µ, we have (2.109) È Ô Ü Ü ¼ µ ¾µ Ò Ø Ê Ä µ Ü ¼ µè Ô Ü Ü ¼ µ Ì Ô Ü Ü ¼ µ ¾µ Ò Ø Ê Ä µ Ü ¼ µì Ô Ü Ü ¼ µ Now, for the kernel È Ô Ü Ü ¼ µ, we can apply Theorem 2.14 since Ì µ  µ is a Kähler metric on Ì. We obtain in this way the expansion of the Bergman kernel for a non-kähler Riemannian metric Ì on, see [33, Th , 4.1.3]. Of course, the coefficients b Ö reflect in this case the presence of Ì. For example (2.110) and (2.111) b Ø Ê Ä ¾ b ¼ Ø Ê Ä ¾µµ Á Ö ¾ ÐÓ Ø Ê Ô Ä µµ Ê Using the expansion of the Bergman kernel È Ô µ we can deduce the expansion of the Toeplitz operators Ì Ô and their kernels, analogous to Theorem 2.19, Corollary 2.20 and Theorem By (2.109), the coefficients of these expansion satisfy (2.112) b Ö ¾µ Ò Ø Ê Ä µb Ö Ö µ Ö µ Since is compact, (2.109) allowed to reduce the general situation considered here to the case and apply Theorem However, if is not compact, the trick of using (2.109) does not work anymore, because the operator associated to Ì, Ä, might not have a spectral gap. But under the hypotheses of Theorem 2.9 the spectral gap for Ô exists, so we can extend these results to certain complete Hermitian manifolds in the next section. 22

23 2.8. Quantization of complete Hermitian manifolds. We return to the general situation of a complete manifold already considered in 2.2. The following result, obtained in [34, Th. 3.11], extends the asymptotic expansion of the Bergman kernel to complete manifolds. Theorem Let µ be a complete Hermitian manifold, Ä Ä µ, µ be Hermitian holomorphic vector bundles of rank one and Ö, respectively. Assume that the hypotheses of Theorem 2.9 are fulfilled. Then the kernel È Ô Ü Ü ¼ µ has a full off diagonal asymptotic expansion analogous to that of Theorem 2.14 uniformly for any Ü Ü ¼ ¾ Ã, a compact set of. If Ä Ã Ø Ì ¼µ µ is the canonical line bundle on, the first two conditions in (5.5) are to be replaced by Ä is induced by and Ô Ê Ø, Ô Ê Á. The idea of the proof is that the spectral gap property (2.28) of Theorem 2.9 allows to generalize the analysis leading to the expansion in the compact case (Theorems 2.13 and 2.14) to the situation at hand. Remark Consider for the moment that in Theorem 2.28 we have Since in the proof of Theorem 2.28 we use the same localization technique as in the compact case, the coefficients  ÖÜ in the expansion of the Bergman kernel (cf. (2.46)), in particular the coefficients b Ö Üµ  ¾ÖÜ Üµ of the diagonal expansion have the same universal formulas as in the compact case. Thus the explicit formulas from Theorem 2.16 for b and b ¾ remain valid in the case of the situation considered in Theorem Moreover, in the general case when Ô ¾ ÊÄ (for some constant ¼), the first formulas in (2.109) and (2.110), (2.111) are still valid. Ô ¾ ÊÄ. Let CÓÒ Ø Ò µµ denote the algebra of smooth sections of which are constant map outside a compact set. For any ¾ CÓÒ Ø Ò µµ, we consider the Toeplitz operator Ì Ô µ Ô¾N as in (2.9). The following result generalizes Theorems 4.2 and 2.26 to complete manifolds. Theorem 2.30 ([35, Th. 5.3]). Let µ be a complete Hermitian manifold, let Ä Ä µ and µ be Hermitian holomorphic vector bundles on of rank one and Ö, respectively. Assume that the hypotheses of Theorem 2.9 are fulfilled. Let ¾ CÓÒ Ø Ò µµ. Then the following assertions hold: (i) The product of the two corresponding Toeplitz operators admits the asymptotic expansion (4.5) in the sense of (2.13), where Ö are bi-differential operators, especially, ÙÔÔ Ö µµ ÙÔÔ µ ÙÔÔ µ, and ¼ µ. (ii) If ¾ CÓÒ Ø µ, then (2.96) holds. (iii) Relation (2.104) also holds for any ¾ C ÓÒ Ø Ò µµ. (iv) The coefficients Ö µ are given by Ö µ Ö µ, where (2.112)). 3. BEREZIN-TOEPLITZ QUANTIZATION ON KÄHLER ORBIFOLDS Ô ¾ ÊÄ (compare In this Section we review the theory of Berezin-Toeplitz quantization on Kähler orbifolds, especially we show that set of Toeplitz operators forms an algebra. Note that the problem of quantization of orbifolds appears naturally in the study of the phenomenon 23

24 of quantization commutes to reduction, since the reduced spaces are often orbifolds, see e.g. [30], or in the problem of quantization of moduli spaces. Complete explanations and references for Sections 3.1 and 3.2 are contained in [33, 5.4], [35, 6]. Moreover, we treat there also the case of symplectic orbifolds. This Section is organized as follows. In Section 3.1 we recall the basic definitions about orbifolds. In Section 3.2 we explain the asymptotic expansion of Bergman kernel on complex orbifolds [15, 5.2], which we apply in Section 3.3 to derive the Berezin- Toeplitz quantization on Kähler orbifolds Preliminaries about orbifolds. We begin by the definition of orbifolds. We define at first a category Å as follows : The objects of Å are the class of pairs ŵ where Å is a connected smooth manifold and is a finite group acting effectively on Å (i.e., if ¾ such that Ü Ü for any Ü ¾ Å, then is the unit element of ). Consider two objects ŵ and ¼ Å ¼ µ. For ¾ ¼ ³ ¾, we define ³ Å Å ¼ by ³µ ܵ ³ ܵµ for Ü ¾ Å. A morphism ŵ ¼ Å ¼ µ is a family of open embeddings ³ Å Å ¼ satisfying : i) For each ³ ¾, there is an injective group homomorphism ³ ¼ that makes ³ be ³ -equivariant. ii) If ³µ ŵ ³ ŵ, then ¾ ³ µ. iii) For ³ ¾, we have ³ ¾ ¼. Definition 3.1 (Orbifold chart, atlas, structure). Let be a paracompact Hausdorff space. An Ñ-dimensional orbifold chart on consists of a connected open set Í of, an object Í Íµ of Å with Ñ Í Ñ, and a ramified covering Í Í Í which is Í -invariant and induces a homeomorphism Í ³ Í Í. We denote the chart by Í Íµ Í Í. An Ñ-dimensional orbifold atlas Î on consists of a family of Ñ-dimensional orbifold charts Π͵ Í Íµ Í Íµ satisfying the following conditions : (i) The open sets Í form a covering Í with the property: (3.1) For any Í Í ¼ ¾ Í and Ü ¾ Í Í ¼, there exists Í ¼¼ ¾ Í such that Ü ¾ Í ¼¼ Í Í ¼ (ii) For any Í Î ¾ Í Í Î there exists a morphism ³ Î Í Í Íµ Î Î µ, which covers the inclusion Í Î and satisfies ³ Ï Í ³ Ï Î Æ ³ Î Í for any Í Î Ï ¾ Í, with Í Î Ï. It is easy to see that there exists a unique maximal orbifold atlas Î ÑÜ containing Î; Í Í, which are locally isomorphic to charts Î ÑÜ consists of all orbifold charts Í Íµ from Î in the neighborhood of each point of Í. A maximal orbifold atlas Î ÑÜ is called an orbifold structure and the pair Î ÑÜ µ is called an orbifold. As usual, once we have an orbifold atlas Î on we denote the orbifold by ε, since Î uniquely determines Î ÑÜ. In Definition 3.1 we can replace Å by a category of manifolds with an additional structure such as orientation, Riemannian metric, almost-complex structure or complex structure. We impose that the morphisms (and the groups) preserve the specified structure. So we can define oriented, Riemannian, almost-complex or complex orbifolds. 24