Holomorphic Lefschetz fixed point formula for non-compact Kähler manifolds (Q1044787)

This article gives an elementary new proof and two generalizations of the holomorphic Lefschetz fixed-point formula for the Bergman metric due to \textit{H.~Donnelly} and \textit{C.~Fefferman} [Am. J. Math. 108, 1241--1258 (1986; Zbl 0603.32018)]. The original theorem says that if \(\Omega\) is a bounded, strongly pseudoconvex domain in~\(\mathbb{C}^{n}\), and \(f\)~is a holomorphic automorphism of~\(\Omega\) with no fixed points on the boundary, then \((-1)^{n} \int_{\Omega} \overline{K_{\Omega} (z,f(z))} = \sum_{j} 1/\det(I-f'(p_{j}))\), where \(K_{\Omega}\) denotes the Bergman kernel \((n,n)\)-form, and the~\(p_{j}\) are the (finitely many) fixed points of~\(f\) inside~\(\Omega\). The authors' first generalization says that the same formula holds when \(\Omega\)~is an arbitrary bounded domain of holomorphy in~\(\mathbb{C}^{n}\) if the graph of the holomorphic automorphism~\(f\) does not meet the diagonal at the boundary of \(\Omega\times\Omega\). The second generalization says that the corresponding formula holds on an \(n\)-dimensional complex manifold \((M,\omega)\) that is Kähler hyperbolic in the sense of \textit{M.~Gromov} [J. Differ. Geom. 33, No. 1, 263--292 (1991; Zbl 0719.53042)] if the graph of the holomorphic automorphism~\(f\) does not meet the diagonal at the ideal boundary of \(M\times M\). The main tools in the proof are \(L^{2}\)--Hodge theory and the Bochner--Martinelli kernel. The authors additionally give two concrete examples of how the formula can be used to compute some apparently complicated integrals.