A better proof of the Goldman-Parker conjecture
arXiv:math/0508202 · doi:10.2140/gt.2005.9.1539
Abstract
The Goldman-Parker Conjecture classifies the complex hyperbolic C-reflection ideal triangle groups up to discreteness. We proved the Goldman-Parker Conjecture in [Ann. of Math. 153 (2001) 533--598] using a rigorous computer-assisted proof. In this paper we give a new and improved proof of the Goldman-Parker Conjecture. While the proof relies on the computer for extensive guidance, the proof itself is traditional.
Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper35.abs.html