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
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
0 references
0 references