Toward a geometric construction of fake projective planes (Q429553): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Jong Hae Keum / rank | |||
Property / review text | |||
A fake projective plane is a compact complex surface \(S\) with the same Betti numbers of the complex projective plane \(\mathbb{P}^2(\mathbb{C})\), but not isomorphic to it. As a consequence, one obtains \(c_2(S)=3\), \(p_g(S) = q(S)=0\). From the Noether formula, it follows \(c_1(S)^2=9\), therefore \(S\) is projective surface. Furthermore, either the canonical class \(K_S\) or the anti-canonical class \(-K_S\) is ample. Since \(S\) is not isomorphic to \(\mathbb{P}^2(\mathbb{C})\), one gets that \(K_S\) is ample. Therefore, a fake projective plane is a smooth surface of general type with \(p_g(S)=0\), \(q(S)=0\) and \(c_1(S)^2=3c_2(S)=9\). The first example of such surfaces was constructed by \textit{D. Mumdord} in [Am. J. Math. 101, 233--244 (1979; Zbl 0433.14021)], using \(p\)-adic uniformization methods. In [Geom. Topol. 12, No. 4, 2497--2515 (2008; Zbl 1222.14088)], the author of the present paper classified all the possible structures of the quotient surface \(S/G\) and its minimal resolution, where \(S\) is a fake projective plane and \(G\) is a non-trivial group of automorphisms of \(S\). He proved four possible descriptions for the quotient surface \(S/G\). In the paper under review, the author proves that all the above descriptions characterize the quotients of fake projective planes. In this way, he actually gives a criterion for a projective surface to become a quotient of a fake projective plane. He also gives a detailed information on the elliptic fibration of a \((2,3)\)-elliptic surface that is the minimal resolution of a quotient of a fake projective plane. | |||
Property / review text: A fake projective plane is a compact complex surface \(S\) with the same Betti numbers of the complex projective plane \(\mathbb{P}^2(\mathbb{C})\), but not isomorphic to it. As a consequence, one obtains \(c_2(S)=3\), \(p_g(S) = q(S)=0\). From the Noether formula, it follows \(c_1(S)^2=9\), therefore \(S\) is projective surface. Furthermore, either the canonical class \(K_S\) or the anti-canonical class \(-K_S\) is ample. Since \(S\) is not isomorphic to \(\mathbb{P}^2(\mathbb{C})\), one gets that \(K_S\) is ample. Therefore, a fake projective plane is a smooth surface of general type with \(p_g(S)=0\), \(q(S)=0\) and \(c_1(S)^2=3c_2(S)=9\). The first example of such surfaces was constructed by \textit{D. Mumdord} in [Am. J. Math. 101, 233--244 (1979; Zbl 0433.14021)], using \(p\)-adic uniformization methods. In [Geom. Topol. 12, No. 4, 2497--2515 (2008; Zbl 1222.14088)], the author of the present paper classified all the possible structures of the quotient surface \(S/G\) and its minimal resolution, where \(S\) is a fake projective plane and \(G\) is a non-trivial group of automorphisms of \(S\). He proved four possible descriptions for the quotient surface \(S/G\). In the paper under review, the author proves that all the above descriptions characterize the quotients of fake projective planes. In this way, he actually gives a criterion for a projective surface to become a quotient of a fake projective plane. He also gives a detailed information on the elliptic fibration of a \((2,3)\)-elliptic surface that is the minimal resolution of a quotient of a fake projective plane. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14J29 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14J27 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6048121 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fake projective plane | |||
Property / zbMATH Keywords: fake projective plane / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
surfaces of general type | |||
Property / zbMATH Keywords: surfaces of general type / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
properly elliptic surfaces | |||
Property / zbMATH Keywords: properly elliptic surfaces / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Jong Hae Keum / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Paolo Antonio Oliverio / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1010.0286 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5545271 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The index of elliptic operators. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Enumeration of the 50 fake projective planes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the classification of irregular surfaces of general type with nonbirational bicanonical map / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5338438 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The maximum number of singular points on rational homology projective planes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Crepant blowing-up of 3-dimensional canonical singularities and its application to degenerations of surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A fake projective plane with an order 7 automorphism / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 09:35, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Toward a geometric construction of fake projective planes |
scientific article |
Statements
Toward a geometric construction of fake projective planes (English)
0 references
20 June 2012
0 references
A fake projective plane is a compact complex surface \(S\) with the same Betti numbers of the complex projective plane \(\mathbb{P}^2(\mathbb{C})\), but not isomorphic to it. As a consequence, one obtains \(c_2(S)=3\), \(p_g(S) = q(S)=0\). From the Noether formula, it follows \(c_1(S)^2=9\), therefore \(S\) is projective surface. Furthermore, either the canonical class \(K_S\) or the anti-canonical class \(-K_S\) is ample. Since \(S\) is not isomorphic to \(\mathbb{P}^2(\mathbb{C})\), one gets that \(K_S\) is ample. Therefore, a fake projective plane is a smooth surface of general type with \(p_g(S)=0\), \(q(S)=0\) and \(c_1(S)^2=3c_2(S)=9\). The first example of such surfaces was constructed by \textit{D. Mumdord} in [Am. J. Math. 101, 233--244 (1979; Zbl 0433.14021)], using \(p\)-adic uniformization methods. In [Geom. Topol. 12, No. 4, 2497--2515 (2008; Zbl 1222.14088)], the author of the present paper classified all the possible structures of the quotient surface \(S/G\) and its minimal resolution, where \(S\) is a fake projective plane and \(G\) is a non-trivial group of automorphisms of \(S\). He proved four possible descriptions for the quotient surface \(S/G\). In the paper under review, the author proves that all the above descriptions characterize the quotients of fake projective planes. In this way, he actually gives a criterion for a projective surface to become a quotient of a fake projective plane. He also gives a detailed information on the elliptic fibration of a \((2,3)\)-elliptic surface that is the minimal resolution of a quotient of a fake projective plane.
0 references
fake projective plane
0 references
surfaces of general type
0 references
properly elliptic surfaces
0 references
0 references
0 references