On an estimate on G\"otzky's domain

A fundamental domain F⊂ H² for the Hilbert modular group belonging to the quadratic number field Q(√5) was constructed by G\"otzky almost a hundred years ago. He also gave a lower bound for the height y₁y₂ of the points (z₁,z₂)=(x₁+iy₁,x₂+iy₂)∈ F. Later Gundlach used analogous domains and estimates for other fields as well to give a complete list of totally elliptic conjugacy classes in some Hilbert modular groups, while not long ago Deutsch analysed two of these domains by numerical computations and stated some conjectures about them. We prove one of these by giving a sharp lower bound for the height of the points of G\"otzky's domain.