Weighted Bergman kernels for logarithmic weights (Q612266)

The author describes the boundary singularity of weighted Bergman kernels on smoothly bounded strictly pseudoconvex domains for weights which behave like formal power series in a defining function with coefficients which are polynomials in the logarithm of the defining function. The results extend also to weighted Sobolev spaces of holomorphic functions with respect to such weights. More precisely, let \(\Omega\) be a bounded strictly pseudoconvex domain in \(\mathbb{C}^n\) with smooth boundary and \(r\) a defining function for \(\Omega\) such that \(r\) is smooth in a neighborhood of \(\Omega\), \(r<0\) in \(\Omega\), and \(r=0\), \(\|\nabla r\|>0\) on \(\partial\Omega\). Then, the boundary singularities of the unweighted Bergman kernel were described by Fefferman and Boutet de Monvel-Sjöstrand in celebrated works. It was then natural to consider, also, the weighted Bergman projection to holomorphic functions which are \(L^2(\Omega,w)\) with respect to a weight \(w\). By ideas due to Forelli-Rudin, Ligocka and Boas-Fu-Straube, the boundary singularity of the corresponding weighted Bergman kernel can be described for weights of the form \[ w=(-r)^m e^g, \] where \(g\in C^\infty(\overline{\Omega})\) and \(m=1, 2, 3,\dots\). This was recently generalized by M. Englis to weights of the form \[ w=(-r)^\alpha e^g, \] where \(\alpha>-1\) is a real number. In this very paper now, the author extends these results to weights which behave, roughly speaking, like formal power series in the defining function with coefficients which are polynomials in the logarithm of the defining function. Such weights arise for example from the solution of complex Monge-Ampère equations. The results rely on Boutet de Monvel's and Guillemin's theory of Toeplitz operators on \(\partial\Omega\) with pseudodifferential symbols. This theory is extended from classical pseudodifferential operators to those with the more general ``log-polyhomogeneous'' symbols.