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

From MaRDI portal





scientific article
Language Label Description Also known as
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