Generalized Bergman kernels on symplectic manifolds (Q5894910): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Page on [mardi] deleted: Publication:5894910 |
EloiFerrer (talk | contribs) Merged Item from Q5920433 |
||||||||||||||
description / en | description / en | ||||||||||||||
scientific article; zbMATH DE number 5235143 | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1141.58018 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1016/j.aim.2007.10.008 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Advances in Mathematics / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
14 February 2008
| |||||||||||||||
Property / publication date: 14 February 2008 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / review text | |||||||||||||||
In this paper, the authors study the asymptotic expansion of the generalized Bergman kernel of the renormalized Bochner Laplacian introduced by \textit{V. Guillemin} and \textit{A. Uribe} [Asymptotic Anal. 1, 105--113 (1988; Zbl 0649.53026)]. Consider a compact symplectic manifold \((X,\omega)\), with \((L,h_L)\) and \((E,h_E)\) two Hermitian bundles on \(X\) endowed with Hermitian connexions \(\nabla_L\) and \(\nabla_E\). Assume that \(L\) is a line bundle and a polarisation for \((M,\omega)\) in the sense that the curvature of \(\nabla_L\) is precisely \(\omega\). One can define a skew-adjoint linear map \(\mathbf{J}:TX \rightarrow TX\) by \(\omega(u,v)=g(\mathbf{J}u,v)\) where \(g\) is the Riemannian metric on \(X\). There is also an almost complex structure \(\mathcal{J}\) satisfying \(g(\mathcal{J}u,\mathcal{J}v)=g(u,v)\), \(\omega(\mathcal{J}u,\mathcal{J}v)=\omega(u,v)\). One can define now \(\tau=-\pi \mathrm{tr}(\mathcal{J}\mathbf{J})=-\pi\mathrm{tr}(\mathbf{J}^2(-\mathbf{J}^2)^{-1/2})>0\) (which is just \(\pi\dim(X)\) in the Kähler case). Choose also \(\Phi\) a Hermitian section of \(\text{End}(E)\). The Bochner Laplacian \(\Delta\) acting on \(C^{\infty}(E\otimes L^k)\) induces the renormalized Bochner Laplacian \[ \Delta_{k,\Phi}=\Delta -k\tau +\Phi \] which is an elliptic operator. It has a spectral gap when \(k\) tends to infinity, i.e., \[ Sp(\Delta_{k,\Phi})\subset [-C,C]\cup [k\mu - C, \infty[. \] One can form a generalized Bergman kernel by considering the eigenvalues of \((\lambda_{i,k})_{i\geq 1}\) of \(\Delta_{k,\Phi}\). With an orthonormal basis \(S_{i,k}\) of the direct sum of eigenspaces corresponding to the eigenvalues \(\lambda\) with \(\lambda\in [-C,C]\), one defines the Bergman function as \[ B_{q,k}(x)= \sum_i \lambda^q_{i,k}S_{i,k}(x)\otimes \left(S_{i,k}(x)\right)^{*} \] with \(x \in X\) and \(q\in \mathbb{N}\). Here the sections \(S_{i,k}\) are orthonormal with respect to the \(L2\)-inner structure induced from the metric on \(E \otimes L^k\) and the volume form induced by \(g\). The main result of the paper is the existence of an asymptotic for \(B_{q,k}\) when \(k\) tends to infinity and the computation of the first terms of this asymptotic. Roughly speaking, \[ B_{q,k}(x)= k^nb_{q,0}(x)+b_{q,1}k^{n-1}(x)+\cdots \] and \(b_{0,0}=\det(\mathbf{J})^{1/2}Id_{E}\). Furthermore, if \(\mathcal{J}=\mathbf{J}\), highly technical computations lead to \[ b_{0,1}=\frac{1}{8\pi}\left(\text{scal}(g) + \frac{1}{4}| \nabla_X J| ^2 + 2R_E\right) \] (where \(R_E\) is the contracted curvature of \(E\)), and \[ b_{q,0}=\left(\frac{1}{24}| \nabla_X J| ^2 + \frac{1}{2}R_E + \Phi\right)^q. \] The proof is based on the spectral gap result and a localization technique inspired from the work of Bismut and Lebeau. We refer to the recent book of the authors [Holomorphic Morse inequalities and Bergman kernels. Basel: Birkhäuser (2007; Zbl 1135.32001)] where a similar strategy has been presented. The last section of the paper is dedicated to applications. One can in particular find a symplectic version of the Kodaira embedding theorem by applying the previous results with \(E\) trivial. The Kodaira map \(\psi_k\) is given by considering the sections with eigenvalues in \([-C,C]\). Note that \(\psi_k\) is asymptotically symplectic and isometric. Moreover, \(\psi_k\) is nearly holomorphic since \(\frac{1}{k}| | \partial \psi_k | | \geq c>0\) and \(\frac{1}{k}| | \bar\partial\psi_k| | =O(1/k)\). Finally, the authors give some partial results on non compact manifolds or for singular polarisations with strictly positive curvature. On complete Hermitian manifolds with certain bounds on the curvatures, the asymptotic still holds. On the other hand, using Demailly's approximation procedure and by considering \(L^2\) sections (with respect to a natural induced Poincaré metric), one can obtain again the asymptotic for a singular polarisation after resolutions of singularities. This extends the previous work of the authors in that context. | |||||||||||||||
Property / review text: In this paper, the authors study the asymptotic expansion of the generalized Bergman kernel of the renormalized Bochner Laplacian introduced by \textit{V. Guillemin} and \textit{A. Uribe} [Asymptotic Anal. 1, 105--113 (1988; Zbl 0649.53026)]. Consider a compact symplectic manifold \((X,\omega)\), with \((L,h_L)\) and \((E,h_E)\) two Hermitian bundles on \(X\) endowed with Hermitian connexions \(\nabla_L\) and \(\nabla_E\). Assume that \(L\) is a line bundle and a polarisation for \((M,\omega)\) in the sense that the curvature of \(\nabla_L\) is precisely \(\omega\). One can define a skew-adjoint linear map \(\mathbf{J}:TX \rightarrow TX\) by \(\omega(u,v)=g(\mathbf{J}u,v)\) where \(g\) is the Riemannian metric on \(X\). There is also an almost complex structure \(\mathcal{J}\) satisfying \(g(\mathcal{J}u,\mathcal{J}v)=g(u,v)\), \(\omega(\mathcal{J}u,\mathcal{J}v)=\omega(u,v)\). One can define now \(\tau=-\pi \mathrm{tr}(\mathcal{J}\mathbf{J})=-\pi\mathrm{tr}(\mathbf{J}^2(-\mathbf{J}^2)^{-1/2})>0\) (which is just \(\pi\dim(X)\) in the Kähler case). Choose also \(\Phi\) a Hermitian section of \(\text{End}(E)\). The Bochner Laplacian \(\Delta\) acting on \(C^{\infty}(E\otimes L^k)\) induces the renormalized Bochner Laplacian \[ \Delta_{k,\Phi}=\Delta -k\tau +\Phi \] which is an elliptic operator. It has a spectral gap when \(k\) tends to infinity, i.e., \[ Sp(\Delta_{k,\Phi})\subset [-C,C]\cup [k\mu - C, \infty[. \] One can form a generalized Bergman kernel by considering the eigenvalues of \((\lambda_{i,k})_{i\geq 1}\) of \(\Delta_{k,\Phi}\). With an orthonormal basis \(S_{i,k}\) of the direct sum of eigenspaces corresponding to the eigenvalues \(\lambda\) with \(\lambda\in [-C,C]\), one defines the Bergman function as \[ B_{q,k}(x)= \sum_i \lambda^q_{i,k}S_{i,k}(x)\otimes \left(S_{i,k}(x)\right)^{*} \] with \(x \in X\) and \(q\in \mathbb{N}\). Here the sections \(S_{i,k}\) are orthonormal with respect to the \(L2\)-inner structure induced from the metric on \(E \otimes L^k\) and the volume form induced by \(g\). The main result of the paper is the existence of an asymptotic for \(B_{q,k}\) when \(k\) tends to infinity and the computation of the first terms of this asymptotic. Roughly speaking, \[ B_{q,k}(x)= k^nb_{q,0}(x)+b_{q,1}k^{n-1}(x)+\cdots \] and \(b_{0,0}=\det(\mathbf{J})^{1/2}Id_{E}\). Furthermore, if \(\mathcal{J}=\mathbf{J}\), highly technical computations lead to \[ b_{0,1}=\frac{1}{8\pi}\left(\text{scal}(g) + \frac{1}{4}| \nabla_X J| ^2 + 2R_E\right) \] (where \(R_E\) is the contracted curvature of \(E\)), and \[ b_{q,0}=\left(\frac{1}{24}| \nabla_X J| ^2 + \frac{1}{2}R_E + \Phi\right)^q. \] The proof is based on the spectral gap result and a localization technique inspired from the work of Bismut and Lebeau. We refer to the recent book of the authors [Holomorphic Morse inequalities and Bergman kernels. Basel: Birkhäuser (2007; Zbl 1135.32001)] where a similar strategy has been presented. The last section of the paper is dedicated to applications. One can in particular find a symplectic version of the Kodaira embedding theorem by applying the previous results with \(E\) trivial. The Kodaira map \(\psi_k\) is given by considering the sections with eigenvalues in \([-C,C]\). Note that \(\psi_k\) is asymptotically symplectic and isometric. Moreover, \(\psi_k\) is nearly holomorphic since \(\frac{1}{k}| | \partial \psi_k | | \geq c>0\) and \(\frac{1}{k}| | \bar\partial\psi_k| | =O(1/k)\). Finally, the authors give some partial results on non compact manifolds or for singular polarisations with strictly positive curvature. On complete Hermitian manifolds with certain bounds on the curvatures, the asymptotic still holds. On the other hand, using Demailly's approximation procedure and by considering \(L^2\) sections (with respect to a natural induced Poincaré metric), one can obtain again the asymptotic for a singular polarisation after resolutions of singularities. This extends the previous work of the authors in that context. / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / reviewed by | |||||||||||||||
Property / reviewed by: Julien Keller / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 58J50 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 53D50 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 58J35 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 58-02 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 53-02 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 47B35 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 5235143 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Bergman kernel | |||||||||||||||
Property / zbMATH Keywords: Bergman kernel / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Kähler | |||||||||||||||
Property / zbMATH Keywords: Kähler / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
symplectic manifold | |||||||||||||||
Property / zbMATH Keywords: symplectic manifold / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Kodaira embedding | |||||||||||||||
Property / zbMATH Keywords: Kodaira embedding / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
spectrum of Laplacian | |||||||||||||||
Property / zbMATH Keywords: spectrum of Laplacian / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
heat kernel | |||||||||||||||
Property / zbMATH Keywords: heat kernel / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
asymptotic | |||||||||||||||
Property / zbMATH Keywords: asymptotic / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Dirac operator | |||||||||||||||
Property / zbMATH Keywords: Dirac operator / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Berezin quantization | |||||||||||||||
Property / zbMATH Keywords: Berezin quantization / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Toeplitz operator | |||||||||||||||
Property / zbMATH Keywords: Toeplitz operator / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Bochner Laplacian | |||||||||||||||
Property / zbMATH Keywords: Bochner Laplacian / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W2120704347 / rank | |||||||||||||||
Normal rank | |||||||||||||||
links / mardi / name | links / mardi / name | ||||||||||||||
Revision as of 14:05, 29 April 2024
scientific article; zbMATH DE number 5235143
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalized Bergman kernels on symplectic manifolds |
scientific article; zbMATH DE number 5235143 |
Statements
Generalized Bergman kernels on symplectic manifolds (English)
0 references
13 January 2005
0 references
14 February 2008
0 references
The first author, in a previous article with \textit{X. Dai} and \textit{K. Liu} [C.R., Math., Acad. Sci. Paris 339, No. 3, 193--198 (2004; Zbl 1057.58018)], studied the asymptotic expansion on the diagonal of the Bergman kernel of the spin\(^c\) Dirac operator associated to powers of a positive line bundle (as the power goes to infinity) over a compact symplectic manifold. This research announcement may be viewed as a continuation of that article. The authors similarly study the asymptotic expansion on the diagonal of the Bergman kernel of the renormalized Bochner-Laplacian on high tensor powers of a positive line bundle over a compact symplectic manifold. They are able to compute the initial coefficients of the expansion in terms of curvatures.
0 references
In this paper, the authors study the asymptotic expansion of the generalized Bergman kernel of the renormalized Bochner Laplacian introduced by \textit{V. Guillemin} and \textit{A. Uribe} [Asymptotic Anal. 1, 105--113 (1988; Zbl 0649.53026)]. Consider a compact symplectic manifold \((X,\omega)\), with \((L,h_L)\) and \((E,h_E)\) two Hermitian bundles on \(X\) endowed with Hermitian connexions \(\nabla_L\) and \(\nabla_E\). Assume that \(L\) is a line bundle and a polarisation for \((M,\omega)\) in the sense that the curvature of \(\nabla_L\) is precisely \(\omega\). One can define a skew-adjoint linear map \(\mathbf{J}:TX \rightarrow TX\) by \(\omega(u,v)=g(\mathbf{J}u,v)\) where \(g\) is the Riemannian metric on \(X\). There is also an almost complex structure \(\mathcal{J}\) satisfying \(g(\mathcal{J}u,\mathcal{J}v)=g(u,v)\), \(\omega(\mathcal{J}u,\mathcal{J}v)=\omega(u,v)\). One can define now \(\tau=-\pi \mathrm{tr}(\mathcal{J}\mathbf{J})=-\pi\mathrm{tr}(\mathbf{J}^2(-\mathbf{J}^2)^{-1/2})>0\) (which is just \(\pi\dim(X)\) in the Kähler case). Choose also \(\Phi\) a Hermitian section of \(\text{End}(E)\). The Bochner Laplacian \(\Delta\) acting on \(C^{\infty}(E\otimes L^k)\) induces the renormalized Bochner Laplacian \[ \Delta_{k,\Phi}=\Delta -k\tau +\Phi \] which is an elliptic operator. It has a spectral gap when \(k\) tends to infinity, i.e., \[ Sp(\Delta_{k,\Phi})\subset [-C,C]\cup [k\mu - C, \infty[. \] One can form a generalized Bergman kernel by considering the eigenvalues of \((\lambda_{i,k})_{i\geq 1}\) of \(\Delta_{k,\Phi}\). With an orthonormal basis \(S_{i,k}\) of the direct sum of eigenspaces corresponding to the eigenvalues \(\lambda\) with \(\lambda\in [-C,C]\), one defines the Bergman function as \[ B_{q,k}(x)= \sum_i \lambda^q_{i,k}S_{i,k}(x)\otimes \left(S_{i,k}(x)\right)^{*} \] with \(x \in X\) and \(q\in \mathbb{N}\). Here the sections \(S_{i,k}\) are orthonormal with respect to the \(L2\)-inner structure induced from the metric on \(E \otimes L^k\) and the volume form induced by \(g\). The main result of the paper is the existence of an asymptotic for \(B_{q,k}\) when \(k\) tends to infinity and the computation of the first terms of this asymptotic. Roughly speaking, \[ B_{q,k}(x)= k^nb_{q,0}(x)+b_{q,1}k^{n-1}(x)+\cdots \] and \(b_{0,0}=\det(\mathbf{J})^{1/2}Id_{E}\). Furthermore, if \(\mathcal{J}=\mathbf{J}\), highly technical computations lead to \[ b_{0,1}=\frac{1}{8\pi}\left(\text{scal}(g) + \frac{1}{4}| \nabla_X J| ^2 + 2R_E\right) \] (where \(R_E\) is the contracted curvature of \(E\)), and \[ b_{q,0}=\left(\frac{1}{24}| \nabla_X J| ^2 + \frac{1}{2}R_E + \Phi\right)^q. \] The proof is based on the spectral gap result and a localization technique inspired from the work of Bismut and Lebeau. We refer to the recent book of the authors [Holomorphic Morse inequalities and Bergman kernels. Basel: Birkhäuser (2007; Zbl 1135.32001)] where a similar strategy has been presented. The last section of the paper is dedicated to applications. One can in particular find a symplectic version of the Kodaira embedding theorem by applying the previous results with \(E\) trivial. The Kodaira map \(\psi_k\) is given by considering the sections with eigenvalues in \([-C,C]\). Note that \(\psi_k\) is asymptotically symplectic and isometric. Moreover, \(\psi_k\) is nearly holomorphic since \(\frac{1}{k}| | \partial \psi_k | | \geq c>0\) and \(\frac{1}{k}| | \bar\partial\psi_k| | =O(1/k)\). Finally, the authors give some partial results on non compact manifolds or for singular polarisations with strictly positive curvature. On complete Hermitian manifolds with certain bounds on the curvatures, the asymptotic still holds. On the other hand, using Demailly's approximation procedure and by considering \(L^2\) sections (with respect to a natural induced Poincaré metric), one can obtain again the asymptotic for a singular polarisation after resolutions of singularities. This extends the previous work of the authors in that context.
0 references
asymptotic expansion
0 references
Bergman kernel
0 references
Kähler
0 references
symplectic manifold
0 references
Kodaira embedding
0 references
spectrum of Laplacian
0 references
heat kernel
0 references
asymptotic
0 references
Dirac operator
0 references
Berezin quantization
0 references
Toeplitz operator
0 references
Bochner Laplacian
0 references