Abstract:Abstract The equation $x^2 + 1 = 0\mod p$ has solutions whenever p = 2 or $4n + 1$. A famous theorem of Fermat says that these primes are exactly the ones that can be described as a sum of two squares. The roots of the former equation are equidistributed is a beautiful theorem of Duke, Friedlander and Iwaniec. The angles associated to the representation of such prime as a sum of squares are equidistributed is a famous theorem of Hecke. We give a natural way to associate between roots and angles and prove that the joint equidistribution of the sequence of pairs of roots and angles is equidistributed as well. Our approach involves an automorphic interpretation, which reduces the problem to the study of certain Poincare series on an arithmetic quotient of $SL_2(\mathbb{R})$. Since our Poincare series have a nontrivial dependence on their Iwasawa θ-coordinate, they do not factor into functions on the upper half plane, as in the case studied by Duke et al. Spectral analysis on these higher dimensional varieties involves the nonspherical spectrum, making this paper the first complete study of a nonspherical equidistribution problem, with an arithmetic application. A couple of notable challenges we had to overcome were that of obtaining pointwise bounds for nonspherical Eisenstein series and utilizing a non-spherical analogue of the Selberg inversion formula, which we believe may have further implications beyond this work.

Conjectures and results on x^2 mod p^2 with 4p=x^2+dy^2

Determining $x$ or $y$ mod $p^2$ with $p=x^2+dy^2$

Four conjectures by Zhi-Hong Sun

On some determinants arising from quadratic residues

On Two Conjectures Involving Quadratic Residues

Proof of Some Conjectures Involving Quadratic Residues

On the x -coordinates of Pell equations that are products of two Pell numbers

Some results on a conjecture of de Polignac about numbers of the form $p + 2^k$

Elemental Patterns from the Erdős Straus Conjecture

Notes on Sum_{k=0}^{p-1}Binom(2k,k)^3/m^k Mod P^2

Sectorial Equidistribution of the Roots of x 2 + 1 Modulo Primes

On Sums of Binomial Coefficients Modulo P^2

On some determinant conjectures

On sums of primes and triangular numbers

On the Diophantine Equation Y~2=px(x~2+2)

Supercongruences Involving Dual Sequences

On some conjectural determinants of Sun involving residues

Congruence relations of Ankeny$\unicode{x2013}$Artin$\unicode{x2013}$Chowla type for real quadratic fields

On Sums of Apéry Polynomials and Related Congruences

$p$-adic analogues of two ${}_4F_3$ hypergeometric identities and their applications

On a generalization of R. Chapman's "evil determinant"