Is there a reference for generators of fundamental groups of (some) fake projective planes in terms of matrices in $SU(2,1)$?
Is there a reference for generators of fundamental groups of (some) fake projective planes in terms of matrices in $SU(2,1)$?