Existence of Ball Quotients Covering Line Arrangements

This chapter justifies the assumption that ball quotients covering line arrangements exist. It begins with the general case on the existence of finite covers by ball quotients of weighted configurations, focusing on log-canonical divisors and Euler numbers reflecting the weight data on divisors on the blow-up X of P2 at the singular points of a line arrangement. It then uses the Kähler-Einstein property to prove an inequality between Chern forms that, when integrated, gives the appropriate Miyaoka-Yau inequality. It also discusses orbifolds and b-spaces, weighted line arrangements, the problem of the existence of ball quotient finite coverings, log-terminal singularity and log-canonical singularity, and the proof of the main existence theorem for line arrangements. Finally, it considers the isotropy subgroups of the covering group.