Platonic Surfaces

We define the notion of Platonic surfaces. These are anticanonical smooth projective rational surfaces defined over any fixed algebraically closed field of arbitrary characteristic and having the projective plane as a minimal model with very nice geometric properties. We prove that their Cox rings are finitely generated. In particular, they are extremal and their effective monoids are finitely generated. Thus,these Platonic surfaces are built from points of the projective plane which are in good position. It is worth noting that not only their Picard number may be big but also an anticanonical divisor may have a very large number of irreducible components.