Acknowledgement
The authors thank the DIMACS REU program at Rutgers University for supporting this research project. This work was carried out while the second author was supported by NSF grant CCF-1852215.
References
- L. Borisov, On equations of fake projective planes with automorphism group of order 21, Epijournal Geom. Algebrique 7 (2023), Art. 17, 19 pp. https://doi.org/10.46298/epiga.2023.8507
- L. Borisov and E. Fatighenti, New explicit constructions of surfaces of general type, arXiv preprint arXiv:2004.02637 (2020).
- W. Bosma, J. Cannon, and C. Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235-265. https://doi.org/10.1006/jsco.1996.0125
- D. I. Cartwright and T. Steger, Enumeration of the 50 fake projective planes, C. R. Math. Acad. Sci. Paris 348 (2010), no. 1-2, 11-13. https://doi.org/10.1016/j.crma.2009.11.016
- S. Galkin, I. Karzhemanov, E. Shinder, Fake projective planes, automorphic forms, exceptional collections, arXiv:1602.06107.
- D. Grayson and M. Stillman, Macaulay2, a software system for research in algebraic geometry, http://www.math.uiuc.edu/Macaulay2.
- R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, No. 52, Springer, New York, 1977.
- J. Keum, A fake projective plane with an order 7 automorphism, Topology 45 (2006), no. 5, 919-927. https://doi.org/10.1016/j.top.2006.06.006
- B. Klingler, Sur la rigidite de certains groupes fondamentaux, l'arithmeticite des reseaux hyperboliques complexes, et les "faux plans projectifs", Invent. Math. 153 (2003), no. 1, 105-143. https://doi.org/10.1007/s00222-002-0283-2
- V. S. Kulikov and V. M. Kharlamov, Izv. Math. 66 (2002), no. 1, 133-150; translated from Izv. Ross. Akad. Nauk Ser. Mat. 66 (2002), no. 1, 133-152. https://doi.org/10.1070/IM2002v066n01ABEH000374
- Mathematica 11.1, Wolfram Research, Inc., 2016.
- G. D. Mostow, Strong Rigidity of Locally Symmetric Spaces, Ann. of Math. Stud. No. 78, Princeton Univ. Press, Princeton, NJ, 1973.
- D. Mumford, An algebraic surface with K ample, (K2) = 9, pg = q = 0, Amer. J. Math. 101 (1979), no. 1, 233-244. https://doi.org/10.2307/2373947
- G. Prasad and S.-K. Yeung, Fake projective planes, Invent. Math. 168 (2007), no. 2, 321-370. https://doi.org/10.1007/s00222-007-0034-5
- S.-T. Yau, Calabi's conjecture and some new results in algebraic geometry, Proc. Nat. Acad. Sci. U.S.A. 74 (1977), no. 5, 1798-1799. https://doi.org/10.1073/pnas.74.5.1798