Some projective surfaces of GK-dimension 4

We construct an interesting family of connected graded domains of Gel’fand–Kirillov dimension 4, and show that the general member of this family is noetherian. The algebras we construct are Koszul and have global dimension 4. They fail to be Artin–Schelter Gorenstein, however, showing that a theorem of Zhang and Stephenson for dimension 3 algebras does not extend to dimension 4. The Auslander–Buchsbaum formula also fails to hold for these algebras. The algebras we construct are birational to ℙ2, and their existence disproves a conjecture of the first author and Stafford. The algebras can be obtained as global sections of a certain quasicoherent graded sheaf on ℙ1×ℙ1, and our key technique is to work with this sheaf. In contrast to all previously known examples of birationally commutative graded domains, the graded pieces of the sheaf fail to be ample in the sense of Van den Bergh. Our results thus require significantly new techniques.