Families of explicit quasi-hyperbolic and hyperbolic surfaces

We construct explicit families of quasi-hyperbolic and hyperbolic surfaces parametrized by quasi-projective bases. The method we develop in this paper extends earlier works of Vojta and the first author for smooth surfaces to the case of singular surfaces, through the use of ramification indices on exceptional divisors. The novelty of the method allows us to obtain new results for the surface of cuboids, the generalized surfaces of cuboids, and other explicit families of Diophantine surfaces of general type. In particular, we produce new families of smooth complete intersection surfaces of multidegrees m1, horizontal ellipsis. These families give evidence for [6, Conjecture 0.18] in the case of surfaces.