Quadratic forms and singularities of genus one or two (Q540782): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The article under review contributes to the structure theory of minimal compact complex surfaces \(S\) in class VII\(_0^+\) (\(b_1(S)=1, \kappa(S)=-\infty, b_2(S)=:n>0\)) with global spherical shells. The latter means that there exists a biholomorphic embedding \(\varphi:U\rightarrow S\) of an open neighborhood \(U\subset\mathbb C^2\backslash\{0\}\) of the 3-sphere \(S^3\) such that \(S\backslash\varphi(S^3)\) is connected. The author studies the (normal) singularities obtained by blowing down the maximal divisor \(D=\sum_{i=0}^{n-1}D_i\), the sum of the \(n\) irreducible rational curves \(D_i\) on \(S\). These singularities are of genus \(1\) or \(2\) and are \(\mathbb Q\)-Gorenstein if and only if \(H^0(S,K^{-m}_S)\not=0\) for some \(m\geq 1\). They are numerically Gorenstein if and only if \(H^0(S,K_S^{-1}\otimes L)\not=0\) for some topologically trivial line bundle \(L\) on \(S\). A central part of the paper is devoted to the description of the discriminant of the quadratic form associated to a singularity. Let \(M(S)=(D_i.D_j)\) be the self-intersection matrix of \(D\). The singularities can be parametrized by the configuration of their dual graphs, represented by finite sequences \(\sigma\) of integers. The author introduces a family of polynomials \(P_\sigma\) in \(N=N(\sigma)\) variables, \(P_\sigma(\mathbb Z^N)\subset\mathbb Z\), and numbers \(k_i=k_i(\sigma)\in\mathbb N\), \(0\leq i\leq N-1\). He obtains the existence of a sequence \(\sigma\) with the property that \(\det M(S)=(-1)^n(P_\sigma(k_0,\dots,k_{N-1}))^2\) and \([H_2(S,\mathbb Z):\sum_{i=0}^{n-1}\mathbb ZD_i]=P_\sigma(k_0,\dots,k_{N-1})\). The number \(\triangle_\sigma:=P_\sigma(k_0,\dots,k_{N-1})+1\), the so-called twisting coefficient of the singularity, is a multiplicative invariant, i.e. \(\triangle_{\sigma\sigma'}=\triangle_\sigma\triangle_{\sigma'}\), and equals the product of the determinants of the intersection matrices of the branches of the divisor \(D\). The author points out the close connection of these invariants to global topological and analytical properties of surfaces with global spherical shells and to the classification of singular contracting germs of mappings and dynamical systems, see e.g. [\textit{G. Dloussky} and \textit{K. Oeljeklaus}, Ann. Inst. Fourier 49, No. 5, 1503--1545 (1999; Zbl 0978.32021)] and [\textit{Ch. Favre}, J. Math. Pures Appl., IX. Sér. 79, No. 5, 475--514 (2000; Zbl 0983.32023)]. | |||
Property / review text: The article under review contributes to the structure theory of minimal compact complex surfaces \(S\) in class VII\(_0^+\) (\(b_1(S)=1, \kappa(S)=-\infty, b_2(S)=:n>0\)) with global spherical shells. The latter means that there exists a biholomorphic embedding \(\varphi:U\rightarrow S\) of an open neighborhood \(U\subset\mathbb C^2\backslash\{0\}\) of the 3-sphere \(S^3\) such that \(S\backslash\varphi(S^3)\) is connected. The author studies the (normal) singularities obtained by blowing down the maximal divisor \(D=\sum_{i=0}^{n-1}D_i\), the sum of the \(n\) irreducible rational curves \(D_i\) on \(S\). These singularities are of genus \(1\) or \(2\) and are \(\mathbb Q\)-Gorenstein if and only if \(H^0(S,K^{-m}_S)\not=0\) for some \(m\geq 1\). They are numerically Gorenstein if and only if \(H^0(S,K_S^{-1}\otimes L)\not=0\) for some topologically trivial line bundle \(L\) on \(S\). A central part of the paper is devoted to the description of the discriminant of the quadratic form associated to a singularity. Let \(M(S)=(D_i.D_j)\) be the self-intersection matrix of \(D\). The singularities can be parametrized by the configuration of their dual graphs, represented by finite sequences \(\sigma\) of integers. The author introduces a family of polynomials \(P_\sigma\) in \(N=N(\sigma)\) variables, \(P_\sigma(\mathbb Z^N)\subset\mathbb Z\), and numbers \(k_i=k_i(\sigma)\in\mathbb N\), \(0\leq i\leq N-1\). He obtains the existence of a sequence \(\sigma\) with the property that \(\det M(S)=(-1)^n(P_\sigma(k_0,\dots,k_{N-1}))^2\) and \([H_2(S,\mathbb Z):\sum_{i=0}^{n-1}\mathbb ZD_i]=P_\sigma(k_0,\dots,k_{N-1})\). The number \(\triangle_\sigma:=P_\sigma(k_0,\dots,k_{N-1})+1\), the so-called twisting coefficient of the singularity, is a multiplicative invariant, i.e. \(\triangle_{\sigma\sigma'}=\triangle_\sigma\triangle_{\sigma'}\), and equals the product of the determinants of the intersection matrices of the branches of the divisor \(D\). The author points out the close connection of these invariants to global topological and analytical properties of surfaces with global spherical shells and to the classification of singular contracting germs of mappings and dynamical systems, see e.g. [\textit{G. Dloussky} and \textit{K. Oeljeklaus}, Ann. Inst. Fourier 49, No. 5, 1503--1545 (1999; Zbl 0978.32021)] and [\textit{Ch. Favre}, J. Math. Pures Appl., IX. Sér. 79, No. 5, 475--514 (2000; Zbl 0983.32023)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Eberhard Oeljeklaus / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32J15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14B05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5903978 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
minimal compact complex surfaces in class \(\text{VII}_0^+\) | |||
Property / zbMATH Keywords: minimal compact complex surfaces in class \(\text{VII}_0^+\) / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
global spherical shells | |||
Property / zbMATH Keywords: global spherical shells / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
singularities | |||
Property / zbMATH Keywords: singularities / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\mathbb Q\)-Gorenstein | |||
Property / zbMATH Keywords: \(\mathbb Q\)-Gorenstein / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
numerically Gorenstein | |||
Property / zbMATH Keywords: numerically Gorenstein / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
twisting coefficient | |||
Property / zbMATH Keywords: twisting coefficient / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2951825486 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0702467 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4434669 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure des surfaces de Kato / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur la classification des germes d'applications holomorphes contractantes. (On the classification of germs of contracting holomorphic maps) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Une construction élémentaire des surfaces d'Inoue-Hirzebruch. (An elementary construction of Inoue-Hirzebruch surfaces) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On surfaces of class VII with numerically anticanonical divisor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vector fields and foliations on compact surfaces of class \(\text{VII}_0\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Surfaces de la classe VII0 et automorphismes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Class VII\(_0\) surfaces with \(b_2\) curves. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Surfaces of class \(VII_ 0\) with curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classification of 2-dimensional contracting rigid germs and Kato surfaces. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hilbert modular surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4141335 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4122018 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3853919 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Structure of Compact Complex Analytic Surfaces, I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Minimally Elliptic Singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quadratic functions and smoothing surface singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3939927 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On surfaces of class VII\(_ 0\) with curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On surfaces of class VII\(_ 0\) with curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On surfaces of class \(VII_ 0\) with global spherical shells / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3784168 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inoue-Hirzebruch surfaces and a duality of hyperbolic unimodular singularities. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logarithmic moduli spaces for surfaces of class VII / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3909149 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polynomials whose values are powers. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Familien komplexer Räume mit streng pseudokonvexer spezieller Faser / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Enriques Classification of Normal Gorenstein Surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4154652 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PROJECTIVELY FLAT SURFACES AND BOGOMOLOV'S THEOREM ON CLASS <font>VII</font><sub>0</sub> SURFACES / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:43, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quadratic forms and singularities of genus one or two |
scientific article |
Statements
Quadratic forms and singularities of genus one or two (English)
0 references
3 June 2011
0 references
The article under review contributes to the structure theory of minimal compact complex surfaces \(S\) in class VII\(_0^+\) (\(b_1(S)=1, \kappa(S)=-\infty, b_2(S)=:n>0\)) with global spherical shells. The latter means that there exists a biholomorphic embedding \(\varphi:U\rightarrow S\) of an open neighborhood \(U\subset\mathbb C^2\backslash\{0\}\) of the 3-sphere \(S^3\) such that \(S\backslash\varphi(S^3)\) is connected. The author studies the (normal) singularities obtained by blowing down the maximal divisor \(D=\sum_{i=0}^{n-1}D_i\), the sum of the \(n\) irreducible rational curves \(D_i\) on \(S\). These singularities are of genus \(1\) or \(2\) and are \(\mathbb Q\)-Gorenstein if and only if \(H^0(S,K^{-m}_S)\not=0\) for some \(m\geq 1\). They are numerically Gorenstein if and only if \(H^0(S,K_S^{-1}\otimes L)\not=0\) for some topologically trivial line bundle \(L\) on \(S\). A central part of the paper is devoted to the description of the discriminant of the quadratic form associated to a singularity. Let \(M(S)=(D_i.D_j)\) be the self-intersection matrix of \(D\). The singularities can be parametrized by the configuration of their dual graphs, represented by finite sequences \(\sigma\) of integers. The author introduces a family of polynomials \(P_\sigma\) in \(N=N(\sigma)\) variables, \(P_\sigma(\mathbb Z^N)\subset\mathbb Z\), and numbers \(k_i=k_i(\sigma)\in\mathbb N\), \(0\leq i\leq N-1\). He obtains the existence of a sequence \(\sigma\) with the property that \(\det M(S)=(-1)^n(P_\sigma(k_0,\dots,k_{N-1}))^2\) and \([H_2(S,\mathbb Z):\sum_{i=0}^{n-1}\mathbb ZD_i]=P_\sigma(k_0,\dots,k_{N-1})\). The number \(\triangle_\sigma:=P_\sigma(k_0,\dots,k_{N-1})+1\), the so-called twisting coefficient of the singularity, is a multiplicative invariant, i.e. \(\triangle_{\sigma\sigma'}=\triangle_\sigma\triangle_{\sigma'}\), and equals the product of the determinants of the intersection matrices of the branches of the divisor \(D\). The author points out the close connection of these invariants to global topological and analytical properties of surfaces with global spherical shells and to the classification of singular contracting germs of mappings and dynamical systems, see e.g. [\textit{G. Dloussky} and \textit{K. Oeljeklaus}, Ann. Inst. Fourier 49, No. 5, 1503--1545 (1999; Zbl 0978.32021)] and [\textit{Ch. Favre}, J. Math. Pures Appl., IX. Sér. 79, No. 5, 475--514 (2000; Zbl 0983.32023)].
0 references
minimal compact complex surfaces in class \(\text{VII}_0^+\)
0 references
global spherical shells
0 references
singularities
0 references
\(\mathbb Q\)-Gorenstein
0 references
numerically Gorenstein
0 references
twisting coefficient
0 references