Class VII\(_0\) surfaces with \(b_2\) curves. (Q1411700)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Class VII\(_0\) surfaces with \(b_2\) curves.
scientific article

    Statements

    Class VII\(_0\) surfaces with \(b_2\) curves. (English)
    0 references
    0 references
    0 references
    0 references
    2003
    0 references
    This paper is devoted to the proof of Kato's conjecture: If \(S\) is a class VII\(_0\) surface with the second Betti number \(b_2(S) > 0\) rational curves (special surface by Nakamura), then \(S\) admits global spherical shells. The authors prove that if \(S\) is special, then the canonical bundle of a suitable finite ramified covering of \(S\) is numerically divisorial. Using the knowledge of the configuration of rational curves on a special surface, the existence of a logarithmic 1-form twisted by a flat line bundle is proved. Passing to a finite ramified covering, a global twisted holomorphic vector field is got. The twisting is again by some flat line bundle. This induces a true holomorphic vector field on the universal covering \(\widetilde S\) of \(S\). This holomorphic vector field is completely integrable and the universal covering of the complement of the curves of \(S\) is isomorphic to \(\mathbb H\times\mathbb C\), where \(\mathbb H\) denotes the complex half plane. The action of the fundamental group on \(\mathbb H\times\mathbb C\) is computed. This allows one to recover the contracting rigid germ of holomorphic map which gave birth to the surface \(S\). Using the result of Ch.~Favre, which classifies such germs, the authors conclude the proof of Kato's conjecture.
    0 references
    compact complex surface
    0 references
    Kodaira class VII\(_0\)
    0 references
    second Betti number
    0 references
    global spherical shell
    0 references
    Kato surface
    0 references
    homologically trivial divisor
    0 references
    two cycles of rational curves
    0 references
    holomorphic vector field
    0 references
    special surfaces of intermediate type
    0 references
    action of fundamental group
    0 references
    contracting rigid germ of holomorphic map
    0 references
    twisted logarithmic 1-form
    0 references
    flat line bundle
    0 references
    universal covering of the complement of the curves
    0 references

    Identifiers