\(L_ 2\) cohomology of the Bergman metric for weakly pseudoconvex domains (Q1358725)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1029008
Language Label Description Also known as
default for all languages
No label defined
    English
    \(L_ 2\) cohomology of the Bergman metric for weakly pseudoconvex domains
    scientific article; zbMATH DE number 1029008

      Statements

      \(L_ 2\) cohomology of the Bergman metric for weakly pseudoconvex domains (English)
      0 references
      0 references
      8 January 1998
      0 references
      Suppose that \(\Omega\) is a bounded pseudoconvex domain in \(\mathbb{C}^n.\) The Bergman metric of \(\Omega\) is a naturally defined Kähler metric. The attention is restricted to those \(\Omega\) whose Bergman metric is complete. By a theorem of \textit{T. Ohsawa} [Proc. Jap. Acad., Ser. A 57, 238-240 (1981; Zbl 0508.32008)], this includes all pseudoconvex domains with \(C^1\) boundary. Every biholomorphic automorphism of \(\Omega\) induces an isometry in the Bergman metric. The Hopf-Rinow theorem therefore implies that the Bergman metric of a homogeneous domain is complete. Let \(H_2^i(\Omega)\) denote the space of square integrable harmonic \(i\)-forms relative to the Bergman metric. The following result was proved by \textit{H. Donnelly} and \textit{C. Fefferman} [Ann. Math., II. Ser. 118, 593-618 (1983; Zbl 0532.58027)]. If \(\Omega\) is strictly pseudoconvex, then \(H_2^i(\Omega)=0,\) for \(i\neq n.\) In this paper the author proves that this criterion holds for pseudoconvex domains of finite type in \(\mathbb{C}^2\) and for locally convexifiable domains of finite type in \(\mathbb{C}^n.\) It is also verified for homogeneous domains and for the domains with large automorphism groups given by \(|z|^2+|w|^{2p}<1,p>1,\) in all dimensions. An example of a bounded pseudoconvex Reinhardt domain in \(\mathbb{C}^3\) for which the criterion fails is provided: the bounded analytic domain \(\Omega\) in \(\mathbb{C}^3\) given by \(|w|^2+|z_1z_2|^2+|z_1|^{100}+|z_2|^{100}<1.\)
      0 references
      pseudoconvex domains
      0 references
      Hodge theory
      0 references
      Kählerian manifolds
      0 references
      Reinhardt domains
      0 references

      Identifiers