A fake projective plane with an order 7 automorphism

Barth, 2004 Ishida, 1988, An elliptic surface covered by Mumford’s fake projective plane, Tohoku Math. J., 40, 367, 10.2748/tmj/1178227980 Ishida, 1998, The strong rigidity theorem for non-archimedean uniformization, Tohoku Math. J., 50, 537, 10.2748/tmj/1178224897 Kawamata, 1979, vol. 732, 215 J. Keum, D.-Q. Zhang, Algebraic surfaces with quotient singularities—including some discussion on automorphisms and fundamental groups, in: Proceedings of “Algebraic Geometry in East Asia”, Kyoto, 2001 Kurihara, 1980, Construction of p-adic unit balls and Hirzebruch proportionality, Amer. J. Math., 102, 565, 10.2307/2374116 Miyanishi, 2001, vol. 12 Mumford, 1979, An algebraic surface with K ample K2=9,pg=q=0, Amer. J. Math., 101, 233, 10.2307/2373947 Mustafin, 1978, Non-archimedean Uniformization, Math. USSR SB+, 34, 187, 10.1070/SM1978v034n02ABEH001156 Yau, 1977, Calabi’s conjecture and some new results in algebraic geometry, Proc. Natl. Acad. Sci. USA, 74, 1798, 10.1073/pnas.74.5.1798