Abstract
The aim of this work was to study the finite generation of the effective monoid and Cox ring of a Platonic Harbourne-Hirschowitz rational surface with an anticanonical divisor not reduced which contains some exceptional curves as irreducible components. Such surfaces are obtained as the blow up of the n-Hirzebruch surface at any number of points lying in the union of the negative section and \(n+2\) different fibers. Moreover, the procedure that ensures the finite generation of the effective monoid provides a technique for explicit computation of the minimal generating set for such monoid in concrete cases. As an application, we present explicitly the minimal generating set for the effective monoid of some surfaces which are obtained by considering a degenerate cubic consisting in three lines intersecting at one point in the projective plane and blowing-up the singular point and some ordinary and infinitely near points. The base field of our surfaces is assumed to be algebraically closed of arbitrary characteristic.
Similar content being viewed by others
References
Artebani, M., Garbagnati, A., Laface, A.: Cox rings of extremal rational elliptic surfaces. Trans. Am. Math. Soc. 368(3), 1735–1757 (2016)
Cox, D.: The homogeneous coordinate ring of a toric variety. J. Algebraic Geom. 4(1), 17–50 (1995)
De La Rosa-Navarro, B.L., Failla, G., Frías-Medina, J.B., Lahyane, M., Utano, R.: Platonic surfaces. In: Greuel, G.M., Narváez, Macarro L., Xambó-Descamps, S. (eds.) Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics, pp. 319–342. Springer, Cham (2018)
De La Rosa-Navarro, B.L., Failla, G., Frías-Medina, J.B., Lahyane, M., Utano, R.: Eckardt surfaces. Fund. Math. 243, 195–208 (2018)
De La Rosa-Navarro, B.L., Frías-Medina, J.B., Lahyane, M.: Rational surfaces with finitely generated Cox rings and very high Picard numbers. RACSAM. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser, A Mat (2016)
De La Rosa Navarro, B. L., Frías Medina, J. B., Lahyane, M., Moreno Mejía, I., Osuna Castro, O. Erratum to “A geometric criterion for the finite generation of the Cox ring of projective surfaces”. Rev. Mat. Iberoam., Vo. 33, no. 1, 375-376 (2017)
Derenthal, U.: Singular del Pezzo surfaces whose universal torsors are hypersurfaces. Proc. Lond. Math. Soc. (3) 108(3), 638–681 (2014)
Derenthal, U., Hausen, J., Heim, A., Keicher, S., Laface, A.: Cox rings of cubic surfaces and Fano threefolds. J. Algebra 436, 228–276 (2015)
Failla, G., Lahyane, M., Molica Bisci, G.: The finite generation of the monoid of effective divisor classes on Platonic rational surfaces. In: Chéniot, D., Dutertre, N., Murolo, C., Trotman, D., Pichon, A. (eds.) Singularity Theory: Dedicated to Jean-Paul Brasselet on His 60th Birthday, pp. 565–576. World Scientific Publishing, Hackensack (2007)
Frías-Medina, J.B., Lahyane, M.: Harbourne-Hirschowitz surfaces whose anticanonical divisor consists only of three irreducible components. Int. J. Math. 29(12), 1850072-1–1850072-19 (2018)
Galindo, C., Monserrat, F.: The cone of curves and the Cox ring of rational surfaces given by divisorial valuations. Adv. Math. 290, 1040–1061 (2016)
Galindo, C., Monserrat, F., Moreno-Ávila, C.J.: Non-positive and negative at infinity divisorial valuations of Hirzebruch surfaces. Rev. Matemática Complutense. (2019). https://doi.org/10.1007/s13163-019-00319-w
Harbourne, B.: Anticanonical rational surfaces. Trans. Am. Math. Soc. 349(3), 1191–1208 (1997)
Harbourne, B.: Free resolutions of fat point ideals on \(\cal{P}^2\). J. Pure Appl. Algebra 125, 213–234 (1998)
Harbourne, B.: Global aspects of the geometry of surfaces. Ann. Univ. Paedagog. Crac. Stud. Math. 9, 5–41 (2010)
Hartshorne, R.: Algebraic Geometry. Springer, New York, Heidelberg (1977)
Hu, Y., Keel, S.: Mori dream spaces and GIT. Michigan Math. J. 48, 331–348 (2000)
Hwang, D.S., Park, J.: Cox rings of rational surfaces and redundant blow ups. Trans. Am. Math. Soc. 368(11), 7727–7743 (2016)
Laface, A., Velasco, M.: A survey on Cox rings. Geom. Dedicata 139, 269–287 (2009)
Lahyane, M., Harbourne, B.: Irreducibility of \(-1\)-classes on anticanonical rational surfaces and finite generation of the effective monoid. Pacific J. Math. 218(1), 101–114 (2005)
Looijenga, E.: Rational surfaces with an anticanonical cycle. Ann. Math. (2) 114(2), 267–322 (1981)
Nagata, M.: On rational surfaces. II. Mem. Coll. Sci. Univ. Tokyo Ser. Math. 33(2), 271–293 (1960)
Testa, D., Várilly-Alvarado, A., Velasco, M.: Big rational surfaces. Math. Ann. 351(1), 95–107 (2011)
Acknowledgements
We are extremely grateful to the Referee for his/her expert comments to improve the quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
J.B. Frías-Medina acknowledges the financial support of Fondo Institucional de Fomento Regional para el Desarrollo Científico, Tecnológico y de Innovación, FORDECYT 265667, during 2018 and of “Programa de Becas Posdoctorales 2019” de la Dirección General de Asuntos del Personal Académico, UNAM. M. Lahyane acknowledges a partial support from Coordinación de la Investigación Científica de la Universidad Michoacana de San Nicolás de Hidalgo (UMSNH) during 2019 and 2020.
Rights and permissions
About this article
Cite this article
De La Rosa-Navarro, B.L., Frías-Medina, J.B. & Lahyane, M. Platonic Harbourne-Hirschowitz Rational Surfaces. Mediterr. J. Math. 17, 154 (2020). https://doi.org/10.1007/s00009-020-01593-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-020-01593-5