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

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Infinite dimensionality of the middle \(L^2\)-cohomology on non-compact Kähler hyperbolic manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fixed Point Formula for the Bergman Kernel / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(L^ 2\)-cohomology and index theorem for the Bergman metric / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Bergman kernel and biholomorphic mappings of pseudoconvex domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kähler hyperbolicity and \(L_ 2\)-Hodge theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(L^ 2\) estimates and existence theorems for the \(\partial\)-operator / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(L^2\) harmonic forms on some complete Kähler manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Bergman kernel of the minimal ball and applications / rank
 
Normal rank

Revision as of 06:46, 2 July 2024

scientific article
Language Label Description Also known as
English
Holomorphic Lefschetz fixed point formula for non-compact Kähler manifolds
scientific article

    Statements

    Holomorphic Lefschetz fixed point formula for non-compact Kähler manifolds (English)
    0 references
    0 references
    0 references
    15 December 2009
    0 references
    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.
    0 references
    Lefschetz fixed-point formula
    0 references
    Bergman kernel
    0 references

    Identifiers

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