Optimal convergence speed of Bergman metrics on symplectic manifolds (Q2216141)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Optimal convergence speed of Bergman metrics on symplectic manifolds
    scientific article

      Statements

      Optimal convergence speed of Bergman metrics on symplectic manifolds (English)
      0 references
      0 references
      0 references
      0 references
      15 December 2020
      0 references
      Let \((X,\omega)\) be a compact Kähler manifold and \((L,h^L)\) be a Hermitian holomorphic line bundle on \(X\) such that \(\omega=\frac{i}{2\pi}R^L\). Let \(\omega_p:=\frac{1}{p}\Phi_p^\star(\omega_{FS})\), where \(\Phi_p:X\to\mathbb P(H^0(X,L^p)^\star)\) is the Kodaira map determined by \(L^p:=L^{\otimes p}\). Then for \(p\) large \(\omega_p\) is a Kähler form on \(X\) and a theorem of \textit{G. Tian} [J. Differ. Geom. 32, No. 1, 99--130 (1990; Zbl 0706.53036)] states that \(\omega_p\to\omega\) as \(p\to\infty\) in the \(C^2\) topology with speed rate \(p^{-1/2}\). Using the full asymptotic expansion of the Bergman kernel it was subsequently shown that the convergence holds in the \(C^\infty\) topology and the optimal speed rate is \(p^{-2}\). The paper under review proves the corresponding result in the case of a Hermitian line bundle \((L,h^L)\) on a compact symplectic manifold \((X,\omega)\), such that \(\omega=\frac{i}{2\pi}R^L\), where \(R^L\) is the curvature of a Hermitian connection \(\nabla^L\) on \((L,h^L)\). Let \(J\) be an almost complex structure on \(TX\) such that \(g^{TX}(\cdot,\cdot):=\omega(\cdot,J\cdot)\) is a \(J\)-invariant Riemannian metric on \(TX\). The previously used space of holomorphic sections \(H^0(X,L^p)\) is now replaced by the space \(\mathcal H_p\) of bound states of the renormalized Bochner Laplacian \(\Delta_{p,\Phi}\) associated to \(g^{TX}\), \(\nabla^L\) and a smooth function \(\Phi\in C^\infty(X,\mathbb R)\). If \(\Phi_p\) is the Kodaira map defined by \(\mathcal H_p\), the authors show that \(\frac{1}{p}\Phi_p^\star(\omega_{FS})\to\omega\) as \(p\to\infty\) in the \(C^\infty\) topology with optimal speed rate \(p^{-2}\).
      0 references
      0 references
      symplectic manifold
      0 references
      Kähler manifold
      0 references
      Bochner Laplacian
      0 references
      Bergman kernel
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references