On a theorem of Friedlander and Iwaniec (Q710833)

In [Acta Math. 202, No. 1, 1--19 (2009; Zbl 1278.11089)], \textit{J. B. Friedlander} and \textit{H. Iwaniec} studied the so-called Hyperbolic Prime Number Theorem, which asks for an infinitude of elements \(\gamma = \left( \begin{matrix} a & b\\ c & d \end{matrix} \right) \in\text{SL}(2, \mathbb Z)\) such that the norm squared \[ \| \gamma \|^2=a^2+b^2+c^2+d^2=p, \] is a prime. Under the Elliott-Halberstam conjecture, they proved the existence of such, as well as a formula for their count, off by a constant from the conjectured asymptotic. In this article, the authors study the analogous question replacing the integers with the Gaussian integers. They prove unconditionally that for every odd \(n \geq 3\), there is a \(\gamma \in \text{SL}(2, \mathbb Z[i])\) such that \(\| \gamma \|^2=n\). In particular, every prime is represented. The proof is an application of Siegel's mass formula.